[论文解读] Algebraic models of change of groups in rational stable equivariant homotopy theory

J. P. C. Greenlees|arXiv (Cornell University)|Jan 25, 2015

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

一句话总结

本文通过群环与上同调环上的分次模的导出范畴，为自由 $G$-谱在有理稳定等变同伦论中的归纳、限制与余归纳函子提供了显式的代数模型。关键贡献在于，拓扑上的换群函子与 $H^*(BG_e)[\overline{G}]$ 和 $H^*(BH_e)[\overline{H}]$ 上挠模的代数运算之间建立了精确对应关系，给出了归纳 ($\theta^\dagger$)、限制 ($\theta_*$) 与余归纳 ($\theta^*$) 的显式代数公式。

ABSTRACT

Shipley and the author have given an algebraic model for free rational G-spectra for a compact Lie group G. In the present note we describe, at the level of homotopy categories, the algebraic models for induction, restriction and coinduction relating free rational G-spectra and free rational H-spectra for a subgroup H of G. The justification for giving this short and elementary account is (1) the author found it difficult to guess the correct answer, (2) the answer depends on which Quillen equivalence is used between topology and algebra and (3) this has provided useful insight in several other projects (including arXiv:1501.03425).

研究动机与目标

• 在有理稳定等变同伦论的背景下，为换群函子（归纳、限制、余归纳）建立代数模型。
• 描述 $G$-谱与 $H$-谱之间的伴随三元组函子如何转化为分次模导出范畴上的代数运算。
• 以张量积、同态与群环作用的形式，提供归纳、限制与余归纳的代数对应物的显式公式。
• 阐明相对对偶模与 Weyl 群作用在代数模型中的角色，特别是在 Weyl 群非平凡的情况下。
• 通过具体例子（如 $G = SO(3)$，$H = O(2)$）展示模型，说明代数函子如何恢复已知的拓扑行为。

提出的方法

• 使用 Shipley 和 Greenlees 建立的自由有理 $G$-谱的代数模型，将自由 $G$-谱的同伦范畴等同于 $H^*(BG_e)[\overline{G}]$ 上挠模的导出范畴。
• 将代数归纳函子 $\theta^\dagger$ 构造为 $\mathbb{Q}[\overline{G}] \otimes_{\mathbb{Q}[\overline{H}]} \Sigma^{L(G/H)} N$，其中 $L(G/H)$ 为齐次空间的切空间。
• 将代数限制函子 $\theta_*$ 定义为 $H^*(BH_e) \otimes_{H^*(BG_e)} M$，通过恒等分支的包含关系进行基变换。
• 将代数余归纳函子 $\theta^*$ 定义为 $\mathrm{Hom}_{\mathbb{Q}[\overline{H}]}(\mathbb{Q}[\overline{G}], N)$，以编码 Weyl 群的对偶作用。
• 在例子 $G = SO(3)$，$H = O(2)$ 中显式计算相对对偶模 $\mathbb{D}(G_e|H_e) \cong \Sigma^2 \tilde{\mathbb{Q}} \otimes \mathbb{Q}[c]$，以解释分次的移位。
• 通过验证其在导出范畴中满足预期的泛性质，确认代数函子之间的伴随关系。

实验结果

研究问题

• RQ1 如何为自由有理 $G$-谱与 $H$-谱之间的拓扑换群函子（归纳、限制、余归纳）建立代数模型？
• RQ2 在分次模的导出范畴中，模型归纳、限制与余归纳的函子 $\theta^\dagger$、$\theta_*$ 与 $\theta^*$ 的精确代数表达式是什么？
• RQ3 Weyl 群作用及其 Weyl 群代数结构如何影响代数模型，特别是在 Weyl 群非平凡的情况下？
• RQ4 相对对偶模在修正代数模型中分次移位（特别是非恒等分支情况下）的作用是什么？
• RQ5 代数模型是否可在具体例子（如 $G = SO(3)$，$H = O(2)$）中显式计算并验证？

主要发现

• 归纳函子 $i_*$ 的代数模型为 $\theta^\dagger(N) = \mathbb{Q}[\overline{G}] \otimes_{\mathbb{Q}[\overline{H}]} \Sigma^{L(G/H)} N$，其中移位 $\Sigma^{L(G/H)}$ 用于补偿齐次空间 $G/H$ 的维数。
• 限制函子 $i^*$ 的模型为 $\theta_*(M) = H^*(BH_e) \otimes_{H^*(BG_e)} M$，即沿恒等分支包含关系的基变换。
• 余归纳函子 $i_!$ 的模型为 $\theta^*(N) = \mathrm{Hom}_{\mathbb{Q}[\overline{H}]}(\mathbb{Q}[\overline{G}], N)$，编码了 Weyl 群在 $N$ 上的对偶作用。
• 在例子 $G = SO(3)$，$H = O(2)$ 中，代数限制为 $\theta_*M = \mathbb{Q}[c] \otimes_{\mathbb{Q}[d]} M$，其中 $d \mapsto c^2$，而余归纳为 $\theta^*(N) = N^W$，即 $N$ 的 $W$-不变部分。
• 相对对偶模 $\mathbb{D}(G_e|H_e)$ 计算为 $\Sigma^2 \tilde{\mathbb{Q}} \otimes \mathbb{Q}[c]$，用于补偿归纳模型中的分次移位，并确保与对偶性的相容性。
• 代数模型构成一个伴随三元组 $\theta^\dagger \dashv \theta_* \dashv \theta^*$，与拓扑伴随关系一致，并与导出范畴结构相容。