[论文解读] Rational $G$-spectra for profinite $G$

Danny Sugrue|arXiv (Cornell University)|Oct 28, 2019

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

一句话总结

本文为当 $G$ 为 profinite 群时，建立了 rational $G$-spectra 的代数模型，方法是利用 $G$ 的闭子群空间 $SG$ 上的 Weyl-$G$-层的 $\mathbb{Q}$-模链复形。关键贡献在于证明了该范畴的内射维数——因此也是 rational $G$-Mackey 裴数的内射维数——由 $SG$ 的 Cantor-Bendixson 秩决定：当 $SG$ 是离散且有限时，内射维数等于 $\operatorname{CB\text{-}rank}(SG) - 1$；否则为无穷大。

ABSTRACT

In this thesis we will investigate rational G-spectra for a profinite group G. We will provide an algebraic model for this model category whose injective dimension can be calculated in terms of the Cantor-Bendixson rank of the space of closed subgroups of G, denoted SG. The algebraic model we consider is chain complexes of Weyl-G-sheaves of rational vector spaces over the spaces. The key step in proving that this is an algebraic model for G-spectra is in proving that the category of rational G-Mackey functors is equivalent to Weyl-G-sheaves. In addition to the fact that this sheaf description utilises the topology of G and the closed subgroups of G in a more explicit way than Mackey functors do, we can also calculate the injective dimension. In the final part of the thesis we will see that the injective dimension of the category of Weyl-G-sheaves can be calculated in terms of the Cantor-Bendixson rank of SG, hence giving the injective dimension of the category of Mackey functors via the earlier equivalence.

研究动机与目标

• 为当 $G$ 为 profinite 群时，rational $G$-spectra 的同伦范畴建立代数模型。
• 通过 $G$ 的闭子群空间 $SG$ 上的层论结构，刻画 rational $G$-Mackey 裴数。
• 利用 $SG$ 的拓扑不变量，特别是其 Cantor-Bendixson 秩，计算 rational $G$-Mackey 裴数范畴的内射维数。
• 建立 rational $G$-Mackey 裴数与 $\mathbb{Q}$-模的 Weyl-$G$-层之间的等价关系，从而启用同调代数技巧。

提出的方法

• 在 rational $G$-Mackey 裴数范畴与 $SG$ 上的 $\mathbb{Q}$-模 Weyl-$G$-层范畴之间建立等价关系。
• 利用 $G$-等变 Godement 分解计算 $G$-层的 $\mathbb{Q}$-模的内射分解。
• 将 profinite $G$-空间 $SG$ 的 Cantor-Bendixson 秩定义为拓扑不变量，以界定层范畴的内射维数。
• 证明当 $SG$ 是离散且有限秩时，$SG$ 上 Weyl-$G$-层的内射维数为 $\operatorname{CB\text{-}rank}(SG) - 1$。
• 通过 Mackey 裴数与 Weyl-$G$-层之间的等价关系，将内射维数结果转移至 rational $G$-Mackey 裴数范畴。
• 利用 Burnside 环的结构及其幂等元分析 Mackey 裴数的分解。

实验结果

研究问题

• RQ1 如何利用层论结构对 profinite 群 $G$ 的 rational $G$-spectra 进行代数建模？
• RQ2 rational $G$-Mackey 裴数范畴的内射维数是多少？它与 $SG$ 的拓扑结构有何关系？
• RQ3 rational $G$-Mackey 裴数范畴能否等价地描述为 $SG$ 上的层范畴？
• RQ4 $SG$ 的 Cantor-Bendixson 秩如何控制 rational $G$-spectra 的同调性质？
• RQ5 对于 profinite 群 $G$，$SG$ 上 $G$-等变 $\mathbb{Q}$-模层的内射维数是多少？

主要发现

• rational $G$-Mackey 裴数范畴与 $SG$ 上的 $\mathbb{Q}$-模 Weyl-$G$-层范畴之间存在等价关系，从而为 Mackey 裴数提供了层论描述。
• 当 $SG$ 是离散且具有有限 Cantor-Bendixson 秩时，$SG$ 上 $\mathbb{Q}$-模 Weyl-$G$-层范畴的内射维数等于 $\operatorname{CB\text{-}rank}(SG) - 1$。
• 若 $SG$ 的 Cantor-Bendixson 秩为无穷大，则 $SG$ 上 Weyl-$G$-层的内射维数也为无穷大。
• 对于 $G = \mathbb{Z}_p$，$SG$ 的 Cantor-Bendixson 秩为 2，因此 rational $G$-spectra 代数模型的内射维数为 1。
• 对于有限群 $G$，$SG$ 是离散且有限的，因此 $\operatorname{CB\text{-}rank}(SG) = 1$，代数模型的内射维数为 0。
• 对于 $G = \prod_{i=1}^n \mathbb{Z}_{p_i}$，$SG$ 的 Cantor-Bendixson 秩为 $n+1$，因此代数模型的内射维数为 $n$。