代数群

代数幾何学において，代数群（だいすうぐん，英: algebraic group, あるいは群多様体，英: group variety）とは，代数多様体であるような群であって，積と逆元を取る演算がその多様体上の正則写像によって与えられるものである．

圏論のことばでは，代数群は代数多様体の圏における(群対象)（英語版）である．

クラス

以下のような群と代数群のいくつかの重要なクラスがある：

• 有限群
• GL(n, C), C 上の可逆行列全体のなす一般線型群
• (ジェット群)（英語版）
• 楕円曲線

重要な代数群のクラスが2つあり，ほとんどの部分は別々に研究される．アーベル多様体（「射影的な」理論）と線型代数群（「アファインの」理論）である．もちろんどちらでもない例もあり，例えば(ワイエルシュトラスのゼータ関数)（英語版）のような(第二・第三種の積分)（英語版）の現代理論や(一般ヤコビ多様体)（英語版）の理論において現れる．しかし(シュバレーの構造定理)（英語版）によると，任意の代数群はアーベル多様体の線型代数群による拡大である．これはクロード・シュバレーによる結果である．K が完全体で G が K 上の代数群であるとき，次のような G の閉正規部分群 H が一意的に存在する．H は線型群であり，G/H はアーベル多様体である．

別の基本的な定理によると，アファイン多様体の圏の任意の群は忠実な有限次元の線型表現をもつ．それを K 上の多項式によって定義された，行列の乗法を群演算としてもつ，K 上の行列群と考えることができる．そのためアファイン代数群の概念は体上冗長である．とても具体的な定義を使うことができるのである．実数体上で考えるときこれは代数群がリー群よりも狭いクラスであることを意味することに注意する．2次特殊線型群の普遍被覆のように，リー群であるが忠実な線型表現を持たない例が存在するのである．2つの概念のより明らかな違いは，アファイン代数群 G の(単位元成分)は G において指数が有限でなければならないことである．

（可換）環 R 上で考えたいときには，(群スキーム)の概念がある．つまり，R 上のスキームの圏における(群対象)（英語版）である．アファイン群スキームはホップ代数のタイプに双対な概念である．群スキームの極めて精密な理論があり，例えばアーベル多様体の当今の理論において用いられている．

部分代数群

代数群の部分代数群 (algebraic subgroup) はザリスキ閉な部分群である．一般にはさらに連結（あるいは多様体として既約）であるようにとる．

その条件を表す別の方法は，部分多様体でもあるような部分群である．

多様体の代わりにスキームを許すことでこれも一般化できる．これの実際的な主な影響は，連結成分が有限指数 > 1 である部分群を許すことの他に，標数 p では非(被約スキーム)（英語版）を許すことである．

コクセター群

詳細は「コクセター群」を参照

詳細は「一元体」を参照

代数群とコクセター群にはいくつかの類似する結果がある．例えば，対称群の元の個数は n! であり，有限体上の一般線型群の元の個数は (q 階乗) [n]_q! である．したがって対称群は「1つの元を持つ体」上の線型群かのように振る舞う．これは一元体によって形式化される．これはコクセター群を一元体上の単純代数群と考える．

関連項目

• (代数位相)（英語版）
• ボレル部分群
• (tame群)（英語版）
• (Morley階数)（英語版）
• (Cherlin–Zilber 予想)（英語版）
• アデール的代数群
• (代数群の用語集)（英語版）
• (擬簡約群)（英語版）

参考文献

• Chevalley, Claude, ed. (1958), Séminaire C. Chevalley, 1956--1958. Classification des groupes de Lie algébriques, 2 vols, Paris: Secrétariat Mathématique, MR0106966, Reprinted as volume 3 of Chevalley's collected works., オリジナルの2013年8月30日時点におけるアーカイブ。, https://www.webcitation.org/6JFNfpMBV?url=http://www.numdam.org/numdam-bin/browse?id=SCC_1956-1958__1_ 
• Humphreys, James E. (1972), Linear Algebraic Groups, Graduate Texts in Mathematics, 21, Berlin, New York: Springer-Verlag, ISBN (978-0-387-90108-4), MR0396773 
• Lang, Serge (1983), Abelian varieties, Berlin, New York: Springer-Verlag, ISBN (978-0-387-90875-5) 
• Milne, J. S., Affine Group Schemes; Lie Algebras; Lie Groups; Reductive Groups; Arithmetic Subgroups
• Mumford, David (1970), Abelian varieties, Oxford University Press, ISBN (978-0-19-560528-0), OCLC 138290 
• Springer, Tonny A. (1998), Linear algebraic groups, Progress in Mathematics, 9 (2nd ed.), Boston, MA: Birkhäuser Boston, ISBN (978-0-8176-4021-7), MR1642713 
• (Waterhouse, William C.) (1979), Introduction to affine group schemes, Graduate Texts in Mathematics, 66, Berlin, New York: Springer-Verlag, ISBN (978-0-387-90421-4) 
• Weil, André (1971), Courbes algébriques et variétés abéliennes, Paris: Hermann, OCLC 322901 

関連文献

• Algebraic groups and representations by M. Brion, B. Conrad, P. Gille, E. Letellier & B. Rémy