[論文レビュー] Equivariant Eilenberg-Mac Lane spectra in cyclic $p$-groups

Mingcong Zeng|arXiv (Cornell University)|Oct 4, 2017

Homotopy and Cohomology in Algebraic Topology参考文献 6被引用数 11

ひとこと要約

この論文は、巡回 $p$-群のための等変形 Eilenberg-Mac Lane スペクトラ $H\underline{\mathbb{Z}}$ の $RO(G)$-graded ホモトピー Mackey ファンクターを計算し、$C_{p^2}$ に対して完全な計算を提供する。等変形安定ホモトピー論と $\underline{\mathbb{Z}}$-加群のホモロジー代数の間の深い接続を確立し、$\underline{Ext}^i_{\underline{\mathbb{Z}}}(\underline{M}, \underline{\mathbb{Z}})$ が 3 以外の次数で消え、3 では $\underline{M}$ のレベルごとの双対に同型であることを示し、$\underline{Ext}$ と $\underline{Tor}$ が $H\underline{\mathbb{Z}}$ のスuspension の等変形ホモトピー群によって実現されることを証明する。主な貢献は、等変形スペクトラと Mackey ファンクターのホモロジー代数の間の計算的ブリッジを確立することにある。

ABSTRACT

In this paper we compute $RO(G)$-graded homotopy Mackey functors of $H\underline{\mathbb{Z}}$, the Eilenberg-Mac Lane spectrum of the constant Mackey functor of integers for cyclic p-groups and give a complete computation for $G = C_{p^2}$ . We also discuss homological algebra of $\underline{\mathbb{Z}}$-modules for cyclic $p$-groups, and interactions between these two. The goal of this paper is to understand various slice spectral sequences as $RO(G)$-graded spectral sequences of Mackey functors.

研究の動機と目的

• $G = C_{p^2}$ のための $RO(G)$-graded ホモトピー Mackey ファンクター $\underline{\pi}_{\bigstar}(H\underline{\mathbb{Z}})$ を計算し、Eilenberg-Mac Lane スペクトラの等変形ホモトピー群の完全な記述を提供すること。
• 特に巡回 $p$-群の文脈において、等変形安定ホモトピー論における $\underline{\mathbb{Z}}$-加群のためのホモロジー代数の技法を開発し適用すること。
• $\underline{Ext}^*_{\underline{\mathbb{Z}}}$ と $\underline{Tor}^*_{\underline{\mathbb{Z}}}$ の導来函手と $H\underline{\mathbb{Z}}$ のスuspension の等変形ホモトピー群との間の正確な対応を確立すること。
• $\underline{M}(G/e) = 0$ のとき、$\underline{Ext}^i_{\underline{\mathbb{Z}}}(\underline{M}, \underline{\mathbb{Z}})$ が $i \neq 3$ で消え、$\underline{Ext}^3_{\underline{\mathbb{Z}}}(\underline{M}, \underline{\mathbb{Z}}) \cong \underline{M}^E$（$\underline{M}$ のレベルごとの双対）に同型であることを示し、$\underline{\mathbb{Z}}$-加群理論における構造的結果を提示すること。

提案手法

• $C_{p^2}$ における $\underline{\pi}_{\bigstar}(H\underline{\mathbb{Z}})$ の計算は、等変形安定ホモトピー論におけるスライスフィルトレーションとスペクトル系列の技法に依存する。
• 論文は、$\underline{\mathbb{Z}}$-加群 $\underline{M}$ に対して $H\underline{M} \simeq S^V \wedge H\underline{\mathbb{Z}}$ の同型を用い、ホモロジー代数を等変形ホモトピー論に翻訳可能にする。
• 安定ホモトピー論的ツールを代数的計算に用いるために、$\underline{\mathbb{Z}}$-加群と $H\underline{\mathbb{Z}}$-加群の間の Quillen 型同倣を確立する。
• 導来函手 $\underline{Ext}^*_{\underline{\mathbb{Z}}}$ と $\underline{Tor}^*_{\underline{\mathbb{Z}}}$ は、$H\underline{M} \simeq S^{V_1} \wedge H\underline{\mathbb{Z}}$ であるとすると、$\underline{Ext}^i_{\underline{\mathbb{Z}}}(\underline{M}, \underline{N}) \cong \underline{\pi}_{-i}(S^{V_2 - V_1} \wedge H\underline{\mathbb{Z}})$ という同型により計算される。
• $\underline{Ext}^i_{\underline{\mathbb{Z}}}(\underline{M}, \underline{\mathbb{Z}})$ が $i \neq 3$ で消えることの証明には、代数的手段（有限射影次元）と幾何的手段（等変形スペクトラ）の両方を用いる。
• Lewis 図と制限／移行写像を用いて、非自明な拡張の具体例を構成し、$\underline{Ext}^1_{\underline{\mathbb{Z}}}$ における非自明な拡張の存在を示している。

実験結果

リサーチクエスチョン

• RQ1 $G = C_{p^2}$ のとき、$RO(G)$-graded ホモトピー Mackey ファンクター $\underline{\pi}_{\bigstar}(H\underline{\mathbb{Z}})$ は何か？
• RQ2 $\underline{\mathbb{Z}}$-加群の導来函手 $\underline{Ext}^*_{\underline{\mathbb{Z}}}$ と $\underline{Tor}^*_{\underline{\mathbb{Z}}}$ は、$H\underline{\mathbb{Z}}$ のスuspension の等変形ホモトピー群とどのように関係するか？
• RQ3 $\underline{M}(G/e) = 0$ のとき、$\underline{Ext}^i_{\underline{\mathbb{Z}}}(\underline{M}, \underline{\mathbb{Z}})$ の構造は何か？ そして、それが消える条件は何か？
• RQ4 非自明な $\underline{\mathbb{Z}}$-加群の拡張を明示的に構成できるか？ それらは $\underline{\mathbb{Z}}$-加群の圏について何を明らかにするか？
• RQ5 $\underline{\mathbb{Z}}$-加群のホモロジー代数は、等変形安定ホモトピー論におけるスライススペクトル系列とどのように相互作用するか？

主な発見

• $G = C_{p^2}$ のとき、$RO(G)$-graded ホモトピー Mackey ファンクター $\underline{\pi}_{\bigstar}(H\underline{\mathbb{Z}})$ は完全に計算され、スライススペクトル系列の基礎的な入力となる。
• $\underline{M}(G/e) = 0$ のとき、$\underline{Ext}^i_{\underline{\mathbb{Z}}}(\underline{M}, \underline{\mathbb{Z}})$ は $i \neq 3$ で消え、$\underline{Ext}^3_{\underline{\mathbb{Z}}}(\underline{M}, \underline{\mathbb{Z}}) \cong \underline{M}^E$（$\underline{M}$ のレベルごとの双対）に同型である。
• $\underline{Ext}^1_{\underline{\mathbb{Z}}}(\underline{\mathbb{Z}}_{1,0}, \underline{\mathbb{Z}}_{0,1})(G/G) \cong \mathbb{Z}/2$ であり、これは $\underline{\mathbb{Z}}$-加群の圏における非自明な拡張の存在を確認する。
• $\underline{\mathbb{Z}}_{1,0} \otimes_{\underline{\mathbb{Z}}} \underline{\mathbb{Z}}_{1,0}$ の $\underline{Tor}^*_{\underline{\mathbb{Z}}}$ の計算により、$\underline{Tor}^0 \cong \underline{\mathbb{Z}}_{1,1} \oplus \underline{\mathbb{B}}_{0,1}$ および $\underline{Tor}^1 \cong \underline{\mathbb{B}}_{1,0}$ が得られ、より高い次数では消える。
• $\underline{Ext}^*_{\underline{\mathbb{Z}}}(\underline{M}, \underline{N}) \cong \underline{\pi}_{-*}(S^{V_2 - V_1} \wedge H\underline{\mathbb{Z}})$ の同型は、導来函手を等変形スペクトラの観点から幾何的に実現するものである。