[論文レビュー] Semisimple Algebraic Groups in Characteristic Zero

J. S. Milne|arXiv (Cornell University)|May 9, 2007

Homotopy and Cohomology in Algebraic Topology参考文献 6被引用数 3

ひとこと要約

この論文は、Tannaka双対性とテンソル圏論を活用することで、特性が0の体上の分解可能半単純代数群の分類を、概念的に洗練された方法で導出している。その結果、これらの群は、それらに付随する半単純リー代数と同じ根データによって分類されることを示している。主な貢献は、テンソル圏を介して表現論的・自然な橋渡しを介してリー代数と代数群を結ぶことにある。

ABSTRACT

It is shown that the classification theorems for semisimple algebraic groups in characteristic zero can be derived quite simply and naturally from the corresponding theorems for Lie algebras by using a little of the theory of tensor categories. This article is extracted from Milne 2007.

研究の動機と目的

• 特性が0の分解可能半単純代数群の分類を、簡潔で自然な方法で導出すること。
• 半単純リー代数の分類と半単純代数群の分類との間を、テンソル圏論によって直接結ぶこと。
• これらの群の表現理論、特にその有限次元表現が、根データによって完全に記述されることを示すこと。
• 特性0における半単純リー代数、半単純代数群、およびテンソル圏の間の構造的関係を明確にすること。

提案手法

• 有限次元表現の圏から代数群を再構成するためにTannaka双対性を用いる。
• テンソル圏におけるM-加重理論を適用し、対角化可能群から圏のTannaka双対への群準同型を関連付ける。
• 単純対象の同型類の集合から自由アーベル群への普遍テンソル写像を、テンソル関係による商で定義し、重み格子を導出する。
• 特定の格子X内の最高ウェイトを持つリー代数の表現の完全部分圏のTannaka双対として代数群を構成する。
• 分解可能半単純リー代数の、格子X内の最高ウェイトを持つ表現の圏のTannaka双対が、根系(V,R)と重み格子Xを持つ分解可能半単純代数群であるという事実を活用する。
• 随伴表現と随伴自己準同型の指数写像の作用を用いて、最大トーラスの共軛性を証明する。

実験結果

リサーチクエスチョン

• RQ1 特性が0の分解可能半単純代数群の分類を、半単純リー代数の分類から直接どのように導出できるか。
• RQ2 テンソル圏とTannaka双対性が、リー代数と代数群を結ぶ際に果たす正確な役割は何か。
• RQ3 根系の重み格子Q(R)とP(R)は、代数群の分類とどのように関係するか。
• RQ4 根系の重み格子間の格子埋め込みから、半単純代数群の同種類は回復可能か。
• RQ5 固定された最高ウェイトを持つ表現の部分圏のTannaka双対の幾何的意味は何か。

主な発見

• 任意の図式(V,R,X)、ここで(V,R)は縮小された根系でXはQ(R) ⊂ X ⊂ P(R)を満たす格子であるが、k上の一意的な分解可能半単純代数群から生じる。
• 分解可能半単純リー代数の、格子X内の最高ウェイトを持つ表現の完全部分圏のTannaka双対は、根系(V,R)と重み格子Xを持つ分解可能半単純代数群である。
• 分解可能半単純代数群間の同種類は、根系を保存する格子埋め込みX → X'にちょうど一致する。
• 分解可能半単純代数群Gの中心は、重み格子Xと根格子Q(R)の商と同型であり、随伴表現の核として回復可能である。
• 代数群G(𝔤)における最大トーラスは、リー代数の冪零元を指数写像で取り出して得られるG(𝔤)(k)の元による共軛性を示す。
• 分解可能半単純代数群の有限次元表現の圏は、そのリー代数の重み格子内の最高ウェイトを持つ表現の圏のTannaka双対と同値である。