[論文レビュー] 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）における有限集合が、安定的に近似可能な有限CAT(0)立方複体によって、粗挙動の包絡線をもつことを確立している。安定的立方体化構成により、入力データの有界な摂動が立方体構造に与える影響も有界に抑えられ、この広範な空間および群のクラスに対して、初めての一様な粗挙動の等長的二重結合および安定的粗挙動重心の構成が可能になる。

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）における有限集合の粗挙動の包絡線に対する安定的立方体化法を開発し、入力の摂動に対して構造的変化が有界に抑えられることを保証する。
• 安定的立方体モデルを用いて、マッピングクラス群およびテイヒミュラー空間における二重結合および粗挙動重心の構成を拡張する。
• 従来の立方体近似に関する結果を一般化し、摂動に対する安定性を導入することで、幾何学的およびアルゴリズム的応用における重要な向上を実現する。
• 色分け可能なHHSが、安定的立方体化における$ι^1$-測地線から導かれる階層測地線を用いて、粗挙動の等長的二重結合を有することを証明する。
• マッピングクラス群およびテイヒミュラー空間が半双曲的であり、安定的粗挙動重心を有することを確立し、ノビコフ予想や共役問題の可解性といった群の性質への応用を示す。

提案手法

• 色分け可能なHHSにおける任意の有限集合の粗挙動の包絡線を、次元がHHS構造の複雑さに比例する有限CAT(0)立方複体で安定的に近似する。
• 入力の有限集合$F$に生じる有界な変化が、立方体構造に与える影響が有界である、すなわち有界な数の超平面の挿入・削除に抑えられる、安定的立方体化プロセスを用いる。
• 立方体モデル内の$ι^1$-測地線を用いて離散的・粗挙動的な二重結合を定義し、HHSにおける階層測地線に写像され、各双曲的成分への射影が一様に準測地線的になるようにする。
• CAT(0)立方複体上の中央値写像とその$K$-中央値性質を活用し、構成されたパスが一様な定数を用いて階層測地線条件を満たすことを保証する。
• 三角不等式と一様な準測地線性質を用いて、端点の摂動に対する二重結合パスの共通走行性を証明し、定数はHHS構造にのみ依存する。
• 入力の摂動に対して、$\mathrm{Aut}({\mathcal{X}},\mathfrak{S})$作用に関して粗挙動の等長性を確立する。作用が自由であれば完全な等長性が得られる。

実験結果

リサーチクエスチョン

• RQ1 階層的双曲空間における粗挙動の包絡線の立方体近似が、入力の有限集合に対する有界な摂動に対して安定的に行えるか。
• RQ2 安定的立方体化構成が、色分け可能なHHS（マッピングクラス群やテイヒミュラー空間を含む）に対して、粗挙動の等長的二重結合をもたらすか。
• RQ3 安定的立方体モデルを用いて、色分け可能なHHSにおける安定的粗挙動重心を構成できるか。
• RQ4 CAT(0)立方複体上の中央値写像とHHSにおける階層測地線構造との関係は何か。
• RQ5 立方体化プロセスの安定性が、二重結合および重心構成の均一性と等長写像不変性をどの程度保証するか。

主な発見

• 色分け可能なHHSにおける任意の有限集合の粗挙動の包絡線は、有界な入力摂動が生じる場合、超平面の挿入・削除による有界な構造的変化を伴う有限CAT(0)立方複体によって安定的に近似可能である。
• マッピングクラス群およびテイヒミュラー空間（テイヒミュラーまたはウェイリ・ピーターソン計量を用いる）は、階層測地線による粗挙動の$\mathrm{Aut}({\mathcal{X}},\mathfrak{S})$-等長的二重結合の存在のおかげで、半双曲的であることが示された。
• 二重結合は一様に準測地的であり、粗挙動の等長的である。定数はHHS構造にのみ依存し、端点の摂動が有界な範囲にある場合のパrametrized共通走行性を満たす。
• 色分け可能なHHSには安定的粗挙動重心が存在し、安定的立方体化を用いて構成され、有限集合に対する粗挙動の等長的中心点選択を提供する。
• この構成は、右アーティン群やコクセター群、Nil/Sol成分を含まない3次元多様体群、およびさまざまな小変形および結合群を含む、すべての色分け可能なHHSに一般化可能である。
• 二重結合に用いられる階層測地線は、HHSの各双曲的成分において一様に準測地的であり、一様定数$D = D(\mathfrak{S})$を用いて階層測地線定義を満たす。