[论文解读] Lattice Spectral Sequences and Cohomology of Configuration Spaces

Philip Tosteson|arXiv (Cornell University)|Dec 19, 2016

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

一句话总结

本论文通过利用划分格与 $X^n$ 相对于对角线的相对上同调所导出的谱序列，为由配置空间 $ΔΝΝ\mathrm{Conf}_n(X)$ 的上同调形成的 FI 模的有限生成性建立了一个同调准则。关键结果是：若 $X$ 局部为 $Ν\mathbb{R}^2$-类似或具有 $Ν\geq 2$-维局部结构，则对所有 $i$，$H^i(\mathrm{Conf}_n(X),k)$ 均为有限生成的 FI 模，将表示稳定性推广至比流形更广泛的拓扑空间。

ABSTRACT

For a topological space $X$, we introduce a criterion for the $ m FI$ module $H^i({ m Conf}_n(X))$ to be finitely generated and give several applications. For instance, if $C$ is a finite connected $CW$ complex, then $X = C imes \mathbb{R}^2$ satisfies the criterion. Our main tool is a spectral sequence that we derive from the homological algebra of the partition lattice.

研究动机与目标

• 将 $H^i(\mathrm{Conf}_n(X),k)$ 作为 FI 模的有限生成性从流形推广至更一般的拓扑空间。
• 基于相对上同调 $H^i(X^n, X^n - \Delta X, k)$ 在 $n$ 足够大时消失，提供一个同调准则。
• 通过 FI 模框架统一并推广先前关于表示稳定性和同调稳定性的结果。
• 建立 $H^i(\mathrm{Conf}_n(X),k)$ 在 $n$ 足够大时表现出一致行为的条件，包括在正特征情况下。

提出的方法

• 从划分格的同调代数推导谱序列，以分析配置空间的上同调。
• 使用 Verdier 对偶和对偶复形 $\omega_X$，将相对上同调 $H^i(X^n, X^n - \Delta X, k)$ 重写为 $\mathrm{R}\Delta_n^!\underline{k} \simeq (\omega_X^*)^{\otimes n-1}$。
• 应用局部上同调的 K\
• unneth 公式，将相对上同调的计算简化为局部数据的乘积。
• 建立局部准则：若 $X$ 局部为 $V \times \mathbb{R}^2$ 的形式，则其上同调 FI 模是有限生成的。
• 利用 $\mathrm{R}i^!$ 函子的局部化，将全局上同调条件约化为局部条件。
• 证明：若从某邻域中移除一点后仍保持连通，则对所有 $i$，$H^i(\mathrm{Conf}_n(X),k)$ 均为有限生成的 FI 模。

实验结果

研究问题

• RQ1 在何种拓扑条件下，FI 模 $n \mapsto H^i(\mathrm{Conf}_n(X),k)$ 是有限生成的？
• RQ2 如何利用相对上同调 $H^i(X^n, X^n - \Delta X, k)$ 来检测配置空间上同调的有限生成性？
• RQ3 有限生成性结果能否从流形推广至具有 $Ν\geq 2$-维局部结构的分层空间或非流形空间？
• RQ4 对偶复形 $\omega_X$ 在决定配置空间上同调行为中起什么作用？
• RQ5 来自划分格的谱序列与配置空间上同调的表示稳定性有何关联？

主要发现

• 若 $X$ 为有限连通 CW 复形，则 $X \times \mathbb{R}^2$ 满足有限生成准则，因此对所有 $i$，$H^i(\mathrm{Conf}_n(X \times \mathbb{R}^2),k)$ 均为有限生成的 FI 模。
• 对任意 Hausdorff 且局部可缩的空间 $X$，若其具有局部积结构 $V_p \times \mathbb{R}^2$，则对所有 $i$，$H^i(\mathrm{Conf}_n(X),k)$ 均为有限生成的 FI 模。
• 若 $X$ 的每一点均存在一个邻域 $U$，使得 $U - \{p\}$ 连通，则对所有 $i$，$H^i(\mathrm{Conf}_n(X),k)$ 均为有限生成的 FI 模。
• 当且仅当 $d \geq 2$ 时，$Ν\mathbb{R}^d$ 上的配置空间上同调满足有限生成准则，且 $H^{(d-1)n}(\mathbb{R}^{dn}, \mathbb{R}^{dn} - \Delta \mathbb{R}^d, k) \cong k$。
• 对任意连通有限图 $G$，$H^i(\mathrm{Conf}_n(G \times \mathbb{R}^1),k)$ 对所有 $i$ 均为有限生成的 FI 模，尽管 $G \times \mathbb{R}^1$ 是二维的。
• 对偶复形 $\omega_X$ 满足 $\mathrm{R}\Delta_n^!\underline{k} \simeq (\omega_X^*)^{\otimes n-1}$，从而实现了对消失条件的基于对偶性的重表述。