[論文レビュー] Coarse injectivity, hierarchical hyperbolicity, and semihyperbolicity

Thomas Haettel, Nima Hoda+1 more|arXiv (Cornell University)|Sep 29, 2020

Geometric and Algebraic Topology参考文献 55被引用数 17

ひとこと要約

本稿は、階層的双曲空間における新しい距離を確立し、それが粗く単射的であり、元の距離と準等長的であることを示した。これにより、すべての階層的双曲群が粗く単射的であり、したがって強くショートカット的であることが証明された。さらに、均一に有界された幾何構造を持つ粗く単射的空間は強くショートカット的であることが示され、これらの群に強い構造的およびアルゴリズム的性質が生じる。具体的には、半双曲的性、解ける共役問題、および階層的擬凸部分群の有界パッキングが得られる。

ABSTRACT

We relate three classes of nonpositively curved metric spaces: hierarchically hyperbolic spaces, coarsely injective spaces, and strongly shortcut spaces. We show that every hierarchically hyperbolic space admits a new metric that is coarsely injective. The new metric is quasi-isometric to the original metric and is preserved under automorphisms of the hierarchically hyperbolic space. We show that every coarsely injective metric space of uniformly bounded geometry is strongly shortcut. Consequently, hierarchically hyperbolic groups -- including mapping class groups of surfaces -- are coarsely injective and coarsely injective groups are strongly shortcut. Using these results, we deduce several important properties of hierarchically hyperbolic groups, including that they are semihyperbolic, have solvable conjugacy problem, have finitely many conjugacy classes of finite subgroups, and that their finitely generated abelian subgroups are undistorted. Along the way we show that hierarchically quasiconvex subgroups of hierarchically hyperbolic groups have bounded packing.

研究の動機と目的

• 階層的双曲空間に、粗く単射的で、自己同型のもとで不変であるような新しい準等長的距離を確立すること。
• すべての均一に有界された幾何構造を持つ粗く単射的空間が強くショートカット的であることを証明すること。
• 階層的双曲群に対して、強いアルゴリズム的および幾何的性質（例えば、半双曲的性や解ける共役問題）を導出すること。
• 階層的双曲群の階層的擬凸部分群が有界パッキングを満たすことを示すこと。
• 非正曲率空間の3つのクラスを統一すること：階層的双曲空間、粗く単射的空間、強くショートカット的空間。

提案手法

• 有限ランクのメジアン空間におけるBowditchの単射的距離構成の一般化を用いて、階層的双曲空間 (X, S) に新しい距離 σ を構成する。
• ボールの粗いヘリの性質を用いて、元の距離 d と準等長的であり、かつ新しい距離 σ が粗く単射的であることを証明する。この性質は、ハイパーオービット空間におけるChepoi, Dragan, および Vaxès の結果の階層的一般化に基づく。
• 距離空間が粗く単射的であることと、その単射的包の粗く稠密であることとは同値であるという事実を用い、単射的包における最小半径関数を構成して、新しい距離を定義する。
• 階層的双曲空間におけるボールの粗いヘリの性質を適用し、新しい距離のもとで、互いに近いボール同士の交わりが一様に有界であることを示す。
• Riemann球面の (K,C)-準等長埋め込みのもとで、固定された半径のボール内に存在する点の数を有界化することで、均一に有界された幾何構造を持つ粗く単射的空間が強くショートカット的であることを証明する。
• 単射的包における最小半径関数の列の構成を用いて、このような埋め込みのもとで幾何が無限大に拡大する可能性があると仮定した場合に矛盾を導き出し、強くショートカット的であることを証明する。

実験結果

リサーチクエスチョン

• RQ1 任意の階層的双曲空間に、元の距離と準等長的で、自己同型のもとで不変な粗く単射的距離を備えられるか？
• RQ2 すべての均一に有界された幾何構造を持つ粗く単射的距離空間は強くショートカット的か？
• RQ3 階層的双曲群は、その粗く単射的構造から、半双曲的性や解ける共役問題といった強いアルゴリズム的性質を引き継ぐか？
• RQ4 階層的双曲群の階層的擬凸部分群は有界パッキングを満たすか？
• RQ5 階層的双曲空間、粗く単射的空間、強くショートカット的空間の3つのクラスは、包含関係および幾何的性質の観点からどのように関係しているか？

主な発見

• 任意の階層的双曲空間は、元の距離と準等長的で、かつ空間の自己同型群による不変性を満たす新しい距離 σ を備える。
• すべての均一に有界された幾何構造を持つ粗く単射的距離空間は強くショートカット的であり、粗く単射的性と強くショートカット性の直接的な関係が確立される。
• その結果、すべての階層的双曲群（マッピングクラス群を含む）は粗く単射的であり、したがって強くショートカット的である。
• 階層的双曲群は半双曲的であり、共役問題が解ける。また、有限部分群の共役類は有限個である。
• 階層的双曲群の有限生成アーベル部分群は歪曲せず、階層的擬凸部分群は有界パッキングを満たす。
• 本構成により、階層的双曲群に、自然で、同変かつ概ね測地的であり、強くショートカット的性質を満たす距離が得られる。