[論文レビュー] A homological approach to chromatic complexity of algebraic K-theory

Gabriel Angelini‐Knoll, J. D. Quigley|arXiv (Cornell University)|Aug 24, 2019

Homotopy and Cohomology in Algebraic Topology参考文献 39被引用数 4

ひとこと要約

本稿では、トポロジカル周期的ホモロジー (TP) のティムスペクトル $y(n)$ について、チロノロジカルな複雑度が $n+1$ に達することを確立している。一方、相対代数的 K-理論、トポロジカル周期的ホモロジー (TC)、およびトポロジカル負の周期的ホモロジー (TC⁻) は、チロノロジカルな複雑度を少なくとも維持する。ホモロジカルなスペクトル系列とグリーンリースのフィルトレーションを用いて、$1 \leq m \leq n$ のとき $K(m)_*(TP(y(n))) \cong 0$ を証明し、TPにおけるチロノロジカルなレッドシフトの強力な証拠を提示している。これは、すべてのチロノロジカル高さにおいて、アウスィ・ローゲンのレッドシフト予想の変種を支持する。

ABSTRACT

The family of Thom spectra $y(n)$ interpolates between the sphere spectrum and the mod two Eilenberg--MacLane spectrum. Computations of Mahowald, Ravenel, Shick, and the authors show that the associative ring spectrum $y(n)$ has type $n$. Using trace methods, we give evidence that algebraic K-theory preserves this chromatic complexity. Our approach sheds light on the chromatic complexity of topological negative cyclic homology and topological periodic cyclic homology, which approximate algebraic K-theory and are of independent interest. Our main contribution is a homological approach that can be applied in great generality, such as to associative ring spectra $R$ without additional structure whose coefficient rings are not completely understood.

研究の動機と目的

• トポロジカル周期的ホモロジー (TP) が $E_1$ リングスペクトル、特に $y(n)$ の族に対してチロノロジカル高さをシフトするかを調査すること。
• 代数的 K-理論およびトポロジカル周期的ホモロジーにとどまらず、TP および TC⁻ を含めたチロノロジカルなレッドシフト予想を拡張すること。
• スペクトル系列およびフィルトレーション技法を用いて、$y(n)$ の TP、TC⁻、TC、および相対代数的 K-理論におけるモラバ K-理論の消滅を分析すること。
• $y(n)$ をテストケースとして用い、すべてのチロノロジカル高さにおいて、TP における一般化されたレッドシフト現象の証拠を提供すること。

提案手法

• $TP(y(n))$ のグリーンリースのフィルトレーションを用いて、そのホモトピー群を計算するスペクトル系列を構成する。
• ホモロジカル・テートおよびホモトピー固定点スペクトル系列を適用し、フィルトレーションの $E_1$-頁および収束性を分析する。
• $K(m)$-ベースのボクスタッドスペクトル系列を用いて、$K(m)_*THH(y(n))$ を計算し、消滅結果を導出する。
• $\Sigma THH(y(n))_{h\mathbb{T}} \to TC^-(y(n)) \to TP(y(n))$ のファイバー系列を用いて、ホモトピー固定点を介して TC⁻ と TP を関連付ける。
• ダンダス＝グッドウィリアムズ＝マクカーシーの定理を適用し、$TC(y(n), H\mathbb{F}_2)$ と $K(y(n), H\mathbb{F}_2)$ を関連づけ、K-理論の計算を可能にする。
• コアクション構造およびフィルトレーションの議論を用いて、$H_*(TP(y(n))[i])$ のコモジュール原始的次数の境界を確立する。

実験結果

リサーチクエスチョン

• RQ1 $y(n)$ のトポロジカル周期的ホモロジー (TP) はチロノロジカルな複雑度 $n+1$ を示すか？
• RQ2 TP はすべてのチロノロジカルレベルでチロノロジカル高さをシフトするのか。これは、レッドシフト予想を支持するか？
• RQ3 相対代数的 K-理論、TC⁻、および TC は $y(n)$ に対してチロノロジカルな複雑度を維持するか？
• RQ4 スペクトル系列およびフィルトレーションを用いて、$1 \leq m \leq n$ のとき $K(m)_*$ が $TP(y(n))$ で消えることを確立できるか？
• RQ5 $H_*(TP(y(n))[i])$ のコモジュール原始的次数に一様な上限が存在するか？

主な発見

• $1 \leq m \leq n$ のとき $K(m)_*(TP(y(n))) \cong 0$ であり、TP がチロノロジカルな複雑度を $n$ から $n+1$ に増加させることを証明している。
• $H_*(TP(y(n))[i])$ のコモジュール原始的次数は、$i$ に依存せずに $2^{n+1}$ で一様に有界である。
• $1 \leq m \leq n$ のとき $K(m)_*(TC^-(y(n), H\mathbb{F}_2)) \cong 0$ であり、TC⁻ がチロノロジカルな複雑度を維持していることを示している。
• $1 \leq \ell \leq n-1$ のとき $K(\ell)_*(TC^-(y(n))) \cong 0$ であり、TC⁻ における下位チロノロジカルレベルでの消滅を確認している。
• 相対代数的 K-理論 $K(y(n), H\mathbb{F}_2)$ は、$0 \leq m \leq n-1$ のとき $K(m)_*(K(y(n), H\mathbb{F}_2)) \cong 0$ を満たし、チロノロジカルな複雑度を維持している。
• ファイバー系列 $TC(y(n), H\mathbb{F}_2) \to TC^-(y(n), H\mathbb{F}_2) \to TP(y(n), H\mathbb{F}_2)$ およびダンダス＝グッドウィリアムズ＝マクカーシーの定理により、$TC(y(n), H\mathbb{F}_2) \simeq K(y(n), H\mathbb{F}_2)$ であり、$0 \leq m \leq n-1$ のとき $K(m)$-ホモロジーが消えることが導かれる。