[论文解读] Homotopy invariance of Nisnevich sheaves with Milnor-Witt transfers

Håkon Kolderup|arXiv (Cornell University)|Aug 14, 2017

Homotopy and Cohomology in Algebraic Topology参考文献 8被引用 3

一句话总结

本论文证明了在特征为零的域上，Nisnevich层化保持具有Milnor–Witt转移的预层的同伦不变性。通过借鉴Druzhinin、Fasel–Østvær以及Garkusha–Panin的几何技巧，作者证明：若一个预层在有限Milnor–Witt对应范畴上是同伦不变的，则其Nisnevich层化仍保持同伦不变，从而将经典 motivic 同伦论中的基础结果推广至Milnor–Witt设定。

ABSTRACT

The category of finite Milnor-Witt correspondences, introduced by Calmès and Fasel, provides a new type of correspondences closer to the motivic homotopy theoretic framework than Suslin-Voevodsky's correspondences. A fundamental result of the theory of ordinary correspondences concerns homotopy invariance of sheaves with transfers, and in the present paper we address this question in the setting of Milnor-Witt correspondences. Employing techniques due to Druzhinin, Fasel-Østvær and Garkusha-Panin, we show that homotopy invariance of presheaves with Milnor-Witt transfers is preserved under Nisnevich sheafification.

研究动机与目标

• 将普通对应关系的同伦不变性经典定理推广至Milnor–Witt对应关系的设定。
• 在Milnor–Witt转移的背景下，确立Nisnevich层化保持同伦不变性。
• 通过消去技术给出一个直接的几何证明，避免依赖框架对应关系。
• 阐明Milnor–Witt K-理论与二次型在motivic同伦论中的作用。

提出的方法

• 改编Druzhinin、Fasel–Østvær以及Garkusha–Panin的技术，证明Milnor–Witt对应关系的消去性质。
• 应用仿射直线上的Zariski与Nisnevich消去定理，分析层的局部与整体行为。
• 利用消去映射的单射性与满射性结果，控制层化过程中截面的行为。
• 应用Nisnevich消去同构，将局部与全局截面在Hensel化与étale邻域上的层关系联系起来。
• 利用预层及其Nisnevich层化在芽上的同构关系，证明层化映射的满射性。
• 构造一个包含限制映射的交换图表，并利用关键同态的单射性推导出主要结果。

实验结果

研究问题

• RQ1 具有Milnor–Witt转移的预层的同伦不变性是否能下推至其Nisnevich层化？
• RQ2 Milnor–Witt对应关系的消去性质在仿射直线及局部概形上如何表现？
• RQ3 能否在不使用框架对应关系的前提下，为Milnor–Witt设定下的同伦不变性给出直接的几何证明？
• RQ4 Milnor–Witt K-理论关系在层化过程中保持不变性的角色是什么？
• RQ5 Garkusha–Panin与Druzhinin的技术在多大程度上可推广至Milnor–Witt背景？

主要发现

• 从同伦不变预层到其Nisnevich层化的层化映射在仿射直线上是同构。
• 沿零截面的限制映射的单射性在Nisnevich层化下被保持。
• Milnor–Witt对应关系满足Nisnevich消去，从而可控制局部截面。
• 预层与其Nisnevich层化在芽上的同构关系在相关限制映射下被保持。
• 主要结果确认了在Milnor–Witt设定下，同伦不变性在Nisnevich层化下被保持，从而推广了Voevodsky的经典定理。
• 该证明确立了在特征为零的域上，具有Milnor–Witt转移的同伦不变预层的Nisnevich层化仍保持同伦不变性。