[論文レビュー] Strong convergence in the motivic Adams spectral sequence

Jonas Irgens Kylling, Glen Matthew Wilson|arXiv (Cornell University)|Jan 10, 2019

Analytic and geometric function theory参考文献 34被引用数 7

ひとこと要約

本稿は、2を素数として、有限の仮想コhomological次元をもつ体上で、球面スペクトラのモチーフ的アダムススペクトル系列の強収束を確立する。また、奇素数においては任意の体上で強収束を示す。数体（例：ℚ）上では強収束が成立しないことを証明し、Ext群における消滅領域とボイシュチーンスペクトル系列を用いて、指数の上限を導出し、(ℓ,η)-完全化されたモチーフ的安定ステムの第0位を計算する。

ABSTRACT

We prove strong convergence results for the motivic Adams spectral sequence of the sphere spectrum over fields with finite virtual cohomological dimension at the prime 2, and over arbitrary fields at odd primes. We show that the motivic Adams spectral sequence is not strongly convergent over number fields. As applications we give bounds on the exponents of the $(\ell,η)$-completed motivic stable stems, and calculate the zeroth $(\ell,η)$-completed motivic stable stems.

研究の動機と目的

• 一般の基底体上での球面スペクトラのモチーフ的アダムススペクトル系列の収束性を特定すること。
• 無限大のρ-torsionを伴う状況で非自明な導来E∞-項が生じるため、強収束が妨げられる問題を解消すること。
• ミルナーK理論およびモチーフ的スティーンロッド代数の構造を用いて、Ext群におけるトポロジカルな消滅線をモチーフ的設定へと拡張すること。
• (ℓ,η)-完全化されたモチーフ的安定ステムの指数に上限を導出し、その第0位を計算すること。
• 完成化とフィルトレーションを介して、モチーフ的安定ホモトピー群とミルナー＝ウットK理論の関係を明確化すること。

提案手法

• 体上のモチーフ的Extとその実閉包上のものとの関係を記述する拡張スペクトル系列を用い、Z/2[ρ]-加群構造を活用する。
• 無限大のh₀-タワーが存在しうる領域 w ≤ t−s ≤ 0 における、モチーフ的アダムススペクトル系列のE₂頁における消滅線の議論を適用する。
• 奇素数におけるℓ-ボイシュチーンスペクトル系列を用いて、トポロジカルな消滅線をモチーフ的設定へと拡張する。
• K^{MW}_n 上のフィルトレーションを分析し、モチーフ的安定ホモトピー群におけるアダムスフィルトレーションと写像Φを介して関連付ける。
• 写像Φ:  widehat{K^{MW}_n} → π_{-n,-n}(S_{ℓ,η}^∧) を構成し、その完成化が同型を誘導することを証明する。
• Mantovaniの結果によりH-完成化と(ℓ,η)-完成化が一致することを用い、強収束を導来E∞-項の消滅に還元する。

実験結果

リサーチクエスチョン

• RQ1 どの程度の基底体の条件下で、球面スペクトラのモチーフ的アダムススペクトル系列が強収束するか。
• RQ2 E₂頁が有限型であっても、なぜ数体（例：ℚ）上では強収束が成立しないのか。
• RQ3 特にh₀-タワー領域におけるモチーフ的Ext群の消滅領域が収束をどのように制御するか。
• RQ4 ボイシュチーンまたは拡張スペクトル系列を用いて、Extにおけるトポロジカルな消滅線をどの程度モチーフ的設定へと拡張できるか。
• RQ5 第0位の(ℓ,η)-完全化されたモチーフ的安定ステムの構造は何か。また、安定ステムの指数はどのように振る舞うか。

主な発見

• p=2において、仮想コホモロジー次元が有限な体上では、導来E∞-項の消滅により、球面スペクトラのモチーフ的アダムススペクトル系列が強収束する。
• 数体（例：ℚ）上では、K^M_*(ℚ)/2における無限大のρ-torsionに起因する非自明な導来E∞-項により、スペクトル系列は強収束しない。
• ℓ=2のとき、(ℓ,η)-完全化されたモチーフ的安定ステムの第0位はk_nに同型であり、ℓが奇素数のときはlim_k K^M_n/ℓ^kに同型であり、n<0のときはその後者は消える。
• ℓ=2のとき、π_{-n,-n}(S)のℓ-完全化は完成化widehat{K^{MW}_n}に同型であり、写像Φは完成化上で同型を誘導する。
• 仮想コホモロジー次元が有限な体上では導来E∞-項が消えるため、Boardmanの収束基準により強収束が保証される。
• 奇素数におけるℓ-ボイシュチーンスペクトル系列により、トポロジカルな消滅線がモチーフ的設定へと拡張可能であり、任意の体上での球面スペクトラに対する収束を保証する。