[论文解读] Motivic decomposition of anisotropic varieties of type F_4 into generalized Rost motives

Sergey Nikolenko, Nikita Semenov+1 more|arXiv (Cornell University)|Feb 17, 2005

Algebraic Geometry and Number Theory参考文献 8被引用 10

一句话总结

该论文将具有积分系数的各向同性 F₄ 型射影齐次簇的动机分解为广义 Rost 动机的扭变副本。通过在 Chow 环中使用显式幂等元并应用 Rost 幂零定理，证明了此类簇的 Chow 动机同构于七个扭变副本的不可约动机 R 的直和，并进一步表明两个非同构的 F₄ 型簇可具有同构的动机，从而提供了此类现象的首个纯粹例外情形示例。

ABSTRACT

This an extended version of the previous preprint dated by February 2005. We prove that the Chow motive of an anisotropic projective homogeneous variety of type F4 is isomorphic to the direct sum of twisted copies of a generalized Rost motive. In particular, we provide an explicit construction of a generalized Rost motive for a generically splitting variety for a symbol in K_3^M(k)/3. We also establish a motivic isomorphism between two anisotropic non-isomorphic projective homogeneous varieties of type F4. All our results hold for Chow motives with integral coefficients.

研究动机与目标

• 在经典的 Chow 动机范畴中，以积分系数显式构造广义 Rost 动机 M₂（当 p=3 时）的初等构造。
• 证明任意一个在 K³ₘ(k)/3 中分裂符号的各向同性 F₄ 型簇的 Chow 动机同构于单个不可约动机 R 的扭变副本的直和。
• 在三次扩张上，建立两个非同构的各向同性 F₄ 型簇（X₁ 与 X₄）之间的动机同构，这两个簇对应于不同的抛物子群。
• 将 Karpenko 的幂等元提升方法通过 Rost 幂零性推广至例外群 F₄，避免使用动机的三角范畴。

提出的方法

• 通过在 k 的分离闭包上 CH(X×X) 中使用显式幂等元，将广义 Rost 动机 R 构造为一个通用细胞 F₄ 型簇的 Chow 动机的直和项。
• 利用 Rost 幂零定理将这些幂等元提升至基域 k，确保动机可分解为 R 的扭变副本的直和。
• 应用 Pieri 与 Giambelli 公式，借助 Hasse 图组织根系数据，计算射影齐次 F₄ 型簇 X₁ 与 X₄ 的 Chow 环。
• 利用 F₄ 的根系与基本权，将关键的上同调类（如 h₁⁴, g₁⁴）表示为基本权的多项式，并通过 c-函数计算其乘积。
• 通过验证 X₁ 与 X₄ 的动机在三次扩张 k′ 上均分解为相同形式的扭变 Lefschetz 动机之和，确认其动机同构。
• 利用 R 在 k′ 上同构于 ℤ ⊕ ℤ(4) ⊕ ℤ(8) 的事实，确认分解结构。

实验结果

研究问题

• RQ1 广义 Rost 动机 M₂（当 p=3 时）是否可在经典的 Chow 动机范畴中，以积分系数显式构造，而无需依赖三角范畴的动机理论？
• RQ2 一个在 K³ₘ(k)/3 中分裂符号的各向同性 F₄ 型簇的 Chow 动机是否同构于单个不可约动机的扭变副本的直和？
• RQ3 两个非同构的各向同性 F₄ 型簇（对应于不同的抛物子群）是否具有同构的 Chow 动机？
• RQ4 Karpenko 的幂等元提升方法是否可推广至 F₄ 型例外群，以实现动机分解？
• RQ5 射影齐次 F₄ 型簇（类型 X₁ 或 X₄）的 Chow 环的精确结构是什么？其与广义 Rost 动机有何关联？

主要发现

• 任意一个在域 k 上的各向同性 F₄ 型簇 X 的 Chow 动机同构于七个扭变副本的单个不可约动机 R 的直和：M(X) ≅ ⨁ᵢ₌₀⁷ R(i)。
• 广义 Rost 动机 R 是不可约的，并在三次扩张 k′ 上同构于 ℤ ⊕ ℤ(4) ⊕ ℤ(8)，确认其作为动机分解基本构件的角色。
• 两个非同构的射影齐次 F₄ 型簇 X₁ 与 X₄（分别对应第一个与最后一个基本权）具有同构的 Chow 动机，这是例外情形下此类现象的首个已知示例。
• 动机 R 通过从分离闭包提升的 CH(X×X) 中的幂等元显式构造，利用 Rost 幂零定理实现。
• 利用 Pieri 与 Giambelli 公式计算了 X₁ 与 X₄ 的 Chow 环，通过 c-函数将上同调类表示为基本权的多项式。
• 动机分解与 Bloch-Kato 猜想的预期一致：一个分裂纯符号的通用细胞簇的动机可分解为 M₂ 的扭变副本。