Filtrations in $\mathbb{C}$-motivic stable homotopy theory

問題設定

本論文は、$\mathbb{C}$-モチーフ的、2完備、細胞的安定ホモトピー圏（$SH_{\mathbb{C}}$）における、有効（effective）、連結（connective）、および非常に有効（very effective）な濾過の計算について扱う。主な動機は、特定のモチーフ的スペクトル（スフェア・スペクトル、代数的コボルディズム $MGL$、およびモチーフ的モジュラー形式$mmf$ など）のスライスが、そのベティ実現の古典的なアダムス・ノボコフ・スペクトル系列（ANSS）から導かれる純粋に位相幾何学的なデータによって決定されるという、ヴォエヴォドスキーのスライス予想を検証し、一般化することにある。これらの予想は、特定のケース（例：$MGL$、代数閉体上のスフェア、およびランウェバー完全なスペクトル）については既に証明されているが、より広いクラスのモチーフ的類似物、特にモチーフ的モジュラー形式スペクトル$mmf$ に対する統一的な計算フレームワークが求められていた。

手法

著者は、Gheorghe-Isaksen-Krause-Ricka (GIKR) によって確立された、$\mathbb{C}$-モチーフ的安定ホモトピー圏の濾過スペクトルモデルを用いる。このモデルは、$SH_{\mathbb{C}}$ と濾過スペクトルの加群の圏との間の圏同値、すなわち $\Gamma_{\star}: SH_{cl} \to SH_{fil}$ という $\mathbb{C}$-モチーフ的類似物関手に基づくものである。

手法は以下のステップに従って進められる：

1. 濾過スペクトルによる被覆のモデリング： 著者は、古典的スペクトル $X$ のモチーフ的類似物 $\Gamma_{\star}(X)$ の、有効、連結、および非常に有効な被覆の明示的な濾過スペクトルモデルを構築する。これらのモデルは、$\Gamma_{\star}(X)$ のトータリゼーション構成（具体的には、特定の反対角でのBousfield-Kanスペクトル系列の切断、または特定の重みにおける連結被覆の適用）を修正することによって定義される。
2. ホモトピー論的特徴付け： モデルを適用する前に、本論文では各々の被覆のホモトピー論的な特徴付けを確立する。$Y$ が「近似可能（approximable）」であるスペクトル（$X$ が下方に有界であれば $\Gamma_{\star}(X)$ はこの条件を満たす）に対して、これらの被覆は、そのホモトピー群の特定の性質（特定のコウェイトにおける消滅条件や、$\tau$ の作用下での同型など）によって一意に決定されることを証明する。
3. スライスの計算： 明示的な濾過スペクトルモデルを用いて、関連するBousfield-Kanスペクトル系列（BKSS）を解析することにより、スライス（被覆写像の余ファイバー）を計算する。
4. スペクトル系列の比較： 本論文では、$\Gamma_{\star}(X)$ の有効スライススペクトル系列を解析し、それを $X$ の古典的なANSSと比較する。これには、「ハーフスピード」の再インデックス化と、スライススペクトル系列の微分をANSSの微分に関連付けるためのデカラージュ（décalage）関手の使用が含まれる。

主要な貢献および結果

• 一般化されたスライス定理 (Theorem 1.2 / Corollary 7.11): 下方に有界であり、かつ偶数の $MU$-ホモロジーを持つ任意の古典的スペクトル$X$に対して、$\Gamma_{\star}(X)$の$q$ 番目の有効スライスは次のように与えられる：
  $$s_q(\Gamma_{\star}(X)) \simeq \bigvee_{s+f=2q} \Sigma^{s,q} M E^{s,f}_2$$
  ここで、$E^{s,f}_2$ は $X$ の古典的なANSSの $E_2$ ページであり、$M$ は群を $\mathbb{C}$-モチーフ的エレンベルグ・マクレーン・スペクトルへと移す関手である。この結果は、$S, MGL, MU, ku, ko$に関するヴォエヴォドスキーの予想を回収し、さらに$mmf$（モチーフ的モジュラー形式スペクトル）に関する新しい計算を提供する。
• 有効スライススペクトル系列 (Theorem 1.3 / Theorem 8.1): 本論文は、$\Gamma_{\star}(X)$ の有効スライススペクトル系列と $X$ の古典的なANSSとの間の精密な関係を確立する。スライススペクトル系列の $E_1$ ページは、$E_2$ ページに $\tau$ を自由に追加することで得られる。さらに、微分は $d_r(x) = \tau^r y$ （スライススペクトル系列において）であることと、$d_{2r+1}(x) = y$ （ANSSにおいて）であることが同値であるという公式によって関連付けられる。
• 連結および非常に有効な被覆のモデル： 著者は、$\Gamma_{\star}(X)$ の連結および非常に有効な被覆の明示的な濾過スペクトルモデルを提供し、それぞれのスライスの計算を可能にしている。
• ランウェバー完全性： ランウェバー完全なスペクトルに対しては、有効被覆と非常に有効な被覆が一致することが示されており、既知のモチーフ的ランウェバー完全スペクトルの結果を回収している。
• ホモトピー論的特徴付け： 細胞的副圏内における有効、連結、および非常に有効な被覆を特徴付ける、ホモトピー群に関する必要十分条件（$\tau$-作用および特定のコウェイトにおける消滅を含む）を提示している。

意義

本論文は、主に、モチーフ的スライスの従来の計算を統一し拡張できる点において、その意義を主張している。濾過スペクトルモデルを活用することで、著者は、広範なクラスのスペクトル（以前は未解決であった $mmf$を含む）に対するモチーフ的スライスの複雑な構造が、完全に古典的なアダムス・ノボコフ・スペクトル系列によって支配されていることを示している。本研究は、下方に有界で偶数の$MU$-ホモロジーを持つすべての$\Gamma_{\star}(X)$型のスペクトルについて、2完備な$\mathbb{C}$-モチーフ的設定におけるヴォエヴォドスキーの予想を裏付けるものである。加えて、有効スライススペクトル系列と古典的なANSSとの間の明示的な関係は、モチーフ的な問題を古典的な位相幾何学的問題へと翻訳する計算ツールを提供し、レヴィンらによる結果を回収すると同時に、モチーフ的モジュラー形式の構造に対する新たな洞察を与える。本論文の範囲については、細胞的副圏および2完備の設定に限定されていること、また、スライスの閉じた形式による記述には「偶数の $MU$-ホモロジー」という仮定が必要であることを述べつつ、その範囲を控えめに設定している。ただし、ホモトピー群自体は、この仮定なしでも計算可能である。