[論文レビュー] 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-群が消えることを証明し、また心臓がネーター的である場合にはすべての n ≥ 1 に対して K_{-n}(E) が消えることを示している。これらの結果により、ネーター的条件下で非接続的 K-理論スペクトラに対する Barwick の心臓の定理が確立され、dg代数および環スペクトルに対する新しい 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.

研究の動機と目的

• 小さな安定 ∞-圏 E に有界 t-構造が存在する場合、負の K-群 K_{-1}(E) が消えることを証明すること。
• E のハートがネーター的である場合、すべての n ≥ 1 に対して K_{-n}(E) が消えることを拡張すること。
• ハートがネーター的である場合に、非接続的 K-理論スpectrum に対して Barwick の心臓の定理を確立すること。
• これらの結果を用いて、有界 t-構造や安定性条件の存在に対する障害を特定すること。
• dg代数および環スペクトルの負の K-群に対する消滅定理を導出すること。

提案手法

• 非接続的 K-理論スpectrum を用いて、安定 ∞-圏における負の K-群を分析すること。
• 有界 t-構造を活用し、∞-圏の K-理論とそのハートの K-理論を関連させること。
• アーベル圏における負の K-群の消滅に関する Schlichting の予想を適用すること。
• ハートのネーター的性質を活用して、消滅結果をすべての負の次数に拡張すること。
• 関連する安定 ∞-圏を介して dg代数および環スペクトルに結果を適用すること。
• 心臓の定理を用いて、∞-圏の K-理論とそのハートの K-理論を関連させること。

実験結果

リサーチクエスチョン

• RQ1 小さな安定 ∞-圏 E に有界 t-構造が存在する場合、K_{-1}(E) は消えるか？
• RQ2 このような圏において、すべての n ≥ 1 に対して K_{-n}(E) が消える条件は何か？
• RQ3 Barwick の心臓の定理は非接続的 K-理論スpectrum に拡張可能か？
• RQ4 有界 t-構造や安定性条件の存在に対して、どのような K-理論的障害が生じるか？
• RQ5 大きなクラスの dg代数および環スペクトルは、負の K-群を消えるか？

主な発見

• 任意の小さな安定 ∞-圏 E に有界 t-構造が備わっている場合、K_{-1}(E) は消える。
• E のハートがネーター的である場合、すべての n ≥ 1 に対して K_{-n}(E) は消える。
• ハートがネーター的である場合、非接続的 K-理論スpectrum に対して Barwick の心臓の定理が成立する。
• これらの結果により、有界 t-構造や安定性条件の存在に対する新しい K-理論的障害が得られる。
• dg代数および環スペクトルの多くは、関連する安定 ∞-圏を介して負の K-群が消える。
• 消滅結果は、t-構造の構造的性質およびハートのネーター的性質に基づいて確立される。