[论文解读] Convex geodesic bicombings and hyperbolicity

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

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

一句话总结

本论文证明，每个具有圆锥型测地线双连通的完备、有限维度度量空间均允许存在凸测地线双连通，且在有限组合维数的空间中，此类凸双连通具有唯一性、一致性与可逆性。关键贡献在于在字双曲群的内蕴包（injective hull）上构造了一个典范凸双连通，该包继承了唯一的凸结构并展现出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-集边界性质。
• 将Bestvina–Mess定理关于Rips复形的结果推广至双曲群的内蕴包设定。

提出的方法

• 采用离散凸性条件与“猫线结”（'cat's cradle'）构造，以逼近凸性并逐步减小离散化参数。
• 将测地线空间中的直线曲线表征为：对任意固定点，其距离函数为凸函数。
• 通过2(n+1)-点不等式应用Dress的组合维数理论，以控制有限子集的结构。
• 利用1-Lipschitz的收缩映射，将ℓ∞(X)中的直线测地线提升至内蕴包E(X)，同时保持圆锥性质。
• 从加权距离和的上确界构造函数ν(h)，以导出具有受控紧支集与秩的度量泛函f ∈ E(Z)。
• 在假设dimcomb(X) ≤ n的条件下，证明存在一个无不动点的对合j，使得其满足2(n+1)-点不等式且取等号。

实验结果

研究问题

• RQ1 每个具有圆锥型测地线双连通的完备度量空间是否都允许存在凸测地线双连通？
• RQ2 在有限组合维数的空间中，凸测地线双连通是否必然是唯一、一致且可逆的？
• RQ3 字双曲群的内蕴包能否配备一个典范凸测地线双连通？其拓扑性质为何？
• RQ4 字双曲群的内蕴包的Gromov边界是否在其闭包中构成Z-集，类似于Rips复形的情形？
• RQ5 2(n+1)-点不等式与存在一个满足距离不等式的无不动点对合之间的关系为何？

主要发现

• 每个具有圆锥型测地线双连通的完备度量空间均允许存在凸测地线双连通，从而在完备性假设下解决了层级关系(E) ⇒ (D)。
• 在有限组合维数的度量空间中，任意凸测地线双连通均具有唯一性、一致性和可逆性，从而在该条件下确立了(D) ⇒ (C)。
• 字双曲群Γ的内蕴包E(Γ)支持唯一的凸测地线双连通，使其成为一个典范凸空间。
• E(Γ)的Gromov边界在其闭包中构成Z-集，且E(Γ)是可度量化的绝对重着空间，从而将Bestvina–Mess定理推广至内蕴包。
• 2(n+1)-点不等式刻画了组合维数≤n的空间，且当存在一个无不动点对合j满足∑d(zk,i(zk)) = ∑d(i(zk),zk+1)时，该不等式取等号。
• 对任意满足|Z|=2n+2的有限子集Z及一个无不动点对合i，若存在f∈E(Z)满足rk(A(f))≤n且Zi⊂A(f)，则必存在另一个不同的无不动点对合j，使得2(n+1)-点不等式取等号。