[论文解读] A^1-homotopy invariance in spectral algebraic geometry

Denis-Charles Cisinski, Adeel A. Khan|arXiv (Cornell University)|May 9, 2017

Homotopy and Cohomology in Algebraic Topology参考文献 12被引用 7

一句话总结

本文建立了谱代数几何中 A¹-同伦不变性与连通 E∞-环上的经典动机同伦理论之间的等价性，表明 Weibel 的同伦不变 K-理论的谱类比坍缩为经典理论。本文引入了一种通过广义 Bass–Thomason–Trobaugh 方法构造非连通代数 K-理论的新方式，并证明对于连通 E∞-环 R，有 KH(R) ≅ KH^cl(π₀(R))。

ABSTRACT

We study two different flavours of A^1-homotopy theory in the setting of spectral algebraic geometry, and compare them to classical A^1-homotopy theory. As an application we show that the spectral analogue of Weibel's homotopy invariant K-theory collapses to the classical theory. Along the way we give a new construction of nonconnective algebraic K-theory of stable infinity-categories via a generalization of the Bass-Thomason-Trobaugh construction.

研究动机与目标

• 建立谱代数几何中 A¹-同伦理论与经典动机同伦理论之间的系统性比较。
• 解决在连通 E∞-环上光滑与纤维光滑 E∞-代数之间 A¹-同伦不变性的非平凡等价性。
• 定义并研究 Weibel 的同伦不变 K-理论（KH）的谱类比，并与经典理论进行比较。
• 通过 ∞-范畴设定下的广义 Bass–Thomason–Trobaugh 方法，提供一种非连通代数 K-理论的新构造。
• 证明连通 E∞-环的谱 KH-理论与其 0-阶同伦环的古典 KH-理论之间存在同构。

提出的方法

• 定义两个 Nisnevich 层的 ∞-范畴：一个在 R 上的光滑 E∞-代数上（H(R)），另一个在 R 上的纤维光滑 E∞-代数上（H♭(R)），两者均要求满足 A¹-同伦不变性。
• 通过比较纤维光滑代数与经典光滑代数，证明 H(R) ≃ H^cl(π₀(R))，并将已知结果推广至任意连通 E∞-环。
• 构造谱类比的 Bass 基本序列，并利用其中涉及 K₁(Gm) 中的 Bott 类来定义谱 KH-理论为一个余极限。
• 利用 Bott 周期化函子以及从谱设定到经典设定的导出基变换，建立谱与经典动机谱之间的联系。
• 应用 ∞-范畴的下降与局部化技术，证明 A¹♭-局部化蕴含 A¹-局部化，从而实现不同同伦不变性条件之间的比较。
• 利用限制函子的左伴随与 Bott 周期化可交换的事实，使周期性性质能在谱-经典比较中实现传递。

实验结果

研究问题

• RQ1 谱代数几何中的 A¹-同伦不变性条件与经典动机同伦理论中的条件如何比较？
• RQ2 Weibel 的同伦不变 K-理论 KH(R) 的谱类比在多大程度上与经典理论 KH^cl(π₀(R)) 一致？
• RQ3 Bass–Thomason–Trobaugh 构造能否被推广，以在 ∞-范畴的谱设定中定义非连通代数 K-理论？
• RQ4 在 A¹-同伦等价下，动机谱的 Bott 周期性是否能从经典设定推广到谱设定？
• RQ5 在连通 E∞-环上的光滑与纤维光滑 E∞-代数上，A¹-同伦不变层的 ∞-范畴之间存在何种精确关系？

主要发现

• 对于任意连通 E∞-环 R，光滑 R-代数上的 A¹-同伦不变 Nisnevich 层的 ∞-范畴与 π₀(R) 的经典 A¹-同伦范畴等价，即 H(R) ≃ H^cl(π₀(R))。
• 若 R 是 E∞-Z-代数，则三个 ∞-范畴——H(R)、H♭(R) 和 H^cl(π₀(R))——彼此等价。
• 谱同伦不变 K-理论 KH(R) 对于任意连通 E∞-环 R，与经典同伦不变 K-理论 KH^cl(π₀(R)) 存在自然同构。
• 通过使用自由 E∞-代数 R{T} 的 A¹-同伦不变性构造 KH(R)，其结果与通过 R[T] 的经典构造在范畴等价下一致。
• Bott 周期化函子与从谱几何到经典几何的基变换函子可交换，从而实现周期性性质的传递。
• 自然映射 Q(Lw! (K|A)) → KH|B 是 Bott 周期化动机谱的同构，表明谱 KH-理论源于 K-理论谱的周期化。