[论文解读] Bredon Homology of Partition Complexes

Gregory Arone, W. G. Dwyer+1 more|arXiv (Cornell University)|Jun 1, 2013

Topological and Geometric Data Analysis被引用 16

一句话总结

本文计算了在一般系数下，分拆复形 ${\mathcal{P}}_n^\diamond$ 的 Bredon同调与上同调，表明其要么平凡，要么可通过 Steinberg 模的构造表达。该方法使用等变逼近技术，并对 $\Sigma_n$ 的 $p$-子群作用下的固定点空间进行详细分析，证明当系数相对于 $p$-子群为投射时，Bredon 同调是可计算的。

ABSTRACT

We prove that the Bredon homology or cohomology of the partition complex with fairly general coefficients is either trivial or computable in terms of constructions with the Steinberg module. The argument involves developing a theory of Bredon homology and cohomology approximation.

研究动机与目标

• 计算作为 $\Sigma_n$-空间的分拆复形 ${\mathcal{P}}_n^\diamond$ 的未约化悬垂的 Bredon 同调与上同调。
• 通过将分析细化至一般系数系统的 Bredon（上）同调，扩展先前关于 Borel 构造模 $p$ 同调的结果。
• 建立 Bredon（上）同调可计算的条件，特别是当系数相对于 $p$-子群为投射时。
• 发展一种 Bredon 同调逼近理论，该理论在同调上诱导同构，从而可通过 Tits 建筑物的诱导构造实现同调的计算。

提出的方法

• 作者利用诱导谱 $\Sigma_n^+ \wedge_{\mathrm{Aff}_k} (E\mathrm{GL}_k^+ \wedge B_k^\diamond)$ 构造了 ${\mathcal{P}}_n^\diamond$ 的 $\Sigma_n$-等变逼近，其中 $B_k$ 是 $\mathrm{GL}_k(\mathbb{F}_p)$ 的 Tits 建筑物。
• 他们分析了 $\Sigma_n$ 的 $p$-子群作用于 ${\mathcal{P}}_n$ 时的固定点空间，对具有非收缩固定点的子群进行分类（命题 6.2）。
• 该方法依赖于 Mackey 函子作为系数系统，Bredon 同调通过协变函子 $\gamma$ 定义，上同调通过逆变函子 $\gamma^\natural$ 定义。
• 关键技术工具是 $p$-局部化和 $p$-转移性质，表明某些函子 $M_F$ 保持 $p$-局部同调，并满足中心化子和对合条件。
• 作者证明：若 $F \simeq F \circ L_p$，则相应的 Mackey 函子 $M_F$ 满足 $p$-转移性质，并且相对于 $p$-子群为投射。
• 通过证明核作用在轨道空间上的同伦等价于恒等映射，验证了中心化子条件；对于奇素数 $p$，通过证明在球面上通过次数为 $-1$ 的映射诱导的 $-1$-作用，验证了对合条件。

实验结果

研究问题

• RQ1 在何种条件下，分拆复形 ${\mathcal{P}}_n^\diamond$ 的 Bredon 同调在一般系数下是可计算的？
• RQ2 哪些 $\Sigma_n$ 的 $p$-子群在 ${\mathcal{P}}_n$ 上具有非收缩的固定点集，它们如何影响 Bredon 同调？
• RQ3 如何通过等变逼近来计算 ${\mathcal{P}}_n^\diamond$ 的 Bredon 同调？
• RQ4 Mackey 函子必须满足何种性质，才能确保其对应的 Bredon 同调非平凡且可计算？
• RQ5 $p$-转移、中心化子和对合条件如何相互作用，以确保函子的 $p$-局部化保持 Bredon 同调？

主要发现

• 当 Mackey 函子 $M$ 相对于 $p$-子群为投射时，${\mathcal{P}}_n^\diamond$ 的 Bredon 同调要么平凡，要么可表示为 Steinberg 模的构造。
• $\Sigma_n$ 的 $p$-子群作用于 ${\mathcal{P}}_n$ 时的固定点空间仅对特定子群非收缩，其完全分类见命题 6.2。
• 当系数相对于 $p$-子群为投射时，逼近映射 $\Sigma_n^+ \wedge_{\mathrm{Aff}_k} (E\mathrm{GL}_k^+ \wedge B_k^\diamond) \to {\mathcal{P}}_n^\diamond$ 在 Bredon 同调上诱导同构。
• 对于满足 $F \simeq F \circ L_p$ 的函子 $F$，其对应的 Mackey 函子 $M_F$ 满足 $p$-转移性质，且取值于 $\mathbb{Z}_{(p)}$-模。
• 中心化子条件成立，因为核作用在轨道空间上的同伦等价于恒等映射，从而在同调上作用平凡。
• 对于奇素数 $p$，对合条件成立：奇对合在局部化谱的同伦群上通过 $-1$ 作用实现，确保 $\tau - 1$ 是同伦等价，从而在 $M_F(\Sigma_n/D)$ 上诱导 $-1$-作用。