[论文解读] Equivariant stable stems for prime order groups

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

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

一句话总结

本文使用Borel上同调Adams谱序列计算了素数阶有限群的等变稳定茎，证明了$E_2$-页仅依赖于表示差$α = [V] - [W]$在$RO(G)$中的维数函数。它证明了等变稳定同伦范畴中的稳定性与对偶性可提升至模形式的Steenrod代数范畴，并对$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.

研究动机与目标

• 使用Borel上同调Adams谱序列计算$G = C_p$（$p$为奇素数）的等变稳定茎$[S^V, S^W]^G$。
• 阐明谱序列的$E_2$-页如何依赖于维数函数$\operatorname{dim}_\mathbb{R}(\alpha)$与$\operatorname{dim}_\mathbb{R}(\alpha^G)$，其中$\alpha = [V] - [W]$。
• 建立等变稳定同伦范畴中如稳定性与对偶性等结构性质可提升至Steenrod代数模范畴。
• 将该方法推广至$p=2$，对$[S^0, S^0]^G_*$、$[S^L, S^0]^G_*$与$[S^0, S^L]^G_*$在度数$* \leq 13$范围内的$E_2$-项提供新的计算。

提出的方法

• 使用Borel上同调Adams谱序列，该谱序列收敛于有限$G$-CW复形$X,Y$的$[X,Y]^G_*$的$p$-进完备化，其中$G = C_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_*$的情形。
• 使用换环谱序列计算$\operatorname{Ext}_{b^*b}^{s,t}(\mathbb{F}, b^*)$以处理$[S^0, S^W]^G_*$，将其与$\operatorname{Ext}_{A^*}^{s,t}(\mathbb{F}, \mathbb{F})$及$\operatorname{Ext}_{A^*}^{s-1,t-1}(H^*BC_2, \mathbb{F})$关联。
• 通过自然性分析谱序列中的微分，表明对于$p$为奇素数时在$* \leq 13$范围内，以及对于$p=2$时在$* \leq 13$范围内，所有微分均为零，从而简化了稳定茎的计算。

实验结果

研究问题

• RQ1 Borel上同调Adams谱序列在计算$[S^V, S^W]^G_*$时，其$E_2$-页如何依赖于$RO(G)$中表示差$\alpha = [V] - [W]$？
• RQ2 等变稳定同伦范畴中的结构性质（如稳定性与对偶性）是否可提升至Steenrod代数模范畴？
• RQ3 对于$G = C_p$（$p$为奇素数），在低度数范围内（特别是$* \leq 13$）等变稳定茎$[S^V, S^W]^G_*$的显式计算结果是什么？
• RQ4 对于$p=2$，Borel上同调Adams谱序列的$E_2$-项与微分行为如何？相较于先前工作，它们提供了哪些新信息？
• RQ5 在感兴趣范围内所有微分均为零的前提下，该谱序列在无需解决扩张问题的情况下，能在多大程度上用于计算$[S^V, S^W]^G_*$？

主要发现

• $[S^V, S^W]^G_*$的Borel上同调Adams谱序列的$E_2$-页仅依赖于整数$\dim_\mathbb{R}(\alpha)$与$\dim_\mathbb{R}(\alpha^G)$，其中$\alpha = [V] - [W]$，从而将计算简化为$[S^V, S^0]^G_*$与$[S^0, S^W]^G_*$的情形。
• 对于$p$为奇素数，在$* \leq 13$范围内，计算$[S^V, S^W]^G_*$的谱序列中所有微分均为零，因此$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_*$的$E_2$-页为$\operatorname{Ext}_{A^*}^{s,t}(\mathbb{F}, \mathbb{F}) \oplus \operatorname{Ext}_{A^*}^{s-1,t-1}(H^*BC_2, \mathbb{F})$，其中$A^*$为模$p$的Steenrod代数。
• 对于$p=2$，在度数$* \leq 13$范围内，$[S^0, S^0]^G_*$、$[S^L, S^0]^G_*$与$[S^0, S^L]^G_*$的$E_2$-项被显式计算，且这些结果为新成果，尽管其对稳定茎的影响可从先前工作中推导得出。
• 谱序列计算表明，$p$-乘法与过滤关系自动被纳入，从而简化了诱导映射的研究，并使基于球面构建的空间的计算成为可能。
• 结果表明，等变稳定同伦范畴中的稳定性与对偶性可提升至Steenrod代数模范畴，为后续计算提供了结构性基础。