[論文レビュー] Discrete groups of packed, non-positively curved, Gromov hyperbolic metric spaces

Nicola Cavallucci, Andrea Sambusetti|arXiv (Cornell University)|Feb 19, 2021

Geometric and Algebraic Topology参考文献 33被引用数 7

ひとこと要約

本稿は、滑らかで、Gromov-双曲的で、凸geodesic bicombingを持つ測度空間に作用する離散群に対して、定量的ティーツ代替を確立する。群の作用のsystole, diastole, エントロピー, 臨界指数について一様な下界を証明し、ultralimit技法を用いてGromov-Hausdorff極限におけるコンパクト性と剛性を示し、新たなクラスのコンパクトな距離空間を構成するとともに、極限群の構造的制約を明らかにする。

ABSTRACT

We prove a quantitative version of the classical Tits' alternative for discrete groups acting on packed Gromov-hyperbolic spaces supporting a convex geodesic bicombing. Some geometric consequences, as uniform estimates on systole, diastole, algebraic entropy and critical exponent of the groups, will be presented. Finally we will study the behaviour of these group actions under limits, providing new examples of compact classes of metric spaces.

研究の動機と目的

• 非cocompactで、packedで、Gromov-双曲的で、凸geodesic bicombingを持つ測度空間に作用する離散群に対するティーツ代替を拡張すること。
• このような群に対して、systole, diastole, エントロピー, 臨界指数といった一様な幾何的・力学的不変量を確立すること。
• Gromov-Hausdorff極限におけるこれらの群の作用の振る舞いを分析し、極限空間のコンパクト性と剛性を証明すること。
• 群の作用のultralimit構成により、極限に閉じた新たなコンパクトな距離空間のクラスを構成すること。
• 固定されたスケールでのパッキング条件が、すべてのスケールにわたる一様な制御をもたらす仕組みを提供する枠組みを提示すること。

提案手法

• GCB空間（geodesically completeで、凸geodesic bicombingを持つ完備測度空間）の概念を用い、CAT(0)空間やBusemann凸空間を一般化する。
• 固定されたスケール r₀ におけるパッキング条件を適用し、P₀, r₀, δ のみに依存する一様Margulis定数 ε₀ を導出する。
• Breuillard-Green-TaoのMargulis補題類似を用いて、ε₀-ほぼ安定化部分群が virtually nilpotent であることを示し、群の作用を制御可能にする。
• ultralimit技法を用いて、点付きGCB空間上での群の作用の極限を分析し、極限群と極限空間上の被覆写像を構成する。
• δ-双曲空間におけるHellyの定理と射影技法を用いて、距離と等長写像の力学的振る舞いを制御する。
• 適切な等長写像の列を用いて、極限において極限群から商群への全射準同型を構成し、極限における単射性と正規性を証明する。

実験結果

リサーチクエスチョン

• RQ1 cocompactでない条件下でも、packedで、Gromov-双曲的で、GCBを持つ測度空間に作用する離散群に対して、定量的ティーツ代替を確立できるか？
• RQ2 パッキングと凸性の仮定のもとで、systole, diastole, エントロピー, 臨界指数といった幾何的不変量に対して、一様な下界をどのように確立できるか？
• RQ3 このような空間における群の作用は、Gromov-Hausdorff極限においてどのように振る舞い、極限群はどのような構造を引き継ぐか？
• RQ4 ultralimit構成によって、極限について閉じた新たなコンパクトな距離空間のクラスを構成できるか。また、それらはどのような位相的・代数的性質を持つか？
• RQ5 固定されたスケールでのパッキング条件は、GCB空間において、すべてのスケールにわたる幾何的制御にどの程度まで拡張可能か？

主な発見

• P₀, r₀, δ のみに依存する一様Margulis定数 ε₀ が存在し、任意の点のε₀-ほぼ安定化部分群は virtually nilpotent である。
• 群の作用のsystoleは、s₀(P₀, r₀, δ, D) > 0 で一様に下から抑えられる。ここで D は作用のcodiameter である。
• 群の臨界指数と代数的エントロピーは、P₀, r₀, δ, D の関数として一様に下から抑えられる。
• GCB空間上での作用のultralimitにより得られる極限群 Γω は、離散的で、 torsion-free であり、自由部分群を含むため、非自明な構造を持つ。
• 正規被覆 πn: X̂n → X̄n のultralimitは、正規被覆 πω: X̂ω → X̄ω を与え、その自己同型群は商群 Qn = Γn/Γ′n のultralimitと同型である。
• 各 Qn がアーベル（または m-ステップnilpotent/可解）であれば、極限群 Γω/Γ′ω も同様の性質を持ち、Γ′ω が非自明であるため、Γω は非可解であり、自由部分群を含む。