[论文解读] The Hurewicz and Conservativity Theorems for SH(k) to DM(k)

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

Homotopy and Cohomology in Algebraic Topology参考文献 18被引用 11

一句话总结

本文建立了 SH(k) 中 0-连通 motivic 线丛谱 E 的 0 阶 motivic 同伦群与 DM(k) 中其关联动机 ME 的 h_0 之间的精确关系。当 k 具有有限的 2-étale 上同调维数时，证明了动机函子 M 在紧致谱上是保守的，并在 Picard 群上诱导单射，从而通过代数 K-理论与上同调有限性条件，将 motivic 同伦理论与 motivic 同调联系起来。

ABSTRACT

Given a 0-connective motivic spectrum E in SH(k) over a perfect field k, we determine h_0 of the associated motive ME 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.

研究动机与目标

• 确定 SH(k) 中 0-连通 motivic 线丛谱 E 关联的动机 ME 在 DM(k) 中的 h_0。
• 建立动机函子 M: SH(k) → DM(k) 在紧致谱子范畴上保守的条件。
• 分析动机函子 M 在 Picard 群上诱导的映射，特别是其单射性。
• 通过基域 k 的上同调有限性条件，将 motivic 同伦理论与 motivic 同调联系起来。
• 将 Hurewicz 定理与保守性定理推广至完美域上的 motivic 稳定同伦理论设定。

提出的方法

• 利用 E 在 SH(k) 中的 0-连通性，通过 Hurewicz 同态分析其在 DM(k) 中的关联动机 ME。
• 利用 motivic 设定中 Hurewicz 映射的普遍性质，将 SH(k) 中的 π₀(E) 与 DM(k) 中的 h₀(ME) 关联起来。
• 应用 k 的 2-étale 上同调维数的有限性条件，以控制动机函子 M 在紧致对象上的行为。
• 运用 motivic 同伦理论中的技术，包括 motivic 稳定同伦范畴 SH(k) 与动机的导出范畴 DM(k) 的结构。
• 基于 M 在紧致对象上忠实性的保守性准则，依赖于 k 的有限 2-étale 上同调维数。
• 通过研究线丛在 M 下的行为并借助保守性结果，分析 Picard 群上的诱导映射。

实验结果

研究问题

• RQ1 0-连通 motivic 线丛谱 E 的 0 阶 motivic 同伦群 π₀(E) 与 DM(k) 中的 h₀(ME) 有何关系？
• RQ2 在基域 k 满足何种条件时，动机函子 M: SH(k) → DM(k) 在紧致谱子范畴上是保守的？
• RQ3 当限制在紧致谱上时，动机函子 M 是否在 Picard 群上诱导单射？
• RQ4 k 的有限 2-étale 上同调维数在 M 的保守性与单射性性质中起什么作用？
• RQ5 Hurewicz 定理与保守性定理能否从经典同伦理论推广至完美域上的 motivic 设定？

主要发现

• DM(k) 中动机 ME 的 h₀ 与 SH(k) 中线丛谱 E 的 0 阶同伦群 π₀(E) 之间存在自然同构。
• 当 k 具有有限的 2-étale 上同调维数时，函子 M 在 SH(k) 的紧致对象全子范畴上是保守的。
• 动机函子 M 在 SH(k) 与 DM(k) 的紧致子范畴的 Picard 群上诱导单射映射。
• M 在紧致谱上的保守性通过 k 的 2-étale 上同调的有限性条件得以确立。
• 结果将经典的 Hurewicz 与保守性定理推广至具有有限 2-étale 上同调维数的完美域上的 motivic 设定。