군 스킴

대수기하학에서, 군 스킴(群scheme, 영어: group scheme, 프랑스어: schéma en groupe)은 군과 유사한 구조를 갖는 스킴이다. 즉, 대수군의 정의에서 대수다양체를 스킴으로 대체한 것이다.

정의

군 스킴은 스킴 범주의 군 대상으로, 또는 특정한 함자로 정의할 수 있다.

군 대상을 통한 정의

스킴 $S$가 주어졌다고 하자. $S$ 위의 군 스킴은 스킴의 범주의 조각 범주 $\operatorname {Sch} /S$ 속의 군 대상이다. 즉, 군 스킴 $(G,m,e,i)$은 다음과 같은 데이터로 구성된다.

• $G/S$는 $S$-스킴이다.
• $m\colon G\times _{S}G\to G$는 $S$-스킴 사상이다. 이는 군의 곱셈에 해당한다.
• $e\colon S\to G$는 $S$-스킴 사상이다. 이는 군의 항등원에 해당한다.
• $i\colon G\to G$는 $S$-스킴 사상이다. 이는 군의 역원에 해당한다.

이들은 군 대상의 공리를 나타내는 가환 그림들을 만족시켜야 한다.

함자를 통한 정의

스킴 $S$ 위의 군 스킴은 다음 조건을 만족시키는 함자

$G\colon \operatorname {Sch} /S\to \operatorname {Grp}$

이다.

• $F\circ G\colon \operatorname {Sch} /S\to \operatorname {Set}$는 표현 가능 함자이다. 즉, $F\circ G\cong \hom _{\operatorname {Sch} /S}(X,-)$가 되는 $S$-스킴 $X$가 존재한다.

여기서

$F\colon \operatorname {Grp} \to \operatorname {Set}$

는 군의 구체적 범주의 망각 함자이다.

이 두 정의는 서로 동치이다. 구체적으로, $\operatorname {Sch} /S$ 속의 군 대상 $G$가 주어졌을 때, 표현 가능 함자 $\hom(G,-)$는 둘쨰 정의에 부합한다.

예

곱셈 군 스킴

스킴 $S$ 위의 군 스킴 $\mathbb {G} _{\operatorname {m} }$은 스킴으로서 원점을 제거한 $S$-아핀 직선 $\mathbb {A} _{S}^{1}\setminus \{0\}$이다. 함자로서 이는 다음과 같다.

$\mathbb {G} _{\operatorname {m} }\colon \operatorname {Sch} /S\to \operatorname {Grp}$

$\mathbb {G} _{\operatorname {m} }\colon (X,{\mathcal {O}}_{X})\mapsto \Gamma (X,{\mathcal {O}}_{X}^{\times })$

여기서 $\Gamma$는 아벨 군 층의 단면군을 뜻하며, ${\mathcal {O}}_{X}^{\times }$는 구조층 ${\mathcal {O}}_{X}$의 가역원군층이다. 특히, 만약 $S=\operatorname {Spec} R$가 아핀 스킴이라면,

$\mathbb {G} _{\operatorname {m} }\cong \operatorname {Spec} R[x,y]/(xy-1)$

이다.

보다 일반적으로, 스킴 $S$ 위의 일반 선형 군 스킴(영어: general linear group scheme) $\operatorname {GL} (n;S)$는 함자로서 다음과 같다.

$\operatorname {GL} (n;S)\colon \operatorname {Sch} /S\to \operatorname {Grp}$

$\operatorname {GL} (n;S)\colon (X,{\mathcal {O}}_{X})\mapsto \operatorname {Mat} (n;\Gamma (X,{\mathcal {O}}_{X}^{\times }))$

여기서 $\operatorname {Mat} (;)$는 행렬환을 뜻한다. 이 경우 $\mathbb {G} _{\operatorname {m} }=\operatorname {GL} (1;S)$이다.

덧셈 군 스킴

스킴 $S$ 위의 군 스킴 $\mathbb {G} _{\operatorname {a} }$는 스킴으로서 $S$-아핀 직선 $\mathbb {A} _{S}^{1}=\operatorname {Spec} (S[x])$이다. 함자로서 이는 다음과 같다.

$\mathbb {G} _{\operatorname {a} }\colon \operatorname {Sch} /S\to \operatorname {Grp}$

$\mathbb {G} _{\operatorname {a} }\colon (X,{\mathcal {O}}_{X})\mapsto \Gamma (X,{\mathcal {O}}_{X})$

여기서 $\Gamma$는 아벨 군 층의 단면군을 뜻한다.

특히, 만약 $S=\operatorname {Spec} R$가 아핀 스킴이라면, $\mathbb {G} _{\operatorname {a} }=\mathbb {A} _{S}^{1}=\operatorname {Spec} R[x]$이다.

1의 거듭제곱근 군 스킴

양의 정수 $n$에 대하여, 1의 $n$제곱근 군 스킴(영어: group scheme of $n$th roots of unity) $\mathbb {\mu } _{n}$은 $n$제곱 사상 $\mathbb {G} _{\operatorname {m} }\to \mathbb {G} _{\operatorname {m} }$의 핵이다. 함자로서 이는 다음과 같다.

$\mathbb {\mu } _{n}\colon \operatorname {Sch} /S\to \operatorname {Grp}$

$\mathbb {\mu } _{n}\colon (X,{\mathcal {O}}_{X})\to \{s\in \Gamma (X,{\mathcal {O}}_{X})\colon s^{n}=1_{\Gamma (X,{\mathcal {O}}_{X})}\}$

특히, 만약 $S=\operatorname {Spec} R$가 아핀 스킴이라면, $\mathbb {\mu } _{n}=\operatorname {Spec} (R[x]/(x^{n}-1))$이다.

상수 군 스킴

군 $G$가 주어졌다고 하자. 스킴 $S$ 위의 상수 군 스킴(영어: constant group scheme) $G_{S}$는 스킴으로서 분리합집합 $S^{\sqcup G}$이다 (즉, 위상 공간으로서 $G$에 이산 위상을 준다면 $G\times S$이다). 그 위의 군 스킴의 구조는 $G$의 군 구조로부터 유도된다. 함자로서, $G_{S}$는 스킴 $X$를 군 직접곱 $G^{\times \operatorname {conn\,comp} (X)}$로 대응시킨다 ($\operatorname {conn\,comp} (X)$는 $X$의 연결 성분의 집합).

대각화 가능 군 스킴

아벨 군 $G$가 주어졌다고 하자. 스킴 $S$ 위의 대각화 가능 스킴(영어: constant group scheme) $\operatorname {Diag} (G)$는 함자로서 다음과 같다.

$\operatorname {Diag} (G)\colon \operatorname {Sch} /S\to \operatorname {Grp}$

$\operatorname {Diag} (G)\colon (X,{\mathcal {O}}_{X})\mapsto \hom _{\operatorname {Ab} }\left(G,(\Gamma (X,{\mathcal {O}}_{X})^{\times }\right)$

만약 $S=\operatorname {Spec} R$가 아핀 스킴이라면, $\operatorname {Diag} G=\operatorname {Spec} (R[G])$는 군환 $R[G]$의 스펙트럼이다.

참고 문헌

• Waterhouse, William C. (1979). 《Introduction to affine group schemes》. Graduate Texts in Mathematics (영어) 66. Springer-Verlag. doi:10.1007/978-1-4612-6217-6. ISBN 978-0-387-90421-4. ISSN 0072-5285. MR 0547117. 
• Gabriel, Peter; Demazure, Michel (1980). 《Introduction to algebraic geometry and algebraic groups》 (영어). Amsterdam: North-Holland. ISBN 0-444-85443-6. 
• Conrad, Brian. 〈Reductive group schemes〉 (PDF). 《Autour des schémas en groupes. École d’été “Schémas en groupes”. Volume I》. Panoramas et Synthèses (영어) 42. Société Mathématique de France. ISBN 978-2-85629-794-0. Zbl 06479627. 
• Demazure, M.; Grothendieck, A., 편집. (1970). 《Séminaire de géométrie algébrique du Bois Marie 1962–64. Schémas en groupes (SGA 3). Tome 1》. Lecture Notes in Mathematics (프랑스어) 151. Springer. doi:10.1007/BFb0058993. ISBN 978-3-540-05179-4. ISSN 0075-8434. 
• Demazure, M.; Grothendieck, A., 편집. (1970). 《Séminaire de géométrie algébrique du Bois Marie 1962–64. Schémas en groupes (SGA 3). Tome 2》. Lecture Notes in Mathematics (프랑스어) 152. Springer. doi:10.1007/BFb0059005. ISBN 978-3-540-05180-0. ISSN 0075-8434. 
• Michel, Demazure; Grothendieck, A., 편집. (1970). 《Séminaire de géométrie algébrique du Bois Marie 1962–64. Schémas en groupes (SGA 3). Tome 3》. Lecture Notes in Mathematics (프랑스어) 153. Springer. doi:10.1007/BFb0059027. ISBN 978-3-540-05181-7. ISSN 0075-8434. 

바깥 고리

• “Group scheme”. 《Encyclopedia of Mathematics》 (영어). Springer-Verlag. 2001. ISBN 978-1-55608-010-4. 
• “Group scheme”. 《nLab》 (영어). 
• “Diagonalizable group scheme”. 《nLab》 (영어). 
• “Unipotent group scheme”. 《nLab》 (영어). 
• “Multiplicative group scheme”. 《nLab》 (영어).