Table of Contents
Fetching ...

Constructing bounded orbits of special types on homogeneous spaces

Manfred Einsiedler, Dmitry Kleinbock, Anurag Rao

TL;DR

The paper analyzes bounded (precompact) trajectories for a mixing Ad-diagonalizable one-parameter flow on X = G/Γ with non-uniform lattice Γ. By reducing the problem to the expanding subgroup H and exploiting uniform equidistribution on H, it constructs Cantor-like, tree-structured sets of H-elements that yield large, fractal-like sets of points with bounded F_+-orbits and prescribed limit behavior. The main contributions include an indecomposability result for E(F,∞): for any y ∈ E(F,∞) the set of x ∈ E(F,∞) with y in the closure of F_+ x is uncountable and dense, and, under dim Z = 1, the existence of many x with compact orbit closures of Hausdorff dimension at least dim X − ε. These results extend our understanding of bounded trajectories in homogeneous dynamics beyond measure and generic-dimension statements, using a Cantor-type construction grounded in expanding-subgroup dynamics.

Abstract

Let $X = G/Γ$ be a quotient of a real Lie group by a non-uniform lattice. Consider a one-parameter subgroup $F$ of $G$ that is $\operatorname{Ad}$-diagonalizable over $\mathbb{C}$ and whose action on $(X,m_X)$ is mixing. In this dynamical system we study the set of points $x \in X$ with a precompact orbit, written as $E(F,\infty)$, which is known to be a dense subset of $X$ of full Hausdorff dimension. We prove that $E(F,\infty)$ is indecomposable in the following sense: given any $y \in E(F,\infty)$, the set of $x \in E(F,\infty)$ for which $y \in \overline{F_+x}$, where $F_+$ denotes the positive ray in $F$, is uncountable and dense in $E(F,\infty)$. When the dimension of the neutral subgroup of $G$ with respect to $F$ is $1$ we demonstrate, for any $\varepsilon>0$, the existence of many points $x \in X$ whose orbit closure $\overline{F_+x} \subset X$ is compact and has Hausdorff dimension at least $\dim X - \varepsilon$.

Constructing bounded orbits of special types on homogeneous spaces

TL;DR

The paper analyzes bounded (precompact) trajectories for a mixing Ad-diagonalizable one-parameter flow on X = G/Γ with non-uniform lattice Γ. By reducing the problem to the expanding subgroup H and exploiting uniform equidistribution on H, it constructs Cantor-like, tree-structured sets of H-elements that yield large, fractal-like sets of points with bounded F_+-orbits and prescribed limit behavior. The main contributions include an indecomposability result for E(F,∞): for any y ∈ E(F,∞) the set of x ∈ E(F,∞) with y in the closure of F_+ x is uncountable and dense, and, under dim Z = 1, the existence of many x with compact orbit closures of Hausdorff dimension at least dim X − ε. These results extend our understanding of bounded trajectories in homogeneous dynamics beyond measure and generic-dimension statements, using a Cantor-type construction grounded in expanding-subgroup dynamics.

Abstract

Let be a quotient of a real Lie group by a non-uniform lattice. Consider a one-parameter subgroup of that is -diagonalizable over and whose action on is mixing. In this dynamical system we study the set of points with a precompact orbit, written as , which is known to be a dense subset of of full Hausdorff dimension. We prove that is indecomposable in the following sense: given any , the set of for which , where denotes the positive ray in , is uncountable and dense in . When the dimension of the neutral subgroup of with respect to is we demonstrate, for any , the existence of many points whose orbit closure is compact and has Hausdorff dimension at least .

Paper Structure

This paper contains 5 sections, 16 theorems, 116 equations.

Key Result

Lemma 1.1

If $y \in X$ and $z \in X \cup \{\infty\}$ are such that $y \in A(F,z)$ (that is, $z$ can be approached by the trajectory of $y$ either in the positive or in the negative time direction), then

Theorems & Definitions (33)

  • Lemma 1.1
  • proof
  • Theorem 1.2
  • Theorem 1.3
  • Theorem 1.4
  • Corollary 1.5
  • proof
  • Remark 2.1
  • Definition 2.2
  • Definition 2.3: Conjugation by $g_t$
  • ...and 23 more