Math 2.0

Dynamical systems and ergodic theory Ergodic theory Theorem

Ratner's theorems

Builds on Lie groupLattice in a Lie groupProbability measureClosure

Statement

Let GG be a connected Lie group, let Γ\Gamma be a lattice in GG, and let X=G/ΓX = G/\Gamma. An element u∈Gu \in G is unipotent if Ad(u)\mathrm{Ad}(u) is a unipotent linear map of the Lie algebra of GG. Let HH be a connected closed subgroup of GG generated by one-parameter subgroups of unipotent elements. A probability measure μ\mu on XX is homogeneous if there are a closed subgroup LL of GG and x∈Xx \in X with the following properties. The orbit LxLx is closed, and μ\mu is the LL-invariant probability measure supported on LxLx. Then:

  1. (Measure classification) every HH-invariant and ergodic Borel probability measure on XX is homogeneous;
  2. (Orbit closures) for every x∈Xx \in X, the closure of HxHx equals LxLx for a closed subgroup L⊇HL \supseteq H such that LxLx carries an LL-invariant probability measure;
  3. (Equidistribution) let (ut)t∈ℝ(u_t)_{t \in \R} be a one-parameter subgroup of unipotent elements, and let x∈Xx \in X. Then there is a homogeneous measure μx\mu_x such that, for every bounded continuous ff on XX, lim⁡T→∞1T∫0Tf(utx) dt=∫Xf dμx.\lim_{T \to \infty} \frac{1}{T} \int_0^T f(u_t x) \, dt = \int_X f \, d\mu_x.

Remarks

Marina Ratner proved these theorems around 1990 and 1991. The proof of the measure classification uses the polynomial divergence of nearby unipotent orbits: two such orbits drift apart slowly and mainly along the centraliser of the flow. Orbit closures and equidistribution then follow from the measure classification together with the non-divergence results of Margulis and Dani.

Example: G=SL2(ℝ)G = \mathrm{SL}_2(\R), Γ=SL2(ℤ)\Gamma = \mathrm{SL}_2(\Z), and H={(1t01):t∈ℝ}H = \set{\begin{pmatrix} 1 & t \\ 0 & 1 \end{pmatrix} : t \in \R}. Then XX is the unit tangent bundle of the modular surface, and HH acts by the horocycle flow. Each HH-orbit is either a periodic closed horocycle or dense in XX, a fact known before Ratner; here L=HL = H or L=GL = G.

The unipotent hypothesis is necessary. For the diagonal subgroup of SL2(ℝ)\mathrm{SL}_2(\R), acting by the geodesic flow, there are orbits whose closures are fractal sets, not orbits of any subgroup.

Going deeper

For a student

These theorems are central tools of homogeneous dynamics. Clause 2 is Raghunathan's conjecture. They have applications in number theory, such as the Oppenheim conjecture on values of indefinite quadratic forms, which Margulis had proved earlier by related methods. They also give counting results for integer points on homogeneous varieties.

Reading path

To understand this page from the ground up, read these 5 pages in order. The foundations come first.

Show the path as a graph
Each page uses the pages above it. The colour of the bar on a box shows how strong the evidence is, and the box also gives it as text. The list has the same pages.
  • no evidence level
  1. Closure concept
  2. Lattice in a Lie group concept
  3. Lie group concept
  4. Probability measure concept
  5. Ratner's theorems statement

Further reading

  1. Web https://en.wikipedia.org/wiki/Ratner's_theorems
About this page
Tag3MXR03096V
URIm2://3MXR03096V
Kindstatement, theorem
WritingW0 stub
MSC37A17, 22E40, 22D40
StatusThis copy of the site has no build data. Run m2 status 3MXR03096V.
AboutLattice in a Lie group
UsesLie group, Lattice in a Lie group, Probability measure, Closure
Same as
Changed2 November 2026

Markdown · JSON · Edit on GitHub

What this page needs for W1

  • an inventory row: the row of the inventory that the node accounts for (0 of 1)
  • a source with a locator (0 of 1)

The writing levels say how complete the text of a page is. They do not measure its truth.

What links here

No page links to this page yet.