[论文解读] 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 且 Tits 代数平凡的域上，证明了扭 Cayley 平面及其他与代数群 F₄、¹E₆ 或 E₇ 型相关的例外射影齐次簇的零循环群上度映射的单射性。通过几何方法与伽罗瓦下降，证明了度同态的核是平凡的，推广了关于 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₇ 且 Tits 代数平凡的例外群，建立度映射 deg: CH₀(X) → ℤ 的单射性。
• 将关于 R-平凡性与零循环单射性的已知结果，从 Severi-Brauer 簇与二次曲面推广至例外簇。
• 提供一种几何证明，不依赖 Rost 不变量或链引理，而是利用对称幂与有理对应来证明单射性。

提出的方法

• 利用伽罗瓦下降，通过在 k_s 上的基变换与伽罗瓦作用来解释 k 上的簇。
• 应用 R-等价性与对称幂的框架，将有理点与零循环联系起来。
• 使用有理对应范畴 RatCor(k)，通过有理映射比较零循环群。
• 利用函数域上簇的各向同性，诱导零循环群之间的同构。
• 分析例外群在 Jordan 代数与 Albert 代数上的作用，以推导有理性与 R-平凡性。
• 应用关于 p-互素闭包（k₂, k₃）的结果，将问题约化至域为 p-互素闭包的情形。

实验结果

研究问题

• RQ1 在何种条件下，特征 ≠ 2,3 的域 k 上射影 G-齐次簇 X 的 CH₀(X) 上的度映射是单射的？
• RQ2 Tits 代数的结构与 G 的 Dynkin 型如何影响零循环群 CH₀(X)？
• RQ3 对于 Cayley 平面等例外簇，能否通过几何方法证明度映射的单射性？
• RQ4 R-平凡性与对称幂在控制度映射核方面起什么作用？
• RQ5 簇之间的有理对应在多大程度上诱导其零循环群之间的同构？

主要发现

• 对于特征 ≠ 2,3 的域 k 上的任意射影 G-齐次簇 X，若 G 为 F₄、¹E₆ 或 E₇ 型且 Tits 代数平凡，则度映射 deg: CH₀(X) → ℤ 是单射的。
• 对于扭 Cayley 平面（G 为 ¹E₆ 型），通过 p-互素 3 闭包与函数域上的各向同性，建立了度映射的单射性。
• 对于 P₇ 型的 E₇ 齐次簇，通过 p-互素 2 闭包与群作用结构，证明了单射性。
• 在 p-互素闭包 k_p 上，F₄ 或 ¹E₆ 型的非各向同性簇 X，其零循环群 CH₀(X) 是平凡的（即 CH₀(X) ≅ ℤ）。
• 若在函数域上存在有理映射 X ⇢ Y 与 Y ⇢ X，则有 CH₀(X) ≅ CH₀(Y)，从而可约化至已知情形。
• 该证明避免使用 Rost 不变量与链引理，转而依赖例外群的经典几何与下降技术。