[论文解读] Higher representation stability for ordered configuration spaces and twisted commutative factorization algebras

Quoc P. Ho|arXiv (Cornell University)|Apr 1, 2020

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

一句话总结

本论文通过在扭曲交换代数（TCAs）系数下的分解同调，建立了有序配置空间上同调的更高阶表示稳定性。它提出了一种迭代方法以证明在 TCAs 上的有限生成性，并计算了导出不可约分量的显式界；当某些 $C_\infty$-运算消失时，证明了配置空间上同调构成一个自由 TCA-模，推广了 Church–Ellenberg–Farb 的结果，并在这些条件下解决了 Miller–Wilson 的猜想。

ABSTRACT

Using factorization homology with coefficients in twisted commutative algebras (TCAs), we prove two flavors of higher representation stability for the cohomology of (generalized) configuration spaces of a scheme/topological space $X$. First, we provide an iterative procedure to study higher representation stability using actions coming from the cohomology of $X$ and prove that all the modules involved are finitely generated over the corresponding TCAs. More quantitatively, we compute explicit bounds for the derived indecomposables in the sense of Galatius-Kupers-Randal-Williams. Secondly, when certain $C_\infty$-operations on the cohomology of $X$ vanish, we prove that the cohomology of its configuration spaces forms a free module over a TCA built out of the configuration spaces of the affine space. This generalizes a result of Church-Ellenberg-Farb on the freeness of $\mathrm{FI}$-modules arising from the cohomology of configuration spaces of open manifolds and, moreover, resolves the various conjectures of Miller-Wilson under these conditions.

研究动机与目标

• 建立一个概形或拓扑空间 $X$ 的广义配置空间上同调的更高阶表示稳定性。
• 开发一种使用 $X$ 的上同调作用的迭代方法，以证明在扭曲交换代数（TCAs）上的有限生成性。
• 计算伽马提乌斯–库珀–兰德尔-威廉姆斯意义上的导出不可约分量的显式界。
• 当 $C_\infty$-运算消失时，将 Church–Ellenberg–Farb 对 $\operatorname{FI}$-模的自由性结果推广到 TCAs。
• 在 $C_\infty$-运算消失的条件下，解决 Miller–Wilson 关于更高阶表示稳定性的猜想。

提出的方法

• 使用在扭曲交换代数（TCAs）系数下的分解同调来分析配置空间上同调。
• 构造一个扭曲交换的 $\operatorname{Ran}$ 空间 $\operatorname{Ran}(X,\operatorname{FB}_+)$，以范畴化方式建模配置空间。
• 应用 $\operatorname{ComAlg}$ 与 $\operatorname{coLie}$ 之间的 Koszul 对偶性，将上同调与李代数作用联系起来。
• 对 $\operatorname{Ran}(X,\operatorname{FB}_+)$ 应用基数滤子，通过 dévissage 序列分解上同调。
• 通过对角截断和与 $\operatorname{Ran}(f)$-结构的相容性，将问题约化为研究 $X$ 上的 TCAs。
• 使用单位分解上同调和 $\Lambda_0$-张量构造，计算迭代的 $\operatorname{FI}$-同调类比。

实验结果

研究问题

• RQ1 如何系统地使用 TCA 作用研究配置空间上同调中的更高阶表示稳定性？
• RQ2 广义配置空间上同调中导出不可约分量的精确界是什么？
• RQ3 在何种条件下，配置空间的上同调会构成由仿射空间配置构建的 TCA 上的自由模？
• RQ4 当 $X$ 的上同调中 $C_\infty$-运算消失时，它如何影响配置空间上同调的自由性与稳定性？
• RQ5 该框架在多大程度上将 Church–Ellenberg–Farb 对 $\operatorname{FI}$-模的自由性结果推广到更高阶表示稳定性？

主要发现

• 证明了广义配置空间的上同调在相应扭曲交换代数（TCA）上是有限生成的。
• 通过迭代的 $\Lambda_0 \otimes_{\mathcal{O}_{2,\leq m}(X)}$ 构造，计算了上同调中导出不可约分量的显式界。
• 当 $X$ 满足 $\operatorname{T}_m$ 条件且 $C_\infty$-运算消失时，其配置空间的上同调构成一个由仿射空间配置构建的 TCA 上的自由模。
• 本论文解决了 [Miller–Wilson, 猜想 3.31] 在 $\operatorname{T}_m$ 情况下的情形，证明了 $\mathrm{H}^c(\Lambda_0 \otimes_{\mathcal{O}_{2,m}(X)} \cdots \otimes_{\mathcal{O}_{2,1}(X)} \mathcal{A}_2(X))_k = 0$ 对于 $k > c/b$ 成立。
• 该框架将 Church–Ellenberg–Farb 对 $\operatorname{FI}$-模的自由性结果推广到了具有更高阶表示稳定性的 TCA 设置。
• 上同调度数被精确追踪，结果与由于模块自由性而产生的 $\operatorname{FI}$-双同调计算一致。