[论文解读] The trivial fiber topology and framed motives over the integers

A. Druzhinin, Håkon Kolderup+1 more|arXiv (Cornell University)|Dec 14, 2020

Homotopy and Cohomology in Algebraic Topology被引用 4

一句话总结

本文引入了在一条代数曲线基上研究稳定 motivic 同伦范畴中纤维化替换与严格 A¹-不变性的平凡纤维（tf）拓扑。通过建立 tf-Nisnevich 严格 A¹-不变性并推广 Voevodsky 与 Morel 的定理，该研究为算术基上 motivic 不变量的新计算提供了可能，特别是通过框架对应与 motivic 无限循环空间实现。

ABSTRACT

This paper introduces the trivial fiber topology on schemes. For one-dimensional base schemes, we use it to describe fibrant replacements in the stable motivic homotopy category and motivic infinite loop spaces. We also extend the Garkusha-Panin and Voevodsky strict $\mathbb{A}^{1}$-invariance theorems to one-dimensional base schemes. The trivial fiber topology plays a central role in the proof of refined localization results for motivic homotopy categories. Moreover, we extend Morel's $\mathbb{A}^{1}$-connectivity theorem on Nisnevich sheaves of stable motivic homotopy groups. These results open new vistas for computations of motivic invariants over deeper base schemes of arithmetic interest.

研究动机与目标

• 开发一种新的拓扑框架——平凡纤维（tf）拓扑——用于研究一维基上的 motivic 同伦理论。
• 将 Garkusha-Panin 与 Voevodsky 的严格 A¹-不变性定理由域推广至一维基上。
• 利用框架对应，在稳定 motivic 同伦范畴中建立 motivic 纤维化替换与无限循环空间结构。
• 将 Morel 的 A¹-连通性定理由 Nisnevich 层推广至一维基上的稳定 motivic 同伦群的 Nisnevich 层。
• 为算术基上（如整数环）的 motivic 不变量提供新的计算工具。

提出的方法

• 将平凡纤维（tf）拓扑定义为在概形上的 Grothendieck 拓扑，通过细化 Nisnevich 与 A¹-同伦覆盖的 tf-覆盖。
• 利用 tf-拓扑定义 tf-局部化函子，并为取值于阿贝尔群的层建立 tf-Nisnevich 严格 A¹-不变性。
• 应用形变技巧与 pro-étale 极限，将关于带闭子概形的光滑概形的问题约化至局部 Hensel 邻域。
• 通过自函子 Ω_{Gm}L_{A¹} 构造稳定 motivic 同伦范畴中的纤维化替换，利用框架对应。
• 证明 motivic 无限循环空间在基概形 B 上的框架预层范畴中表现为 tf-局部层。
• 利用 tf-拓扑建立 tf-层的局部化定理，使问题可约化至具有平凡切丛的光滑仿射概形。

实验结果

研究问题

• RQ1 如何通过 tf-拓扑的纤维化替换来描述一维基上稳定 motivic 同伦范畴？
• RQ2 在一条代数曲线基上，稳定 motivic 同伦群的 Nisnevich 层的严格 A¹-不变性在何种程度上成立？
• RQ3 Voevodsky 与 Garkusha-Panin 的严格 A¹-不变性定理能否从域推广至更一般的基概形？
• RQ4 平凡纤维拓扑在精炼局部化与同伦不变性方面在 motivic 同伦理论中扮演何种角色？
• RQ5 在算术基上，框架动机与 motivic 无限循环空间在 tf-局部化下如何表现？

主要发现

• 平凡纤维拓扑使得一维基上稳定 motivic 同伦范畴中的纤维化替换得以完整描述。
• 本文为取值于阿贝尔群的层建立了 tf-Nisnevich 严格 A¹-不变性，将 Voevodsky 与 Morel 的定理推广至一维基。
• motivic 无限循环空间结构在基概形 B 上的框架预层范畴中被实现为 tf-局部层。
• Nisnevich 层的稳定 motivic 同伦群的 A¹-连通性定理被推广至一维基。
• 反例表明 Nisnevich 严格 A¹-不变性在一般情况下不成立，但 tf-拓扑在所需情境中恢复了该性质。
• tf-层的局部化定理使得 motivic 问题可约化至具有平凡向量丛的光滑仿射概形，从而简化了计算。