[论文解读] Entropy and drift for word metric on relatively hyperbolic groups

Matthieu Dussaule, Ilya Gekhtman|arXiv (Cornell University)|Nov 27, 2018

Geometric and Algebraic Topology参考文献 2被引用 5

一句话总结

本文证明，在非初等相对双曲群上，对于具有有限超指数矩的容许随机游走，若满足特定几何条件，则Guivarc’h不等式 $ h \leq lv $ 严格成立（即 $ h < lv $）——具体而言，当群具有至少秩2的几乎阿贝尔抛物子群、球面Bowditch边界，或具有几乎幂零因子的自由积时。关键结果表明，Guivarc’h不等式中等式成立意味着Green度量与词度量大致等价，从而导致Green漂移呈现离散结构，进而在边界去掉两点后不连通时，与边界的拓扑连通性产生矛盾。

ABSTRACT

We are interested in the Guivarc'h inequality for admissible random walks on finitely generated relatively hyperbolic groups, endowed with a word metric. We show that for random walks with finite super-exponential moment, if this inequality is an equality, then the Green distance is roughly similar to the word distance, generalizing results of Blach{è}re, Ha{ï}ssinsky and Mathieu for hyperbolic groups [4]. Our main application is for relatively hyperbolic groups with respect to virtually abelian subgroups of rank at least 2. We show that for such groups, the Guivarc'h inequality with respect to a word distance and a finitely supported random walk is always strict.

研究动机与目标

• 确定在何种条件下，相对双曲群上的随机游走满足Guivarc’h不等式 $ h \leq lv $ 严格成立。
• 研究Guivarc’h不等式中等式成立时的几何含义，特别是Green度量与词度量之间的关系。
• 建立Green漂移呈现离散性的条件，从而在边界结构中引发拓扑矛盾。
• 将双曲群上的结果推广至更广泛的具有抛物子群或球面边界的相对双曲群类。

提出的方法

• 通过词度量与Green度量分析有限生成相对双曲群上随机游走的渐近行为。
• 利用条件 $ h = lv $ 推出Green距离 $ d_G $ 与词距离 $ d_w $ 大致等价，即存在常数 $ C $ 使得 $ |d_G - v d_w| \leq C $。
• 在边界上应用交比，证明若 $ h = lv $，则任意四个锥形极限点的交比属于离散集 $ \mathrm{e}^{\alpha_G \mathbb{N}} $。
• 利用边界的拓扑性质：若去掉两个锥形极限点后边界被分为有限多个连通分支，则由交比的连续性与离散性将导致矛盾。
• 利用双曲元素在边界上的作用，证明交比在连通分支上必须为常数，从而在取值不同时（如1与小于1）产生矛盾。
• 将结果应用于特定类群：具有至少秩2的几乎阿贝尔抛物子群的群、具有球面Bowditch边界的群，以及具有至少一个几乎幂零因子的自由积。

实验结果

研究问题

• RQ1 在何种相对双曲群条件下，Guivarc’h不等式 $ h \leq lv $ 严格成立？
• RQ2 若Guivarc’h不等式中等式 $ h = lv $ 成立，会产生何种几何后果？
• RQ3 边界结构（如去掉两点后是否连通）如何限制Green漂移的可能取值？
• RQ4 在Guivarc’h不等式中等式成立时，Green漂移的离散性是否会导致边界结构中的拓扑矛盾？

主要发现

• 对于具有至少秩2的几乎阿贝尔抛物子群的相对双曲群，Guivarc’h不等式始终严格成立：$ h < lv $。
• 对于具有球面Bowditch边界（维度 $ \geq 2 $）的相对双曲群，由于边界去掉两点后仍保持拓扑连通，Guivarc’h不等式始终严格成立。
• 对于至少包含一个几乎幂零因子的自由积群，在有限超指数矩条件下，Guivarc’h不等式始终严格成立。
• 若 $ h = lv $，则Green度量 $ d_G $ 与词度量 $ d_w $ 大致等价，即存在常数 $ C $ 使得 $ |d_G - v d_w| \leq C $。
• 在 $ h = lv $ 条件下，任意双曲元素 $ g $ 的Green漂移 $ l^G(g) $ 属于离散集 $ \alpha_G \mathbb{N} $，意味着漂移是量子化的。
• 若假设 $ \partial\hat{\Gamma} \setminus \{\xi_1, \xi_2\} $ 具有有限多个连通分支，则在 $ h = lv $ 时将导致矛盾，原因在于交比的连续性与其离散像之间的相互作用。