[論文レビュー] On maximal tori of algebraic groups of type G_2

Constantin N. Beli, Philippe Gille+1 more|arXiv (Cornell University)|Nov 25, 2014

Algebraic structures and combinatorial models参考文献 19被引用数 3

ひとこと要約

本論文は、体 $k$ 上のオクタニオン代数との関係を通じて、型 $G_2$ の代数群における極大トーラスを研究する。$k$-埋め込みの存在に関するコhomology的基準を、ガロアコホモロジーとWeyl群 $W_0 \cong \mathbb{Z}/2\mathbb{Z} \times S_3$ を用いて提示し、関連する立方体拡大が体でない場合に完全な解を得、体である場合には複雑な基準を提示する。また、ローレンツ級数体上での同調空間における有理点に関するトタロの問いに対する反例も構成する。

ABSTRACT

Given an octonion algebra over a field k, its automorphism group G is an algebraic semisimple k-group of type G_2. We study the maximal tori of G in terms of the algebra C.

研究の動機と目的

• 体 $k$ 上の型 $G_2$ の代数群の極大トーラスを、オクタニオン代数の構造を用いて分類すること。
• エタール代数の対 $(k', l)$ に対応する $W_0$-torsor が、オクタニオン代数 $C$ の $\mathrm{Aut}(C)$ への $k$-トーラス埋め込みの型として現れる条件を特定すること。
• 特定の同調空間に於いて $G_2$ の下で有理点の存在に関するコホモロジー的基準を提示し、特にトタロの問い（ゼロサイクルと有理点）の文脈において応用すること。
• 数体に対して、これらの多様体におけるハッセの原理が成り立つことを示し、分類を有効的に可能にする。

提案手法

• $G_2$ が体 $k$ 上のオクタニオン代数 $C$ の自己同型群として現れることを用い、$G_{k_s}$ の根系への作用を通じて極大トーラスを研究する。
• 各 $k$-埋め込み $i: T \to G$ に対して、$W_0 \cong \mathbb{Z}/2\mathbb{Z} \times S_3$ である $G_2$ のWeyl群を用いたコホモロジー類 $\mathrm{type}(T,i) \in H^1(k, W_0)$ を関連付ける。
• このような埋め込みの存在を、エタール代数の対 $(k', l)$ から構成された $G$ の下での同調空間 $X$ への $k$-点の存在と関連付ける。
• $l$ が体でない場合、$G$ 内の $A_2$-部分群の構造を用い、ユニタリ群に関する既知の結果に帰着し、Knus, Haile, Rost, Tignol の理論を適用する。
• $l$ が体である場合、$A_2$-部分群の幾何とガロアコホモロジーに基づいた複雑な基準（定理 5.2.6）を導出する。
• ローレンツ級数体 $k((t))$ 上で、$T(k'[[t]])$ 上のフィルトレーションとヒルベルトの定理90を用い、$k$-有理点を持たないが二次点と三次点を持つことを示すことで、$d=1$ の場合にトタロの問いに対する反例を構成する。

実験結果

リサーチクエスチョン

• RQ1 体 $k$ 上のオクタニオン代数 $C$ に対して、与えられた $W_0$-torsor $[(k', l)]$ が、$\mathrm{Aut}(C)$ への $k$-トーラス埋め込みの型として現れるのはいつか？
• RQ2 エタール代数 $k'$ と $l$ にどのような条件を課すと、関連する $G_2$ の下での同調空間 $X$ に $k$-有理点が存在するか？
• RQ3 体 $k$ が $k((t))$ の形である場合に、$G_2$ の下での同調空間 $X$ を、次数1のゼロサイクルは持つが $k$-有理点を持たないように構成できるか？
• RQ4 数体上では、$G_2$ の極大トーラスをパラメトライズする多様体に対してハッセの原理が成り立つか？
• RQ5 ブルハット＝ティッツ理論は、局所体上での $G_2$-群におけるトーラスの有理的共轭性とどのように関係するか？

主な発見

• 体でない立方体拡大 $l$ の場合、$A_2$-部分群の構造とガロアコホモロジーに基づいた、$k$-埋め込みの存在に関する完全かつ明示的な基準を与える。
• $l$ が体である場合、$A_2$-部分群の幾何とユニタリ群のコホモロジーを含む複雑な基準（定理 5.2.6）を提示し、与えられた $W_0$-torsor が $k$-埋め込みに引き上げられるかどうかを決定する。
• ローレンツ級数体 $k((t))$ 上では、二次点と三次点を持つが $k$-有理点を持たない $G_2$ の下での同調空間 $X$ を構成し、$d=1$ の場合にトタロの問いに対する新たな反例を提供する。
• 数体上では、$G_2$ の極大トーラスをパラメトライズする多様体に対してハッセの原理が成り立ち、例 6.4 で $\mathbb{Q}$ 上のコンパクト型 $G_2$ の場合に、すべての極大トーラスの型を計算する有効な方法を提示する。
• ブルハット＝ティッツ理論とガロアコホモロジーの間の関係を確立し、$G^\text{ad}_K$-torsor $E$ が $K_{nr}$-点を持つことと、$k$-トーラスの $G^\prime$ への埋め込みから生じることとは同値であることを示し、スティーンバーグの定理を局所体の設定に一般化する。
• $H^1(\Gamma, T(k'[[t]])) \to H^1(\Gamma, T(k'))$ の特殊化写像が同型であることを、べき級数環の単元へのフィルトレーションを用いた議論により証明し、ヒルベルトの定理90への還元を可能にし、主要定理の証明における重要な完全列を確立する。