[论文解读] Stable cubulations, bicombings, and barycenters

Matthew Gentry Durham, Yair N. Minsky+1 more|arXiv (Cornell University)|Sep 28, 2020

Geometric and Algebraic Topology被引用 7

一句话总结

本文证明了在可着色的分层双曲空间（HHS），包括映射类群和Teichmüller空间，任意有限集的粗凸包可通过有限CAT(0)立方复形稳定近似。稳定的立方化构造确保输入数据的有界扰动仅引起立方结构的有界变化，从而首次实现了该类空间与群的粗等距、等变双路径（bicombings）及稳定粗中点（coarse barycenters）的统一构造。

ABSTRACT

We prove that the hierarchical hulls of finite sets of points in mapping class groups and Teichmüller spaces are stably approximated by a CAT(0) cube complexes, strengthening a result of Behrstock-Hagen-Sisto. As applications, we prove that mapping class groups are semihyperbolic and Teichmüller spaces are coarsely equivariantly bicombable, and both admit stable coarse barycenters. Our results apply to the broader class of "colorable" hierarchically hyperbolic spaces and groups.

研究动机与目标

• 为可着色分层双曲空间（HHS）中任意有限集的粗凸包开发一种稳定立方化方法，确保输入扰动下的结构变化有界。
• 通过稳定的立方模型，将双路径与粗中点的构造推广至映射类群和Teichmüller空间。
• 通过引入对扰动的稳定性，推广先前关于立方近似的成果，这是几何与算法应用中的关键改进。
• 证明可着色HHS可通过稳定立方化中$ι^1$-测地线导出的层次路径实现粗等距、等变双路径。
• 建立映射类群和Teichmüller空间为拟双曲（semihyperbolic）并存在稳定粗中点，其应用涵盖Novikov猜想与共轭问题可解性等群性质。

提出的方法

• 构造一个有限CAT(0)立方复形，以稳定方式近似可着色HHS中任意有限集的粗凸包，其维数受HHS结构复杂度的限制。
• 采用稳定立方化过程，使得输入有限集$F$的有界变化仅引起立方结构的有界变化——具体表现为超平面插入与删除的数量有界。
• 在立方模型中利用$ι^1$-测地线定义离散的、粗等距的双路径，该路径映射到HHS中的层次路径，并在每个双曲分量上均匀投影为拟测地线。
• 利用CAT(0)立方复形上的中位映射及其$K$-中位性质，确保所构造路径满足具有统一常数的层次路径条件。
• 通过三角不等式与统一的拟测地线性质，证明在端点扰动下双路径的共轨性，常数仅依赖于HHS结构。
• 建立双路径在$\mathrm{Aut}({\mathcal{X}},\mathfrak{S})$作用下的粗等变性，当作用自由时实现完全等变。

实验结果

研究问题

• RQ1 能否使分层双曲空间中粗凸包的立方近似在输入有限集的有界扰动下保持稳定？
• RQ2 稳定的立方化构造是否能为可着色HHS（包括映射类群和Teichmüller空间）提供粗等距、等变双路径？
• RQ3 能否利用稳定的立方模型在可着色HHS中构造稳定粗中点？
• RQ4 CAT(0)立方复形上的中位映射与HHS中层次路径结构之间有何关系？
• RQ5 立方化过程的稳定性在多大程度上确保了所得双路径与中点构造的统一性与拟等距不变性？

主要发现

• 可着色HHS中任意有限集的粗凸包可被有限CAT(0)立方复形稳定近似，且有界输入扰动仅通过超平面的插入与删除导致立方结构的有界变化。
• 映射类群与Teichmüller空间（无论采用Teichmüller度量或Weil-Petersson度量）被证明为拟双曲，其根源在于存在由层次路径实现的粗等距、$\mathrm{Aut}({\mathcal{X}},\mathfrak{S})$-等变双路径。
• 该双路径具有统一的拟测地线性质，且为粗等变，常数仅依赖于HHS结构，并在有界端点扰动下满足参数化共轨条件。
• 可着色HHS中存在稳定粗中点，通过稳定立方化构造，为有限集提供粗等距、等变的中心点选择。
• 该构造可推广至所有可着色HHS，包括右-angled Artin与Coxeter群、不含Nil/Sol分量的3-流形群，以及各类小扰动与组合群。
• 双路径所用的层次路径在HHS的每个双曲分量中均为统一拟测地线，满足层次路径定义，且统一常数$D = D(\mathfrak{S})$。