[论文解读] The Picard group in equivariant homotopy theory via stable module categories

Achim Krause|arXiv (Cornell University)|Aug 12, 2020

Homotopy and Cohomology in Algebraic Topology参考文献 17被引用 5

一句话总结

本文提出了一种用于等变稳定同伦理论中紧致对象的新型各向同性分离机制，利用稳定模范畴描述通过其几何固定点和 Weyl 群稳定模范畴中的拼接数据的可逆 $G$-谱。关键贡献是完整计算了 $G = A_5$ 的 Picard 群，表明其由表示球面和满足模条件约束的特定维数函数的奇异可逆谱生成。

ABSTRACT

We develop a mechanism of "isotropy separation for compact objects" that explicitly describes an invertible $G$-spectrum through its collection of geometric fixed points and gluing data located in certain variants of the stable module category. As an application, we carry out a complete analysis of invertible G-spectra in the case $G=A_5$. A further application is given by showing that the Picard groups of $\mathrm{Sp}^G$ and a category of derived Mackey functors agree.

研究动机与目标

• 开发一个范畴框架，通过几何固定点和稳定模范畴中的拼接数据来描述可逆 $G$-谱。
• 通过维数函数和模约束，对可逆 $A_5$-谱进行完整分类。
• 建立真实 $G$-谱的 Picard 群与相关 Weyl 群稳定模范畴的 Picard 群之间的精确联系。
• 证明 $\operatorname{Sp}^G$ 的 Picard 群与通过 $H\mathbb{Z}_G$ 的上拉得到的导出 Mackey 赋值函子的 Picard 群一致。

提出的方法

• 引入一个 Picard $\infty$-群胚的 1-笛卡尔图表，通过几何固定点和 Weyl 群的稳定模范畴分解 $\operatorname{Pic}(\operatorname{Sp}^G)$。
• 利用各向同性分离框架，通过其几何固定点和 $\operatorname{StMod}(\mathbb{Z}W_G(K))$ 中的拼接同构，归纳地重构可逆 $G$-谱。
• 应用维数同态 $\operatorname{Pic}(\operatorname{Sp}^G) \to \prod_{\operatorname{Orb}(G)} \mathbb{Z}$，并分析子商群 $C_p \times C_p$ 的约束。
• 利用 $D_{2p}$ 的 Tate 上同调的 4-周期性，确定 $\operatorname{StMod}(\mathbb{Z}D_{2p})$ 中维数函数的实现性。
• 使用 Smith 标准型计算 $\mathcal{D}(A_5)$ 中可实现广义维数函数子群的一组基。
• 通过限制到 Sylow 子群和正规化子，特别是针对 $p=3$ 和 $p=5$，验证实现性条件。

实验结果

研究问题

• RQ1 真实 $A_5$-谱的 Picard 群结构如何？其与维数函数有何关系？
• RQ2 在 $A_5$ 上哪些广义维数函数可由可逆 $G$-谱实现？
• RQ3 Weyl 群的稳定模范畴如何控制可逆 $G$-谱的拼接数据？
• RQ4 能否仅通过 Weyl 群的稳定模范畴完全计算 $\operatorname{Sp}^G$ 的 Picard 群？
• RQ5 在 $D_{2p}$ 的 Tate 上同调中，4-周期性在何种程度上约束了可逆 $G$-谱？

主要发现

• 在 $\operatorname{Sp}^{A_5}$ 上的 Picard 群同构于 $\mathbb{Z}^7$，由七个独立的可逆谱生成。
• 前四个基元素对应于 $A_5$ 的平凡表示、四维、五维和三维不可约表示的表示球面。
• 其余四个基元素为奇异的，无法通过几何方式构造，对应于在平凡子群处具有非平凡 $\mathbb{Z}/4$-值拼接数据的维数函数。
• 维数函数满足 $d_{A_5} = 1$ 且对所有 $H \neq A_5$ 有 $d_H = 0$ 是可实现的，表明存在一个在所有真子群上固定点平凡的非平凡可逆谱。
• 广义维数函数 $d$ 的实现性由九个条件决定，包括奇偶性约束和模 4 的同余方程，特别是 $d_e - 3d_{C_2} + 2d_{C_2 \times C_2} = 0$ 和 $d_e - 2d_{C_2} - d_{C_3} + 2d_{D_6} \equiv 0 \pmod{4}$。
• 在 $\operatorname{Sp}^G$ 上的 Picard 群与 $\operatorname{Mod}_{\operatorname{Sp}^G}(H\mathbb{Z}_G)$ 的 Picard 群一致，表明 Picard 群仅依赖于 $\pi_0(H\mathbb{Z}) = \mathbb{Z}$。