[论文解读] On categories of slices

Dylan Wilson|arXiv (Cornell University)|Nov 9, 2017

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

一句话总结

本文通过引入一个各向同性切片 $n$-球面 $W$，提供了 $G$-等变稳定同伦理论中 $n$-切片范畴的代数描述，使得 $G$-谱的 $n$-切片可通过 Mackey函子 $\underline{[W,X]}$ 对 Green函子 $\underline{[W,W]}$ 的商来计算。关键结果是 $n$-切片范畴与 $\underline{[W,W]}$-模的全子范畴之间存在等价关系，其中某个限制映射是单射的。

ABSTRACT

In this paper we give an algebraic description of the category of $n$-slices for an arbitrary group $G$, in the sense of Hill-Hopkins-Ravenel. Specifically, given a finite group $G$ and an integer $n$, we construct an explicit $G$-spectrum $W$ (called an isotropic slice $n$-sphere) with the following properties: (i) the $n$-slice of a $G$-spectrum $X$ is equivalent to the data of a certain quotient of the Mackey functor $\underline{[W,X]}$ as a module over the endomorphism Green functor $\underline{[W,W]}$; (ii) the category of $n$-slices is equivalent to the full subcategory of right modules over $\underline{[W,W]}$ for which certain restriction maps are injective. We use this theorem to recover the known results on categories of slices to date, and exhibit the utility of our description in several new examples. We go further and show that the Green functors $\underline{[W,W]}$ for certain slice $n$-spheres have a special property (they are "geometrically split") which reduces the amount of data necessary to specify a $\underline{[W,W]}$-module. This step is purely algebraic and may be of independent interest.

研究动机与目标

• 提供 $G$-等变稳定同伦理论中 $n$-切片范畴的代数刻画。
• 将已知的 $C_2$-等变情形下的切片类 Postnikov 描述推广至更一般情形。
• 通过单个 $G$-谱 $W$ 及其关联的 Green函子 $\underline{[W,W]}$，建立 $n$-切片的计算框架。
• 证明对于某些 $W$，Green函子 $\underline{[W,W]}$ 是几何分裂的，从而简化模结构。

提出的方法

• 引入各向同性切片 $n$-球面 $W$ 的概念，其由几何固定点条件定义：对所有 $H \leq G$，有 $W^{\Phi H} \simeq \bigvee S^{\lfloor n/|H|\rfloor}$。
• 将 Green函子 $\underline{[W,W]}$ 构造为 $G$-谱范畴中 $W$ 的自同态环。
• 证明 $G$-谱 $X$ 的 $n$-切片等价于 $\underline{[W,X]}$ 对子群包含下限制映射核的商。
• 建立 $n$-切片范畴与 $\underline{[W,W]}$-模中限制映射为单射的全子范畴之间的等价关系。
• 证明对于某些各向同性切片 $n$-球面，Green函子 $\underline{[W,W]}$ 是几何分裂的，从而将模数据简化为更简单的代数结构。
• 利用此框架恢复已知结果并计算新例子，包括 $C_4$-谱的情形。

实验结果

研究问题

• RQ1 能否通过单个 $G$-谱在 $G$-等变稳定同伦理论中对 $n$-切片范畴进行代数描述？
• RQ2 如何通过 Mackey函子对 Green函子的商来计算 $G$-谱的 $n$-切片？
• RQ3 Green函子 $\underline{[W,W]}$ 的哪些结构性质可简化 $n$-切片模的描述？
• RQ4 $\underline{[W,W]}$ 的几何分裂性质是否能实现对 $n$-切片更高效的代数描述？
• RQ5 该框架能否恢复 $C_2$ 和 $C_4$-谱的已知结果，并推广至新情形？

主要发现

• $n$-切片范畴与 $\underline{[W,W]}$-模中限制映射为单射的全子范畴之间存在等价关系。
• $G$-谱 $X$ 的 $n$-切片同构于 $\underline{[W,X]}$ 对子群包含下限制映射核的商。
• 当 $G = C_2$ 时，$n$-切片范畴等价于限制映射为单射的 Mackey函子范畴，从而恢复了已知结果。
• 当 $G = C_4$ 时，该构造将 $1$-切片范畴等价于限制映射为单射的扭曲 Mackey函子范畴，即 $R_1^{C_2} \oplus R_{C_2}^{C_4}$，提供了一种新的计算工具。
• 对于某些各向同性切片 $n$-球面，Green函子 $\underline{[W,W]}$ 是几何分裂的，从而简化了描述 $\underline{[W,W]}$-模所需的数据。
• 该框架统一并推广了此前关于切片的结果，包括 Hill-Hopkins-Ravenel 与 Hill-Yarnall 的工作，并在 $C_4$-等变同伦理论中实现了新的计算。