[論文レビュー] K-theory and topological cyclic homology of henselian pairs

Dustin Clausen, Akhil Mathew+1 more|arXiv (Cornell University)|Mar 29, 2018

Homotopy and Cohomology in Algebraic Topology参考文献 69被引用数 18

ひとこと要約

本稿は、ヘンゼルのペア上の有限係数をもつ代数的K理論とトポロジカル循環ホモロジー（TC）の剛性結果を確立し、相対K理論と相対TCがサイクロトミックトレースを介して同一視されることを証明する。主な貢献は、ガブン＝ギレット＝トーマソン＝シュズリンの剛性およびマッカーシーの定理の一般化であり、任意のヘンゼルのペア $(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.

研究の動機と目的

• 係数が環において可逆でない場合にまで、ガブン、ギレット–トーマソン、シュズリンの古典的剛性定理を拡張すること。
• 可換イデアルが零冪である場合にのみ成立するマッカーシーの相対K理論の定理を、ヘンゼルのペアというより広い設定に一般化すること。
• p進環の広いクラスにおいて、サイクロトミックトレースがp進K理論とTCの間で大規模な次数で同値であることを確立すること。
• pを法としてF-有限である完全ネーター環に対して、有限係数をもつK理論の連続性を証明すること。
• 切断されたde Rham–Witt複体上での写像 $ \pi - \overline{F} $ の余核を、有限係数をもつ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) $ の余核を記述する。
• ind滑らか代数上のエタールコホモロジーおよび分解技術を用い、$ \widetilde{\nu_r^m}(R) $ を計算し、ヘンゼルのペアにおける剛性を証明する。

実験結果

リサーチクエスチョン

• RQ1 ヘンゼルのペアに対して、サイクロトミックトレースは相対K理論と相対TC（有限係数）を同値に写すか？
• RQ2 係数が環において可逆でない場合にまで、有限係数をもつK理論の古典的剛性定理を拡張できるか？
• RQ3 有限係数をもつK理論とTCの比較を支配する主要不変量である余核 $ \widetilde{\nu_r^m}(R) $ の明確な構造は何か？
• RQ4 有限係数をもつK理論は、$ p $ を法としてF-有限である完全ネーター環に対して連続性を満たすか？
• RQ5 有限係数をもつ $ \mathrm{TC}/p $ の有限性は、代数的K理論における新たな剛性結果を可能にするか？

主な発見

• 任意のヘンゼルのペア $ (R,I) $ に対して、相対K理論と相対TC（有限係数）がサイクロトミックトレースにより同一視される。すなわち、$ K^{\text{inv}}(R)/n \to K^{\text{inv}}(R/I)/n $ は同値である。
• 主な剛性結果は、可逆係数のためのガブンの定理および零冪イデアルのためのマッカーシーの定理を、一般のヘンゼル設定にまで拡張する。
• p進環に対しては、サイクロトミックトレースが大規模な次数においてp進K理論とトポロジカル循環ホモロジーの間で同値である。
• 余核 $ \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) $ に同型であり、比較不変量の明示的記述が得られる。
• 有限係数をもつK理論は、$ p $ を法としてF-有限である完全ネーター環に対して連続性を満たし、既知のpro定理を一般化する。
• 係数が $ n = p^r $ のとき、K理論と $ \mathrm{TC} $ のファイバー列から得られるホモトピー群の長完全系列が、$ \widetilde{\nu_r^m}(R) $ の剛性により短完全系列に分解する。