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

Semi-groupes libres asymptotiquement grands dans les sous-groupes discrets Zariski denses des groupes de Lie

Informations fondamentales

  • ID de l'article : 2510.10863
  • Titre : Asymptotically large free semigroups in Zariski dense discrete subgroups of Lie groups
  • Auteur : Aleksander Skenderi
  • Classification : math.GR math.DG math.DS math.GT
  • Date de publication : 13 octobre 2025 (prépublication arXiv)
  • Lien de l'article : https://arxiv.org/abs/2510.10863

Résumé

Cet article étudie les propriétés des sous-groupes discrets Zariski denses Γ\Gamma dans les groupes de Lie réels semi-simples connexes algébriques GG (à centre fini et sans facteur compact). L'auteur démontre que Γ\Gamma contient des semi-groupes libres finiment engendrés dont l'exposant critique peut s'approcher arbitrairement de l'exposant critique de Γ\Gamma. Ces semi-groupes sont Zariski denses dans GG et sont P-Anosov au sens de Kassel-Potrie. Ce résultat indique qu'il n'existe pas de phénomène de lacune pour l'exposant critique des semi-groupes discrets dans les groupes de Lie, ce qui contraste avec le théorème de lacune de Leuzinger de 2003 pour les sous-groupes discrets de co-volume infini dans les groupes de Lie possédant la propriété de Kazhdan (T).

Contexte et motivation de la recherche

Problème central

La question centrale que cette recherche vise à résoudre est : existe-t-il dans les sous-groupes discrets Zariski denses des groupes de Lie semi-simples des semi-groupes libres dont l'exposant critique peut s'approcher arbitrairement de l'exposant critique du groupe d'origine ?

Importance du problème

  1. Théorie de l'exposant critique : L'exposant critique est un invariant important mesurant le taux de croissance exponentielle des orbites des sous-groupes discrets sur l'espace symétrique, défini comme l'abscisse de convergence de la série de 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. Phénomènes de lacune :
    • Corlette a démontré l'existence de phénomènes de lacune pour l'exposant critique dans les groupes d'isométries des espaces hyperboliques quaternioniques et octonioniques
    • Leuzinger a généralisé ce résultat à tous les groupes de Lie semi-simples possédant la propriété de Kazhdan (T)
  3. Signification théorique : Comprendre le comportement asymptotique des sous-groupes discrets est essentiel pour appréhender les propriétés géométriques et dynamiques des groupes de Lie

Limitations des méthodes existantes

  1. Approche par groupes convergents : Les travaux antérieurs de l'auteur utilisant la théorie des groupes convergents ne s'appliquaient qu'à des classes spéciales de groupes transversaux
  2. Plongement de représentation de Tits : Les méthodes traditionnelles nécessitaient d'immerger la frontière de Furstenberg dans un produit d'espaces projectifs
  3. Domaine d'application restreint : Les résultats existants ne pouvaient pas traiter les sous-groupes discrets Zariski denses arbitraires dans les groupes de Lie de rang élevé

Contributions principales

  1. Théorème principal : Démonstration que pour tout sous-groupe discret Zariski dense Γ\Gamma et 0<δ<δ(Γ)0 < \delta < \delta(\Gamma), il existe un semi-groupe libre finiment engendré Ω⊂Γ\Omega \subset \Gamma tel que δ(Ω)≥δ\delta(\Omega) \geq \delta
  2. Introduction de nouveaux concepts : Proposition du concept d'éléments ϵ\epsilon-contractants, qui sont des types spéciaux d'éléments loxodromiques possédant de bonnes propriétés dynamiques
  3. Méthode intrinsèque : Développement d'une méthode intrinsèque pour étudier l'action des groupes de Lie sur leur frontière de Furstenberg, évitant l'utilisation de la représentation de Tits
  4. Densité Zariski : Démonstration que les semi-groupes construits conservent la densité Zariski
  5. Propriété P-Anosov : Établissement de la propriété P-Anosov des semi-groupes, fournissant des estimations de croissance linéaire pour la projection de Cartan

Détails méthodologiques

Définition de la tâche

Étant donné un groupe de Lie réel semi-simple connexe algébrique GG (à centre fini, sans facteur compact) et un sous-groupe discret Zariski dense Γ<G\Gamma < G, pour tout 0<δ<δ(Γ)0 < \delta < \delta(\Gamma) et ϵ>0\epsilon > 0 suffisamment petit, construire un semi-groupe libre finiment engendré Ω⊂Γ\Omega \subset \Gamma satisfaisant :

  • Exposant critique : δ(Ω)≥δ\delta(\Omega) \geq \delta
  • Densité Zariski : Ω‾Zar=G\overline{\Omega}^{\text{Zar}} = G
  • Propriété P-Anosov : il existe une constante C>0C > 0 telle que min⁡α∈Δα(κ(g))≥C∣g∣S\min_{\alpha \in \Delta} \alpha(\kappa(g)) \geq C|g|_S

Concept central : éléments ϵ\epsilon-contractants

Définition : Soit g∈Gg \in G un élément loxodromique. On dit que gg est ϵ\epsilon-contractant s'il satisfait :

  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^-})} est ϵ\epsilon-Lipschitz

où xg+x_g^+ et xg−x_g^- sont respectivement les points fixes attractif et répulsif de gg.

Stratégie de construction

1. Fonction indicatrice de croissance

Utilisation de la fonction indicatrice de croissance de 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

où τC\tau_C est l'exposant critique des éléments du cône CC.

2. Construction d'ensembles spéciaux

Pour un cône ouvert C⊂a++C \subset a^{++}, une paire de points limites (x,y)∈Λ(Γ)×Λ(Γ)−(x,y) \in \Lambda(\Gamma) \times \Lambda(\Gamma)^- et des paramètres n,ϵn, \epsilon, définir : Γ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. Analyse des régions annulaires

Étude des régions annulaires : 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\}

Points d'innovation technique

1. Théorie de l'ombre

Définition de l'ombre pour les éléments ϵ\epsilon-contractants : Sr(g)=g(F∖Nr(Zxg−))S_r(g) = g(F \setminus N_r(Z_{x_g^-}))

Démonstration du bon comportement de l'ombre : si η=γζ\eta = \gamma\zeta, alors S2ϵ(η)⊂S4ϵ(γ)S_{2\epsilon}(\eta) \subset S_{4\epsilon}(\gamma).

2. Preuve de liberté

Démonstration de la liberté du semi-groupe par disjonction des ombres :

  • Construction d'un ensemble générateur SS tel que les ombres d'éléments distincts sont disjointes
  • Utilisation des relations d'inclusion des ombres pour établir une structure arborescente

3. Estimations de projection de Cartan

Utilisation du cocycle d'Iwasawa pour établir une quasi-sous-additivité : ∥κ(gh)−κ(g)−κ(h)∥≤C0\|\kappa(gh) - \kappa(g) - \kappa(h)\| \leq C_0

Configuration expérimentale

Vérification théorique

Cet article est un travail théorique de mathématiques pures, dont les résultats sont vérifiés principalement par des démonstrations mathématiques rigoureuses plutôt que par des expériences numériques.

Vérification des lemmes clés

  1. Lemme 5.22 : Démonstration de la divergence exponentielle des éléments dans les régions annulaires
  2. Proposition 5.12 : Établissement des conditions de détermination de la ϵ\epsilon-contractilité
  3. Lemme 6.5 : Connexion entre différents concepts d'ombre

Résultats expérimentaux

Démonstration du théorème principal

Théorème 7.1 : Soit GG un groupe de Lie réel semi-simple connexe algébrique et Γ<G\Gamma < G un sous-groupe discret Zariski dense. Pour chaque 0<δ<δ(Γ)0 < \delta < \delta(\Gamma) et ϵ>0\epsilon > 0 suffisamment petit, il existe un semi-groupe libre finiment engendré Ω=Ωδ,ϵ⊂Γ\Omega = \Omega_{\delta,\epsilon} \subset \Gamma satisfaisant :

  1. Chaque élément de Ω\Omega est ϵ\epsilon-contractant ou 2ϵ2\epsilon-contractant
  2. Ω\Omega est Zariski dense dans GG
  3. δ(Ω)≥δ\delta(\Omega) \geq \delta
  4. Ω\Omega est P-Anosov

Vérification de la construction

La validité de la construction est vérifiée par les étapes suivantes :

  1. Sélection de l'ensemble générateur : Choix de S=AC,x,y,n0,w,ϵ/2′S = A'_{C,x,y,n_0,w,\epsilon/2} comme ensemble générateur
  2. Vérification de la liberté : Démonstration de la liberté du semi-groupe ⟨S⟩\langle S \rangle par disjonction des ombres
  3. Estimation de l'exposant critique : Démonstration de δ(Ω)≥δ\delta(\Omega) \geq \delta par divergence de série
  4. Propriété P-Anosov : Établissement par croissance linéaire de la projection de Cartan

Travaux connexes

Développement historique

  1. Corlette (1990) : Établissement du théorème de lacune dans les espaces hyperboliques quaternioniques et octonioniques
  2. Leuzinger (2003) : Généralisation à tous les groupes de Lie semi-simples possédant la propriété de Kazhdan (T)
  3. Benoist (1996, 1997) : Développement de la théorie asymptotique des sous-groupes discrets dans les groupes de Lie de rang élevé
  4. Quint (2002) : Introduction de la fonction indicatrice de croissance

Percée de cet article

  1. Extension du domaine : Extension des résultats des classes de groupes spéciaux aux sous-groupes discrets Zariski denses généraux
  2. Innovation méthodologique : Évitement de la représentation de Tits et développement de méthodes intrinsèques
  3. Renforcement des résultats : Non seulement démonstration de l'existence, mais aussi fourniture d'une construction explicite

Conclusion et discussion

Conclusions principales

  1. Négation du phénomène de lacune : Démonstration que le théorème de lacune de Leuzinger ne s'applique pas aux semi-groupes
  2. Méthode de construction : Fourniture d'une méthode systématique pour construire des semi-groupes libres asymptotiquement grands
  3. Unification théorique : Unification des résultats dans différents contextes géométriques dans un cadre général

Limitations

  1. Complexité technique : Le processus de construction implique de nombreux détails techniques
  2. Dépendance paramétrique : Les résultats sont relativement sensibles au choix des paramètres
  3. Complexité computationnelle : La construction réelle peut être complexe sur le plan informatique

Directions futures

  1. Simplification des preuves : Recherche de méthodes de preuve plus directes
  2. Généralisation et applications : Extension à des classes de groupes plus générales
  3. Implémentation algorithmique : Développement d'algorithmes de construction pratiques

Évaluation approfondie

Avantages

  1. Profondeur théorique : Résolution d'un problème important dans la théorie des groupes de Lie
  2. Innovation méthodologique : Le concept d'éléments ϵ\epsilon-contractants possède une valeur indépendante
  3. Complétude des résultats : Non seulement démonstration de l'existence, mais aussi fourniture d'une construction explicite
  4. Rigueur technique : Processus de preuve rigoureux et considérations complètes

Insuffisances

  1. Lisibilité : Contenu technique dense avec un seuil de compréhension élevé
  2. Applicabilité pratique : Résultats principalement théoriques avec applications pratiques limitées
  3. Caractère computationnel : Manque de méthodes de vérification numérique efficaces

Impact

  1. Contribution théorique : Comblage d'une lacune importante dans la théorie des groupes de Lie
  2. Valeur méthodologique : Les éléments ϵ\epsilon-contractants peuvent avoir des applications généralisées
  3. Signification inspirante : Fourniture de nouvelles perspectives pour la recherche sur les problèmes connexes

Domaines d'application

  1. Recherche en théorie des groupes de Lie : Analyse des propriétés asymptotiques des sous-groupes discrets
  2. Systèmes dynamiques : Étude des systèmes dynamiques hyperboliques
  3. Théorie géométrique des groupes : Étude des propriétés de croissance des groupes

Références bibliographiques

L'article cite 31 références importantes, comprenant principalement :

  • Travaux classiques d'Abels, Margulis et Soifer sur les actions de groupes linéaires
  • Recherche fondatrice de Benoist sur les espaces homogènes réduits et les sous-groupes discrets
  • Contributions importantes de Quint sur les marches aléatoires et les mesures de Patterson-Sullivan
  • Théorie récente de Kassel-Potrie sur les semi-groupes d'Anosov

Évaluation globale : Cet article est un travail théorique de haute qualité en mathématiques pures qui apporte une contribution importante au domaine de la théorie des groupes de Lie. Bien que d'une nature hautement technique, sa valeur théorique et son caractère innovant en font une avancée importante dans ce domaine.