[論文レビュー] Equivariant stable stems for prime order groups

Markus Szymik|arXiv (Cornell University)|Dec 19, 2007

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

ひとこと要約

本稿は、有限体の素数位数群の等変同型安定茎を、Borelコホロロジー・アダムススペクトル系列を用いて計算し、$E_2$-項が$RO(G)$における表現差$α = [V] - [W]$の次元関数にのみ依存することを確立した。等変同型安定ホモトピー圏における安定性および双対性の構造的性質が、スティーナード代数上の加群の圏へと持ち上がることを示し、$G = C_p$（$p$ が奇素数）に対して、低次の$[S^V, S^W]^G$を明示的に計算した。$* \leq 13$の範囲では、すべての微分が消える。$p=2$に対しても結果を拡張し、$E_2$-項の新たな計算を提供した。

ABSTRACT

For groups of prime order, equivariant stable maps between equivariant representation spheres are investigated using the Borel cohomology Adams spectral sequence. Features of the equivariant stable homotopy category, such as stability and duality, are shown to lift to the category of modules over the associated Steenrod algebra. The dependence on the dimension functions of the representations is clarified.

研究の動機と目的

• $G = C_p$（$p$ が奇素数）に対して、Borelコホロロジー・アダムススペクトル系列を用いて、等変同型安定茎$[S^V, S^W]^G$を計算すること。
• スペクトル系列の$E_2$-項が、$\alpha = [V] - [W]$における$\operatorname{dim}_\mathbb{R}(\alpha)$および$\operatorname{dim}_\mathbb{R}(\alpha^G)$にどのように依存するかを明確にすること。
• 等変同型安定ホモトピー圏における安定性や双対性といった構造的性質が、スティーナード代数上の加群の圏へと持ち上がることを確立すること。
• $p=2$のケースへとその手法を拡張し、$[S^0, S^0]^G_*$、$[S^L, S^0]^G_*$、$[S^0, S^L]^G_*$の$E_2$-項を、$* \leq 13$の次数で新たな計算を提供すること。

提案手法

• Borelコホロロジー・アダムススペクトル系列を用い、$G = C_p$の有限$G$-CW複体$X,Y$に対して、$[X,Y]^G_*$の$p$-進完備化へ収束する。
• $E_2$-項を$\operatorname{Ext}_{b^*b}^{s,t}(b^*, M)$として計算し、$M$を表現球面$S^V$のBorelコホロロジーとする。変換則と長完全系列を用いて、$\operatorname{Ext}_{A^*}^{s,t}(\mathbb{F}, \mathbb{F})$と関連付ける。
• 短完全系列$0 \to b^* \to b^* \to b^*S^L \to 0$に関連する長完全系列を適用し、$\operatorname{Ext}_{b^*b}^{s,t}(b^*, b^*S^L)$および$\operatorname{Ext}_{b^*b}^{s,t}(b^*S^L, b^*)$を計算する。
• $E_2$-項が$\dim_\mathbb{R}(\alpha)$および$\dim_\mathbb{R}(\alpha^G)$にのみ依存することを用い、計算を$[S^V, S^0]^G_*$および$[S^0, S^W]^G_*$に簡略化する。
• 変換則スペクトル系列を用いて、$[S^0, S^W]^G_*$の$\operatorname{Ext}_{b^*b}^{s,t}(\mathbb{F}, b^*)$を計算し、$\operatorname{Ext}_{A^*}^{s,t}(\mathbb{F}, \mathbb{F})$および$\operatorname{Ext}_{A^*}^{s-1,t-1}(H^*BC_2, \mathbb{F})$と関連付ける。
• 自然性を用いてスペクトル系列内の微分を解析し、$p$ が奇素数の場合および$p=2$の場合に、$* \leq 13$の範囲で微分が消えることを示し、安定茎の計算を簡略化する。

実験結果

リサーチクエスチョン

• RQ1 Borelコホロロジー・アダムススペクトル系列の$E_2$-項が、$RO(G)$における表現差$\alpha = [V] - [W]$にどのように依存するか？
• RQ2 等変同型安定ホモトピー圏における安定性や双対性といった構造的性質が、スティーナード代数上の加群の圏へ持ち上がるのは可能か？
• RQ3 $G = C_p$（$p$ が奇素数）に対して、低次の$[S^V, S^W]^G_*$の明示的計算は何か、特に$* \leq 13$の範囲で。
• RQ4 $p=2$の場合のBorelコホロロジー・アダムススペクトル系列の$E_2$-項と微分はどのように振る舞い、先行研究と比較して何を新たに示すか？
• RQ5 すべての微分が関心のある範囲で消えるという事実を踏まえ、拡張問題を解かずに、スペクトル系列が$[S^V, S^W]^G_*$を計算するためにどの程度利用可能か？

主な発見

• Borelコホロロジー・アダムススペクトル系列の$E_2$-項は、$\alpha = [V] - [W]$に対して、$\dim_\mathbb{R}(\alpha)$および$\dim_\mathbb{R}(\alpha^G)$の整数にのみ依存する。これにより、計算は$[S^V, S^0]^G_*$および$[S^0, S^W]^G_*$に簡略化される。
• $p$ が奇素数の場合、$[S^V, S^W]^G_*$を計算するスペクトル系列において、$* \leq 13$の範囲ですべての微分が消えるため、$E_2$-項が直接$安定茎の$p$-進完備化を計算する。
• $[S^V, S^0]^G_*$の$E_2$-項は$\operatorname{Ext}_{A^*}^{s-1,t-1}(\mathbb{F}, \mathbb{F}) \oplus \operatorname{Ext}_{A^*}^{s-1,t-1}(H^*BC_2, \mathbb{F})$に同型であり、$[S^0, S^W]^G_*$のそれは$\operatorname{Ext}_{A^*}^{s,t}(\mathbb{F}, \mathbb{F}) \oplus \operatorname{Ext}_{A^*}^{s-1,t-1}(H^*BC_2, \mathbb{F})$に同型である。ここで$A^*$は$$mod $p$スティーナード代数である。
• $p=2$の場合、$[S^0, S^0]^G_*$、$[S^L, S^0]^G_*$、$[S^0, S^L]^G_*$の$* \leq 13$における$E_2$-項を明示的に計算し、これらは新たな結果であるが、それらが安定茎に与える影響は先行研究からも抽出可能である。
• スペクトル系列の計算により、$p$-乗法とフィルトレーションが自動的に組み込まれており、誘導写像の研究が容易になり、球面から構成される空間に対しても計算が可能になる。
• 結果は、等変同型安定ホモトピー圏における安定性および双対性が、スティーナード代数上の加群の圏へ持ち上がることを示しており、さらなる計算の構造的基盤を提供する。