[论文解读] Ping-pong in Hadamard manifolds

Subhadip Dey, Michael Kapovich+1 more|arXiv (Cornell University)|Jun 19, 2018

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

一句话总结

该论文为负曲率夹紧的哈达玛流形中离散等距群建立了蒂茨替代的定量版本：任何由两个非椭圆等距生成的非初等离散子群，均包含一个由词长一致有界的元素生成的秩为2的自由子群。证明基于两种情况的乒乓论证——依据平移长度——利用马尔古利区域、凸包和双曲几何，构造出此类自由子群，并给出词长与幂次N的显式界。

ABSTRACT

In this paper, we prove a quantitative version of the Tits alternative for negatively pinched manifolds X. Precisely, we prove that a nonelementary discrete isometry subgroup of Isom(X) generated by two non-elliptic isometries g, f contains a free subgroup of rank 2 generated by isometries fN, h of uniformly bounded word length. Furthermore, we show that this free subgroup is convex-cocompact when f is hyperbolic.

研究动机与目标

• 为n维负曲率夹紧的哈达玛流形中离散等距群建立蒂茨替代的定量版本。
• 证明由两个非椭圆等距生成的群中，存在一个由两个等距生成的秩2自由子群，其词长一致有界。
• 表明当生成等距为双曲型时，所得自由子群为凸共轭紧致。
• 以维数n和曲率夹紧常数κ表示词长与幂次N的显式界。
• 解决2017年奥伯沃尔夫赫克研讨会提出的问题：在此几何设定下，定量蒂茨替代的实现。

提出的方法

• 根据平移长度τ(g) = infₓ d(x, g(x))，将等距分类为双曲型、椭圆型和抛物型。
• 将证明分为两种情况：(1) τ(f) ≥ ε/10 和 (2) τ(f) ≤ ε/10，其中ε = ε(n, κ)为马尔古利常数。
• 对于情况1（大平移长度），使用幂次f^N（N由δ和ε的函数有界）构造与h的乒乓对。
• 对于情况2（小平移长度），通过f的幂次共轭g，生成一组具有不相交马尔古利区域的等距，然后利用局部到整体原理，寻找凸包充分分离的一对。
• 利用凸包分离性，通过局部到整体原理对分段测地线路径应用乒乓论证。
• 利用δ-双曲空间中星形集为δ-拟凸，且拟凸集的凸包位于一致有界邻域内的事实。

实验结果

研究问题

• RQ1 能否为负曲率夹紧的哈达玛流形中离散等距群建立蒂茨替代的定量版本？
• RQ2 在该类群中，生成秩2自由子群的最小词长界是多少？
• RQ3 马尔古利区域与凸包的几何结构如何影响通过乒乓法构造自由子群？
• RQ4 在何种条件下，该方法生成的自由子群为凸共轭紧致？
• RQ5 能否以维数n和曲率夹紧常数κ表示词长与幂次N的显式界？

主要发现

• 存在一个函数L(n, κ)，使得任何由两个非椭圆等距f, g生成的非初等离散子群，均包含一个由f^N与h生成的秩2自由子群，其中h的词长至多为L，且N ≤ L。
• 当f为双曲型时，自由子群⟨f^N, h⟩为凸共轭紧致，通过在极限集补集上构造其作用的紧基本域得以证明。
• 在τ(f) ≤ ε/10的情况下，证明构造了一个共轭g′ = h^i g h^{-i}，使得f与g′的ε-马尔古利区域的凸包之间距离大于L(ε/10)，从而可应用乒乓论证。
• 界L(n, κ)通过双曲空间中的体积比较显式构造，涉及ε/3-球与半径R2 = nδ + L/2 + q + r(ε) + ε/3的球的体积。
• 构造中的常数k(L(ε/10), ε)满足V(κR2, n)/κ^n / V(ε/3, n) + 1，确保只需检查有限多个共轭即可找到合适的乒乓对。
• 自由子群生成元h的词长至多为2k(L(ε/10), ε) + 1，该值在n与κ下一致有界。