[论文解读] Representation stability for cohomology of configuration spaces in $\mathbf{R}^d$

Patricia Hersh, Victor Reiner|arXiv (Cornell University)|May 15, 2015

Topological and Geometric Data Analysis参考文献 30被引用 17

一句话总结

本文为 $\mathbb{R}^d$ 中 $n$ 个有序点的配置空间的上同调建立了精确的稳定化界限，研究了对称群 $S_n$ 的作用。结果表明，当 $d$ 为奇数时，$S_n$-表示在第 $i(d-1)$ 个上同调群上的稳定化在 $n = 3i$ 处达到精确值；当 $d$ 为偶数时，稳定化在 $n = 3i+1$ 处达到精确值，其依据为 Whitney 上同调（偶数 $d$）和高阶 Lie 特征（奇数 $d$）的表示，从而解决了 Wiltshire-Gordon 的猜想。

ABSTRACT

This paper studies representation stability in the sense of Church and Farb for representations of the symmetric group $S_n$ on the cohomology of the configuration space of $n$ ordered points in $\mathbf{R}^d$. This cohomology is known to vanish outside of dimensions divisible by $d-1$; it is shown here that the $S_n$-representation on the $i(d-1)^{st}$ cohomology stabilizes sharply at $n=3i$ (resp. $n=3i+1$) when $d$ is odd (resp. even). The result comes from analyzing $S_n$-representations known to control the cohomology: the Whitney homology of set partition lattices for $d$ even, and the higher Lie representations for $d$ odd. A similar analysis shows that the homology of any rank-selected subposet in the partition lattice stabilizes by $n\geq 4i$, where $i$ is the maximum rank selected. Further properties of the Whitney homology and more refined stability statements for $S_n$-isotypic components are also proven, including conjectures of J. Wiltshire-Gordon.

研究动机与目标

• 确定 $S_n$-表示在 $\mathbb{R}^d$ 中配置空间上同调上的稳定化精确时刻。
• 通过建立精确的稳定化阈值，改进 Church 早期关于表示稳定性的结果。
• 解决 J. Wiltshire-Gordon 关于 Whitney 上同调与同型分量稳定性的猜想。
• 分析分划格中的秩选择子格，并证明其上同调稳定化界限。

提出的方法

• 利用奇数 $d$ 时的高阶 Lie 特征和偶数 $d$ 时的集合分划格 Whitney 上同调，对 $H^{i(d-1)}(\mathrm{Conf}(n,\mathbb{R}^d))$ 上的 $S_n$-表示进行分析。
• 将上同调重述为诱导表示 $M_n(\widehat{\mathrm{Lie}}_m^i)$ 或 $M_n(\widehat{W}_m^i)$ 的直和，其中 $m$ 从 $i+1$ 到 $2i$。
• 对与分划格相关的复形 $C^\bullet(n)$ 应用谱序列技术，利用精确性论证证明低度上同调的消失。
• 通过 $n$ 的归纳法并分析谱序列的 $E_1$-页，证明 $H^i(\widehat{W}_n^\bullet)$ 在 $i \leq n-2$ 时消失，从而建立关键的消失结果。
• 利用 FI-模与 FI-生成模的理论，将表示 $M_n(\chi)$ 解释为从 FI-生成元诱导而来。
• 借助对偶性与谱序列微分，证明仅有特定项能延续到 $E_\infty$-页，从而推出所需度数的上同调消失。

实验结果

研究问题

• RQ1 当 $d \geq 2$ 时，$S_n$-表示在 $H^{i(d-1)}(\mathrm{Conf}(n,\mathbb{R}^d))$ 上的稳定化在最小的 $n$ 为何值？
• RQ2 Whitney 上同调与高阶 Lie 表示如何控制 $\mathbb{R}^d$ 中配置空间的上同调？
• RQ3 分划格 $\Pi_n$ 中任意秩选择子格的上同调的精确稳定化阈值为何？
• RQ4 上同调的同型分量是否与完整表示以相同速率稳定化？这一结论能否对涉及的 $S_n$-表示成立？
• RQ5 J. Wiltshire-Gordon 关于 Whitney 上同调与同型分量结构的猜想是否可被验证？

主要发现

• 当 $d \geq 3$ 为奇数时，$S_n$-表示在 $H^{i(d-1)}(\mathrm{Conf}(n,\mathbb{R}^d))$ 上的稳定化在 $n = 3i$ 处达到精确值。
• 当 $d \geq 2$ 为偶数时，上同调在 $n = 3i + 1$ 处达到精确稳定化，其中 $i$ 为上同调度数的索引。
• 分划格 $\Pi_n$ 中任意秩选择子格的上同调在 $n \geq 4i$ 时稳定，其中 $i$ 为所选最大秩。
• $S_n$-表示在 $H^{i(d-1)}(\mathrm{Conf}(n,\mathbb{R}^d))$ 上同构于：当 $d$ 为奇数时为 $\bigoplus_{m=i+1}^{2i} M_n(\widehat{\mathrm{Lie}}_m^i)$，当 $d$ 为偶数时为 $\bigoplus_{m=i+1}^{2i} M_n(\widehat{W}_m^i)$，其中 $M_n(\chi)$ 表示从 FI-生成元诱导的表示。
• $H^i(\widehat{W}_n^\bullet)$ 在 $i \leq n-2$ 时消失，这是证明精确稳定化界限的关键。
• 结果证实了 J. Wiltshire-Gordon 关于同型分量稳定化与 Whitney 上同调结构的猜想，特别是在配置空间上同调的语境下。