[论文解读] Geometric finiteness in negatively pinched Hadamard manifolds

Michael Kapovich, Beibei Liu|arXiv (Cornell University)|Jan 24, 2018

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

一句话总结

本文将Bonahon对双曲3空间中几何无穷 Kleinian 群的刻画推广至负曲率夹紧的 Hadamard 流形中的离散等距子群。证明了离散子群几何无穷当且仅当其存在一列闭测地线逃逸于每个紧致子集之外，且此类群具有不可数无穷（连续统基数）的非锥形极限点集，将Bishop定理推广至高秩对称空间与夹紧曲率情形。

ABSTRACT

In this paper, we generalize Bonahon's characterization of geometrically infinite torsion-free discrete subgroups of PSL(2, $\mathbb{C}$) to geometrically infinite discrete subgroups $Γ$ of isometries of negatively pinched Hadamard manifolds $X$. We then generalize a theorem of Bishop to prove that every discrete geometrically infinite isometry subgroup $Γ$ has a set of nonconical limit points with the cardinality of the continuum.

研究动机与目标

• 将Bonahon在双曲3空间中对几何无穷离散子群的刻画，推广至一般负曲率夹紧的 Hadamard 流形。
• 将Bishop关于几何无穷群中存在不可数多个非锥形极限点的结果，推广至夹紧负曲率流形中的离散等距子群。
• 以测地线逃逸、凸核结构与极限集分解为视角，建立几何有限性的等价刻画。
• 分析此类流形的凸核中非柱状端的极限集结构，证明非锥形点具有不可数基数。

提出的方法

• 通过视觉紧化与凸核几何，将Bonahon的测地线逃逸准则推广至负曲率夹紧的 Hadamard 流形。
• 通过测地射线方向上轨道点在均匀邻域中累积的定义，引入锥形极限点的概念。
• 通过稳定子作用下极限集去掉该点后商空间的紧致性，定义有界抛物不动点。
• 通过分析凸核中非柱状分支的拓扑结构，构造一列逃逸于紧致子集之外的闭测地线。
• 将适当的分段测地路径提升至万有覆盖，并通过嵌套紧集与测地极限证明其端点属于极限集。
• 运用双曲三角恒等式（如反双余弦与双曲正弦的界）进行度量比较，控制Martraux邻域构造中的距离。

实验结果

研究问题

• RQ1 Bonahon在双曲3空间中对几何无穷群的测地线逃逸准则，能否推广至高维、负曲率夹紧的 Hadamard 流形？
• RQ2 Bishop关于几何无穷群中存在连续统基数非锥形极限点的结果，能否推广至夹紧负曲率流形中的离散等距子群？
• RQ3 此类流形的凸核中非柱状端的极限集具有怎样的拓扑与测度结构？
• RQ4 几何有限性的等价定义——通过凸核、端与极限集分解——在夹紧曲率设定下如何推广？
• RQ5 几何无穷离散子群在负曲率夹紧 Hadamard 流形等距群作用下的非锥形极限点集具有何种基数？

主要发现

• 若一负曲率夹紧 Hadamard 流形的离散等距子群Γ，当且仅当在M = X/Γ中存在一列逃逸于每个紧致子集之外的闭测地线时，Γ为几何无穷。
• 任意几何无穷离散子群Γ的非锥形极限点集具有连续统基数。
• 几何有限性等价于Γ的每个极限点均为锥形极限点或抛物不动点，推广了Beardon–Maskit与Bishop的定理。
• 对于凸核非柱状部分中任意非柱状端e，其极限集Λ(e)具有连续统基数。
• 非柱状部分中任意非柱状端的邻域C，其极限集Λ(C)具有连续统基数。
• 非柱状部分中任意无界分支的极限集包含一个连续统基数的子集，表明此类区域中存在不可数多个非锥形极限点。