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

Асимптотически большие свободные полугруппы в плотных по Зарисскому дискретных подгруппах групп Ли

Основная информация

  • 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
  • Дата публикации: 13 октября 2025 г. (препринт arXiv)
  • Ссылка на статью: https://arxiv.org/abs/2510.10863

Аннотация

В данной работе изучаются свойства плотных по Зарисскому дискретных подгрупп Γ\Gamma связных алгебраических полупростых вещественных групп Ли GG (с конечным центром и без компактных множителей). Автор доказывает, что Γ\Gamma содержит свободные конечнопорождённые подполугруппы, критический показатель которых может быть произвольно близок к критическому показателю Γ\Gamma. Эти подполугруппы плотны по Зарисскому в GG и являются P-Anosov в смысле Касселя-Потри. Этот результат показывает, что для дискретных подполугрупп групп Ли не существует явления разрыва критического показателя, что контрастирует с теоремой о разрыве критического показателя для дискретных подгрупп бесконечного коиндекса в группах Ли со свойством Каждана (T), доказанной Лёцингером в 2003 году.

Исследовательский контекст и мотивация

Основная проблема

Центральный вопрос исследования: существуют ли в плотных по Зарисскому дискретных подгруппах полупростых групп Ли свободные подполугруппы, критический показатель которых может быть произвольно близок к критическому показателю исходной группы?

Значимость проблемы

  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. Явления разрыва:
    • Корлетт доказал существование разрыва критического показателя в группах изометрий кватернионных и октавных гиперболических пространств
    • Лёцингер обобщил этот результат на все полупростые группы Ли со свойством Каждана (T)
  3. Теоретическое значение: Понимание асимптотического поведения дискретных подгрупп критически важно для изучения геометрических и динамических свойств групп Ли

Ограничения существующих методов

  1. Метод сходящихся групп: Предыдущие работы автора использовали теорию сходящихся групп, но применимы только к специальным классам поперечных групп
  2. Вложение представления Титса: Традиционные методы требуют вложения границы Фюрстенберга в произведение проективных пространств
  3. Ограниченная область применения: Существующие результаты не могут обрабатывать произвольные плотные по Зарисскому дискретные подгруппы в общих группах Ли высокого ранга

Основные вклады

  1. Главная теорема: Доказано, что для любой плотной по Зарисскому дискретной подгруппы Γ\Gamma и 0<δ<δ(Γ)0 < \delta < \delta(\Gamma) существует свободная конечнопорождённая подполугруппа Ω⊂Γ\Omega \subset \Gamma такая, что δ(Ω)≥δ\delta(\Omega) \geq \delta
  2. Введение новых концепций: Предложено понятие ϵ\epsilon-сжимающих элементов — специального типа локсодромических элементов с хорошими динамическими свойствами
  3. Внутренний метод: Разработан внутренний метод изучения действия групп Ли на границе Фюрстенберга, избегающий использования представления Титса
  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 — локсодромический элемент. Элемент 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-липшицевым

где xg+x_g^+ и xg−x_g^- — соответственно притягивающая и отталкивающая неподвижные точки элемента gg.

Стратегия построения

1. Функция роста

Использование функции роста Квинта ψΓ: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. Оценки проекции Картана

Использование циклов Ивасавы для установления грубой субаддитивности: ∥κ(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. Корлетт (1990): Установление теоремы о разрыве в кватернионных и октавных гиперболических пространствах
  2. Лёцингер (2003): Обобщение на все группы Ли со свойством Каждана (T)
  3. Бенуа (1996, 1997): Развитие асимптотической теории дискретных подгрупп в группах Ли высокого ранга
  4. Квинт (2002): Введение функции роста

Прорыв в данной работе

  1. Расширение области применения: От специальных классов групп к общим плотным по Зарисскому подгруппам
  2. Инновация методов: Избежание представления Титса, разработка внутреннего метода
  3. Усиление результатов: Не только доказательство существования, но и явное построение

Заключение и обсуждение

Основные выводы

  1. Отрицание явления разрыва: Доказано, что теорема Лёцингера о разрыве неприменима к подполугруппам
  2. Метод построения: Предоставлен систематический метод построения асимптотически больших свободных подполугрупп
  3. Теоретическое единство: Объединены результаты из различных геометрических контекстов в единую схему

Ограничения

  1. Техническая сложность: Процесс построения включает множество технических деталей
  2. Зависимость от параметров: Результаты достаточно чувствительны к выбору параметров
  3. Вычислительная сложность: Практическое построение может быть вычислительно сложным

Направления будущих исследований

  1. Упрощение доказательств: Поиск более прямых методов доказательства
  2. Обобщение и применение: Расширение на более общие классы групп
  3. Алгоритмическая реализация: Разработка практических алгоритмов построения

Глубокая оценка

Преимущества

  1. Теоретическая глубина: Решение важной проблемы в теории групп Ли
  2. Методологическая инновация: Концепция ϵ\epsilon-сжимающих элементов имеет самостоятельную ценность
  3. Полнота результатов: Не только доказательство существования, но и явное построение
  4. Техническая строгость: Доказательства тщательны и всеобъемлющи

Недостатки

  1. Читаемость: Плотное техническое содержание, высокий порог входа
  2. Практическая применимость: Главным образом теоретические результаты, ограниченное практическое применение
  3. Вычислительность: Отсутствие эффективных методов численной верификации

Влияние

  1. Теоретический вклад: Заполнение важного пробела в теории групп Ли
  2. Ценность методов: ϵ\epsilon-сжимающие элементы могут иметь широкое применение
  3. Эвристическое значение: Предоставление новых подходов к решению связанных проблем

Области применения

  1. Исследования теории групп Ли: Анализ асимптотических свойств дискретных подгрупп
  2. Динамические системы: Изучение гиперболических динамических систем
  3. Геометрическая теория групп: Исследование свойств роста групп

Библиография

Статья цитирует 31 важный источник, включая:

  • Классические работы Абельса, Маргулиса и Софера по действиям линейных групп
  • Пионерские исследования Бенуа по редуцированным однородным пространствам и дискретным подгруппам
  • Важные вклады Квинта по случайным блужданиям и мерам Паттерсона-Салливана
  • Современную теорию полугрупп Anosov Касселя-Потри

Общая оценка: Это высокачественная работа в области чистой математики, вносящая значительный вклад в теорию групп Ли. Несмотря на высокую техническую сложность, её теоретическая ценность и инновационность делают её важным прогрессом в данной области.