[論文レビュー] Convex geodesic bicombings and hyperbolicity

Dominic Descombes, Urs Lang|arXiv (Cornell University)|Apr 20, 2014

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

ひとこと要約

本稿では、鋭錐的測地的二重曲線を備えた完備で有限次元の距離空間が、凸測地的二重曲線を備えることを確立し、有限な組合せ次元をもつ空間では、そのような凸二重曲線が一意的で、一貫的かつ可逆的であることを示している。主な貢献は、語的双曲群の包絡空間に自然な凸二重曲線を構成したことであり、この包絡空間は一意的な凸構造を備え、Z集合境界の性質を示す。これは、Bestvina–Messの定理を包絡空間へと拡張するものである。

ABSTRACT

A geodesic bicombing on a metric space selects for every pair of points a geodesic connecting them. We prove existence and uniqueness results for geodesic bicombings satisfying different convexity conditions. In combination with recent work by the second author on injective hulls, this shows that every word hyperbolic group acts geometrically on a proper, finite dimensional space X with a unique (hence equivariant) convex geodesic bicombing of the strongest type. Furthermore, the Gromov boundary of X is a Z-set in the closure of X, and the latter is a metrizable absolute retract, in analogy with the Bestvina--Mess theorem on the Rips complex.

研究の動機と目的

• コンパクトな測地的二重曲線を備える完備距離空間において、凸測地的二重曲線の存在を確立すること。
• 有限な組合せ次元をもつ距離空間において、任意の凸測地的二重曲線が必然的に一貫的で、可逆的かつ一意的であることを証明すること。
• これらの結果を語的双曲群の包絡空間に適用し、それが一意的な凸測地的二重曲線を備え、Z集合境界を有することを示すこと。
• Rips複体に関するBestvina–Messの定理を、双曲群の包絡空間の文脈へと拡張すること。

提案手法

• 離散化された凸性条件と「猫のなぞり」構成を用いて、凸性を近似し、徐々に離散化パラメータを小さくする。
• 距離空間における直線的曲線を、任意の固定点からの距離関数が凸関数であるようなものとして特徴づける。
• 2(n+1)-点不等式を用いたDressの組合せ次元理論の応用により、有限部分集合の構造を制御する。
• 1-Lipschitzなリトラクションを用いて、ℓ∞(X)からの線形測地線を包絡空間E(X)へと持ち上げ、鋭錐的性質を保つ。
• 重み付き距離和の上限から関数ν(h)を構成し、支援とランクが制御された距離関数f ∈ E(Z)を導出する。
• dimcomb(X) ≤ n を仮定したもとで、2(n+1)-点不等式を等号で満たす固定点を持たない対合jの存在を証明する。

実験結果

リサーチクエスチョン

• RQ1 任意の完備距離空間が鋭錐的測地的二重曲線を備えるならば、凸測地的二重曲線を備えるか？
• RQ2 有限な組合せ次元をもつ空間では、凸測地的二重曲線が必然的に一意的で、一貫的かつ可逆的か？
• RQ3 語的双曲群の包絡空間に自然な凸測地的二重曲線を定義できるか。また、その位相的性質は何か？
• RQ4 語的双曲群の包絡空間のGromov境界は、その閉包においてZ集合であるか。これはRips複体と類似しているか？
• RQ5 2(n+1)-点不等式と、距離不等式を等号で満たす固定点を持たない対合の存在との関係は何か？

主な発見

• 任意の完備距離空間が鋭錐的測地的二重曲線を備えるならば、凸測地的二重曲線を備える。これは、完備性の下で階層(E) ⇒ (D) を解決する。
• 有限な組合せ次元をもつ距離空間では、任意の凸測地的二重曲線が一意的で、一貫的かつ可逆的である。これは、この条件下で(D) ⇒ (C) を確立する。
• 語的双曲群Γの包絡空間E(Γ)は、一意的な凸測地的二重曲線を備え、それにより自然な凸空間となる。
• E(Γ)のGromov境界は、E(Γ)の閉包においてZ集合であり、E(Γ)は距離空間としての絶対リトラクトである。これは、Bestvina–Messの定理を包絡空間へと拡張するものである。
• 2(n+1)-点不等式は、組合せ次元≤nの空間を特徴づけ、この不等式の等号は固定点を持たない対合jにより達成され、∑d(zk,i(zk)) = ∑d(i(zk),zk+1) を満たす。
• 任意の有限集合Zについて|Z|=2n+2であり、固定点を持たない対合iが与えられたとき、rk(A(f))≤n かつ Zi⊂A(f) を満たすf∈E(Z)が存在するならば、2(n+1)-点不等式が等号で成立する別の固定点を持たない対合jが存在する。