[论文解读] A combinatorial proof of the Degree Theorem in Auter space

Robert A. McEwen, Matthew C. B. Zaremsky|arXiv (Cornell University)|Jul 27, 2009

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

一句话总结

本文利用离散莫尔斯理论，对自同构空间中的次数定理给出了一个全新的组合证明，证明子水平集 $A_{n,k}$ 是 $(k-1)$-连通的。该证明依赖于对自同构空间的骨架 $L_n$ 中局部下降链的分析，将其分解为 d-down-link 和 d-up-link 两部分，并证明这两部分的同伦类型具有高度连通性，从而证明了 $L_{n,k}$ 的全局连通性。

ABSTRACT

We use discrete Morse theory to give a new proof of the Degree Theorem in Auter space A_n. There is a filtration of A_n into subspaces A_{n,k} using the degree of a graph, and the Degree Theorem says that each A_{n,k} is (k-1)-connected. This result is useful, for example to calculate stability bounds for the homology of Aut(F_n). The standard proof of the Degree Theorem is global in nature. Here we give a proof that only uses local considerations, and lends itself more readily to generalization.

研究动机与目标

• 提供自同构空间中次数定理的一个新局部证明，该定理断言子水平集 $A_{n,k}$ 是 $(k-1)$-连通的。
• 用基于离散莫尔斯理论的方法，替代 Hatcher 和 Vogtmann 原证明中的全局形变论证，以实现更好的可推广性。
• 通过将下降链分解为 d-down-link 和 d-up-link 两部分，分析自同构空间骨架 $L_n$ 中顶点的连通性。
• 证明下降链的同伦类型要么是可缩的，要么同伦等价于维度为 $d_0(\rho) - 1$ 的球面的楔和，具体取决于是否存在决定性边。

提出的方法

• 在自同构空间的骨架 $L_n$ 上定义一个高度函数 $h$，该函数细化了次数函数 $d_0$，从而可应用离散莫尔斯理论。
• 利用离散莫尔斯理论，将全局连通性问题转化为对每个顶点处下降链的局部分析。
• 将顶点 $\Gamma$ 的下降链分解为 d-down-link（与顶点度数和爆破结构相关）和 d-up-link（与边结构和划分相关）的连通和。
• 通过证明 d-down-link 同伦等价于维度为 $V-3$ 的球面的楔和，来分析 d-down-link，其中 $V$ 为非基点顶点的数量。
• 在无决定性边的条件下，通过证明 d-up-link 同伦等价于维度为 $d_0(\Gamma) - V$ 的球面的楔和，来分析 d-up-link。
• 通过连通和操作结合 d-down-link 和 d-up-link 的同伦类型，证明整个下降链同伦等价于 $\bigvee S^{d_0(\Gamma)-1}$ 或可缩。

实验结果

研究问题

• RQ1 是否可以仅使用局部数据而非全局形变论证来证明自同构空间中的次数定理？
• RQ2 在合适的高度函数下，骨架 $L_n$ 中顶点的下降链的同伦类型是什么？
• RQ3 下降链的 d-down-link 和 d-up-link 两部分如何共同贡献于其整体连通性？
• RQ4 在何种条件下，下降链是可缩的，而非同伦等价于球面的楔和？
• RQ5 该方法能否推广到其他自构群，例如部分对称自构群？

主要发现

• 自同构空间骨架 $L_n$ 中任意顶点 $\Gamma$ 的下降链要么是可缩的，要么同伦等价于维度为 $d_0(\Gamma) - 1$ 的球面的楔和。
• 当 $\Gamma$ 无决定性边时，d-up-link 同伦等价于 $\bigvee S^{d_0(\Gamma) - V}$，其中 $V$ 为非基点顶点的数量。
• 当 $\Gamma$ 无决定性边时，d-down-link 同伦等价于 $\bigvee S^{V - 3}$，其连通和结果为 $\bigvee S^{d_0(\Gamma) - 1}$。
• 由满足 $d_0(\Gamma) \leq k$ 的顶点构成的子复形 $L_{n,k}$ 是 $(k-1)$-连通的，这由下降链的连通性所确立。
• 该结果通过一种局部的、组合的方法确认了自同构空间中的次数定理，且该方法易于推广至原始设定之外的情形。