[論文レビュー] Classification of Certain Subgroups of G2

Andrew Fiori|arXiv (Cornell University)|Jan 14, 2015

Algebraic Geometry and Number Theory参考文献 8被引用数 3

ひとこと要約

この論文は、数体およびp進体上の型G2の群における最大トーラスおよび単連結A2部分群の有理的共軛類の明示的分類を、オクタニオンの明示的な幾何学的・代数的構造を用いて行う。これは、具体的な構成とガロアコhomologyの間の橋渡しを提供し、抽象的なコhomology分類と整合する体系的な記述を提示する。

ABSTRACT

We give a concrete characterization of the rational conjugacy classes of maximal tori in groups of type G2, focusing on the case of number fields and p-adic fields. In the same context we characterize the rational conjugacy classes of A2 subgroups of G2. Having obtained the concrete characterization, we then relate it to the more abstract characterization which can be given in terms of Galois cohomology. We note that these results on A2 subgroups were simultaneously and independently developed in the work of Hooda whereas the results on tori were simultaneously and independently developed in the work of Beli-Gille-Lee.

研究の動機と目的

• 数体およびp進体上の型G2の群における最大トーラスの有理的共軛類の明示的・具体的な分類を提供すること。
• 同じ体上で単連結A2部分群の有理的共軛類を分類すること。
• これらの具体的な分類を、文献に既に確立された抽象的なガロアコhomology枠組みと関連付けること。
• 専門外の読者にもアクセス可能な、背景資料を含む自己完結的な取り扱いを提供し、既存の高度な取り扱いを補完すること。
• F4、E6、E7、E8などの他の例外的群への同種の分類の拡張に基礎を築くこと。

提案手法

• 体k上のオクタニオンの代数的構造を用いて、G2をカーレイ代数の自己同型群として定義する。
• 代数的閉包上のオクタニオン代数における特定の元の安定化部分群として、最大トーラスおよびA2部分群を構成する。
• 正規化部分群および自己同型群を含む完全列を用いて、これらの部分群の形のガロアコhomologyによる分類を適用する。
• 特に、トーラスTについてH¹(Gal(k̄/k), T̄)を計算するためにヒルベルトの定理90に依存する。
• ガロアコhomologyにおける像と核の条件を用いて、形の同型類とコhomology類との間の全単射を確立する。
• 明示的なコサイクルの持ち上げと分裂条件を通じて、幾何的構成と抽象的コhomology分類を結びつける。

実験結果

リサーチクエスチョン

• RQ1 数体およびp進体上のG2における最大トーラスの有理的共軸類は、どのように明示的に分類できるか？
• RQ2 G2における単連結A2部分群の有理的共軸類の明示的な幾何学的・代数的記述は何か？
• RQ3 これらの明示的分類は、同種の部分群の抽象的ガロアコhomology分類とどのように関係するか？
• RQ4 エタール代数は、トーラスの形の分類およびそれらのG2への埋め込みにどのように寄与するか？
• RQ5 なぜこの設定において有理的共軸と有理的同型が一致しないのか、そしてこれはコhomologyにどのように反映されるか？

主な発見

• 数体またはp進体上のG2における最大トーラスの有理的共軸類は、底体上の特定の二次および三次エタール代数の同型類と自然な全単射の関係にある。
• G2における単連結A2部分群の有理的共軸類は、代数的閉包上のオクタニオン代数における非ゼロでノルムがゼロの元の選択によりパラメトライズされ、スカラー倍を除いて一意である。
• G2に埋め込まれるトーラスの分類は、ガロアコhomologyにおける写像 H¹(Gal(k̄/k), N_k( k̄ )) → H¹(Gal(k̄/k), Aut(T)) の像と核によって与えられ、核条件を満たす。
• トーラスの有理的共軸と有理的同型が一致しない理由は、H¹(Gal(k̄/k), T̄) が非自明であることによるが、これはヒルベルトの定理90と完全列を用いて計算される。
• A2部分群に関する結果は、[8]の独立的な研究と同等であり、トーラスに関する結果は[3]と一致しており、既存のコhomology枠組みと整合性が確認される。
• トーラスおよびA2部分群の形のコhomological記述は、ガロアコhomologyによる抽象的分類と完全に整合しており、明示的なコサイクルの持ち上げ条件も検証済みである。