[논문 리뷰] K-theory and topological cyclic homology of henselian pairs

Dustin Clausen, Akhil Mathew외 1명|arXiv (Cornell University)|2018. 03. 29.

Homotopy and Cohomology in Algebraic Topology참고 문헌 69인용 수 18

한 줄 요약

이 논문은 henselian 쌍에 대해 유한 계수를 갖는 대수적 K-이론과 위상수학적 순환 동형도(TC)에 대한 강성 결과를 확립하며, 순환 추적를 통한 상대 K-이론과 상대 TC가 동치임을 증명한다. 주요 기여는 Gabber–Gillet–Thomason–Suslin의 강성과 McCarthy의 정리의 일반화로, 임의의 henselian 쌍 $ (R,I) $에 대해 $ K^\text{inv}(R)/n \to K^\text{inv}(R/I)/n $ 가 동치임을 보여, 기존 결과를 비가역 계수로 확장하고 p-진 설정에서 K-이론과 TC 간의 강력한 연결 고리를 확립한다.

ABSTRACT

Given a henselian pair $(R, I)$ of commutative rings, we show that the relative $K$-theory and relative topological cyclic homology with finite coefficients are identified via the cyclotomic trace $K o \mathrm{TC}$. This yields a generalization of the classical Gabber-Gillet-Thomason-Suslin rigidity theorem (for mod $n$ coefficients, with $n$ invertible in $R$) and McCarthy's theorem on relative $K$-theory (when $I$ is nilpotent). We deduce that the cyclotomic trace is an equivalence in large degrees between $p$-adic $K$-theory and topological cyclic homology for a large class of $p$-adic rings. In addition, we show that $K$-theory with finite coefficients satisfies continuity for complete noetherian rings which are $F$-finite modulo $p$. Our main new ingredient is a basic finiteness property of $\mathrm{TC}$ with finite coefficients.

연구 동기 및 목표

• 계수가 환에서 가역이 아닌 경우로 일반화된 고전적 강성 정리들인 Gabber, Gillet–Thomason, Suslin의 결과를 확장한다.
• 이deals에 대한 상대 K-이론에 관한 McCarthy의 정리를 nilpotent ideal의 경우에서 더 넓은 henselian 쌍 설정으로 일반화한다.
• p-진 환의 광범위한 클래스에서 p-진 K-이론과 TC 사이의 순환 추적가 큰 차수에서 동치임을 확립한다.
• 완전한 Noetherian 환 중 p를 모odulo로 하여 F-유한인 환에 대해 유한 계수 K-이론의 연속성을 증명한다.
• 자unction $ \pi - \overline{F} $의 cokernel을 $ \widetilde{\nu_r^m}(R) $로 정의하여, K-이론과 TC 간의 비교를 지배하는 핵심 불변량을 특정한다.

제안 방법

• K-이론과 위상수학적 순환 동형도 간의 관계를 분석하기 위해 중심 도구로 순환 추적 $ K(R) \to \mathrm{TC}(R) $를 사용한다.
• K-이론과 TC 간의 차이를 측정하기 위해 순환 추적의 호모토피 필러 $ K^{\text{inv}}(R) $를 도입한다.
• 유한 계수를 갖는 $ \mathrm{TC}/p $의 새로운 유한성 성질을 적용하여 강성 증명에 핵심적인 역할을 한다.
• 유도 범주에서 $ \mathrm{TC}/p $의 의사구조성과 연속성에 기반한 축약된 강성 프레임워크를 활용한다.
• de Rham–Witt 복합체와 $ W_r\Omega_R^m $ 위에서의 사상 $ \pi - \overline{F} $를 사용하여 비교를 제어하는 $ \widetilde{\nu_r^m}(R) $의 cokernel을 기술한다.
• 에테일 코hom로지와 ind-smooth 대수에서의 해소 기법을 적용하여 $ \widetilde{\nu_r^m}(R) $를 계산하고 henselian 쌍에 대한 강성을 증명한다.

실험 결과

연구 질문

• RQ1 henselian 쌍에 대해 상대 K-이론과 상대 TC 간의 순환 추적이 유한 계수를 갖는 경우에 동치를 유도하는가?
• RQ2 계수가 환에서 가역이 아닌 경우로 일반화된 고전적 K-이론 강성 정리가 계수가 가역일 경우를 초월하여 확장 가능한가?
• RQ3 K-이론과 TC 간의 비교를 지배하는 핵심 불변량인 cokernel $ \widetilde{\nu_r^m}(R) $의 정확한 구조는 무엇인가?
• RQ4 유한 계수 K-이론이 완전한 Noetherian 환에서 p를 모odulo로 하여 F-유한인 경우 연속성을 만족하는가?
• RQ5 유한 계수를 갖는 $ \mathrm{TC}/p $의 유한성은 대수적 K-이론에서 새로운 강성 결과를 어떻게 가능하게 하는가?

주요 결과

• 모든 henselian 쌍 $ (R,I) $에 대해 상대 K-이론과 상대 TC 간의 유한 계수가 순환 추적에 의해 동치임을 보이며, 즉 $ K^{\text{inv}}(R)/n \to K^{\text{inv}}(R/I)/n $ 는 동치이다.
• 주요 강성 결과는 계수가 가역인 경우의 Gabber의 정리와 nilpotent ideal에 대한 McCarthy의 정리를 일반 henselian 설정으로 확장한다.
• p-진 환의 경우, 큰 차수에서 p-진 K-이론과 위상수학적 순환 동형도 사이의 순환 추적이 동치이다.
• cokernel $ \widetilde{\nu_r^m}(R) $ 는 자연스럽게 $ \mathrm{coker}(\pi - \overline{F}: W_r\Omega_R^m \to W_r\Omega_R^m / dV^{r-1}\Omega_R^m) $ 와 동형이며, 비교 불변량의 명시적 기술을 제공한다.
• 완전한 Noetherian 환 중 p를 모odulo로 하여 F-유한인 경우, 유한 계수 K-이론은 연속성을 만족하며, 기존의 pro-정리의 일반화이다.
• n = p^r 인 경우, K와 $ \mathrm{TC} $의 필러 시퀀스에서 유도된 호모토피 군의 장점 시퀀스가 $ \widetilde{\nu_r^m}(R) $의 강성으로 인해 짧은 정확 시퀀스로 분해된다.