[論文レビュー] $\eta$-periodic motivic stable homotopy theory over fields

Tom Bachmann, Michael J. Hopkins|arXiv (Cornell University)|May 14, 2020

Homotopy and Cohomology in Algebraic Topology参考文献 55被引用数 10

ひとこと要約

本稿は、特性 $\neq 2$ の体上での $\eta$-周期的・2局部的モチーフ的球面スペクトルの2項分解を、連結2局部的ウィット $K$-理論スペクトルのずれを用いて確立する。主な結果は、$\mathbbm{1}[\eta^{-1}]_{(2)} \to \mathrm{kw}_{(2)} \xrightarrow{\varphi} \Sigma^4\mathrm{kw}_{(2)}$ というファイバー列であり、これは古典的 $K(1)$-局所化解像に類似しており、$\eta$-周期化されたモチーフ的安定ステムおよび代数的コボルディズム群の計算を可能にする。

ABSTRACT

Over any field of characteristic not 2, we establish a 2-term resolution of the $\\eta$-periodic, 2-local motivic sphere spectrum by shifts of the connective 2-local Witt K-theory spectrum. This is curiously similar to the resolution of the K(1)-local sphere in classical stable homotopy theory. As applications we determine the $\\eta$-periodized motivic stable stems and the $\\eta$-periodized algebraic symplectic and SL-cobordism groups. Along the way we construct Adams operations on the motivic spectrum representing Hermitian K-theory and establish new completeness results for certain motivic spectra over fields of finite virtual 2-cohomological dimension. In an appendix, we supply a new proof of the homotopy fixed point theorem for the Hermitian K-theory of fields.

研究の動機と目的

• 特性 $\neq 2$ の体上での $\eta$-周期的・2局部的モチーフ的安定ホモトピー圏の構造を理解すること。
• 古典的 $K(1)$-局所理論に類似した、連結ウィット $K$-理論を用いた $\eta$-周期的球面スペクトルの解像を行うこと。
• $\eta$-周期化されたモチーフ的安定ステムおよび代数的シンプレクティックおよび $\mathrm{SL}$-コボルディズム群を計算すること。
• モチーフ的ヘルミート $K$-理論スペクトル上でのアダムズ作用素の構成と、特性 $2$-コhomological次元が有限な体上のモチーフ的スペクトルの完全性に関する結果を証明すること。
• スライス理論と $\eta$-周期性を用いて、モチーフ的ヘルミート $K$-理論のホモトピー固定点定理を、従来のスペクトル系列計算に依存せずに再証明すること。

提案手法

• 連結2局部的ウィット $K$-理論スペクトル $\mathrm{kw}_{(2)}$ を用いて、$\eta$-周期的・2局部的球面スペクトルを2項ファイバー列で解像する手法の使用。
• モチーフ的Snaith定理とホモトピー固定点技術を応用し、$\mathrm{KO}$, $\mathrm{KGL}$, および $\mathrm{KGL}^{hC_2}$ の関係を確立する。
• 繰り返し $\eta$ による乗法の列挙によるコロイミットを用いた $\eta$-周期化構成を用いて、モチーフ的ホップ写像の逆元を導出する。
• モチーフ的双対ストーンロッド代数とスライススペクトル系列技術を用いて、$\mathrm{HW}$-ホモロジーの $\mathrm{kw}$ の計算を行う。
• $\eta$-周期性と $\beta$-周期性を活用し、$\mathrm{KO}$ のスライスへの計算の簡略化を図り、[ARØ17] の結果を用いて循環的になるのを回避する。
• ホモトピー固定点設定における $\eta$-完全性と極限論的議論を用いて、$\mathrm{KO}$ や関連スペクトルの完全性を確立する。

実験結果

リサーチクエスチョン

• RQ1 特性 $\neq 2$ の体上での $\eta$-周期的・2局部的モチーフ的球面スペクトルは、どのように連結ウィット $K$-理論を用いて解像可能か？
• RQ2 $\mathrm{MSp}$ および $\mathrm{MSL}$ に対する $\eta$-周期化されたモチーフ的安定ステムおよび代数的コボルディズム群の構造は何か？
• RQ3 モチーフ的ヘルミート $K$-理論上のアダムズ作用素は、モチーフ的ホップ写像および $\eta$-周期性とどのように作用するか？
• RQ4 特性 $2$-コホモロジー次元が有限な体上でのモチーフ的スペクトルに成り立つ完全性の性質は何か？
• RQ5 モチーフ的ヘルミート $K$-理論のホモトピー固定点定理は、従来のスペクトル系列計算に依存せずに再証明可能か？

主な発見

• 本稿は、任意の特性 $\neq 2$ の体 $k$ に対して、$\mathcal{SH}(k)$ 内でファイバー列 $\mathbbm{1}[\eta^{-1}]_{(2)} \to \mathrm{kw}_{(2)} \xrightarrow{\varphi} \Sigma^4\mathrm{kw}_{(2)}$ を確立し、連結ウィット $K$-理論を用いて $\eta$-周期的球面を解像する。
• $\eta$-周期化されたモチーフ的安定ステム $\pi_{*}(\mathbbm{1}[\eta^{-1}])_{(2)}$ は、この解像により計算され、古典的 $K(1)$-局所理論に類似した周期的構造が明らかになる。
• $\eta$-周期化された代数的シンプレクティックコボルディズム群 $\pi_{*}(\mathrm{MSp}[\eta^{-1}])_{(2)}$ および $\mathrm{SL}$-コボルディズム群 $\pi_{*}(\mathrm{MSL}[\eta^{-1}])_{(2)}$ は、解像と $\mathrm{HW}$-ホモロジー計算を用いて完全に決定される。
• モチーフ的スペクトル $\mathrm{KO}$ 上にアダムズ作用素が構成され、ボット要素および $\eta$-周期性と整合することが確立される。
• スライス理論と $\eta$-完全性を用いて、$\mathrm{KO}$ のモチーフ的ホモトピー固定点定理が再証明され、[ARØ17] の独立的なスライス計算に依存することで循環的になるのを回避する。
• 特性 $2$-コホモロジー次元が有限な体上での $\mathrm{KO}$ や関連スペクトルの完全性に関する結果が、$\eta$-完全性とホモトピー固定点設定における極限論的議論を用いて確立される。