[论文解读] Framed correspondences and the zeroth stable motivic homotopy group in odd characteristic

Andrei Druzhinin, Jonas Irgens Kylling|arXiv (Cornell University)|Sep 10, 2018

Algebraic Geometry and Number Theory参考文献 13被引用 9

一句话总结

本文建立了框架对应关系的有限下降，并在奇特征的完美域上证明了Neshitov的移动引理，扩展了Garkusha与Panin的框架动机理论以及Neshitov对零阶稳定 motivic 同伦群的计算至有限域和奇特征的完美域。关键结果是识别 $ H^0(\mathbb{Z}F(\Delta^\bullet_k, \mathbf{G}_m^{\wedge n})) \simeq \mathrm{K}^{\mathrm{MW}}_n(k) $，在此设定下恢复了Morel的定理。

ABSTRACT

We extend the results of G.~Garkusha and I.~Panin on framed motives of algebraic varieties [4] to the case of a finite base field, and extend the computation of the zeroth cohomology group $H^0(\mathbb ZF(Δ^\bullet_k,\mathbf G^{\wedge n}_m))=K^{MW}_n$ by A.~Neshitov [8] to perfect fields $k$ of positive characteristic different from 2.

研究动机与目标

• 将框架动机理论扩展至奇特征的有限域与完美域，此前结果依赖于无限域或特征零的基域。
• 在任意域上建立框架对应关系的有限下降，特别是有限域，以消除同伦构造中对无限基域的需求。
• 在奇特征的完美域上证明Neshitov的移动引理，以更一般的代数几何技巧替代依赖特征的几何论证。
• 将零阶稳定 motivic 同伦群的计算扩展至奇特征的完美域，将其识别为Milnor-Witt K-理论。
• 在奇特征的完美域情形下恢复Morel对零阶 motivic 同伦群与Milnor-Witt K-理论的识别。

提出的方法

• 通过互素域扩张证明框架对应关系有限下降的一个变体，从而在有限域上实现同伦不变性与余除定理。
• 将Neshitov移动引理中依赖特征的几何论证——特别是三次曲线与一般光滑性的使用——替换为对 $ \pi^{2,2} $ 中Steinberg关系已建立证明的引用，例如Hu与Kritz的证明。
• 利用具有指定零点与可逆性条件的曲线上的线丛与截面理论，构造在域扩张上具有光滑支撑的框架对应关系。
• 应用引理6.7以在零点分布受控的条件下提升截面，从而在足够大次数的域扩张上构造光滑框架对应关系。
• 通过归纳法与同伦不变性将一般框架对应关系约化为标准形式，证明 $ \overline{\mathbb{Z}F}(\mathrm{pt}_k, \mathrm{pt}_k) $ 中的任意类均为标准框架对应关系的差。
• 利用移动引理由有限下降可推出，通过基域扩张将无限域情形约化至有限域。

实验结果

研究问题

• RQ1 能否通过下降技术将框架动机理论从无限域扩展至有限域？
• RQ2 Neshitov的移动引理由原始证明于特征零，是否在奇特征的完美域上成立？
• RQ3 能否在不依赖三次曲线或特征假设的前提下建立零阶 motivic 同伦群中的Steinberg关系？
• RQ4 识别式 $ H^0(\mathbb{Z}F(\Delta^\bullet_k, \mathbf{G}_m^{\wedge n})) \simeq \mathrm{K}^{\mathrm{MW}}_n(k) $ 是否对奇特征的完美域成立？
• RQ5 能否在奇特征下通过框架对应关系恢复Morel对零阶稳定 motivic 同伦群的定理？

主要发现

• 框架对应关系的有限下降定理在任意域上成立，使得Garkusha与Panin的框架动机理论可扩展至有限基域。
• 通过引用 $ \pi^{2,2} $ 中原始几何证明，建立 $ H^0(\mathbb{Z}F(\Delta^\bullet_k, \mathbf{G}_m^{\wedge n})) $ 中Steinberg关系的新证明，避免了对特征的假设。
• 在奇特征的完美域上证明了框架对应关系的移动引理，以线丛上的提升论证替代了对一般光滑性与一般位置引理的依赖。
• 对任意奇特征的完美域 $ k $，零阶上同调群 $ H^0(\mathbb{Z}F(\Delta^\bullet_k, \mathbf{G}_m^{\wedge n})) $ 被识别为 $ \mathrm{K}^{\mathrm{MW}}_n(k) $。
• 任何框架对应关系类 $ \overline{\mathbb{Z}F}(\mathrm{pt}_k, \mathrm{pt}_k) $ 均为标准框架对应关系的差，确认了同态 $ \Psi_*: \mathrm{K}^{\mathrm{MW}}_*(k) \to H^0(\mathbb{Z}F(\Delta^\bullet_k, \mathbf{G}_m^{\wedge *})) $ 的满射性。