[論文レビュー] Z/2-equivariant and R-motivic stable stems

Daniel Dugger, Daniel C. Isaksen|arXiv (Cornell University)|Mar 30, 2016

Homotopy and Cohomology in Algebraic Topology参考文献 5被引用数 14

ひとこと要約

この論文は、範囲 $s \geq 3w - 5$ または $s \leq -1$ において、2-完備化された $Ȓ$-モチーフ的安定ホモトピー群と $Ȓ/2$-等長的安定ホモトピー群の間に同型が存在することを確立し、この範囲でモチーフ的計算（アダムズスペクトル系列を用いて）が古典的な等長的計算と一致することを示している。主な洞察は、両理論のアダムズスペクトル系列がこの範囲で同型な $E_\infty$-頁に収束することであり、それによって安定ホモトピー群が同型であることが示される。

ABSTRACT

We establish an isomorphism between the stable homotopy groups of the 2-completed motivic sphere spectrum over the real numbers and the corresponding stable homotopy groups of the 2-completed Z/2-equivariant sphere spectrum, in a certain range of dimensions.

研究の動機と目的

• 2-完備化された $Ȓ$-モチーフ的安定ホモトピー群と $Ȓ/2$-等長的安定ホモトピー群の間の比較を確立すること。
• $Ȓ$-モチーフ的ホモトピー理論からの計算を昇格させることで、$Ȓ/2$-等長的安定ホモトピー群の構造を理解すること。
• 特定の範囲で、等長的実現関手がこれらの群の間に同型を誘導することを示すこと。
• 周期性、固定点写像、および $Ȓ/2$-等長的安定ステムにおける例外の関係を明確にすること。

提案手法

• スキームをその複素数点（複素共役を伴う）に写すことで、$Ȓ$-モチーフ的から $Ȓ/2$-等長的ホモトピー理論への等長的実現関手を用いる。
• アダムズスペクトル系列の収束を保証するため、2-完備化された $Ȓ$-モチーフ的および $Ȓ/2$-等長的球面スペクトルを扱う。
• 両理論のアダムズスペクトル系列を比較し、モチーフ的および等長的スティーナロード代数上の $\operatorname{Ext}$-群に注目する。
• スペクトル系列の $E_2$-頁を分析し、永久サイクルと微分を同定する。
• モチーフ的から等長的 $\operatorname{Ext}$-群への写像の余核が、形 $\frac{\theta}{\tau^k} h_0^i$ の要素からなることを示し、これらが $Ȓ/2$-等長的アダムズスペクトル系列において永久サイクルであることを示す。
• 図式追跡を用いて、範囲 $s \geq 3w - 5$ または $s \leq -1$ において、両スペクトル系列の $E_\infty$-頁が同型であることを確立する。

実験結果

リサーチクエスチョン

• RQ1 2-完備化された $Ȓ$-モチーフ的および $Ȓ/2$-等長的安定ホモトピー群が一致する範囲は何か？
• RQ2 等長的実現関手は、モチーフ的および等長的安定ホモトピー圏をどのように関連付けるか？
• RQ3 周期性および固定点写像は、$Ȓ/2$-等長的安定ステムの構造において果たす役割は何か？
• RQ4 周期性の例外は $Ȓ/2$-等長的安定ホモトピー群に存在するか？ それらは比較にどのように影響を与えるか？
• RQ5 $Ȓ$-モチーフ的球面のアダムズスペクトル系列を用いて、$Ȓ/2$-等長的安定ホモトピー群を計算できるか？

主な発見

• 2-完備化された $Ȓ$-モチーフ的および $Ȓ/2$-等長的安定ホモトピー群は、範囲 $s \geq 3w - 5$ または $s \leq -1$ において、そのアダムズスペクトル系列の $E_\infty$-頁の同型によって、同型であることが示された。
• モチーフ的から等長的 $\operatorname{Ext}$-群への写像の余核は、形 $\frac{\theta}{\tau^k} h_0^i$ の要素からなるが、これらは $Ȓ/2$-等長的アダムズスペクトル系列において永久サイクルである。
• $n$ 番目のミルナー＝ウットステムに対して、写像 $\hat{\pi}^{\u0212}}_{*,*} \to \hat{\pi}^{\u0212/2}}_{*,*}$ は $2s \leq 3n + 5$ のとき同型であり、$2s = 3n + 6$ のときは単射であることが示され、一致する範囲が確認された。
• 固定点写像 $\phi: \pi^{\u0212/2}}_{s,w} \to \pi_{s-w}$ は $s < 0$ のとき同型であり、$s \geq 2w$ のときは分解可能であることが示され、計算の構造的基盤が得られた。
• 範囲 $2w \geq s \geq w - 1$ において周期性の例外が存在するが、表1における明示的な比較により、それらが同型を妨げないことが示された。
• 本研究の結果は、アラキとイリエの以前の計算を正当化・明確化し、指定された範囲でそれらの結果が確認された。