[論文レビュー] The Kneser-Tits conjecture for groups with Tits-index E_{8,2}^{66} over an arbitrary field

R. Parimala, Jean-Pierre Tignol+1 more|arXiv (Cornell University)|Aug 11, 2010

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

ひとこと要約

この論文は、任意の体上における絶対的単純代数群のティーツ指数 $E_{8,2}^{66}$ に対して、Kneser-Tits予想を証明する。具体的には、判別式が自明で、クラッフォード不変量が分解している12次元の非分解的二次形式の相似変換のスケーリング乗数群が、その形式が双曲的になる二次拡大からのノーマルによって生成されることを示す。主な結果は、このような群がそのルート部分群によって生成されることを確認し、クラッフォード代数、R同値、および四角形代数を用いて、この場合の予想を検証する。

ABSTRACT

We prove: (1) The group of multipliers of similitudes of a 12-dimensional anisotropic quadratic form over a field K with trivial discriminant and split Clifford invariant is generated by norms from quadratic extensions E/K such that q_E is hyperbolic. (2) If G is the group of K-rational points of an absolutely simple algebraic group whose Tits index is E_{8,2}^{66}, then G is generated by its root groups, as predicted by the Kneser-Tits conjecture.

研究の動機と目的

• 任意の体上におけるティーツ指数 $E_{8,2}^{66}$ の代数群に対する Kneser-Tits 予想の検証。
• 判別式が自明で、クラッフォード不変量が分解している12次元の非分解的二次形式の相似変換乗数群が、その形式が双曲的になる二次拡大からのノーマルによって生成されることの確立。
• このような群が、Kneser-Tits 予想が予測するようにそのルート部分群によって生成されることの示唆。
• 特徴が0のときの $\mathrm{PGO}_+^+(q)$ の R-単純性を用いて証明を拡張し、任意の特徴に一般化すること。

提案手法

• クラッフォード代数の理論と、判別式が自明でクラッフォード不変量が分解している二次形式の分類を用いて、相似変換乗数群の構造を分析する。
• 文献[22, 23]における四角形代数の概念を適用し、ムーファン四角形の幾何と例外的群の代数的構造を関連付ける。
• 純分離拡大の文脈において、スピンノーマルのノーマル原理と Knebusch のノーマル定理を用いて、拡大からのノーマルとスピンノーマル群との関係を確立する。
• 特徴が0のときの $\mathrm{PGO}_+^+(q)$ の R-単純性（三重性対応と偶数クラッフォード代数上のエルミート形式を用いて証明）を活用し、任意の特徴における主結果を導出する。
• 判別式が自明な8次元二次形式と、その偶数クラッフォード代数の単純成分上のエルミート形式との対応関係を用いて、$\dim q = 8$ の場合を証明する。
• $R$-同値と $\mathrm{Hyp}_2(q)$ の構造を用いて、与えられた条件下で非分解的8次元および12次元形式に対して $G(q) = \mathrm{Hyp}_2(q)$ が成り立つことを示す。

実験結果

リサーチクエスチョン

• RQ1 ティーツ指数 $E_{8,2}^{66}$ を持つ絶対的単純代数群の $K$-有理点群は、Kneser-Tits 予想が予測するようにそのルート部分群によって生成されるか？
• RQ2 判別式が自明でクラッフォード不変量が分解している12次元の非分解的二次形式の相似変換乗数群は、その形式が双曲的になる二次拡大からのノーマルによって生成されるか？
• RQ3 特徴が0のときの $\mathrm{PGO}_+^+(q)$ の $R$-単純性は、任意の特徴における Kneser-Tits 予想を導くのに用いることができるか？
• RQ4 四角形代数とクラッフォード代数の構造は、$E_{8,2}^{66}$ 群に対する Kneser-Tits 予想の証明にどのように寄与するか？
• RQ5 歪エルミート形式のスピンノーマル群 $\mathrm{Sn}(h)$ と、二次拡大からのノーマル群 $\mathrm{Hyp}_2(q)$ の正確な関係は何か？

主な発見

• 判別式が自明でクラッフォード不変量が分解している12次元の非分解的二次形式の相似変換乗数群は、$q_E$ が双曲的になる二次拡大 $E/K$ からのノーマルによって生成される。
• 判別式が自明でクラッフォード不変量のインデックスが2の非分解的8次元二次形式に対して、群 $G(q)$ は $\mathrm{Hyp}_2(q)$ に等しい。ここで $\mathrm{Hyp}_2(q)$ は $K^{\times 2}$ と $q_E$ が双曲的になる二次拡大からのノーマルによって生成される部分群である。
• $\mathrm{char}(K) \neq 2$ のとき、群 $\mathrm{PGO}_+^+(q)$ は $R$-単純である。このことは、この場合に $G(q) = \mathrm{Hyp}_2(q)$ が成り立つことを示唆する。
• 任意の体上におけるティーツ指数 $E_{8,2}^{66}$ を持つ群に対して Kneser-Tits 予想は成立する。なぜなら、このような群はそのルート部分群によって生成されるからである。
• 特徴が0のときの $R$-単純性による証明は任意の特徴に拡張可能であり、これにより予想の均一な検証が達成される。
• 8次元二次形式とその偶数クラッフォード代数の単純成分上のエルミート形式との対応関係により、12次元の場合を8次元の場合に還元でき、$\dim q = 12$ の場合に $G(q) = \mathrm{Hyp}_2(q)$ が確認される。