[論文レビュー] $K$-theory of valuation rings

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

Homotopy and Cohomology in Algebraic Topology参考文献 22被引用数 7

ひとこと要約

この論文は、特によくある特徴を持つ体の上の可換環の代数的K理論—特に特徴がpであるもの—が、正則なネーター的環と同様に振る舞うことを確立している。p進K理論の同型をde Rham–Witt形式を用いて証明し、この設定にホモトピー不変性とGerstenの単射性を拡張している。さらに、p局所化されたK理論のcdh降下について、完全体の技法とTammeの除去条件を用いて、既存の手法とは独立した新しい証明を与える。

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理論が、ネーター的でないにもかかわらず、正則ネーター的環に類似した性質を示すことを確立すること。
• 特徴がpである可換環に対して、Geisser–Levine定理に類似したp進K理論同型を証明すること。
• 体上の可換環に対してホモトピー不変性とGerstenの単射性を拡張すること。
• 特徴がpである場合に、p局所化されたK理論のcdh降下について、完全体とTammeの除去条件を用いた新しい証明を与えること。
• 最新のperfectoid幾何学と導来代数的幾何学の道具を用いて、既知のcdh降下に関する結果を統合・再証明すること。

提案手法

• 局所$ F_p$-代数に対するK理論からトポロジカル循環ホモロジーへのトレース写像の分裂単射性を活用する。
• Gabber–RameroおよびGabberによる可換環の余接複体およびde Rhamコホモロジーに関する深い結果を適用する。
• de Rham–Witt複体とdlog形式を用いて、同型$ K_n( O)/p^r \to W_r\bigwedge^n_{\rO,\text{log}} $を構成する。
• nil不変性とネーター近似を用いて、cdh降下問題を完全体に還元する。
• Bhatt–Scholzeによる完全体に関する結果を用いて、準連続的層の導来圏におけるTammeの除去条件を検証する。
• 完全体では$ Li^*Ri_* = \text{id} $が成り立つという事実を用い、右随伴関手の全忠実性を確立する。これはTammeの基準における重要な段階である。

実験結果

リサーチクエスチョン

• RQ1 可換環のK理論は、正則ネーター的環のそれとどの程度類似しているか？
• RQ2 正則局所環のK理論に関するGeisser–Levine定理を、特徴がpである可換環へ拡張できるか？
• RQ3 体上の可換環のK理論に対して、ホモトピー不変性とGerstenの単射性は成り立つか？
• RQ4 特徴がpである場合に、$ K[\frac{1}{p}] $のcdh降下を、perfectoidおよび導来的技法を用いて再証明できるか？
• RQ5 抽象的吹き出しに伴うK理論スペクトルの四角形がホモトピー的カルテジアンであるための条件は何か？

主な発見

• 体$ \rF_p $を含む可換環$ \rO $に対して、自然な同型$ K_n(\rO)/p^r \to W_r\bigwedge^n_{\rO,\text{log}} $が存在し、これは記号へのdlog写像によって与えられる。これにより、$ K_n(\rO) $が$ p $- torsion-free であることが示される。
• $ K_n(\rO) \to K_n(\text{Frac}(\rO)) $はすべての$ n \neq 0 $に対して単射であり、体上の可換環に対して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}] $-スペクトルの四角形は、perfectoid技法とTammeの除去条件を用いてホモトピー的カルテジアンであることが証明された。
• 特徴がpである場合の$ K[\frac{1}{p}] $のcdh降下の証明は、従来の手法とは独立した新しいものであり、Bhatt–Scholzeによる完全体のホモロジー的性質に依存している。
• 可換環の導来de Rhamおよび導来de Rham–Wittコホモロジーは、Gabber–Rameroによる余接複体に関する結果を用いて制御可能であり、これにより主なK理論同型が得られる。