[论文解读] $\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

一句话总结

本文通过连通的2-局部Witt $K$-理论谱的平移，建立了在特征 $\neq 2$ 的域上，$\eta$-周期化、2-局部动机球谱的2项分解。关键结果是一个纤维序列 $\mathbbm{1}[\eta^{-1}]_{(2)} \to \mathrm{kw}_{(2)} \xrightarrow{\varphi} \Sigma^4\mathrm{kw}_{(2)}$，其与经典的 $K(1)$-局部分解类似，使得能够计算 $\eta$-周期化动机稳定茎群与代数cobordism群。

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-局部动机稳定同伦范畴的结构。
• 通过连通Witt $K$-理论解析 $\eta$-周期化球谱，类比经典 $K(1)$-局部理论。
• 计算 $\eta$-周期化动机稳定茎群与代数辛和 $\mathrm{SL}$-cobordism群。
• 在动机Hermitean $K$-理论谱上构造Adams操作，并证明在有限虚拟2-上同调维数域上动机谱的完备性结果。
• 使用分层理论与 $\eta$-周期性，独立于先前的谱序列计算，重新证明动机Hermitean $K$-理论的同伦固定点定理。

提出的方法

• 使用2项纤维序列，以连通2-局部Witt $K$-理论谱 $\mathrm{kw}_{(2)}$ 为基准，解析 $\eta$-周期化、2-局部球谱。
• 应用动机Snaith定理与同伦固定点技术，关联 $\mathrm{KO}$、$\mathrm{KGL}$ 与 $\mathrm{KGL}^{hC_2}$。
• 采用通过迭代乘以 $\eta$ 的上极限构造 $\eta$-周期化，以实现对动机Hopf映射的逆。
• 使用动机对偶Steenrod代数与分层谱序列技术，计算 $\mathrm{HW}$-同调群 $\mathrm{kw}$。
• 利用 $\eta$-周期性与 $\beta$-周期性，将计算简化为 $\mathrm{KO}$ 的分层，借助 [ARØ17] 的结果避免循环依赖。
• 通过 $\eta$-完备性与同伦固定点设定中的极限论证，建立 $\mathrm{KO}$ 及相关谱的完备性。

实验结果

研究问题

• RQ1 如何在特征 $\neq 2$ 的域上，以连通Witt $K$-理论为基准，解析 $\eta$-周期化、2-局部动机球谱？
• RQ2 动机稳定茎群与代数cobordism群 $\mathrm{MSp}$ 与 $\mathrm{MSL}$ 的 $\eta$-周期化结构为何？
• RQ3 动机Hermitean $K$-理论上的Adams操作如何与动机Hopf映射及 $\eta$-周期性相互作用？
• RQ4 在有限虚拟2-上同调维数域上，动机谱具有何种完备性性质？
• RQ5 能否独立于先前的谱序列计算，重新证明动机Hermitean $K$-理论的同伦固定点定理？

主要发现

• 本文在任意特征 $\neq 2$ 的域 $k$ 上，于 $\mathcal{SH}(k)$ 中建立了纤维序列 $\mathbbm{1}[\eta^{-1}]_{(2)} \to \mathrm{kw}_{(2)} \xrightarrow{\varphi} \Sigma^4\mathrm{kw}_{(2)}$，以连通Witt $K$-理论为基准，解析了 $\eta$-周期化球谱。
• $\eta$-周期化动机稳定茎群 $\pi_{*}(\mathbbm{1}[\eta^{-1}])_{(2)}$ 通过该分解得以计算，揭示出与经典 $K(1)$-局部理论类似的周期性结构。
• $\eta$-周期化代数辛cobordism群 $\pi_{*}(\mathrm{MSp}[\eta^{-1}])_{(2)}$ 与 $\mathrm{SL}$-cobordism群 $\pi_{*}(\mathrm{MSL}[\eta^{-1}])_{(2)}$ 通过该分解与 $\mathrm{HW}$-同调计算被完全确定。
• 在动机谱 $\mathrm{KO}$ 上构造了Adams操作，并确立了其与Bott元素及 $\eta$-周期性的相容性。
• 通过分层理论与 $\eta$-完备性，独立于先前的谱序列计算，重新证明了 $\mathrm{KO}$ 的动机同伦固定点定理，依赖于 [ARØ17] 中独立的分层计算。
• 通过 $\eta$-完备性与同伦固定点设定中的极限论证，建立了在有限虚拟2-上同调维数域上 $\mathrm{KO}$ 及相关谱的完备性结果。