The slices of quaternionic Eilenberg-Mac Lane spectra

基本信息

• 论文ID: 2204.03127
• 标题: The slices of quaternionic Eilenberg-Mac Lane spectra
• 作者: Bertrand J. Guillou, Carissa Slone
• 分类: math.AT (代数拓扑)
• 发表时间: 2022年4月8日
• 论文链接: https://arxiv.org/abs/2204.03127

摘要

本文计算了四元数群$Q_8$作为等变群的整数悬挂等变Eilenberg-Mac Lane谱$H\underline{\mathbb{Z}}$的切片和切片谱序列。在此过程中，还计算了Mackey函子$\pi_{k\rho}H\underline{\mathbb{Z}}$。

研究背景与动机

问题背景

1. 切片滤列的重要性：$G$-等变切片滤列由Dugger首先定义，在Hill、Hopkins和Ravenel证明Kervaire不变量猜想中发挥了关键作用。它是经典Postnikov滤列在$G$-等变稳定同伦范畴中的类比。
2. 周期性的显示：与$G$-等变Postnikov滤列不同，切片滤列能够显示某些等变谱关于$G$-表示球面悬挂的周期性，这在Postnikov滤列中是不可见的。
3. 应用前景：在高度$n$的Lubin-Tate理论中，当$n = 2m$（$m$为奇数）时，Morava稳定子群包含一个$Q_8$子群。因此$Q_8$-等变切片技术可能为理解$K(n)$-局部球面提供洞察。

现有工作的局限性

虽然已有学者计算了多个群的等变Eilenberg-Mac Lane谱的切片：

• 奇循环$p$-群的情况已被研究
• 二面体群$D_{2p}$（$p$为奇数）的情况已知
• Klein四群$K_4$的情况已完成

但$Q_8$的情况此前尚未被系统研究。

核心贡献

1. 完整计算$Q_8$的切片：首次系统计算了$\Sigma^n H^{Q_8}\mathbb{Z}$的所有切片和相应的切片谱序列
2. 建立通胀函子理论：深入研究了三种通胀函子（普通通胀、几何通胀、$\mathbb{Z}$-模通胀）及其与切片滤列的相互作用
3. 瓶颈子群的刻画：证明了瓶颈子群只能出现在循环$p$-群或四元数群中，并给出了完整的分类
4. 计算Mackey函子：计算了$RO(Q_8)$-分级的Mackey函子$\mathbb{Z}$-同调

方法详解

任务定义

计算$\Sigma^n H^{Q_8}\mathbb{Z}$的切片$P^k_k(\Sigma^n H^{Q_8}\mathbb{Z})$和切片谱序列，其中$n \geq 0$，$k$为切片维数。

核心方法架构

1. 通胀函子方法

对于正规子群$N \triangleleft G$，定义三种通胀函子：

• 普通通胀 $q^*: \text{Sp}^{G/N} \to \text{Sp}^G$
• 几何通胀 $\phi^*_N: \text{Sp}^{G/N} \to \text{Sp}^G$
• $\mathbb{Z}$-模通胀 $\Psi^*_N: \text{Mod}_{H^{G/N}\mathbb{Z}} \to \text{Mod}_{H^G\mathbb{Z}}$

2. 瓶颈子群理论

定义：称$N \triangleleft G$为瓶颈子群，如果它是非平凡真子群，且对任意子群$H \leq G$，要么$H$包含$N$，要么$N$包含$H$。

关键定理（Proposition 3.6）：瓶颈子群$N$必须是循环的，且$G$要么是循环$p$-群，要么是广义四元数群。

3. 主要技术定理

定理3.19：设$N \triangleleft G$是阶为素数$p$的瓶颈子群。对于$n \geq 0$，$\Sigma^n H^G(\Psi^*_N M)$在$pn$级以上的非平凡切片为：

$P^{pk}_{pk}(\Sigma^n H^G(\Psi^*_N M)) \simeq \Psi^*_N P^k_k(\Sigma^n H^{G/N} M) \simeq \phi^*_N P^k_k(\Sigma^n H^{G/N} M)$

对于$k > n$。

具体计算策略

1. 利用$Q_8 \to K_4$的商映射

通过中心子群$Z = \langle -1 \rangle$的商映射$Q_8 \to Q_8/Z \cong K_4$，利用已知的$K_4$结果。

2. 表示分解

$Q_8$的正则表示分解为： $\rho_{Q_8} \cong H \oplus \rho_{K_4}$ 其中$H$是4维不可约$Q_8$-表示，$\rho_{K_4}$是$K_4$正则表示的通胀。

3. 递归计算

通过分析$\Sigma^{r+j\rho_K} H^{Q_8}\mathbb{Z}$（$r \in \{2,3,4,5\}$）的切片塔来获得所有切片。

主要结果

切片的完整描述

n-切片（Proposition 6.7）

对于$n \geq 5$，写$n = 8k + r$，其中$r \in [5,12]$，则：

$P^n_n(\Sigma^n H^{Q_8}\mathbb{Z}) \simeq \begin{cases} \Sigma^{1+\rho_K+k\rho_Q} H^{Q_8}\mathbb{Z} & r = 5 \\ \Sigma^{2+\rho_K+k\rho_Q} H^{Q_8}\mathbb{Z}(3,2) & r = 6 \\ \Sigma^{-1+(k+1)\rho_Q} H^{Q_8}\mathbb{Z}^* & r = 7 \\ \Sigma^{(k+1)\rho_Q} H^{Q_8}\mathbb{Z}^* & r = 8 \\ \vdots \end{cases}$

8k-切片（Proposition 6.9）

对于$8k > n$，$8k$-切片具有复杂的分段描述，涉及各种Mackey函子如$g^m$、$mg^*$、$\phi^*_Z B(2,0)$等。

其他切片

• 8k+4-切片：主要涉及$\phi^*_{LDR}F_2$、$\phi^*_Z F_2$、$m$、$mg$等Mackey函子
• 4k+2-切片：只有当$n$为偶数时才非平凡，涉及$w$、$\phi^*_Z F_2$等

同伦Mackey函子

文章还详细计算了各个切片的同伦Mackey函子，例如：

Proposition 4.10：$\Sigma^{k\rho_Q} H^{Q_8}\mathbb{Z}$的非平凡同伦Mackey函子为： $\pi_n(\Sigma^{k\rho_Q} H^{Q_8}\mathbb{Z}) \simeq \begin{cases} \mathbb{Z} & n = 8k \\ mgw & 4k < n < 8k, n \equiv 2 \pmod{4} \\ B(3,0) & 4k \leq n < 8k, n \equiv 0 \pmod{4} \\ \phi^*_Z \pi_n(\Sigma^{k\rho_K} H^{K_4}\mathbb{Z}) & n < 4k \end{cases}$

切片谱序列

文章第8节提供了多个具体例子的切片谱序列图表，包括$\Sigma^n H^{Q_8}\mathbb{Z}$（$n = 5,6,7,8,10,12,15$）的完整谱序列，并与相应的$C_4$-等变情况进行对比。

微分模式

通过限制到$C_4$-子群的信息，可以确定许多切片微分。例如：

• 在$\Sigma^5 H^{Q_8}\mathbb{Z}$、$\Sigma^6 H^{Q_8}\mathbb{Z}$和$\Sigma^7 H^{Q_8}\mathbb{Z}$的情况下，由于必须得到$\pi_n(P^n_n \Sigma^n H^{Q_8}\mathbb{Z}) \cong \mathbb{Z}$，所有微分都被强制确定。

技术创新点

1. 瓶颈子群概念的系统化

首次系统研究了瓶颈子群的性质，证明了它们的分类定理，这为处理通胀函子提供了重要工具。

2. 三种通胀函子的统一理论

深入分析了普通通胀、几何通胀和$\mathbb{Z}$-模通胀的关系，特别是在瓶颈子群情况下的等价性。

3. 递归计算策略

通过分析特定形式$\Sigma^{r+j\rho_K} H^{Q_8}\mathbb{Z}$的切片塔，建立了系统的递归计算方法。

相关工作

历史发展

1. Dugger的开创性工作：首次定义了$G$-等变切片滤列
2. HHR的突破：在Kervaire不变量猜想证明中的应用
3. 后续发展：Ullman引入"正则"切片滤列，各种群的情况被逐步研究

与本文的关系

本文延续了计算特定群的等变Eilenberg-Mac Lane谱切片的研究路线，特别是：

• 建立在Slone关于$K_4$的工作基础上
• 为未来研究广义四元数群提供了框架
• 与Lubin-Tate理论的应用建立了联系

结论与讨论

主要结论

1. 完整确定了$\Sigma^n H^{Q_8}\mathbb{Z}$的所有切片
2. 建立了处理瓶颈子群情况的一般理论
3. 提供了详细的切片谱序列计算

局限性

1. 计算主要集中在$Q_8$，对更一般的四元数群的推广需要进一步工作
2. 与Lubin-Tate理论的具体应用还需要后续研究
3. 某些技术计算较为复杂，可能存在更简洁的方法

未来方向

1. 推广到更一般的广义四元数群
2. 在Lubin-Tate理论中的具体应用
3. 与其他等变同伦理论的联系

深度评价

优点

1. 理论完整性：提供了$Q_8$情况的完整解决方案
2. 技术创新：瓶颈子群理论和通胀函子的系统研究
3. 计算详尽：包含大量具体的Mackey函子计算和谱序列图表
4. 方法通用：建立的技术框架可应用于其他类似问题

不足

1. 技术复杂性：计算过程较为复杂，可读性有待提高
2. 应用有限：主要是理论计算，实际应用还需进一步发展
3. 推广性：向更一般群的推广并非直接

影响力

1. 学术价值：为等变同伦理论提供了重要的计算工具和结果
2. 后续研究：为研究其他群的切片提供了方法论指导
3. 应用潜力：与代数拓扑中的重要问题（如Kervaire不变量）有潜在联系

适用场景

1. 等变同伦理论的理论研究
2. Lubin-Tate理论的相关应用
3. 代数拓扑中涉及四元数群作用的问题

参考文献

论文引用了40篇相关文献，主要包括：