[论文解读] On the Conservativity of Some Functors in Motivic Homotopy Theory

Tom Bachmann|arXiv (Cornell University)|Jun 24, 2015

Homotopy and Cohomology in Algebraic Topology被引用 3

一句话总结

本文在完美域 k 上，以 π₀(E) 表示在 0-连通 motivic 谱 E 关联的动机 M E 的 h_0，证明了当 k 具有有限的 2-étale 上同调维数时，函子 M 在紧致谱上是保守的，并在该条件下诱导了 Picard 群上的单射。通过引入实动机，将此结果推广至具有有限虚拟 2-étale 上同调维数的域。作为副产品，重新证明了 Rondings-Østvær 的刚性定理。

ABSTRACT

Given a 0-connective motivic spectrum $E \in SH(k)$ over a perfect field k, we determine $h_0$ of the associated motive $M E \in DM(k)$ in terms of $\pi_0 (E)$. Using this we show that if k has finite 2-\'etale cohomological dimension, then the functor M is conservative when restricted to the subcategory of compact spectra, and induces an injection on Picard groups. We extend the conservativity result to fields of finite virtual 2-\'etale cohomological dimension by considering what we call real motives. As a by-product we reprove a variant of a rigidity Theorem of R\ondings-{\O}stv{\ae}r.

研究动机与目标

• 确定在完美域 k 上，对于 0-连通 motivic 谱 E，h₀(M E) 以 π₀(E) 表示的形式。
• 在 k 具有有限 2-étale 上同调维数时，建立函子 M 在紧致谱子范畴上的保守性。
• 通过引入实动机，将 M 的保守性推广至具有有限虚拟 2-étale 上同调维数的域。
• 在相同条件下，证明 M 在 Picard 群上诱导单射。
• 作为主结果的副产品，重新证明 Rondings-Østvær 刚性定理的一个变体。

提出的方法

• 利用 0-连通 motivic 谱的结构，以 π₀(E) 表示计算 h₀(M E)。
• 应用 2-étale 上同调维数的性质，分析函子 M 在紧致对象上的行为。
• 引入实动机，将保守性结果推广至具有有限 2-étale 上同调维数的域之外。
• 利用 motivic 同伦理论中 Picard 群的已知结果，证明在函子 M 下的单性。
• 利用稳定 motivic 同伦理论的框架以及 Voevodsky 动机的范畴 DM(k)。
• 应用 étale 上同调与对偶性技术，将刚性结果作为推论建立。

实验结果

研究问题

• RQ1 对于完美域 k 上的 0-连通 motivic 谱 E，M E 的 h₀ 如何以 π₀(E) 表示？
• RQ2 在何种条件下，函子 M 在紧致 motivic 谱子范畴上是保守的？
• RQ3 M 的保守性能否推广至具有有限虚拟 2-étale 上同调维数的域？
• RQ4 当限制在具有此类域的紧致谱上时，函子 M 是否在 Picard 群上诱导单射？
• RQ5 实动机的构造如何促进保守性结果的推广？

主要发现

• 对于完美域 k 上的任意 0-连通 motivic 谱 E，M E 的 h₀ 明确定义为 π₀(E) 的函数。
• 当 k 具有有限 2-étale 上同调维数时，函子 M 在紧致 motivic 谱子范畴上是保守的。
• 通过引入实动机，M 的保守性可推广至具有有限虚拟 2-étale 上同调维数的域。
• 在相同条件下，函子 M 在 Picard 群上诱导单射。
• 作为主结果的副产品，本文重新证明了 Rondings-Østvær 刚性定理的一个变体。
• 结果建立了上同调维数条件与 motivic 函子表示性质之间的强关联。