[论文解读] Regularity of structured ring spectra and localization in K-theory

Clark Barwick, Tyler Lawson|arXiv (Cornell University)|Feb 25, 2014

Homotopy and Cohomology in Algebraic Topology参考文献 9被引用 8

一句话总结

本文通过引入一个推广Quillen对诺特正则环经典局部化定理的正则性条件，在结构化环谱的代数K-理论中建立了局部化序列。关键结果识别出布朗-皮特森谱上完美模何时为L-挠，即当且仅当它们被截断时，从而在K-理论中实现类似于E∞环谱背景下Quillen的余维性质的纤维序列。

ABSTRACT

We identify a regularity property for structured ring spectra, and with it we prove a natural analogue of Quillen's localization theorem for algebraic K-theory in this setting.

研究动机与目标

• 将Quillen在代数K-理论中的局部化序列扩展至结构化环谱（E∞环）的设定中。
• 为结构化环谱定义一个正则性条件，以确保存在类似于Quillen的局部化序列。
• 以截断性来刻画布朗-皮特森谱BP⟨n⟩上L-挠完美模的性质。
• 通过标准环映射建立涉及K(ℤ_(p))、K(BP⟨n⟩)和K(BP⟨n⟩*)的K-理论纤维序列。
• 证明局部化函子L与BP⟨n⟩中v_i元素提升选择无关。

提出的方法

• 为结构化环谱引入一个正则性条件，以确保K-理论中局部化序列的存在。
• 利用BP⟨n⟩-模及其同伦群的理论，通过v_k-挠条件分析L-挠模。
• 应用[GM95]中的结果，将L-挠模表征为对所有1 ≤ k ≤ n满足v_k-挠的模。
• 利用π_*BP⟨n⟩的诺特性，证明完美模是L-挠当且仅当其同伦群在ℤ_(p)上有限生成。
• 通过标准环映射BP⟨n⟩ → Hℤ_(p)和BP⟨n⟩ → BP⟨n⟩*建立K-理论中的纤维序列。
• 通过证明L-挠性仅依赖于截断性，证明局部化函子L与v_i元素提升选择无关。

实验结果

研究问题

• RQ1 何种结构化环谱的正则性条件可确保代数K-理论中局部化序列的存在？
• RQ2 何时一个完美BP⟨n⟩-模是L-挠的，其与同伦群有何关系？
• RQ3 如何将Quillen的局部化序列推广至E∞环谱的背景中？
• RQ4 在完美BP⟨n⟩-模范畴中，L-挠性与截断性之间有何关系？
• RQ5 涉及BP⟨n⟩及其对偶的K-理论纤维序列是否与v_i提升构造的选择无关？

主要发现

• 一个完美BP⟨n⟩-模是L-挠当且仅当它是截断的，此结论通过所有k ≤ n的v_k-挠性与在ℤ_(p)上有限生成之间的等价性得以证明。
• BP⟨n⟩-模上的局部化函子L与v_i元素提升的选择无关，原因在于其可通过截断性表征。
• 存在一个K-理论纤维序列：K(ℤ_(p)) → K(BP⟨n⟩) → K(BP⟨n⟩*)，由标准环映射诱导。
• 所引入的正则性条件确保了结构化环谱上K-理论局部化序列成立，从而推广了Quillen的结果。
• BP⟨n⟩的同伦群是诺特的，这使得可以使用有限生成性论证来刻画L-挠模。
• 该结果为E∞环谱提供了Quillen在代数K-理论中余维性质的同伦论类比。