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 सघन असतत उपसमूहों में स्पर्शोन्मुख रूप से बड़े मुक्त अर्धसमूह

मूल जानकारी

  • पेपर ID: 2510.10863
  • शीर्षक: Zariski सघन असतत उपसमूहों में स्पर्शोन्मुख रूप से बड़े मुक्त अर्धसमूह
  • लेखक: Aleksander Skenderi
  • वर्गीकरण: math.GR math.DG math.DS math.GT
  • प्रकाशन समय: 13 अक्टूबर 2025 (arXiv प्रीप्रिंट)
  • पेपर लिंक: https://arxiv.org/abs/2510.10863

सारांश

यह पेपर जुड़े हुए बीजगणितीय अर्धसरल वास्तविक लाई समूह GG (परिमित केंद्र और कोई सघन कारक नहीं) में Zariski सघन असतत उपसमूह Γ\Gamma के गुणों का अध्ययन करता है। लेखक ने सिद्ध किया है कि Γ\Gamma में मुक्त परिमित-जनित उपअर्धसमूह होते हैं, जिनका क्रांतिक सूचकांक Γ\Gamma के क्रांतिक सूचकांक के मनमाने ढंग से निकट हो सकता है। ये उपअर्धसमूह GG में Zariski सघन हैं और Kassel-Potrie अर्थ में PP-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. 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 अर्धसमूहों पर नवीनतम सिद्धांत

समग्र मूल्यांकन: यह लाई समूह सिद्धांत क्षेत्र में उच्च गुणवत्ता का शुद्ध गणितीय सैद्धांतिक पेपर है, जो महत्वपूर्ण योगदान देता है। हालांकि तकनीकी रूप से जटिल है, लेकिन इसका सैद्धांतिक मूल्य और नवाचार इसे इस क्षेत्र में महत्वपूर्ण प्रगति बनाते हैं।