[论文解读] The 0-th stable A^1-homotopy sheaf and quadratic zero cycles

Aravind Asok, Christian Haesemeyer|arXiv (Cornell University)|Aug 18, 2011

Homotopy and Cohomology in Algebraic Topology参考文献 26被引用 10

一句话总结

本文建立了特征不为2的域上光滑射影代数簇的0阶稳定A¹同伦层与存在度为1的0-循环之间的精确联系。通过扭的Chow-Witt群与Milnor-Witt K-理论，证明了存在稳定A¹同伦意义下的有理点当且仅当该簇存在度为1的0-循环，从而将这一同伦理论条件识别为有理点存在的动机同调障碍。

ABSTRACT

We study the 0-th stable A^1-homotopy sheaf of a smooth proper variety over a field k assumed to be infinite, perfect and to have characteristic unequal to 2. We provide an explicit description of this sheaf in terms of the theory of (twisted) Chow-Witt groups as defined by Barge-Morel and developed by Fasel. We study the notion of rational point up to stable A^1-homotopy, defined in terms of the stable A^1-homotopy sheaf of groups mentioned above. We show that, for a smooth proper k-variety X, existence of a rational point up to stable A^1-homotopy is equivalent to existence of a 0-cycle of degree 1.

研究动机与目标

• 理解特征不为2的域k上光滑射影代数簇的0阶稳定A¹同伦层。
• 通过引入稳定A¹同伦意义下有理点的概念，阐明该同伦理论障碍对有理点存在性的影响。
• 以扭的Chow-Witt群与Milnor-Witt K-理论为工具，明确描述0阶稳定A¹同伦层的结构。
• 建立稳定A¹同伦意义下有理点的存在性与度为1的0-循环存在的精确等价关系。
• 将经典的动机对偶性与Hurewicz型映射推广至二次型与非定向上同调理论的框架。

提出的方法

• 作者利用稳定A¹同伦范畴与动机球面谱，将0阶稳定A¹同伦层定义为Spec k上Nisnevich层的截面。
• 他们采用扭的Chow-Witt群，该群结合了代数循环与二次型，以显式描述0阶稳定A¹同伦层。
• 关键的技术工具是稳定A¹导出范畴中的Atiyah对偶性，该对偶性将同伦层与以Milnor-Witt K-理论层为系数的上同调联系起来。
• 他们应用Milnor-Witt K-理论层的Gersten展开来计算上同调群，并将其与0-循环上的度映射联系起来。
• 证明依赖于GW(k) = ℤ ×_{ℤ/2} W(k)的纤维积结构，从而可将问题约化至k为形式实或非形式实的情形。
• 他们分析Witt群中的转移映射，并利用Scharlau定理证明：对奇数次扩张，转移映射s_*为分裂满射，从而可构造度映射的分裂。

实验结果

研究问题

• RQ1 在特征不为2的域上，光滑射影代数簇的0阶稳定A¹同伦层的精确结构是什么？
• RQ2 稳定A¹同伦意义下的有理点概念与0-循环的度等经典算术不变量之间有何关系？
• RQ3 扭的Chow-Witt群能否用于以二次型数据与代数循环的形式描述0阶稳定A¹同伦层？
• RQ4 稳定A¹同伦意义下有理点的存在性是否等价于度为1的0-循环的存在性？
• RQ5 Milnor-Witt K-理论与Witt群转移映射在将度映射实现为分裂满射的过程中起何种作用？

主要发现

• 在给定的k的假设下，光滑射影k-簇X的0阶稳定A¹同伦层同构于关于其canonical线丛的扭Chow-Witt群层。
• 稳定A¹同伦意义下存在有理点当且仅当X上存在度为1的0-循环。
• 度映射CH₀(X) → ℤ为分裂满射当且仅当0阶稳定A¹同伦层上的上推映射为分裂。
• 对奇数次有限扩张L/k，Scharlau转移映射s_*: W(L) → W(k)为分裂满射，这对构造分裂至关重要。
• 证明依赖于GW(k)的纤维积结构，且当剩余域的次数互素时，GW(k)中度映射的像可上移为分裂。
• 从0阶稳定A¹同伦层到0阶Suslin同调层的层化Hurewicz同态与度映射相容，从而可将有理点存在的障碍以二次型数据的形式加以识别。