[論文レビュー] C_2-equivariant and R-motivic stable stems, II

Eva Belmont, Bertrand Guillou+1 more|arXiv (Cornell University)|Jan 7, 2020

Homotopy and Cohomology in Algebraic Topology参考文献 9被引用数 4

ひとこと要約

この論文は、$²$-Bocksteinスペクトル系列の比較を通じて、$²$-equivariantおよび$²$-motivicな安定ホモトピー群の間の同型を、次数の範囲内で確立する。主な結果は、Betti 実現が範囲 $2w - s < 5$ で同型を誘導することであり、$(s,w) = (0,2)$ を除き、$2w - s = 5$ のときには単射である。これにより、$²$-motivicな計算がこの範囲で $C_2$-equivariantなホモトピー群を実現可能であることが示された。

ABSTRACT

We show that the $C_2$-equivariant and $\mathbb{R}$-motivic stable homotopy groups are isomorphic in a range. This result supersedes previous work of Dugger and the third author.

研究の動機と目的

• 次数の範囲において、$²$-motivicおよび$C_2$-equivariantな安定ホモトピー群を比較すること。
• Betti 実現が特定の範囲のステムおよび重みにおいて、これらの群の間で同型を誘導することを確立すること。
• より効率的な比較のため、cobar複体の代わりに$²$-Bocksteinスペクトル系列を用いることで、先行研究を改善すること。
• 範囲 $2w - s < 5$ において、アダムス $E_2$-頁が同型であることを示し、$ (s,w) = (0,2) $ を除き、高次のアダムス頁および安定ホモトピー群へと拡張すること。
• 明示的な例を構成することで、範囲の鋭さを示すこと。すなわち、同型範囲外に存在する永久サイクルがBetti 実現のもとで同型でないことを示すこと。

提案手法

• 安定ホモトピー群の$²$-Bocksteinスペクトル系列が、$²$-motivicおよび$C_2$-equivariantなアダムス $E_2$-頁へ収束することを比較する。
• 特定の範囲で$²$-Bocksteinスペクトル系列が同型であるという事実を用い、アダムス $E_2$-頁の同型を示す。
• アダムススペクトル系列の各頁 $E_r$ について帰納法を用い、$E_2$ から $E_∞$ への同型を拡張する。
• 特に、Betti 実現写像の核の余核、すなわち $\operatorname{Ext}_{NC}$ が消えることを利用して、指定された範囲での同型を証明する。
• アダムススペクトル系列において $\frac{\gamma}{\tau}h_0^f$ が永久サイクルであるという事実を用い、帰納法における端的なケースを処理する。
• アダムス微分図式における図式引き回し（diagram chasing）を用い、Betti 実現写像が高次の頁を通しても同型または単射のままであることを示す。

実験結果

リサーチクエスチョン

• RQ1 Betti 実現のもとで、$²$-motivicおよび$C_2$-equivariantな安定ホモトピー群が、どの範囲のステムおよび重みにおいて同型となるか。
• RQ2 アダムス $E_2$-頁の比較を、高次のアダムス頁および最終的に安定ホモトピー群へと拡張できるか。
• RQ3 Betti 実現のもとでの安定ホモトピー群の同型性について、範囲 $2w - s < 5$ が鋭いかどうか。
• RQ4 Betti 実現写像の振る舞いは $2w - s = 5$ のときどうか。なぜこの範囲では単射にとどまるのか。
• RQ5 同型範囲外に存在する明示的な永久サイクルが、境界の鋭さを示しているか。

主な発見

• Betti 実現写像 $\pi^\mathbb{R}_{s,w} \to \pi^{C_2}_{s,w}$ は、$2w - s < 5$ かつ $(s,w) \neq (0,2)$ のとき同型である。
• 範囲 $2w - s = 5$ では写像は単射であり、明示的な反例によってこの範囲が鋭いことが示された。
• 範囲 $2w - s < 5$ において、$²$-motivicおよび$C_2$-equivariantなアダムス $E_2$-頁の$²$-Bocksteinスペクトル系列は同型である（$(0,2)$ を除く）。
• 同型な関連する層の直和が得られるため、範囲 $2w - s < 5$ かつ $(s,w) \neq (0,2)$ においてアダムス $E_\infty$-頁が同型である。
• 次数 $(8k+1, 4k+1, 4k+3)$ における要素 $\frac{\gamma}{\tau}P^k h_1$ は、両方のスペクトル系列において永久サイクルであり、同型範囲外に位置する。このことから、境界が鋭いことが示された。
• $k \geq 1$ に対して $2w - s = 5$ では写像が同型でないことが示され、Betti 実現のもとで同型でない。これにより、範囲の鋭さが確認された。