[論文レビュー] Algebraic K-theory of strict ring spectra

John Rognes|arXiv (Cornell University)|Mar 24, 2014

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

ひとこと要約

この論文は、厳密な環スペクトルの代数的K理論のための枠組みを構築し、対数的トポロジカルホッフホルンホモロジーと再び再構成されたバーベル構成を導入して、穏やかに分岐する拡大をモデル化する。p局所化された球面スペクトルから連結トポロジカルK理論へのlog THH-エタール準同型を確立し、モチーフコホモロジーにおける算術双対性の証拠を提供するとともに、軽微な局所化の後、分岐拡大のスペクトル的実現を通じてガロアコホモロジーと結びつける。

ABSTRACT

We view strict ring spectra as generalized rings. The study of their algebraic K-theory is motivated by its applications to the automorphism groups of compact manifolds. Partial calculations of algebraic K-theory for the sphere spectrum are available at regular primes, but we seek more conceptual answers in terms of localization and descent properties. Calculations for ring spectra related to topological K-theory suggest the existence of a motivic cohomology theory for strictly commutative ring spectra, and we present evidence for arithmetic duality in this theory. To tie motivic cohomology to Galois cohomology we wish to spectrally realize ramified extensions, which is only possible after mild forms of localization. One such mild localization is provided by the theory of logarithmic ring spectra, and we outline recent developments in this area.

研究の動機と目的

• 多様体の自己同型への応用を動機として、厳密な環スペクトルの代数的K理論の概念的枠組みを構築すること。
• 特に球面スペクトルとトポロジカルK理論に関連して、環スペクトルの代数的K理論の局所化および降下性質を理解すること。
• 厳密可換環スペクトルに対するモチーフコホモロジー理論を確立し、この設定における算術双対性の証拠を提供すること。
• 対数的環スペクトルを通じて分岐拡大をスペクトル的に実現し、モチーフコホモロジーとガロアコホモロジーの間の接続を可能にすること。
• 対数的版のゲルス＝ホピン＝マレー障害理論を構築し、対数的拡大を分類し、新たな穏やかに分岐する拡大の例を生成すること。

提案手法

• 群完備化モデル構造における $\text{CS}^\text{J}$ 上の循環バーベル構成 $B^\text{cy}(M)$ のファイブラント置換として再び再構成されたバーベル構成 $B^\text{rep}(M)$ を使用する。
• 環 $A$ から $B$ への基底変換に沿って $THH(A,M)$ を通じて、$B \to THH(B,N)$ が同型であるという条件により、形式的な対数的THH-エタール準同型を定義する。
• $d$-周期的で可換な対称環スペクトル $E$ の乗法的モノイド $GL_1^\text{J}(E)$ に再び再構成されたバーベル構成を適用し、対数的THHをモデル化する。
• 連結被覆 $e$ に対して、自然なホモトピーコボル型系列 $THH(e) \to THH(e, j_*GL_1^\text{J}(E)) \to \bigvee \text{THH}(e[0,d))$ を確立する。
• トレース写像を用いて、$\tau_0(e)$、$e$、$E$ のK理論とそれらのTHHおよび $WTHH^\text{Γ}$-理論との関係を関連付ける。
• cyclotomicスペクトルとしての同型 $THH(e, j_*GL_1^\text{J}(E)) \to WTHH^\text{Γ}(e|E)$ の予想を提示し、トレース写像と整合性を持つ。

実験結果

リサーチクエスチョン

• RQ1 厳密可換環スペクトルに対するモチーフコホモロジーは、算術双対性を支持する形で実現可能か？
• RQ2 特に穏やかな分岐の文脈において、環スペクトルの分岐拡大はどのようにスペクトル的に実現可能か？
• RQ3 対数的トポロジカルホッフホルンホモロジーは、環スペクトルの降下性およびエタール性質をモデル化するために果たす役割は何か？
• RQ4 対数的版のゲルス＝ホピン＝マレー障害理論は、環スペクトルの対数的拡大を分類するものとして存在するか？
• RQ5 連結被覆およびそれらの対数的構造を含む系列を通じて、環スペクトルの代数的K理論は計算可能か？

主な発見

• 準同型 $(\bar{\nu}, j_*GL_1^\text{J}(L_p)) \to (ku_p, j_*GL_1^\text{J}(KU_p))$ は対数的THH-エタールであり、$\bar{\nu}$ と $ku_p$ の間の重要な接続を提供する。
• $d$-周期的で可換な対称環スペクトル $E$ とその連結被覆 $e$ に対して、自然なホモトピーコボル型系列 $THH(e) \to THH(e, j_*GL_1^\text{J}(E)) \to \bigvee \text{THH}(e[0,d))$ が存在する。
• $THH(ku_p)$ の $V(1)$-ホモトピーは、$THH(\bar{\nu})$、$THH(\bar{\nu}, j_*GL_1^\text{J}(L_p))$、および $THH(ku_p, j_*GL_1^\text{J}(KU_p))$ を通じて計算可能である。
• もし $\tau_0(e)$ が正則であれば、$K$-理論とTHHの間の水平ホモトピーコボル型系列の写像が構成され、トレース写像が垂直矢印として配置される。
• 予想される同型 $THH(e, j_*GL_1^\text{J}(E)) \to WTHH^\text{Γ}(e|E)$ は、cyclotomicスペクトルとしての同型であり、トレース写像と整合性を持つ。
• $ku_2$ が有限セル $ko_2[C_2]$-加群のリトラクトでないことは、野生的分岐を示しており、奇数の $p$ に対して $ku_p$ の穏やかな分岐とは対照的である。