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

Zariski稠密な離散部分群におけるAsymptotically largeな自由半群

基本情報

  • 論文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意味でP-Anosov的である。この結果は、リー群の離散部分半群に対して臨界指数のギャップ現象が存在しないことを示唆しており、2003年にLeuzingerが証明した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. 補題5.22：環形領域内の元素の指数的発散を証明した
  2. 命題5.12：ϵ\epsilon-縮約性の判定条件を確立した
  3. 補題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半群に関する最新理論

総合評価：これは純粋数学の理論的研究における高品質な論文であり、リー群理論の分野で重要な貢献を行っている。技術的に高度ではあるが、その理論的価値と革新性により、この分野における重要な進展となっている。