[论文解读] Uniformizing Gromov hyperbolic spaces with Busemann functions

Clark Butler|arXiv (Cornell University)|Jul 22, 2020

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

一句话总结

本文通过使用布塞曼函数对格罗莫夫双曲空间进行统一化，构造了一个不完备、无界的统一度量空间，其边界可自然地与相对于边界点的格罗莫夫边界相等同。该方法推广了上半平面模型的构造，并在CAT(−1)空间中实现了最优指数控制，得到了统一边界与度量空间 $ Z $ 的完备化之间的双利普希茨等价。

ABSTRACT

Given a complete Gromov hyperbolic space $X$ that is roughly starlike from a point $ω$ in its Gromov boundary $\partial_{G}X$, we use a Busemann function based at $ω$ to construct an incomplete unbounded uniform metric space $X_{\varepsilon}$ whose boundary $\partial X_{\varepsilon}$ can be canonically identified with the Gromov boundary $\partial_ωX$ of $X$ relative to $ω$. This uniformization construction generalizes the procedure used to obtain the Euclidean upper half plane from the hyperbolic plane. Furthermore we show, for an arbitrary metric space $Z$, that there is a hyperbolic filling $X$ of $Z$ that can be uniformized in such a way that the boundary $\partial X_{\varepsilon}$ has a biLipschitz identification with the completion $\bar{Z}$ of $Z$. We also prove that this uniformization procedure can be done at an exponent that is often optimal in the case of CAT$(-1)$ spaces.

研究动机与目标

• 通过用基于布塞曼函数的指数密度替代基于某一点的指数密度，推广格罗莫夫双曲空间的统一化方法。
• 构造一个不完备、无界的统一度量空间 $ X_\varepsilon $，其边界 $ \partial X_\varepsilon $ 可自然地与相对于边界点 $ \omega $ 的格罗莫夫边界 $ \partial_\omega X $ 相等同。
• 证明对于任意度量空间 $ Z $，其双曲填充 $ X $ 可被统一化，使得 $ \partial X_\varepsilon $ 与 $ \bar{Z} $ 双利普希茨等价。
• 证明在CAT(−1)空间中，统一化的指数可被最优选择，其范围超越了先前研究的考虑范围。

提出的方法

• 基于边界点 $ \omega \in \partial_G X $ 的布塞曼函数 $ b $，定义共形密度 $ \rho_\varepsilon(x) = e^{-\varepsilon b(x)} $，其中 $ \varepsilon = \log \alpha $。
• 通过使用 $ \rho_\varepsilon $ 进行共形变形，构造 $ X $ 上的新度量 $ d_\rho $，得到空间 $ X_\varepsilon $，其为一致完备且无界的。
• 证明 $ X_\varepsilon $ 与由 $ e^{-\varepsilon b(x)} $ 导出的度量之间是 $ \alpha^3 $-双利普希茨等价，从而可与已知的统一化结果进行比较。
• 在 $ \partial_\omega X $ 上应用参数为 $ \log \alpha $ 的视觉度量，该度量在映射 $ \psi: \bar{Z} \to \partial_\omega X $ 下与 $ \bar{Z} $ 上的度量一致。
• 利用边界等价映射 $ \varphi \circ \psi: \bar{Z} \to \partial X_\varepsilon $ 的双利普希茨性质，其常数仅依赖于 $ \alpha $ 和 $ \tau $。
• 应用双曲填充与格罗莫夫边界理论的结果，确保 $ X $ 是 $ \delta $-双曲且从 $ \omega $ 出发是 $ \frac{1}{2} $-粗略星形的。

实验结果

研究问题

• RQ1 能否使用布塞曼函数构造格罗莫夫双曲空间的统一化，以推广上半平面模型的构造？
• RQ2 在给定 $ Z $ 的双曲填充下，是否可能实现统一化空间边界与度量空间 $ Z $ 完备化之间的双利普希茨等价？
• RQ3 CAT(−1)空间中统一化的最优指数范围是什么？其与先前工作的范围相比有何扩展？
• RQ4 与基于点的密度相比，使用布塞曼函数作为共形密度在边界等价性和统一性方面有何差异？

主要发现

• 通过布塞曼函数进行统一化得到的空间 $ X_\varepsilon $ 是一致完备且无界的，且 $ \partial X_\varepsilon $ 可自然地与 $ \partial_\omega X $ 相等同。
• 对于任意度量空间 $ Z $，其双曲填充 $ X $ 可被统一化，使得 $ \partial X_\varepsilon $ 与 $ \bar{Z} $ 双利普希茨等价，双利普希茨常数仅依赖于 $ \alpha $ 和 $ \tau $。
• 统一化密度 $ \rho_\varepsilon(x) = e^{-\varepsilon b(x)} $ 是一个GH-密度，其常数 $ M = M(\alpha, \tau) $，确保了统一性。
• 该构造在CAT(−1)空间中实现了最优指数控制，其范围超越了先前工作考虑的 $ 0 < \varepsilon \leq \varepsilon_0 $ 范围。
• 边界等价 $ \partial X_\varepsilon \cong \bar{Z} $ 是双利普希茨的，常数 $ L = L(\alpha, \tau) $，该结论通过视觉度量与定理1.6得到验证。
• 该方法推广了博nk、海诺森和科斯凯拉的先前结果，并将其框架扩展至非局部紧空间与无界 $ Z $。