[논문 리뷰] $K$-theory of valuation rings

Shane Kelly, Matthew Morrow|arXiv (Cornell University)|2018. 10. 29.

Homotopy and Cohomology in Algebraic Topology참고 문헌 22인용 수 7

한 줄 요약

이 논문은 특성 p를 갖는 비어리지 않은 Noetherian 환과 유사하게 행동하는, 특히 특성 p를 갖는 순서환의 대수적 K-이론이 성립함을 증명한다. p-진 K-이론의 동형을 de Rham–Witt 형식을 통해 증명하고, 이 분야에 대해 호모토피 불변성과 Gersten의 단사성 조건을 확장한다. 또한, 페르펙티드 기법과 Tamme의 분리 조건을 사용하여, p에 국한된 K-이론에 대해 cdh 수렴을 새로운 방식으로 증명한다.

ABSTRACT

We prove several results showing that the algebraic $K$-theory of valuation rings behave as though such rings were regular Noetherian, in particular an analogue of the Geisser--Levine theorem. We also give some new proofs of known results concerning cdh descent of algebraic $K$-theory.

연구 동기 및 목표

• 순서환의 대수적 K-이론이 비-Noetherian 성질을 지니고 있음에도 불구하고, 정규 Noetherian 환과 유사한 성질을 보임을 입증하는 것.
• 특성 p를 갖는 순서환에 대해 Geisser–Levine 정리와 유사한 p-진 K-이론 동형을 증명하는 것.
• 특성 p를 갖는 체 위의 순서환에 대해 호모토피 불변성과 Gersten의 단사성 조건을 확장하는 것.
• 특성 p에서 p에 국한된 K-이론에 대해 cdh 수렴을 페르펙티드 스킴과 Tamme의 분리 조건을 사용하여 새로운 방식으로 증명하는 것.
• 현대적 페르펙티드 기하학과 유도 대수기하학 도구를 활용하여 기존의 cdh 수렴 결과들을 통합하고 재증명하는 것.

제안 방법

• 지역적인 $\rF_p$-대수에 대해 K-이론에서 위상적 순환 호모로피아로의 추적 사상의 분할 단사성을 활용한다.
• Gabber–Ramero와 Gabber의 결과를 바탕으로 순서환의 코탄젠트 복합체와 de Rham 코homology에 대한 깊이 있는 결과를 적용한다.
• de Rham–Witt 복합체와 dlog 형식을 사용하여 동형 $ K_n(\rO)/p^r \to W_r\bigwedge^n_{\rO,\text{log}} $를 구성한다.
• nil-불변성과 Noetherian 근사 기법을 통해 cdh 수렴 문제를 페르펙티드 스킴으로 환원한다.
• Bhatt–Scholze의 페르펙티드 스킴에 대한 결과를 적용하여, 준가환층의 유도 범주에 대해 Tamme의 분리 조건을 검증한다.
• 페르펙티드 스킴에서 $ Li^*Ri_* = \text{id} $라는 사실을 이용하여, 오른쪽 수반의 전형성(fully faithful)을 확립하고, 이는 Tamme 기준의 핵심 단계이다.

실험 결과

연구 질문

• RQ1 순서환의 K-이론이 정규 Noetherian 환과 어느 정도 유사한가?
• RQ2 정규 국소환의 K-이론에 대한 Geisser–Levine 정리가 특성 p를 갖는 순서환으로 확장될 수 있는가?
• RQ3 특성 p를 갖는 체 위의 순서환에 대해 호모토피 불변성과 Gersten의 단사성 조건이 성립하는가?
• RQ4 특성 p에서 $ K[\frac{1}{p}] $에 대한 cdh 수렴을 페르펙티드 및 유도 기법을 사용하여 재증명할 수 있는가?
• RQ5 어떤 조건이 추상 블로우업에 대응하는 K-이론 스펙트럼의 제곱이 호모토피 카르테시안임을 보장하는가?

주요 결과

• 특성 p를 갖는 순서환 $ \rO $에 대해, 기호에 대한 dlog 사상으로 주어지는 자연스러운 동형 $ K_n(\rO)/p^r \to W_r\bigwedge^n_{\rO,\text{log}} $이 존재하며, 이는 $ K_n(\rO) $가 $ p $- torsion-free임을 보여준다.
• 모든 $ n \neq 0 $에 대해 $ K_n(\rO) \to K_n(\text{Frac}(\rO)) $는 단사적이다. 이는 체 위의 순서환에 대해 Gersten 단사성 조건이 성립함을 확인한다.
• 순서환의 K-이론은 호모토피 불변성을 만족한다: 모든 $ d \to \rZ $에 대해 $ K_n(\rO) \to K_n(\rO[T_1,\ldots,T_d]) $는 동형이며, $ n < 0 $이면 $ K_n(\rO) = 0 $이다.
• 특성 p에서 스킴의 추상 블로우업에 대응하는 $ K[\frac{1}{p}] $-스펙트럼의 제곱은 페르펙티드 기법과 Tamme의 분리 조건을 통해 호모토피 카르테시안임을 증명한다.
• 특성 p에서 $ K[\frac{1}{p}] $에 대한 cdh 수렴 증명은 이전 방법과 독립적이며, Bhatt–Scholze의 페르펙티드 스킴의 호모로지적 성질에 기반한다.
• Gabber–Ramero의 코탄젠트 복합체에 대한 결과를 통해 순서환의 유도 de Rham 및 유도 de Rham–Witt 코homology가 제어되며, 이는 주요 K-이론 동형을 가능하게 한다.