[论文解读] The integral cohomology groups of configuration spaces of pairs of points in real projective spaces

Jesús González, Peter S. Landweber|arXiv (Cornell University)|Apr 6, 2010

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

一句话总结

本文使用谱序列和群上同调，计算了实射影空间中两个不同点的有序与无序配置空间的整上同调群。关键结果是以初等阿贝尔 2-群和扩张的形式完整描述了这些群，解决了关于 4-挠性的猜想，并扩展了对称拓扑复杂度的先前结果。

ABSTRACT

We compute the integral homology and cohomology groups of configuration spaces of two distinct points on a given real projective space. The explicit answer is related to the (known multiplicative structure in the) integral cohomology---with simple and twisted coefficients---of the dihedral group of order 8 (in the case of unordered configurations) and the elementary abelian 2-group of rank 2 (in the case of ordered configurations). As an application, we complete the computation of the symmetric topological complexity of real projective spaces of dimension 2^i + d for d=0,1,2.

研究动机与目标

• 计算有序与无序配置空间 $F(\mathbb{P}^m, 2)$ 和 $B(\mathbb{P}^m, 2)$ 的整上同调群与同调群。
• 解决弗雷德·科亨关于 $H^*(B(\mathbb{P}^m, 2))$ 中挠性的猜想，特别是当 $m > 1$ 时存在 2-挠性，当 $m > 2$ 时存在 4-挠性，但不存在 8-挠性。
• 完成对 $\mathbb{P}^{2^i + \delta}$ 的对称拓扑复杂度的计算，其中 $i \geq 0$ 且 $0 \leq \delta \leq 2$。
• 将这些配置空间的上同调与二面体群 $D_4$（无序情形）和秩为 2 的初等阿贝尔 2-群 $\mathbb{Z}_2^2$（有序情形）的带扭转系数的整上同调联系起来。

提出的方法

• 本文采用 Cartan-Leray 和 Serre 谱序列，通过对称群在有序配置空间上的作用分析其上同调。
• 使用 Bockstein 谱序列分析上同调中的挠性，特别是确认 $H^*(B(\mathbb{P}^m, 2))$ 中存在 4-挠性且不存在 8-挠性。
• 作者应用泛系数定理，从计算出的上同调群推导出整同调群。
• 他们利用带 $w_1$-扭转的庞加莱对偶性，将非可定向情形下的同调与上同调联系起来。
• 分析涉及在谱序列中追踪永久循环和微分，特别是通过收敛性和乘法结构识别哪些元素能存活至 $E_\infty$。
• 通过已知结构和不变量（如 $\rho^*$-不变量）将配置空间上同调与 $D_4$ 和 $\mathbb{Z}_2^2$ 的群上同调联系起来。

实验结果

研究问题

• RQ1 实射影空间中 $F(\mathbb{P}^m, 2)$ 和 $B(\mathbb{P}^m, 2)$ 的整上同调群是什么？
• RQ2 $B(\mathbb{P}^m, 2)$ 的上同调是否包含 4-挠性？如果包含，出现在哪些维度？
• RQ3 能否对所有 $i \geq 0$ 且 $0 \leq \delta \leq 2$ 完全计算 $\mathbb{P}^{2^i + \delta}$ 的对称拓扑复杂度？
• RQ4 这些配置空间的上同调群如何与带扭转系数的二面体群 $D_4$ 和 $\mathbb{Z}_2^2$ 的整上同调相关联？
• RQ5 $B(\mathbb{P}^m, 2)$ 上同调中挠性的精确结构是什么？是否存在 8-挠性？

主要发现

• $F(\mathbb{P}^{2n}, 2)$ 的整上同调被显式计算：在度数 0 和 $4n-1$ 处为 $\mathbb{Z}$，在中间度数处为 $\langle k \rangle$ 或 $\{k\}$ 的挠群，具体取决于奇偶性与范围。
• 对于 $F(\mathbb{P}^{2n+1}, 2)$，在度数 $2n+1$ 处额外包含一个 $\mathbb{Z} \oplus \langle n \rangle$ 直和项，反映了奇数维情形的特性。
• $B(\mathbb{P}^{2n}, 2)$ 的上同调以 $\{k\} = \langle k \rangle \oplus \mathbb{Z}_4$ 和 $\langle k \rangle$ 的形式描述，度数按模 4 分组，表明在 $4\ell$ 度数（$0 < \ell < m/2$）存在 4-挠性。
• $B(\mathbb{P}^{2n+1}, 2)$ 的上同调在度数 $2n+1$ 处包含一个 $\mathbb{Z} \oplus \langle n \rangle$ 直和项，且 4-挠性结构与偶数情形相同。
• 本文证实了弗雷德·科亨的猜想：$H^*(B(\mathbb{P}^m, 2))$ 在 $m > 1$ 时存在 2-挠性，在 $m > 2$ 时存在 4-挠性，但不存在 8-挠性。
• 在对 2 取逆后，$F(\mathbb{P}^m, 2)$ 和 $B(\mathbb{P}^m, 2)$ 均成为同调球面，推广了已知的 $m=1$ 时的圆周情形。