[論文レビュー] Zero-cycles on a twisted Cayley plane

V. A. Petrov, Nikita Semenov+1 more|ArXiv.org|Aug 11, 2005

Algebraic Geometry and Number Theory参考文献 12被引用数 5

ひとこと要約

本稿は、特性 ≠ 2,3 でティーツ代数が自明な体上の代数群の型 F₄、¹E₆、または E₇ に関連するねじれ Cayley 平面および他の例外的射影同調的多様体に対して、零サイクル群上の次数写像の単射性を確立する。幾何的技法とガロア降下を用いて、次数準同型の核が自明であることを証明し、Severi-Brauer 多様体および二次曲面に関する以前の結果を一般化する。

ABSTRACT

This is an essentially extended version of the preprint dated by August 2005 (this includes now the varieties of types F_4, E_6 and E_7). Let k be a field of characteristic not 2 and 3. Let G be an exceptional simple algebraic group of type F_4, inner type E_6 or E_7 with trivial Tits algebras. Let X be a projective G-homogeneous variety. If G is of type E_7 we assume in addition that the respective parabolic subgroup is of type P_7. The main result of the paper says that the degree map on the group of zero cycles of X is injective.

研究の動機と目的

• 特性 ≠ 2,3 の体 k 上の射影的 G-同調的多様体 X に対して、零サイクル群 CH₀(X) を計算すること。
• ティーツ代数が自明な例外型 F₄、¹E₆、E₇ の代数群 G に対して、CH₀(X) → ℤ への次数写像 deg: CH₀(X) → ℤ の単射性を確立すること。
• Severi-Brauer 多様体および二次曲面に関する R-自明性と零サイクルの単射性の既知の結果を、例外的多様体へと拡張すること。
• Rost 不変量やチェーン補題に依存せず、対称冪と有理対応を用いて、幾何的証明により単射性を示すこと。

提案手法

• ガロア降下を用いて、k 上の多様体をその代数閉包 k_s への基底変換とガロア作用を介して解釈する。
• R-同値と対称冪の枠組みを適用し、有理点と零サイクルを関連付ける。
• 有理対応の圏 RatCor(k) を用いて、有理写像を通じて零サイクル群を比較する。
• 函数体上での多様体の同調性を用いて、零サイクル群間の同型を誘導する。
• 例外的群がジョルダン代数およびアーベルト代数に作用する構造を分析し、有理性と R-自明性を導出する。
• 素数 p に対する閉包 (k₂, k₃) に関する結果を適用し、問題を 2 と 3 に素因数を含まない体、あるいは 3 に素因数を含まない体の状況に還元する。

実験結果

リサーチクエスチョン

• RQ1 射影的 G-同調的多様体 X に対して、体 k 上の CH₀(X) 上の次数写像がいつ単射になるか。
• RQ2 G のティーツ代数の構造とディンキン型が、零サイクル群 CH₀(X) にどのように影響を与えるか。
• RQ3 Cayley 平面のような例外的多様体に対し、次数写像の単射性を幾何的に確立できるか。
• RQ4 R-自明性と対称冪は、次数写像の核を制御するために果たす役割は何か。
• RQ5 多様体間の有理対応が、それらの零サイクル群に同型を誘導する程度はどの程度か。

主な発見

• 特性 ≠ 2,3 の体 k 上の射影的 G-同調的多様体 X に対して、G が型 F₄、¹E₆、または E₇ でティーツ代数が自明なとき、次数写像 deg: CH₀(X) → ℤ は単射である。
• （G が型 ¹E₆ のねじれ Cayley 平面の場合）3 に素因数を含まない閉包と函数体上での同調性を用いて、次数写像の単射性を確立した。
• P₇ をパラボリック部分群とする型 E₇ の同調的多様体に対しては、2 に素因数を含まない閉包と群作用の構造を用いて単射性を証明した。
• p に素因数を含まない閉包 k_p 上の型 F₄ または ¹E₆ の非分解多様体 X に対して、零サイクル群 CH₀(X) は自明（すなわち CH₀(X) ≅ ℤ）である。
• 函数体上での多様体 X ⇢ Y および Y ⇢ X の有理写像の存在は、CH₀(X) ≅ CH₀(Y) を意味し、既知の状況への還元を可能にする。
• 証明は Rost 不変量やチェーン補題を避け、例外的群の古典的幾何と降下技法に依存している。