2025-11-10T02:48:55.056637

Asymptotically large free semigroups in Zariski dense discrete subgroups of Lie groups

Skenderi
Let $G$ be a connected algebraic semisimple real Lie group with finite center and no compact factors, and let $Γ$ be a Zariski dense discrete subgroup of $G$. We show that $Γ$ contains free, finitely generated subsemigroups whose critical exponents are arbitrarily close to that of $Γ$. Furthermore, these subsemigroups are Zariski dense in $G$ and $P$-Anosov in the sense of Kassel--Potrie. This shows that no gap phenomenon holds for critical exponents of discrete subsemigroups of Lie groups, which in contrast with Leuzinger's critical exponent gap theorem for infinite covolume discrete subgroups of Lie groups with Kazhdan's property (T), proven in 2003. As an important step towards our construction, we introduce and study properties of a particular type of loxodromic element, which we call an $ε$-contracting element, and construct our free subsemigroups in such a way that all of their elements are either $ε$-contracting or $2ε$-contracting. One of the main novelties in this approach is that it enables us to study the action of $G$ on its Furstenberg boundary $G/P$ intrinsically, in the sense that we do not embed $G/P$ into a product of projective spaces associated to the proximal irreducible algebraic Tits representations of $G$. This definition is inspired by the notion of $ε$-proximal elements, which plays a prominent role in the seminal works of Abels--Margulis--Soifer on the actions of linear groups on projective spaces and of Benoist on algebraic and asymptotic properties of discrete subgroups of semisimple Lie groups. We hope this perspective will lead to further developments in the study of discrete subgroups of semisimple Lie groups and provide simpler proofs of results currently in the literature.
academic

Asymptotically large free semigroups in Zariski dense discrete subgroups of Lie groups

基本信息

  • 论文ID: 2510.10863
  • 标题: Asymptotically large free semigroups in Zariski dense discrete subgroups of Lie groups
  • 作者: Aleksander Skenderi
  • 分类: math.GR math.DG math.DS math.GT
  • 发表时间: 2025年10月13日 (arXiv预印本)
  • 论文链接: https://arxiv.org/abs/2510.10863

摘要

本文研究了连通代数半单实李群 GG（有限中心且无紧致因子）中Zariski稠密离散子群 Γ\Gamma 的性质。作者证明了 Γ\Gamma 包含自由的有限生成子半群，其临界指数可以任意接近 Γ\Gamma 的临界指数。这些子半群在 GG 中是Zariski稠密的，并且在Kassel-Potrie意义下是 PP-Anosov的。这一结果表明，对于李群的离散子半群，不存在临界指数的间隙现象，这与Leuzinger在2003年证明的具有Kazhdan性质(T)的李群中无穷余体积离散子群的临界指数间隙定理形成对比。

研究背景与动机

核心问题

本研究要解决的核心问题是：在半单李群的Zariski稠密离散子群中，是否存在临界指数可以任意接近原群临界指数的自由子半群？

问题的重要性

  1. 临界指数理论：临界指数是测量离散子群在对称空间上轨道指数增长率的重要不变量，定义为Poincaré级数的收敛横坐标： δ(Γ)=inf⁡{s>0:QΓ(s):=∑γ∈Γe−sdX(o,γo)<∞}\delta(\Gamma) = \inf\{s > 0 : Q_\Gamma(s) := \sum_{\gamma \in \Gamma} e^{-sd_X(o,\gamma o)} < \infty\}
  2. 间隙现象：
    • Corlette证明了四元数和八元数双曲空间等距群中存在临界指数间隙现象
    • Leuzinger将此推广到所有具有Kazhdan性质(T)的半单李群
  3. 理论意义：理解离散子群的渐近行为对于理解李群的几何和动力学性质至关重要

现有方法的局限性

  1. 收敛群方法：作者之前的工作使用收敛群理论，但仅适用于特殊的横截群类
  2. Tits表示嵌入：传统方法需要将Furstenberg边界嵌入到射影空间的乘积中
  3. 适用范围限制：现有结果无法处理一般的高秩李群中的任意Zariski稠密离散子群

核心贡献

  1. 主要定理：证明了对于任何Zariski稠密离散子群 Γ\Gamma 和 0<δ<δ(Γ)0 < \delta < \delta(\Gamma)，存在自由有限生成子半群 Ω⊂Γ\Omega \subset \Gamma 使得 δ(Ω)≥δ\delta(\Omega) \geq \delta
  2. 新概念引入：提出了 ϵ\epsilon-收缩元素的概念，这是loxodromic元素的特殊类型，具有良好的动力学性质
  3. 内在方法：开发了研究李群在其Furstenberg边界上作用的内在方法，避免了Tits表示的使用
  4. Zariski稠密性：证明了构造的子半群保持Zariski稠密性
  5. P-Anosov性质：建立了子半群的P-Anosov性质，提供了对Cartan投影的线性增长估计

方法详解

任务定义

给定连通代数半单实李群 GG（有限中心，无紧致因子）和Zariski稠密离散子群 Γ<G\Gamma < G，对于任意 0<δ<δ(Γ)0 < \delta < \delta(\Gamma) 和充分小的 ϵ>0\epsilon > 0，构造自由有限生成子半群 Ω⊂Γ\Omega \subset \Gamma 满足：

  • 临界指数：δ(Ω)≥δ\delta(\Omega) \geq \delta
  • Zariski稠密性：Ω‾Zar=G\overline{\Omega}^{\text{Zar}} = G
  • P-Anosov性质：存在常数 C>0C > 0 使得 min⁡α∈Δα(κ(g))≥C∣g∣S\min_{\alpha \in \Delta} \alpha(\kappa(g)) \geq C|g|_S

核心概念：ϵ\epsilon-收缩元素

定义：设 g∈Gg \in G 是loxodromic元素，称 gg 是 ϵ\epsilon-收缩的，如果满足：

  1. d(xg+,Zxg−)≥2ϵd(x_g^+, Z_{x_g^-}) \geq 2\epsilon
  2. g(F∖Nϵ(Zxg−))⊂Bϵ(xg+)g(F \setminus N_\epsilon(Z_{x_g^-})) \subset B_\epsilon(x_g^+)
  3. g∣F∖Nϵ(Zxg−)g|_{F \setminus N_\epsilon(Z_{x_g^-})} 是 ϵ\epsilon-Lipschitz的

其中 xg+x_g^+ 和 xg−x_g^- 分别是 gg 的吸引和排斥不动点。

构造策略

1. 增长指示函数

利用Quint的增长指示函数 ψΓ:a+→R∪{−∞}\psi_\Gamma: a^+ \to \mathbb{R} \cup \{-\infty\}： ψΓ(v)=∥v∥⋅inf⁡C∋vτC\psi_\Gamma(v) = \|v\| \cdot \inf_{C \ni v} \tau_C

其中 τC\tau_C 是锥 CC 中元素的临界指数。

2. 特殊集合构造

对于开锥 C⊂a++C \subset a^{++}，极限点对 (x,y)∈Λ(Γ)×Λ(Γ)−(x,y) \in \Lambda(\Gamma) \times \Lambda(\Gamma)^- 和参数 n,ϵn, \epsilon，定义： ΓC,x,y,n,ϵ={γ∈ΓC:∥κ(γ)∥≥n,d(kγP,x)<ϵ,dHaus(Zℓγ−1P−,Zy)<ϵ}\Gamma_{C,x,y,n,\epsilon} = \{\gamma \in \Gamma_C : \|\kappa(\gamma)\| \geq n, d(k_\gamma P, x) < \epsilon, d_{\text{Haus}}(Z_{\ell_\gamma^{-1}P^-}, Z_y) < \epsilon\}

3. 环形区域分析

研究环形区域： AC,x,y,n,w,ϵ={γ∈ΓC,x,y,n,ϵ:n≤∥κ(γ)∥<n+w}A_{C,x,y,n,w,\epsilon} = \{\gamma \in \Gamma_{C,x,y,n,\epsilon} : n \leq \|\kappa(\gamma)\| < n+w\}

技术创新点

1. 阴影理论

为 ϵ\epsilon-收缩元素定义阴影： Sr(g)=g(F∖Nr(Zxg−))S_r(g) = g(F \setminus N_r(Z_{x_g^-}))

证明了阴影的良好行为：如果 η=γζ\eta = \gamma\zeta，则 S2ϵ(η)⊂S4ϵ(γ)S_{2\epsilon}(\eta) \subset S_{4\epsilon}(\gamma)。

2. 自由性证明

通过阴影的不相交性证明半群的自由性：

  • 构造生成集 SS 使得不同元素的阴影互不相交
  • 利用阴影的包含关系建立树状结构

3. Cartan投影估计

使用Iwasawa余循环建立粗糙次可加性： ∥κ(gh)−κ(g)−κ(h)∥≤C0\|\kappa(gh) - \kappa(g) - \kappa(h)\| \leq C_0

实验设置

理论验证

本文是纯数学理论工作，主要通过严格的数学证明验证结果，而非数值实验。

关键引理验证

  1. Lemma 5.22：证明了环形区域中元素的指数级发散
  2. Proposition 5.12：建立了 ϵ\epsilon-收缩性的判定条件
  3. Lemma 6.5：连接了不同阴影概念

实验结果

主要定理证明

定理7.1：设 GG 是连通代数半单实李群，Γ<G\Gamma < G 是Zariski稠密离散子群。对于每个 0<δ<δ(Γ)0 < \delta < \delta(\Gamma) 和充分小的 ϵ>0\epsilon > 0，存在自由有限生成子半群 Ω=Ωδ,ϵ⊂Γ\Omega = \Omega_{\delta,\epsilon} \subset \Gamma 满足：

  1. Ω\Omega 的每个元素都是 ϵ\epsilon-收缩或 2ϵ2\epsilon-收缩的
  2. Ω\Omega 在 GG 中Zariski稠密
  3. δ(Ω)≥δ\delta(\Omega) \geq \delta
  4. Ω\Omega 是P-Anosov的

构造验证

通过以下步骤验证构造的有效性：

  1. 生成集选择：选择 S=AC,x,y,n0,w,ϵ/2′S = A'_{C,x,y,n_0,w,\epsilon/2} 作为生成集
  2. 自由性验证：通过阴影不相交性证明 ⟨S⟩\langle S \rangle 是自由半群
  3. 临界指数估计：利用级数发散性证明 δ(Ω)≥δ\delta(\Omega) \geq \delta
  4. P-Anosov性质：通过Cartan投影的线性增长建立

相关工作

历史发展

  1. Corlette (1990)：建立了四元数和八元数双曲空间中的间隙定理
  2. Leuzinger (2003)：推广到所有具有Kazhdan性质(T)的李群
  3. Benoist (1996, 1997)：发展了高秩李群中离散子群的渐近理论
  4. Quint (2002)：引入增长指示函数

本文的突破

  1. 范围扩展：从特殊群类扩展到一般Zariski稠密子群
  2. 方法创新：避免Tits表示，发展内在方法
  3. 结果强化：不仅证明存在性，还给出具体构造

结论与讨论

主要结论

  1. 否定间隙现象：证明了Leuzinger间隙定理不适用于子半群
  2. 构造方法：提供了构造渐近大自由子半群的系统方法
  3. 理论统一：将不同几何背景下的结果统一到一般框架中

局限性

  1. 技术复杂性：构造过程涉及大量技术细节
  2. 参数依赖：结果对参数选择较为敏感
  3. 计算复杂度：实际构造可能计算复杂

未来方向

  1. 简化证明：寻找更直接的证明方法
  2. 推广应用：扩展到更一般的群类
  3. 算法实现：开发实际构造算法

深度评价

优点

  1. 理论深度：解决了李群理论中的重要问题
  2. 方法创新：ϵ\epsilon-收缩元素概念具有独立价值
  3. 结果完整：不仅证明存在性，还给出明确构造
  4. 技术严谨：证明过程严密，考虑全面

不足

  1. 可读性：技术内容密集，理解门槛较高
  2. 实用性：主要为理论结果，实际应用有限
  3. 计算性：缺乏有效的数值验证方法

影响力

  1. 理论贡献：填补了李群理论的重要空白
  2. 方法价值：ϵ\epsilon-收缩元素可能有广泛应用
  3. 启发意义：为相关问题研究提供新思路

适用场景

  1. 李群理论研究：离散子群的渐近性质分析
  2. 动力系统：双曲动力系统的研究
  3. 几何群论：群的增长性质研究

参考文献

论文引用了31篇重要文献，主要包括：

  • Abels, Margulis, Soifer关于线性群作用的经典工作
  • Benoist关于约化齐次空间和离散子群的开创性研究
  • Quint关于随机游走和Patterson-Sullivan测度的重要贡献
  • Kassel-Potrie关于Anosov半群的最新理论

总体评价：这是一篇高质量的纯数学理论论文，在李群理论领域做出了重要贡献。虽然技术性较强，但其理论价值和创新性使其成为该领域的重要进展。