[论文解读] Martin boundary covers Floyd boundary

Ilya Gekhtman, Victor Gerasimov+2 more|arXiv (Cornell University)|Aug 7, 2017

Geometric and Algebraic Topology被引用 10

一句话总结

本文为具有有限支撑随机游走的有限生成群，建立了从 Martin 边界到 Floyd 边界的连续、等变满射，证明了 Floyd 边界中锥点的原像在 Martin 边界中为单点集。关键结果将双曲群的 Ancona 不等式推广至相对双曲及非双曲情形，并将 Karlsson 的拟测地线估计扩展至无限支撑测度，通过一种新颖的 Green-Floyd 度量比较方法，统一了概率与几何边界理论。

ABSTRACT

For finitely supported random walks on finitely generated groups $G$ we prove that the identity map on $G$ extends to a continuous equivariant surjection from the Martin boundary to the Floyd boundary, with preimages of conical points being singletons. This yields new results for relatively hyperbolic groups. Our key estimate relates the Green and Floyd metrics, generalizing results of Ancona for random walks on hyperbolic groups and of Karlsson for quasigeodesics. We then apply these techniques to obtain some results concerning the harmonic measure on the limit sets of geometrically finite isometry groups of Gromov hyperbolic spaces. .

研究动机与目标

• 建立有限生成群的 Martin 边界（概率）与 Floyd 边界（几何）之间的拓扑与动力关系。
• 将双曲群的 Ancona 不等式推广至具有无限支撑测度的相对双曲及非双曲情形。
• 通过将 Green 度量与 Floyd 度量关联，统一概率谐分析与几何群论。
• 证明 Martin 边界通过连续、等变且满射的映射覆盖 Floyd 边界，且在锥点处原像为单点集。

提出的方法

• 推导一个新不等式，关联 Green 度量 $d_{\mathcal{G}}$ 与 Floyd 度量 $\delta^{f}_{y}(x,z)$，表明存在递减函数 $A$，使得 $d_{\mathcal{G}}(x,y)+d_{\mathcal{G}}(y,z) \leq d_{\mathcal{G}}(x,z)+A(\delta^{f}_{y}(x,z))$。
• 使用概率估计：对任意 $\varepsilon>0$，从 $x$ 到 $y$ 的随机路径经过以 $z$ 为中心、半径为 $R(\delta^{f}_{z}(x,y))$ 的球体的概率超过 $1-\varepsilon$，从而将随机游走行为与 Floyd 几何联系起来。
• 通过证明 $d(v,[x,y]) \leq K(\delta^{f}_{v}(x,y))$，将 Karlsson 的拟测地线估计推广至无限支撑测度，其中 $K$ 为递减函数，取代经典拟测地线不等式中的常数。
• 利用度量比较与调和测度技术，构造从 Martin 边界到 Floyd 边界的连续、$G$-等变满射 $\pi: \partial_{\mathcal{M}}G \to \partial_{f}G$。
• 证明映射 $\pi$ 下锥点的原像为单点集，表明当所有 Floyd 边界点均为锥点时，该映射为同胚。
• 将结果应用于相对双曲群，证明从 Martin 边界到 Bowditch 边界的复合映射 $\psi = \phi \circ \pi$ 连续且等变，且其在锥点上的纤维为单点集，应用于极限集上的调和测度。

实验结果

研究问题

• RQ1 对于具有有限支撑随机游走的有限生成群，Martin 边界是否以连续、等变满射的方式覆盖 Floyd 边界？
• RQ2 Ancona 不等式（最初针对双曲群与有限测度）能否推广至相对双曲群与无限支撑测度？
• RQ3 是否存在一种统一的 Green 度量与 Floyd 度量之间的比较，以捕捉非双曲情形下随机游走的双曲类似行为？
• RQ4 Martin 到 Floyd 边界映射的原像结构如何，特别是对于锥点？
• RQ5 几何有限等距群极限集上的调和测度与 Martin 及 Floyd 边界之间有何关系？

主要发现

• 恒等映射在 $G$ 上可延拓为连续、$G$-等变满射 $\pi: \partial_{\mathcal{M}}G \to \partial_{f}G$，证明 Martin 边界覆盖 Floyd 边界。
• Floyd 边界中锥点的原像在 $\pi$ 下为单点集，表明存在强烈的拓扑对应关系。
• 对任意 $\varepsilon>0$，从 $x$ 到 $y$ 的随机路径进入以 $z$ 为中心、半径为 $R(\delta^{f}_{z}(x,y))$ 的球体的概率超过 $1-\varepsilon$，将随机游走行为与 Floyd 几何联系起来。
• 不等式 $d_{\mathcal{G}}(x,y)+d_{\mathcal{G}}(y,z) \leq d_{\mathcal{G}}(x,z)+A(\delta^{f}_{y}(x,z))$ 成立，其中 $A$ 为递减函数，将 Ancona 的均匀界推广至非双曲情形。
• 从 Martin 边界到 Bowditch 边界的复合映射 $\psi = \phi \circ \pi$ 连续且等变，且其在锥点上的纤维为单点集。
• 若群含有抛物元素，则轨道映射 $G \to Go \subset X$ 不可能是拟等距嵌入，与推导出的度量比较矛盾，从而确认了边界对应关系的非平凡性。