[论文解读] Normalizer, divergence type and Patterson measure for discrete groups of the Gromov hyperbolic space

Katsuhiko Matsuzaki, Yasuhiro Yabuki+1 more|arXiv (Cornell University)|Nov 9, 2015

Geometric and Algebraic Topology参考文献 14被引用 7

一句话总结

该论文证明了在完备测地 $δ$-双曲空间上，非初等的发散型离散等距群的 Patterson 测度在其正规化子下是拟不变的。利用此结果，作者建立了两个关键应用：(1) 此类群不允许可约共轭；(2) 任意非初等正规子群的临界指数严格大于原群临界指数的一半，通过拟共形测度理论与阴影引理技术，将经典 Kleinian 群结果推广至更广泛的 Gromov 双曲设定。

ABSTRACT

For a non-elementary discrete isometry group $G$ of divergence type acting on a proper geodesic $δ$-hyperbolic space, we prove that its Patterson measure is quasi-invariant under the normalizer of $G$. As applications of this result, we have: (1) under a minor assumption, such a discrete group $G$ admits no proper conjugation, that is, if the conjugate of $G$ is contained in $G$, then it coincides with $G$; (2) the critical exponent of any non-elementary normal subgroup of $G$ is strictly greater than half of that for $G$.

研究动机与目标

• 将经典 Kleinian 群中 Patterson 测度在正规化子下的不变性结果，推广至作用于完备测地 $δ$-双曲空间的离散等距群。
• 建立此类群不允许可约共轭的条件，将刚性结果推广至 Gromov 双曲设定。
• 推导非初等正规子群临界指数的严格下界，表明其严格大于母群临界指数的一半。
• 通过拟共形测度理论与阴影引理论证，在双曲度量空间中统一并拓展现有关于临界指数与共形测度的结果。

提出的方法

• 利用拟共形测度理论与 $s$-维拟共形不变性概念，定义 Gromov 双曲空间中的 Patterson 测度。
• 应用阴影引理控制 Poincaré 级数中轨道计数的增长，并将其与临界指数关联。
• 采用拟测地线逼近与 Gromov 乘积估计，比较轨道点与测地线段之间的距离。
• 利用发散型条件确保 Patterson 测度在群作用下具有唯一性与良好缩放行为。
• 通过映射 $\iota_h$ 的共轭论证，将群 $G$ 中的轨道和与正规子群 $\Gamma$ 中的轨道和联系起来，利用正规化子作用。
• 结合 Poincaré 级数收敛性与发散性的估计，推导临界指数不等式。

实验结果

研究问题

• RQ1 在 Gromov 双曲空间上，发散型离散等距群的 Patterson 测度是否在其正规化子下保持拟不变？
• RQ2 能否利用测度论与几何技术，在双曲空间中证明此类群不允许可约共轭？
• RQ3 在此设定下，非初等正规子群的临界指数相对于其母群的最小可能值是多少？
• RQ4 发散型条件如何影响 Poincaré 级数的行为以及由此产生的临界指数界？

主要发现

• 在完备测地 $δ$-双曲空间上，非初等发散型离散等距群的 Patterson 测度在其正规化子下是拟不变的，将经典双曲空间结果推广至 Gromov 双曲设定。
• 在该空间上均匀作用的离散发散型群不允许可约共轭：若 $\alpha G \alpha^{-1} \subset G$，则必有 $\alpha G \alpha^{-1} = G$。
• 此类群 $G$ 的任意非初等正规子群 $\Gamma$ 的临界指数严格大于 $G$ 的临界指数的一半，即 $e_a(\Gamma) > \frac{1}{2} e_a(G)$。
• 证明依赖于利用阴影引理对 Poincaré 级数进行精细估计，并结合共轭映射，表明当假设 $e_a(\Gamma) = \frac{1}{2} e_a(G)$ 时，$G$ 的级数发散可推出相关 $\Gamma$ 上求和的发散，从而导出矛盾。
• 在此设定下，任意非初等离散群的临界指数 $e_a(G)$ 严格为正，这是通过存在双曲元素及极限集的严格包含关系所确立的。
• 该结果将先前关于 Kleinian 群中临界指数与共轭刚性的研究推广至更广泛的 Gromov 双曲空间背景，对双曲群与几何群论具有应用价值。