[论文解读] Algebraic structures on cohomology of configuration spaces of manifolds with flows

Jordan S. Ellenberg, John D. Wiltshire-Gordon|arXiv (Cornell University)|Aug 10, 2015

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

一句话总结

本文证明了具有处处非零向量场的流形的有序配置空间的上同调群在范畴 $π_0\mathcal{F}E_1$ 上自然地具有模结构，该范畴同构于非交换有限集的范畴 $\mathcal{N}$。该结构意味着上同调表示特征标的立即多项式性，并证明了无序配置空间的有理上同调维数在 $n$ 上非递减，通过几何流数据解决了闭流形的稳定性问题。

ABSTRACT

Let PConf^n M be the configuration space of ordered n-tuples of distinct points on a smooth manifold M admitting a nowhere-vanishing vector field. We show that the ith cohomology group with coefficients in a field H^i(PConf^n M, k) is an N-module, where N is the category of noncommutative finite sets introduced by Pirashvili and Richter. Studying the representation theory of N, we obtain new polynomiality results for the cohomology groups H^i(PConf^n M, k). In the case of unordered configuration space Conf^n M = (PConf^n M)/S_n and rational coefficients, we show that cohomology dimension in fixed degree is nondecreasing.

研究动机与目标

• 理解具有流的流形上配置空间上同调群的表示论结构。
• 证明当流形 $M$ 具有处处非零向量场时，上同调群 $H^i(\operatorname{PConf}^n M, k)$ 构成非交换有限集范畴 $\mathcal{N}$ 上的有限生成模。
• 证明具有有理系数的无序配置空间 $\operatorname{Conf}^n M$ 的上同调维数在 $n$ 上非递减。
• 表明流的几何数据（通过 $l$-标架）在配置空间上诱导自然作用，从而产生范畴模结构。

提出的方法

• 作者利用 $M$ 上光滑变化的 $l$-标架，构造了同伦等价 $\operatorname{Emb}^f(\mathbb{D}^l_n, M) \simeq \operatorname{PConf}^n M$，通过 $l$-维球体的嵌入来建模配置空间。
• 他们定义了 $M$ 中不相交 $l$-球体嵌入的范畴 $\mathcal{F}E_l$，赋予其拓扑结构，并考虑其路径分支 $\pi_0\mathcal{F}E_l$，以在配置空间上定义范畴作用。
• 将 $\pi_0\mathcal{F}E_l$ 对 $\operatorname{PConf}^n M$ 的作用通过预复合提升至上同调，从而在 $H^i(\operatorname{PConf}^n M, k)$ 上得到 $\pi_0\mathcal{F}E_l$-模结构。
• 当 $l=1$ 时，$\pi_0\mathcal{F}E_1 \cong \mathcal{N}$，即非交换有限集的范畴，因此上同调群继承了自然的 $\mathcal{N}$-模结构。
• 当 $l \geq 2$ 时，$\pi_0\mathcal{F}E_l \cong \mathcal{F}$，即有限集与单射的范畴，结构得以简化。
• 通过 [CEF15] 中的谱序列论证，推导出 $\mathcal{N}$-模的有限生成性，利用 $\mathcal{FI} \subset \mathcal{N}$ 的事实。

实验结果

研究问题

• RQ1 具有处处非零向量场的流形上，有序配置空间的上同调是否具有超越对称群作用的自然代数结构？
• RQ2 是否可以证明 $H^i(\operatorname{PConf}^n M, k)$ 的表示论特征标在 $n$ 上立即多项式，而非仅渐近多项式？
• RQ3 闭流形上流的存在是否导致无序配置空间的有理上同调维数非递减？
• RQ4 非交换有限集范畴 $\mathcal{N}$ 是否可用于统一或加强现有配置空间上同调中的稳定性结果？

主要发现

• 当 $M$ 是维度至少为 2 的光滑、连通、可定向、有限型流形且具有处处非零向量场时，上同调群 $H^i(\operatorname{PConf}^n M, k)$ 构成 $\mathcal{N}$-模的有限生成模。
• 当 $l=1$ 时，范畴 $\pi_0\mathcal{F}E_1$ 同构于 $\mathcal{N}$，因此上同调群继承了自然的 $\mathcal{N}$-模结构。
• 当 $M$ 具有 $l \geq 2$ 个线性无关的向量场时，$\mathcal{N}$-模结构退化为 $\mathcal{F}$-模结构，简化了表示理论。
• 无序配置空间的有理上同调维数满足 $\dim H^i(\operatorname{Conf}^n M, \mathbb{Q}) \leq \dim H^i(\operatorname{Conf}^{n+1} M, \mathbb{Q})$，证明了其非递减性。
• $\mathcal{N}$-模结构提供了上同调中对称群特征标的立即多项式性，优于以往仅证明渐近多项式性的结果。
• 该构造使用了通过 $l$-标架的 $l$-球体嵌入的几何模型，且此类嵌入空间的同伦型等价于纯配置空间 $\operatorname{PConf}^n M$。