[论文解读] Homological stability for complements of closures

Alexander Kupers, Jeremy Miller|arXiv (Cornell University)|Dec 22, 2013

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

一句话总结

本文证明并推广了Vakil与Wood（2012）的猜想F，建立了在维度至少为2的连通流形的对称幂中，判别层闭包补集的有理同调稳定性。作者利用转移映射与半单纯链复形上的谱序列，推导出依赖于流形的可定向性与同调性质的显式同调稳定性范围。

ABSTRACT

We prove Conjecture F from [VW12] which states that the complements of closures of certain strata of the symmetric power of a smooth irreducible complex variety exhibit rational homological stability. Moreover, we generalize this conjecture to the case of connected manifolds of dimension at least 2 and give an explicit homological stability range.

研究动机与目标

• 证明Vakil与Wood（2012）的猜想F，该猜想提出：光滑复代数簇对称幂中层闭包补集的有理同调具有稳定性。
• 将该猜想从复代数簇推广至任意维度至少为2的连通流形。
• 为这些补集空间的有理同调提供显式同调稳定性范围。
• 为有界对称幂的同调稳定性提供新证明，改进了已知的稳定性范围。
• 建立同调稳定性与代数几何范畴中格罗滕迪克环稳定性之间的联系，动机源于动机zeta函数。

提出的方法

• 定义在对称幂 $\mathrm{Sym}_k(M)$ 中的层 $S_{\rho}(M)$、其闭包 $D_{\rho}(M)$ 与补集 $W_{\rho}(M)$，其中 $\rho$ 为 $k$ 的分拆。
• 通过‘从无穷远处引入一个粒子’的方式，为具有边界的流形构造稳定化映射 $t: W_{1^j\lambda}(M) \to W_{1^{j+1}\lambda}(M)$。
• 使用转移映射 $\tau: H_i(W_{1^{j+1}\lambda}(M);\mathbb{Q}) \to H_i(W_{1^j\lambda}(M);\mathbb{Q})$ 作为诱导同调同构的主要工具。
• 对 $W_{1^j\lambda}(M)$ 的解析进行有理奇异链构造，形成一个半单纯链复形 $C_*(\tilde{\mathcal{W}}_\bullet(j);\mathbb{Q})$，其到 $C_*(W_{1^j\lambda}(M);\mathbb{Q})$ 的增强映射。
• 利用收敛于几何实现同调的谱序列，通过增强映射纤维的可缩性，比较不同 $j$ 与 $j+1$ 之间的同调群。
• 证明当 $i \leq f^{\mathrm{or}}_{M,\lambda}(j)$ 或 $i \leq f^{\mathrm{nor}}_{M,\lambda}(j)$ 时，转移映射在谱序列的 $E^1$-页上诱导同构，从而得出主要稳定性结果。

实验结果

研究问题

• RQ1 连通流形（维度 $\geq 2$）的对称幂中，判别层补集是否表现出有理同调稳定性？
• RQ2 此类补集的稳定性范围能否以流形的拓扑结构与分拆 $\lambda$ 为参数显式量化？
• RQ3 转移映射是否在比以往对有界对称幂结果更广范围内诱导有理同调同构？
• RQ4 是否存在结构上的联系，使同调稳定性与格罗滕迪克环中的稳定性相关联，如动机zeta函数所暗示？
• RQ5 可定向性如何影响同调稳定性范围？在度数 $a$ 以下的约化有理同调群的消失起何作用？

主要发现

• 本文证明了猜想F：对任意不可约光滑复代数簇 $X$，有理同调 $H_i(W_{1^j\lambda}(X);\mathbb{Q})$ 在 $j \to \infty$ 时于固定度数内稳定。
• 对维度 $d \geq 2$ 的连通流形 $M$，在可定向情形，有理同调群 $H_i(W_{1^j\lambda}(M);\mathbb{Q})$ 在 $i \leq f^{\mathrm{or}}_{M,\lambda}(j)$ 时同构；在非可定向情形，同构于 $i \leq f^{\mathrm{nor}}_{M,\lambda}(j)$。
• 稳定性范围显式给出为 $f^{\mathrm{or}}_{M,\lambda}(j) = (a+1)j - b$，其中 $a$ 是满足 $\tilde{H}_i(M;\mathbb{Q}) = 0$ 对所有 $i \leq a$ 成立的最大整数，$b$ 依赖于 $\lambda$。
• 在可定向情形，稳定性范围的斜率为 $a+1$，且 $a < \dim M - 1$，该范围优于以往对有界对称幂的结果。
• 对可定向 $M$ 且 $\dim M > 2$ 的情形，$\mathrm{Sym}_k^{\leq c}(M)$ 的稳定性范围为 $i \leq k-1$；当 $\dim M = 2$ 时，为 $i \leq \min(k-1, c-4+k)$。
• 增强映射 $||\tilde{\mathcal{W}}_\bullet(j)|| \to \tilde{W}_{1^j\lambda}(M)$ 是弱等价映射，其纤维可缩，这对谱序列论证至关重要。