[논문 리뷰] On the theorem of the heart in negative $K$-theory

Benjamin Antieau, David Gepner외 1명|arXiv (Cornell University)|2016. 10. 23.

Algebraic structures and combinatorial models인용 수 1

한 줄 요약

이 논문은 유한한 안정 ∞-분류에서 유계 t-구조를 가진 경우 음의 K-군이 사라짐을 증명하며, 심장이 노에테리안일 경우 모든 n ≥ 1에 대해 K_{-n}(E)가 사라짐을 보인다. 이러한 결과들은 노에테리안 조건 하에서 비연결 K-이론 스펙트럼에 대해 바르윅의 심장 정리(heart theorem)를 확장하며, 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-이론 스펙트럼에 대해 바르윅의 심장 정리를 확립하는 것.
• 이 결과들을 이용해 유계 t-구조와 안정 조건의 존재를 방해하는 장애를 분석하는 것.
• dg 대수와 링 스펙트럼의 음의 K-군에 대한 사라짐 정리를 도출하는 것.

제안 방법

• 안정 ∞-분류에서 음의 K-군을 분석하기 위해 비연결 K-이론 스펙트럼을 사용하는 것.
• 유계 t-구조를 활용하여 ∞-분류의 K-이론을 그 심장의 K-이론과 연결하는 것.
• Schlichting의 추측, 즉 아벨 분류에서 음의 K-군의 사라짐을 적용하는 것.
• 심장의 노에테리안 성질을 활용하여 사라짐 결과를 모든 음의 차수로 확장하는 것.
• 관련된 안정 ∞-분류를 통해 dg 대수와 링 스펙트럼에 결과를 적용하는 것.
• 심장 정리를 이용하여 ∞-분류의 K-이론과 그 심장의 K-이론을 연결하는 것.

실험 결과

연구 질문

• RQ1 소형 안정 ∞-분류 E에 유계 t-구조가 존재할 경우 K_{-1}(E)가 사라지는가?
• RQ2 이러한 분류에서 모든 n ≥ 1에 대해 K_{-n}(E)가 사라지기 위한 조건은 무엇인가?
• RQ3 바르윅의 심장 정리는 비연결 K-이론 스펙트럼으로 확장될 수 있는가?
• RQ4 유계 t-구조 또는 안정 조건의 존재에 대해 어떤 K-이론적 장애가 발생하는가?
• RQ5 큰 범주에 속하는 dg 대수와 링 스펙트럼은 음의 K-군이 사라지는가?

주요 결과

• 모든 소형 안정 ∞-분류 E에 대해 유계 t-구조가 존재할 경우 K_{-1}(E)는 사라진다.
• E의 심장이 노에테리안일 경우 모든 n ≥ 1에 대해 K_{-n}(E)는 사라진다.
• 심장이 노에테리안일 경우 비연결 K-이론 스펙트럼에 대해 바르윅의 심장 정리가 성립한다.
• 이 결과들은 유계 t-구조와 안정 조건의 존재에 대한 새로운 K-이론적 장애를 제공한다.
• dg 대수와 링 스펙트럼의 큰 범주에서 그 관련된 안정 ∞-분류를 통해 음의 K-군은 사라진다.
• 사라짐 결과는 t-구조의 구조적 성질과 심장의 노에테리안 조건을 통해 확립된다.