[论文解读] On the theorem of the heart in negative $K$-theory

Benjamin Antieau, David Gepner+1 more|arXiv (Cornell University)|Oct 23, 2016

Algebraic structures and combinatorial models被引用 1

一句话总结

本文证明了对于具有有界 t-结构的小型稳定 ∞-范畴，其负 K-群消失；当心部为诺特环时，K_{-n}(E) 对所有 n ≥ 1 消失。这些结果在诺特条件下建立了非连通 K-理论谱的巴里克定理（Barwick's theorem of the heart），为微分分次代数和环谱提供了新的 K-理论障碍与消失结果。

ABSTRACT

Schlichting conjectured that the negative K-groups of small abelian categories vanish and proved this for noetherian abelian categories and for all abelian categories in degree $-1$. The main results of this paper are that $K_{-1}(E)$ vanishes when $E$ is a small stable $\infty$-category with a bounded t-structure and that $K_{-n}(E)$ vanishes for all $n\geq 1$ when additionally the heart of $E$ is noetherian. It follows that Barwick's theorem of the heart holds for nonconnective K-theory spectra when the heart is noetherian. We give several applications, to non-existence results for bounded t-structures and stability conditions, to possible K-theoretic obstructions to the existence of the motivic t-structure, and to vanishing results for the negative K-groups of a large class of dg algebras and ring spectra.

研究动机与目标

• 证明对于配备有有界 t-结构的小型稳定 ∞-范畴 E，其负 K-群 K_{-1}(E) 消失。
• 当 E 的心部为诺特环时，将此消失性推广至所有 n ≥ 1 的 K_{-n}(E)。
• 在诺特假设下，建立非连通 K-理论谱的巴里克定理的“心部”版本。
• 将这些结果应用于阻碍有界 t-结构与稳定性条件存在的存在性。
• 推导微分分次代数与环谱的负 K-群的消失定理。

提出的方法

• 使用非连通 K-理论谱来分析稳定 ∞-范畴中的负 K-群。
• 利用有界 t-结构将范畴的 K-理论与其心部联系起来。
• 应用施利希廷格（Schlichting）关于阿贝尔范畴中负 K-群消失的猜想。
• 利用心部的诺特性质，将消失结果推广至所有负度。
• 通过其关联的稳定 ∞-范畴，将结果应用于微分分次代数与环谱。
• 利用“心部定理”将 ∞-范畴的 K-理论与其心部的 K-理论联系起来。

实验结果

研究问题

• RQ1 对于配备有有界 t-结构的小型稳定 ∞-范畴 E，K_{-1}(E) 是否消失？
• RQ2 在何种条件下，此类范畴中所有 n ≥ 1 的 K_{-n}(E) 消失？
• RQ3 巴里克定理的“心部”版本能否推广至非连通 K-理论谱？
• RQ4 关于有界 t-结构或稳定性条件的存在性，会产生哪些 K-理论障碍？
• RQ5 大量微分分次代数与环谱是否表现出负 K-群的消失？

主要发现

• 对于任意配备有有界 t-结构的小型稳定 ∞-范畴 E，K_{-1}(E) 消失。
• 当 E 的心部为诺特环时，对所有 n ≥ 1，K_{-n}(E) 消失。
• 在心部为诺特环的条件下，巴里克定理的“心部”版本对非连通 K-理论谱成立。
• 这些结果为有界 t-结构与稳定性条件的存在性提供了新的 K-理论障碍。
• 通过其关联的稳定 ∞-范畴，大量微分分次代数与环谱的负 K-群消失。
• 消失结果通过 t-结构的结构性质以及心部的诺特条件得以确立。