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]$，则：