[论文解读] MW-homotopy sheaves and Morel generalized transfers

Niels Feld|arXiv (Cornell University)|Jul 29, 2020

Algebraic structures and combinatorial models参考文献 13被引用 4

一句话总结

该论文有理地证明了莫雷尔关于 MW-同伦层带理系数的巴丝-泰特转移的猜想，建立了具有广义转移、MW-转移和框架转移的同伦层之间的等价关系，并将这些结果应用于在 $Γ^1$-稳定化中，有理地验证 $d=1$ 和整数地验证 $d=2$ 的巴赫曼-亚克森森保守性猜想。

ABSTRACT

We explore a conjecture of Morel about the Bass-Tate transfers defined on the contraction of a homotopy sheaf and prove that the conjecture is true with rational coefficients. Moreover, we study the relations between (contracted) homotopy sheaves, sheaves with Morel generalized transfers and MW-homotopy sheaves, and prove an equivalence of categories. As applications, we describe the essential image of the canonical functor that forgets MW-transfers and use theses results to discuss the conservativity conjecture in A^1-homotopy due to Bachmann and Yakerson.

研究动机与目标

• 解决莫雷尔关于同伦层第一个收缩 $M_{-1}$ 上巴丝-泰特转移的函子性猜想。
• 澄清具有广义转移、MW-转移和框架转移的同伦层之间的关系。
• 表征从 MW-同伦层到普通同伦层的遗忘函子的必要像。
• 将结果应用于 $Γ^1$-稳定化中的巴赫曼与亚克森森的保守性猜想。
• 在 motivic 同伦理论中建立具有不同转移结构的层范畴之间的范畴等价性。

提出的方法

• 将莫雷尔关于广义转移的公理由扩展以包含线丛的扭，从而定义具有广义转移的层。
• 为具有广义转移的层构造罗斯特-施密德复形，并证明前推、拉回、GW-作用和留数的函子性。
• 证明有理化后的收缩同伦层 $M_{-1,×}$ 允许广义转移，从而有理地确认了莫雷尔的猜想。
• 为具有广义转移的层证明了预层 $χ_*(M)$ 与 $M$ 之间存在自然同构，表明 $χ_*$ 是一个等价函子。
• 利用卡姆斯-法塞尔的有限米尔诺-惠特尼对应关系来定义 MW-转移，并证明 MW-同伦层与广义转移层之间的等价性。
• 利用该等价性表明，从 MW-层到普通层的遗忘函子 $γ_*$ 的必要像由具有广义转移结构的层所刻画。

实验结果

研究问题

• RQ1 巴丝-泰特转移在 $M_{-1}$ 上是否为同伦层定义了良好的广义转移结构？
• RQ2 具有广义转移、MW-转移和框架转移的同伦层范畴是否等价？
• RQ3 从 MW-同伦层到普通同伦层的遗忘函子的必要像为何？
• RQ4 $Γ^1$-稳定化函子 $Σ^{∞}_{Γ_m}$ 是否在 $d=1$ 和 $d=2$ 时对有下界的对象满足保守性？
• RQ5 巴丝-泰特转移的交点重数公式能否在一般情形下建立？

主要发现

• 当与 $×$ 张量后，$M_{-1}$ 上的巴丝-泰特转移在有理化情形下定义了行为良好的广义转移结构，从而有理地证明了莫雷尔的猜想。
• 通过函子 $γ_*$ 和 $χ^*$，MW-同伦层范畴与具有广义转移的同伦层范畴之间存在自然同构，即二者等价。
• 遗忘函子 $γ_*: Γ^{–\text{MW}}(k) → Γ^{\text{gtr}}(k)$ 的必要像恰好由那些具有广义转移结构的同伦层组成。
• 巴赫曼-亚克森森猜想在有理情形下对 $d=1$ 成立，在整数情形下对 $d=2$ 成立，且 $Σ^{∞}_{Γ_m}$-稳定化函子在有下界对象上满足保守性。
• 具有广义转移的同伦层范畴与 MW-同伦层范畴以及框架转移范畴等价，从而确立了 $Γ^{\text{gtr}}(k) ≍ Γ^{\text{MW}}(k) ≍ Γ^{\text{fr}}(k)$。
• 对于 $d=2$，自然映射 $ℓ_0\Omega^d_{Γ^1}\Sigma^d_{Γ^1}\mathcal{X} \to \u03c0_0\Omega^{d+1}_{Γ^1}\Sigma^{d+1}_{Γ^1}\mathcal{X}$ 是同构，解决了 [BCD+20] 中遗留的问题。