Periodic phenomena in stable motivic homotopy theory

技術要約：安定モチーフ的ホモトピー論における周期現象

問題提起
本論文は、体 $F$ 上の安定モチーフ的球面のホモトピー群 $\pi^{F}_{*,*}(\mathbb{S})$ を理解するという課題に取り組んでいる。古典的な安定ホモトピー論では、染色ホモトピー論を通じて $\pi_*(S^0)$ が $v_n$-周期的な族へと整理されるが、モチーフ的な設定は著しくより微細な景観を提示している。モチーフ的スフェアスペクトルは、追加的な周期性（$\eta$-周期性や $w_n$-周期性など）を認め、かつ位相的なケースとは根本的に異なる構造的な剛性を示す（例：ニシダの冪零定理の不成立）。中心となる問題は、モチーフ的ホモトピー群を周期的な族へと整理し、それらの構造、特に位相的な類似物との関連性にアクセス可能な計算手法を開発することである。

手法
本サーベイは、安定ホモトピー論の計算手法をモチーフ的な設定に適応させた合成手法を用いている。主要な手法的枠組みは以下の通りである：

1. スペクトル系列： 本論文は、モチーフ的アダムス・スペクトル系列 (mASS)、モチーフ的アダムス・ノボノフ・スペクトル系列 (mANSS)、およびスライス・スペクトル系列を利用している。これらは、スフェアスペクトルをフィルタリングするか、あるいは特定の環スペクトル（例：$HF_2, BPGL, KQ$）に沿った降下を分析することによって、ホモトピー群を計算するために用いられる。
2. 合成スペクトルと「$\tau$ の余ファイバー」の哲学： モチーフ的圏 $SH(F)$と位相的スペクトルの圏$Sp$との関係は、中心的な手法的柱である。これは元$\tau \in \pi^{C}_{0,-1}(\mathbb{S})$によって媒介される。本論文は、「$\tau$の余ファイバー」($S/\tau$) を用いて、モチーフ的ホモトピー群を位相的アダムス・ノボノフ・スペクトル系列の$E_2$ ページに関連付ける。これは、位相的スペクトルと余代数的導来圏の間を補間する合成スペクトルの理論（Pstragowski）を通じて定式化される。
3. 基底体の比較： 計算は、異なる基底体（例：$\mathbb{C}, \mathbb{R}, \mathbb{F}_p, \mathbb{Q}_p$）にわたって分析される。$\mathbb{R}$ 上の計算を $\mathbb{C}$ 上の計算に関連付けるために、$\rho$-ボケックル・スペクトル系列などの手法が用いられる。
4. 環スペクトルと分解： 本論文は、周期的な現象を検出するために、特定のモチーフ的環スペクトル（例：エルミート $K$ 理論 $KQ$、代数的$K$理論$KGL$、およびモチーフ的モジュラー形式$mmf$）を研究している。また、周期的な部分圏を孤立させるために、アダムス演算（例：$\psi_3 - 1$）を含む余ファイバー列を検討している。

主要な貢献と結果
本論文は既存の文献を統合し、モチーフ的ホモトピー論における周期性の景観を描き出している：

• グローバルな構造的相違： 本論文は、モチーフ的ホモトピー群が位相的な対応物ほど剛直ではないことを強調している。具体的には、$\pi^{F}_{0,0}(\mathbb{S})$ にグレゼンディック・ウィット環 $GW_0(F)$ が現れることや、ホップ写像 $\eta \in \pi^{F}_{1,1}(\mathbb{S})$ が、位相的な対応物とは異なり非冪零であることなどが挙げられる。
• 有理化： 有理的モチーフ的スフェアは、正の部分と負の部分に分解される。正の部分は有理的モチーフと等価であり、負の部分はウィット・モチーフに関連し、$-1$が$F$ において平方和である場合には消滅する。
• $v_1$-周期性： 本論文は、$KO$によって検出される$v_1$-周期的現象のモチーフ的類似体を詳述している。エルミート$K$理論 ($KQ$) とその被覆 ($kq$) を含む余ファイバー列を確立し、位相的な$bo$-分解を模倣する。$kq$-分解は、$v_1$-周期的元を計算するための主要な道具として特定されているが、位相的な$bo$-分解とは構造的な差異に直面している。
• $\eta$-周期性： モチーフ的な現象として $\eta$-周期性が存在する。本論文は、様々な体における $\eta$-周期的スフェア $\eta^{-1}\mathbb{S}$ の計算をレビューしている。主要な結果（Bachmann–Hopkins）は、$\eta^{-1}\mathbb{S}$ のホモトピーをウィット環 $W(F)$ とアダムス演算を用いて記述し、$\eta$-周期性が基底体の算術と深く結びついていることを示している。
• エキゾチックな周期性 ($w_n$)： 本サーベイは、$w_1$-周期性のようなモチーフ的設定に固有の「エキゾチックな」周期性を導入している。Andrews による $S/\eta$ 上の $w_1$-自己写像の構成が提示されており、これは位相的な対応物を持たない無限の $\eta$-捩れ族を生成する。本論文は、これらのクラスが $S/\tau$ への写像の下で生き残ることを指摘し、エキゾチックなモチーフ的周期性を、形式群のモジュライ・スタックのコホモロジーへと結びつけている。
• 合成的再構成： 本論文は、合成スペクトルがいかにしてモチーフ的データから位相的安定ホモトピー論を再構成できるかを強調している。同値関係 $SH(\mathbb{C}) \simeq \text{Syn}_{BP}$ および $\pi^{C}_{*,*}(S/\tau)$ と位相的 ANSS の $E_2$ ページの識別は、強力な計算上の架け橋を提供し、位相的な微分がモチーフ的な計算に情報を与え、またその逆も然りであることを可能にしている。

意義と今後の方向性
本論文は、染色構造がいかにモチーフ的な設定において顕現するかを明らかにするサーベイとして自らを位置づけている。その意義は以下の点にある：

1. 統一された枠組み： モチーフ的安定ホモトピー圏が、位相的安定ホモトピー論、アダムス・ノボノフ・スペクトル系列、および基底体の絶対ガロア群の組み合わせによって支配されていることを示している。
2. 計算へのアクセス： 「$\tau$ の余ファイバー」の手法と合成スペクトルを詳述することで、本論文は既存の位相的な計算機構を用いてモチーフ的ホモトピー群を計算するためのロードマップを提供している。
3. 未解決問題の特定： 本サーベイは、以下の具体的な課題を挙げて、今後の研究に向けた展望を示して締めくくられている：
   • $\mathbb{C}$ 上のモチーフ的モジュラー形式 ($mmf$) のフューレヴィッツ像の計算。
   • $\mathbb{C}$ 以外の体におけるモジュラー形式スペクトルのモチーフ的類似物の構成。
   • モチーフ的 $K(2)$-局所スフェアのための分解の構築。
   • $n \geq 2$ における $w_n$-周期的クラスの体系的な特定。
   • 異なる周期性（$v_n$ 対 $w_n$）の相互作用と、それらの基底体への依存性の理解。
   • モチーフ的スペクトルのバルマー・スペクトルの構造の決定、およびモチーフ的設定における冪零性の有効な判定基準の発見。

本論文は、自身の貢献に対しては控えめなトーンを維持しており、自らの新たな一次計算を提示するというよりも、Isaksen, Wang, Xu, Gheorghe, Pstragowski, Bachmann, Hopkins といった著者らによる最近の画期的な成果を統合したものとして位置づけている。本論文は、モチーフ的周期性の研究における現在の到達点と、残されている具体的な障害を示すためのガイドとして機能している。