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

شبه زمر حرة كبيرة بشكل تقاربي في المجموعات الفرعية المنفصلة الكثيفة بمعنى زاريسكي لمجموعات لي

المعلومات الأساسية

  • معرّف الورقة: 2510.10863
  • العنوان: Asymptotically large free semigroups in Zariski dense discrete subgroups of Lie groups
  • المؤلف: ألكسندر سكندري
  • التصنيفات: math.GR math.DG math.DS math.GT
  • تاريخ النشر: 13 أكتوبر 2025 (نسخة أولية من arXiv)
  • رابط الورقة: https://arxiv.org/abs/2510.10863

الملخص

تدرس هذه الورقة خصائص المجموعات الفرعية المنفصلة الكثيفة بمعنى زاريسكي Γ\Gamma في مجموعات لي الحقيقية شبه البسيطة الجبرية المتصلة GG (ذات مركز منته وبدون عوامل مضغوطة). يثبت المؤلف أن Γ\Gamma تحتوي على شبه زمر حرة منتهية التوليد، حيث يمكن أن يكون الأس الحرج لها قريباً بشكل تعسفي من الأس الحرج لـ Γ\Gamma. هذه الشبه زمر كثيفة بمعنى زاريسكي في GG وتتمتع بخاصية P-Anosov بمعنى Kassel-Potrie. تشير هذه النتيجة إلى عدم وجود ظاهرة فجوة في الأس الحرج للشبه زمر المنفصلة في مجموعات لي، مما يتناقض مع نظرية فجوة الأس الحرج لـ Leuzinger التي أثبتت وجود فجوة في المجموعات الفرعية المنفصلة ذات الحجم الجزئي اللانهائي في مجموعات لي التي تتمتع بخاصية Kazhdan (T).

الخلفية البحثية والدافع

المشكلة الأساسية

تتمحور الدراسة حول السؤال الأساسي: هل توجد شبه زمر حرة في المجموعات الفرعية المنفصلة الكثيفة بمعنى زاريسكي في مجموعات لي شبه البسيطة، بحيث يمكن أن يكون الأس الحرج لها قريباً بشكل تعسفي من الأس الحرج للمجموعة الأصلية؟

أهمية المشكلة

  1. نظرية الأس الحرج: الأس الحرج هو متغير ثابت مهم يقيس معدل النمو الأسي لمدار المجموعة الفرعية المنفصلة على الفضاء المتماثل، ويُعرّف بأنه الفاصل التقاربي لسلسلة بوانكاريه: δ(Γ)=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. تقييد نطاق التطبيق: لا يمكن للنتائج الموجودة التعامل مع المجموعات الفرعية المنفصلة الكثيفة بمعنى زاريسكي التعسفية في مجموعات لي ذات الرتبة العالية

المساهمات الأساسية

  1. النظرية الرئيسية: تثبت أنه لأي مجموعة فرعية منفصلة كثيفة بمعنى زاريسكي Γ\Gamma و 0<δ<δ(Γ)0 < \delta < \delta(\Gamma)، توجد شبه زمر حرة منتهية التوليد Ω⊂Γ\Omega \subset \Gamma بحيث δ(Ω)≥δ\delta(\Omega) \geq \delta
  2. إدخال مفهوم جديد: تقديم مفهوم العناصر ϵ\epsilon-المتقلصة، وهي نوع خاص من العناصر loxodromic بخصائص ديناميكية جيدة
  3. طريقة جوهرية: تطوير طريقة جوهرية لدراسة عمل مجموعات لي على حدود Furstenberg، مما يتجنب استخدام تمثيل Tits
  4. الكثافة بمعنى زاريسكي: إثبات أن الشبه زمر المُنشأة تحافظ على الكثافة بمعنى زاريسكي
  5. خاصية P-Anosov: إنشاء خاصية P-Anosov للشبه زمر، مما يوفر تقديرات النمو الخطي للإسقاط الديكارتي

شرح الطريقة

تعريف المهمة

بالنظر إلى مجموعة لي الحقيقية شبه البسيطة الجبرية المتصلة GG (ذات مركز منته وبدون عوامل مضغوطة) والمجموعة الفرعية المنفصلة الكثيفة بمعنى زاريسكي Γ<G\Gamma < G، لأي 0<δ<δ(Γ)0 < \delta < \delta(\Gamma) و ϵ>0\epsilon > 0 صغيرة بشكل كافٍ، نقوم بإنشاء شبه زمر حرة منتهية التوليد Ω⊂Γ\Omega \subset \Gamma تحقق:

  • الأس الحرج: δ(Ω)≥δ\delta(\Omega) \geq \delta
  • الكثافة بمعنى زاريسكي: Ω‾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. تقديرات الإسقاط الديكارتي

استخدام دورة 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 مجموعة فرعية منفصلة كثيفة بمعنى زاريسكي. لكل 0<δ<δ(Γ)0 < \delta < \delta(\Gamma) و ϵ>0\epsilon > 0 صغيرة بشكل كافٍ، توجد شبه زمر حرة منتهية التوليد Ω=Ωδ,ϵ⊂Γ\Omega = \Omega_{\delta,\epsilon} \subset \Gamma تحقق:

  1. كل عنصر من Ω\Omega هو ϵ\epsilon-متقلص أو 2ϵ2\epsilon-متقلص
  2. Ω\Omega كثيفة بمعنى زاريسكي في GG
  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: إنشاء الخاصية من خلال النمو الخطي للإسقاط الديكارتي

الأعمال ذات الصلة

التطور التاريخي

  1. Corlette (1990): إنشاء نظرية الفجوة في الفضاءات الزائدية الرباعية والثمانية
  2. Leuzinger (2003): التعميم على جميع مجموعات لي التي تتمتع بخاصية Kazhdan (T)
  3. Benoist (1996, 1997): تطوير النظرية التقاربية للمجموعات الفرعية المنفصلة في مجموعات لي ذات الرتبة العالية
  4. Quint (2002): إدخال دالة مؤشر النمو

الاختراق في هذه الورقة

  1. توسيع النطاق: التوسع من فئات مجموعات خاصة إلى المجموعات الفرعية المنفصلة الكثيفة بمعنى زاريسكي العامة
  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

التقييم الشامل: هذه ورقة عمل نظرية رياضية عالية الجودة تقدم مساهمة مهمة في مجال نظرية مجموعات لي. على الرغم من طبيعتها التقنية القوية، فإن قيمتها النظرية وابتكارها يجعلانها تقدماً مهماً في هذا المجال.