[论文解读] Affine representability results in A^1-homotopy theory III: finite fields and complements

Aravind Asok, Marc Hoyois+1 more|arXiv (Cornell University)|Jul 9, 2018

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

一句话总结

该论文建立了有限域上各向同性约化群的 G-主丛的 A¹-可表示性，将先前在无限域上的结果推广至有限域。通过在有限域上应用改进的 Gabber 展现引理，证明了 Nisnevich 上同调的 A¹-不变性，从而将动机球面识别为约化群的齐性空间，包括 Spin₉/Spin₇ ≅ Q₁₅ 和 SO₂ₙ₊₁/SO₂ₙ ≅ Q₂ₙ。

ABSTRACT

We give a streamlined proof of ${\mathbb A}^1$-representability for $G$-torsors under "isotropic" reductive groups, extending previous results in this sequence of papers to finite fields. We then analyze a collection of group homomorphisms that yield fiber sequences in ${\mathbb A}^1$-homotopy theory, and identify the final examples of motivic spheres that arise as homogeneous spaces for reductive groups.

研究动机与目标

• 将 G-主丛在有限域上的 A¹-可表示性结果从无限域推广至有限域。
• 通过改进的展现引理，建立有限域上各向同性约化群的 H¹_Nis(X, G) 的 A¹-不变性。
• 对特征 ≠ 2 的域，分类作为约化群齐性空间出现的动机球面。
• 确定此类齐性空间的首个非零 A¹-同伦层，并分析其连通性。
• 通过相关主丛的 Zariski 局部平凡性，证明某些二次曲面 Q₂ₙ 在特征 ≠ 2 的域上为 A¹-朴素。

提出的方法

• 应用 Hogadi 与 Kulkarni 最近证明的有限域上 Gabber 展现引理的改进版本，以建立 H¹_Nis(X, G) 的 A¹-不变性。
• 利用有限域上所有约化群均为拟分裂（因而各向同性）的事实，将 [AHW18] 中的结果推广至有限域。
• 借助奇异构造 Sing^A¹ 及 A¹ 同伦范畴中的纤维化替换，将上同调不变量与映射空间联系起来。
• 通过经典群论构造（特别是旋量群与八元数）识别动机球面为齐性空间。
• 应用 Witt 的消去定理，验证主丛 G → G/H 的 Zariski 局部平凡性，从而推出 A¹-不变性与可表示性。
• 利用已知的 A¹-弱同伦等价：Q₂ₙ ≃ Sⁿ ∧ Gₘ^∧n 和 Q₂ₙ₋₁ ≃ Sⁿ⁻¹ ∧ Gₘ^∧n，识别齐性空间为动机球面。

实验结果

研究问题

• RQ1 各向同性约化群的 G-主丛的 A¹-可表示性能否从无限域推广至有限域？
• RQ2 在 A¹ 同伦理论中，哪些齐性空间 G/H 同构于动机球面？
• RQ3 对于各向同性约化群，齐性空间 G/H 的首个非零 A¹-同伦层的结构为何？
• RQ4 在特征 ≠ 2 的域上，二次曲面 Q₂ₙ 是否为 A¹-朴素？
• RQ5 对于已识别的齐性空间 G/H ≅ Q₂ₙ 或 Q₂ₙ₋₁，主丛 G → G/H 是否为 Zariski 局部平凡？

主要发现

• 通过改进的 Gabber 展现引理，有限域上各向同性约化群的函子 X ↦ H¹_Nis(X, G) 是 A¹-不变的。
• 当 G 为各向同性时，即使在有限域上，对所有光滑仿射 k-概形 X，均有双射 H¹_Nis(X, G) ≅ [X, BG]_A¹。
• 商群 Spin₉/Spin₇ 沿八元数上的旋量表示同构于 15 维动机球面 Q₁₅。
• 商群 SO₂ₙ₊₁/SO₂ₙ 同构于 Q₂ₙ，且该主丛为 Zariski 局部平凡，因此在特征 ≠ 2 的域上为 A¹-朴素。
• 齐性空间 SLₙ/SLₙ₋₁、SO₂ₙ/SO₂ₙ₋₁、Sp₂ₘ/Sp₂ₘ₋₁（当 n=2m 时）以及 Spin₇/G₂ 均同构于 Q₂ₙ₋₁。
• 对所有已识别的齐性空间，主丛 G → G/H 均为 Zariski 局部平凡，这对 A¹-不变性与可表示性至关重要。