[论文解读] 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) $-分次同伦 Mackey 赋值函子，对 $ C_{p^2} $ 提供了完整的计算结果。它在等变稳定同伦论与 $ \underline{\mathbb{Z}} $-模的同调代数之间建立了深刻联系，表明 $ \underline{Ext}^i_{\underline{\mathbb{Z}}}(\underline{M}, \underline{\mathbb{Z}}) $ 仅在度数 3 处非零，且此时同构于 $ \underline{M} $ 的逐级对偶，同时证明了 $ \underline{Ext} $ 与 $ \underline{Tor} $ 对于 $ \underline{\mathbb{Z}} $-模可通过 $ H\underline{\mathbb{Z}} $ 的悬垂的等变同伦群实现。其核心贡献在于在等变谱与 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) $-分次同伦 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}} $ 悬垂的等变同伦群之间的精确对应关系。
• 证明当 $ \underline{M}(G/e) = 0 $ 时，$ \underline{Ext}^i_{\underline{\mathbb{Z}}}(\underline{M}, \underline{\mathbb{Z}}) $ 在 $ i \neq 3 $ 时为零，且在 $ i = 3 $ 时同构于 $ \underline{M} $ 的逐级对偶 $ \underline{M}^E $，从而在 $ \underline{\mathbb{Z}} $-模理论中获得一个结构性结果。

提出的方法

• 对 $ C_{p^2} $ 的 $ \underline{\pi}_{\bigstar}(H\underline{\mathbb{Z}}) $ 的计算依赖于等变稳定同伦论中的分片过滤与谱序列技术。
• 论文使用等价式 $ H\underline{M} \simeq S^V \wedge H\underline{\mathbb{Z}} $ 对于 $ \underline{\mathbb{Z}} $-模 $ \underline{M} $，从而将同调代数转化为等变同伦论。
• 建立了 $ \underline{\mathbb{Z}} $-模与 $ H\underline{\mathbb{Z}} $-模之间的 Quillen 型等价，使得可将稳定同伦论工具用于代数计算。
• 通过识别式 $ \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}^*_{\underline{\mathbb{Z}}} $ 与 $ \underline{Tor}^*_{\underline{\mathbb{Z}}} $，其中 $ H\underline{M} \simeq S^{V_1} \wedge H\underline{\mathbb{Z}} $。
• 通过代数方法（有限投射维数）与几何方法（等变谱）相结合，证明了当 $ i \neq 3 $ 时 $ \underline{Ext}^i_{\underline{\mathbb{Z}}}(\underline{M}, \underline{\mathbb{Z}}) $ 的消失性。
• 利用 Lewis 图与限制/转移映射显式构造了非平凡扩张，展示了 $ \underline{Ext}^1_{\underline{\mathbb{Z}}} $ 中存在非分裂扩张。

实验结果

研究问题

• RQ1 对于 $ G = C_{p^2} $，$ RO(G) $-分次同伦 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}} $ 悬垂的等变同伦群相关联？
• 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) $-分次同伦 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}}) $ 为导出函子提供了基于等变谱的几何实现。