[論文レビュー] Purity in chromatically localized algebraic $K$-theory

Markus Land, Akhil Mathew+2 more|arXiv (Cornell University)|Jan 28, 2020

Homotopy and Cohomology in Algebraic Topology参考文献 45被引用数 12

ひとこと要約

この論文は、クロマチックに局所化された代数的K理論における純粋性の性質を確立する：$ n \geq 1 $ に対して、$ K(R) $ の $ T(n) $-局所化は、環スペクトル $ R $ の $ T(0) \oplus \cdots \oplus T(n) $-局所化にのみ依存する。これはワルドハウゼンの有理的 $ K $-理論の結果をより高いクロマチック高さへ拡張し、$ n \geq 2 $ の場合、$ L_{T(n)}K(R) $ が $ T(n) $-局所化の下で $ \mathrm{TC}\left(\tau_{\geq 0}R\right) $ と同値であることを示し、消滅定理や余極限の保存に関する応用をもたらす。

ABSTRACT

We prove a purity property in telescopically localized algebraic $K$-theory of ring spectra: For $n\geq 1$, the $T(n)$-localization of $K(R)$ only depends on the $T(0)\oplus \dots \oplus T(n)$-localization of $R$. This complements a classical result of Waldhausen in rational $K$-theory. Combining our result with work of Clausen--Mathew--Naumann--Noel, one finds that $L_{T(n)}K(R)$ in fact only depends on the $T(n-1)\oplus T(n)$-localization of $R$, again for $n \geq 1$. As consequences, we deduce several vanishing results for telescopically localized $K$-theory, as well as an equivalence between $K(R)$ and $\mathrm{TC}(τ_{\geq 0} R)$ after $T(n)$-localization for $n\geq 2$.

研究の動機と目的

• テレスコピック局所化を用いて、ワルドハウゼンの有理的 $ K $-理論の純粋性結果をより高いクロマチック高さへ拡張すること。
• $ L_{T(n)}K(R) $ が $ R $ の $ T(0) \oplus \cdots \oplus T(n) $-局所化にのみ依存することを示し、クロマチック純粋性定理を確立すること。
• $ T(n) $-局所化 $ K $-理論における消滅結果を導出し、局所化の下で $ K(R) $ をトポロジカル巡回ホモロジーを用いて特徴付けること。
• $ n \geq 2 $ に対して $ L_{T(n)}K(R) \simeq L_{T(n)}\mathrm{TC}(\tau_{\geq 0}R) $ が成り立つことを示し、$ K $-理論と $ \mathrm{TC} $ をより高いクロマチック層で結びつけること。
• $ T(n) $-局所化 $ K $-理論が分離余極限を保存することを示し、$ n \geq 2 $ の場合にファーロン＝ジョーンズ型のアセンブリマップ同値性を満たすこと。

提案手法

• デカルージュ技術を用いて、切断性の性質に帰着し、高く連結な場合に還元することで純粋性定理を証明する。
• $ L_{T(n)}K(R) $ が $ R $ の $ T(0) \oplus \cdots \oplus T(n) $-局所化にのみ依存することを、帰納法と局所化ファンクターを用いて確立する。
• クラウーゼン–マシューエィブ–ノアウム–ノエルの結果を活用し、$ n \geq 1 $ の場合に依存関係を $ T(n-1) \oplus T(n) $-局所化へ精錬する。
• $ n \geq 2 $ に対して $ L_{T(n)}K(R) \simeq L_{T(n)}\mathrm{TC}(\tau_{\geq 0}R) $ の同値性を適用し、$ \mathrm{TC} $-ベースの近似と $ p $-進完備化に依存する。
• $ \mathrm{TC} $ と $ \mathrm{TC}/p $ が分離余極限を保存することを用いて、$ L_{T(n)}K(R) $ がこのような余極限を保存することを示す。
• $ p $-進 $ \mathrm{TC} $-アセンブリ結果と $ K $-理論における $ \mathrm{TC} $-同値性を組み合わせることで、$ T(n) $-局所化ファーロン＝ジョーンズアセンブリマップ同値性を確立する。

実験結果

リサーチクエスチョン

• RQ1 $ L_{T(n)}K(R) $ は $ R $ の $ T(0) \oplus \cdots \oplus T(n) $-局所化にのみ依存するか。これはワルドハウゼンの有理的 $ K $-理論結果の一般化であるか。
• RQ2 $ n \geq 1 $ の場合に、$ L_{T(n)}K(R) $ の依存関係を $ R $ の $ T(n-1) \oplus T(n) $-局所化へ精錬できるか。
• RQ3 $ n \geq 2 $ に対して、$ L_{T(n)}K(R) \simeq L_{T(n)}\mathrm{TC}(\tau_{\geq 0}R) $ が自然な同値性をもつのか。これは $ K $-理論とトポロジカル巡回ホモロジーを結びつけるか。
• RQ4 $ n \geq 2 $ の場合、$ L_{T(n)}K(R) $ は分離余極限を保存するか。その条件は $ R $ にどのような制約を課すか。
• RQ5 $ n \geq 2 $ の場合、$ K(R) $ のファーロン＝ジョーンズアセンブリマップは $ T(n) $-局所化の下で同値になるか。

主な発見

• $ n \geq 1 $ に対して、$ L_{T(n)}K(R) $ は $ R $ の $ T(0) \oplus \cdots \oplus T(n) $-局所化にのみ依存し、クロマチック純粋性の性質を確立する。
• $ n \geq 1 $ に対して、$ L_{T(n)}K(R) $ の依存関係は、クラウーゼン–マシューエィブ–ノアウム–ノエルの研究に従い、$ R $ の $ T(n-1) \oplus T(n) $-局所化へ精錬できる。
• $ n \geq 2 $ に対して、自然な同値性 $ L_{T(n)}K(R) \simeq L_{T(n)}\mathrm{TC}(\tau_{\geq 0}R) $ が成り立つ。これは、局所化の下で $ K $-理論が $ \mathrm{TC} $ によって近似可能であることを示している。
• $ n \geq 2 $ に対して、$ R \mapsto L_{T(n)}K(R) $ は、すべての環スペクトルおよび $ T(n-1) $-局所環スペクトルの両方において、分離余極限を保存する。
• $ n \geq 2 $ に対して、$ K(R) $ のファーロン＝ジョーンズアセンブリマップは $ T(n) $-局所化の下で同値になる。
• $ T(n) $-局所化 $ K $-理論における消滅結果は、純粋性定理から導かれる。特に $ R $ が低いクロマチック高さを持つ場合に顕著である。