[論文レビュー] Higher Tits indices of algebraic groups

Viktor Petrov, Nikita Semenov|ArXiv.org|Jun 19, 2007

Algebraic Geometry and Number Theory参考文献 33被引用数 6

ひとこと要約

本稿は、チャウ群、スティーナロード作用素、および$J$-不変量を用いて、体の拡張上での挙動を分析することにより、例外的代数群—特にタイプ$\mathrm{F}_4$、${}^1\mathrm{E}_6$、および$\mathrm{E}_7$—の高次ティーツ指数を導入し分類する。主な貢献は、ティーツ代数が自明である群のすべての可能な高次ティーツ指数の完全な分類であり、これにより$\mathrm{E}_7$-型群のロスト不変量の核の自明性の短い証明が得られる。

ABSTRACT

Let G be a semisimple algebraic group over a field k. We introduce the higher Tits indices of G as the set of all Tits indices of G over all field extensions K/k. In the context of quadratic forms this notion coincides with the notion of the higher Witt indices introduced by M. Knebusch and classified by N. Karpenko and A. Vishik. We classify the higher Tits indices for exceptional algebraic groups. Our main tools involve the Chow groups and the Chow motives of projective homogeneous varieties, Steenrod operations, and the notion of the J-invariant of algebraic groups.

研究の動機と目的

• 体の拡張上の半単純代数群の高次ティーツ指数を定義し、体系的に研究すること。
• ティーツ代数が自明である$\mathrm{F}_4$、${}^1\mathrm{E}_6$、$\mathrm{E}_7$型の例外的群のすべての可能な高次ティーツ指数を分類すること。
• 例外的群の分解挙動と、射影的同次的多様体上の1次ゼロサイクルの存在との間の関係を確立すること。
• $\mathrm{E}_7$-型群のロスト不変量の核の自明性に対する、新しい短い証明を提供すること。

提案手法

• 代数群の$J$-不変量を用いて、フラッグ多様体のチャウ環内の有理的サイクルのサイズを測定する。
• チャウ理論におけるスティーナロード作用素を応用し、体の拡張上でのモチビック不変量および分解挙動を分析する。
• 射影的同次的多様体のチャウモチーフを用いて、分類問題をチャウ環の部分環への還元する。
• $\mathrm{E}_7$-群におけるタイプ$\mathrm{D}_6$の非分解的核の存在を、特定の非分解的多様体上の1次ゼロサイクルの存在に還元する。
• [GS08]におけるゼロサイクルに関する結果とロスト不変量の理論を活用し、群の分解挙動における構造的制約を導出する。
• 関数体上の多様体のモチビック分解を用いて、$\mathrm{CH}_0$上の次数写像を分析し、1次ゼロサイクルの存在を除外する。

実験結果

リサーチクエスチョン

• RQ1 体の拡張$K/k$上で半単純代数群$G$が実現できるすべての可能なティーツ指数は何か？
• RQ2 $J$-不変量は、例外的群の分解挙動および高次ティーツ指数をどのように制御するか？
• RQ3 $\mathrm{E}_7$型群が、ある体の拡張上でタイプ$\mathrm{D}_6$の半単純非分解的核をもつための条件は何か？
• RQ4 射影的同次的多様体上に1次ゼロサイクルが存在するとき、対応する群の分解性がどのように保証されるか？
• RQ5 ロスト不変量の自明性と$\mathrm{E}_7$-型群の分解性との間の正確な関係は何か？

主な発見

• タイプ$\mathrm{F}_4$で$J_2 = (0)$のとき、高次ティーツ指数は$\{1, \mathrm{F}_4\}$であり、$J_2 = (1)$のとき$\{1, \mathrm{B}_3, \mathrm{F}_4\}$である。
• ${}^1\mathrm{E}_6$で$J_2 = (0), J_3 = (0,1)$のとき、高次ティーツ指数は$\{1, \mathrm{E}_6\}$である。
• $J_2 = (1), J_3 = (0,*)$のとき、指数は$\{1, \mathrm{D}_4, \mathrm{E}_6\}$であり、$J_2 = (0), J_3 = (j_1,*), j_1 \neq 0$のとき$\{1, 2\mathrm{A}_2, \mathrm{E}_6\}$である。
• $\mathrm{E}_7$でティーツ代数が自明で、$\mathrm{char}\,k \neq 2,3$のとき、高次ティーツ指数$\Omega(G)$は$\{1, \mathrm{D}_4, \mathrm{D}_6, \mathrm{E}_7\}$を含み、$G_K$が$\mathrm{D}_6$核をもつ体の拡張が存在することを示唆する。
• $J$-不変量は$\mathrm{D}_4$-核の存在を決定する：$\mathrm{D}_4 \in \Omega(G)$であるための必要十分条件は$J_2(G)$が非自明であることである。
• 本稿は、$\mathrm{D}_6$-核の存在とアラソン不変量の性質を用いて、$\mathrm{E}_7$-型群のロスト不変量の核が自明であることを短い証明で示している。