Finite abelian subgroups of algebraic groups

技術要約：代数群における有限アーベル部分群

問題提起
本論文は、代数閉体 $k$ 上の代数群 $G$ 内の有限アーベル $k$-部分群 $A$ の構造を調査するものである。特に、$A$ の位数が $k$ の標数で割り切れない場合に焦点を当てる。中心的な問いは、任意の有限アーベル部分群が「どの程度」トーラス的（すなわち、極大トーラスに含まれている状態）から離れているかを定量化することである。この問題は、コンパクト・リー群および捩れ素数に関する Borel (1961) の古典的な研究を拡張するものである。Reichstein および Youssin (2001) による先行研究では、$p$-部分群 $A$ に対して指数 $[A : A \cap T]$ が Grothendieck の捩れ指数 $t(G)$ を割り切れることが示されていたが、これらの結果は標数 0 に限定されており、また $A$ が $p$-群であることを要求する場合が多かった。本研究は、これらの構造的結果を、任意の有限アーベル部分群および正の標数（ただし標数が群の位数 $A$ を割り切らない場合）へと一般化し、さらに、反復ローラン級数体上のトスル（torsor）の分裂への応用を目指すものである。

手法
著者らは、代数群論、ガロア・コホモロジー、および反復ローラン級数体 ($k_r = k((t_1))\dots((t_r))$) 上のトスルの理論を組み合わせた手法を用いる。

1. トスルへの還元: 著者らは、有限アーベル部分群とトスルの間の対応関係を利用する。具体的には、$A$-トスルによって誘導される $G$-トスルの構造を通じて、$A$ の構造を関連付ける。
2. 値判定法と固有性: 重要な技術的ツールとして、固有性の値判定法の使用が挙げられる。$k_r$ から連結な $A$-トスルの関数体への値の拡張を検討することにより、ある条件下において、もしトスルが分裂するならば、部分群 $A$ はボレル部分群に含まれ、さらには極大トーラスに含まれることを著者らは証明する。
3. 反復ローラン級数のガロア理論: 著者らは、$k_r$ の絶対ガロア群の構造、特にその最大 $l$-剰余商（ここで $l$ は特性指数）を利用して、トスルの分裂体の解析を行う。これにより、幾何学的な分裂条件を、体拡大のガロア群に関する群論的な制約へと翻訳することが可能になる。
4. 深さと捩れ指数: 著者らは、有限アーベル部分群 $A$ の「深さ（depth）」という概念を導入し、これを利用する。深さは、すべての極大トーラス $T$ に対する指数の最大公約数として定義される。これを用いて、Grothendieck の捩れ指数の変種である $t_2(G)$ および $t_3(G)$ と関連付ける。
5. $E_8$ に関するケースバイケースの分析: $E_8$ について、著者らは（Draper および Elduque を参照し）極大有限アーベル部分群の詳細な分類を行い、リー環の分解およびコーディング理論（特にスピン群に関連する自己直交バイナリ符号）を用いて、それらの深さを計算する。

主要な貢献と結果

• Reichstein-Youssin の一般化 (Theorem 1.1): 本論文は、$\text{char}(k) \nmid |A|$ である任意の有限アーベル部分群 $A \subset G$ に対して、$[A : A \cap T]$ が Grothendieck の捩れ指数 $t(G)$ を割り切るような極大トーラス $T$ が存在することを証明する。決定的なのは、この結果が正の標数においても（$|A|$ が標数を割り切らない限り）成立し、$A$ が $p$-群であることを要求しない点である。これは Totaro および Wang によって提起された問いに答えるものである。
• 反復ローラン級数体上の分裂 (Theorem 1.2): 著者らは、$k_r$ 上の $A$-トスルによって誘導される $G$-トスルの分裂と、$A$ の構造との間の正確な関係を確立する。具体的には、有限拡大 $L/k_r$ が誘導されたトスルを分裂させる場合、指数 $[A : A \cap T]$ は拡大次数 $[L : k_r]$ を割り切る。さらに、特定のタワー条件の下で、商 $A/(A \cap T)$ は、分裂拡大のガロア群の商であると同時に部分群でもあることが示される。
• 捩れ指数の変種 (Theorem 1.3): 著者らは $t_2(G)$ および $t_3(G)$ を定義し、「良好な」標数の仮定の下で $t_2(G) = t_3(G)$ であることを証明する。例外型群 $E_8$ について、著者らは $t_2(E_8) = 60$ であることを計算した。この結果は、完全な捩れ指数 $t(E_8)$ が非常に大きい（$2^{63} \cdot 3^2 \cdot 5 \dots 997 \dots$）一方で、変種 $t_2(G)$ は正確に 60 であることを示すことで、Tits の「hypothèse optimiste（楽観的仮説）」を部分的に救済するものである。
• 零サイクルと有理点の関係 (Theorem 1.5): 本論文は、反復ローラン級数体上の $G$-同次空間における零サイクルに関する Totaro の問いに対し、肯定的な回答を与える。もし $k_r$ 上の $G$-トスルが次数 $d$ の零サイクルを持つならば、標数が $G$ に対して「良好」であれば、そのトスルは $d$ を割り切る次数の閉点を持つことを証明する。これは、他の体において存在する反例を解決するものである。
• 種数 1 曲線による分裂 (Theorem 1.8): 著者らは、種数 1 曲線による Brauer 類への分裂に関する従来の否定的な結果を一般化する。ある種の代数群 $G$（十分な「深さ」を持つ基本アーベル $p$-部分群を含むもの）に対して、$k_r$ 上の $G$-トスルが存在し、それはどのような $g$ 次元アーベル多様体（種数 1 曲線を含む）の下のトスルによっても分裂できないことを証明する。これは、そのようなトスルを分裂させるために必要なガロア群のランクの下限を確立することによって達成される。これは、種数 1 曲線が提供する分裂体のガロア群の最大 $p$-ランクを上回る。

意義
著者らは、自らの研究が主に以下の 3 つの領域において重要であると主張している。

1. 構造論: $p$-群という制限を取り除き、正の標数へと適用範囲を広げることで、有限アーベル部分群の構造的理解を鋭敏にし、Borel および Reichstein-Youssin の古典的な結果を統一・強化した。
2. 捩れ指数: 変種である捩れ指数 $t_2(G)$ を導入・計算し、それが古典的な Grothendieck の捩れ指数 $t(G)$ よりも厳密に小さくなり得ることを示した。$t_2(E_8) = 60$ という計算は、完全な捩れ指数 $t(E_8)$ は巨大であるが、「実効的な」指数（反復ローラン級数体上のトスルに対する指数）ははるかに小さいことを示しており、Tits の「hypothèse optimiste」を部分的に裏付けるものである。
3. 分裂体への応用: 反復ローラン級数体上のトスルの分裂（Theorem 1.5）および、種数 1 曲線によるトスルの分裂の限界（Theorem 1.8）に関する問いに対し、決定的な回答を提供した。これらの応用は、代数群の抽象的な構造を、体論や同次空間の幾何学における具体的な問題へと結びつけている。

著者らは、自らの研究が、より広い適用可能性を実現するために、以前の標数 0 における証明で必要とされていた「特異点解消」の使用を避け、トスルの構造的性質および反復ローラン級数体の特定の算術的性質に依拠していることを明示している。