[论文解读] Grothendieck duality under Spec Z

Andrew Salch|arXiv (Cornell University)|Dec 1, 2010

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

一句话总结

本文通过在稳定同伦理论背景下定义导出函子 f*、f* 和 f!，为从 Spec ℤ 到 Spec S 的态射（其中 S 为球面谱）建立了格罗滕迪克对偶性，其中 S 是球面谱。它表明 ℳ₀-概形的导出范畴与连通谱的稳定同伦范畴等价，并计算出对偶复形 f!S 的同调群，发现其同构于整数的理想类群，揭示了代数拓扑与算术几何之间深刻的联系。

ABSTRACT

We define the derived category of a concrete category in a way which extends the usual definition of the derived category of a ring, and we prove that the bounded-below derived category of $\Spec \mathbb{M}_0$ (an approximation, used by e.g. Connes and Consani, to "$\Spec$ of the field with one element") is the stable homotopy category of connective spectra. We also describe some basic features of Grothendieck duality for the map from $\Spec \mathbb{Z}$ to $\Spec \mathbb{M}_0$, or, what comes to the same thing, the map from $\Spec \mathbb{Z}$ to $\Spec$ of the sphere spectrum; these basic features include a computation of the homology of the dualizing complex $f^!(S)$ of abelian groups associated to the sphere spectrum.

研究动机与目标

• 为从 Spec ℤ → Spec S 的态射（S 为球面谱）定义一个导出范畴框架，将经典的环的导出范畴推广至更一般的单子范畴。
• 为映射 f: Spec ℤ → Spec S 建立格罗滕迪克对偶性，包括构造导出前推 Rf* 的右伴随 f!。
• 计算对偶复形 f!S 的同调群，揭示其与整数理想类群之间的非平凡联系。
• 证明有下界的 ℳ₀（F₁-概形的近似）导出范畴与连通谱的稳定同伦范畴等价。
• 阐明 Eilenberg-MacLane 函子 H 及其伴随函子在将阿贝尔群与谱联系起来时的作用，特别是通过 π₀ 与同伦群。

提出的方法

• 本文通过将标准导出范畴构造从环推广至更一般的单子范畴（如 S-模范畴）的方式，为具体范畴定义其导出范畴。
• 它使用 Eilenberg-MacLane 函子 H: Mod(ℤ) → Mod(S)^≥0 作为阿贝尔群嵌入连通谱的自然方式。
• 它建立了 H 与 π₀ 之间的同伦伴随关系，通过 Adams 族谱序列表明 π₀ 是 H 的同伦左伴随。
• 它利用谱的同伦群与 Lin 定理，通过同伦群构造 Rf* 的导出右伴随 f!，并识别出 f!X ≅ H₀(f!X) 对于连通谱 X。
• 它应用导出伴随关系，通过分析 ℤ-模中的 Ext 群（特别是 Ext¹_ℤ(ℚ, H₁(X,ℤ))）来计算 f!S。
• 它利用 ℳ₀-概形的导出范畴与连通谱的稳定同伦范畴之间的等价性，将 f!S 重新解释为 ℳ₀ 的对偶复形。

实验结果

研究问题

• RQ1 对于从 f: Spec ℤ → Spec S 的态射（S 为球面谱），格罗滕迪克对偶性的正确表述是什么？
• RQ2 如何通过稳定同伦理论理解 ℳ₀-概形的导出范畴？
• RQ3 与映射 f: Spec ℤ → Spec S 关联的对偶复形 f!S 的同调是什么？
• RQ4 Eilenberg-MacLane 函子 H 在此语境下如何与导出函子相互作用，特别是通过与 π₀ 的伴随关系？
• RQ5 f!S 的同调具有何种算术意义，它与理想类群等经典数论不变量有何关联？

主要发现

• ℳ₀-概形的导出范畴作为三角范畴，与连通谱的稳定同伦范畴等价。
• 对于态射 f: Spec ℤ → Spec S 的对偶复形 f!S，其同调群同构于整数的理想类群，即 H₀(f!S) ≅ Pic(ℤ) ≅ 0。
• 函子 f! 通过公式 f!X ≅ Hom_ℤ(ℤ, f!X) ≅ [Hℤ, X] 计算得出，对有限胞复形 X 可简化为 Ext¹_ℤ(ℚ, H₁(X,ℤ))。
• 函子 π₀: Mod(S)^≥0 → Mod(ℤ) 是 Eilenberg-MacLane 函子 H 的同伦左伴随，从而建立了导出伴随关系。
• 对偶复形 f!S 在满足有限 H₁ 的有限胞复形（如球面谱 S）上消失，因为 Ext¹_ℤ(ℚ, H₁(S,ℤ)) = 0。
• 通过同伦群与 Ext 群构造 f! 的方式，确认了对映射 Spec ℤ → Spec S 存在明确的格罗滕迪克对偶性框架。