Dynamical systems and ergodic theory Ergodic theory Theorem
Ratner's theorems
Builds on Lie groupLattice in a Lie groupProbability measureClosure
Statement
Let be a connected Lie group, let be a lattice in , and let . An element is unipotent if is a unipotent linear map of the Lie algebra of . Let be a connected closed subgroup of generated by one-parameter subgroups of unipotent elements. A probability measure on is homogeneous if there are a closed subgroup of and with the following properties. The orbit is closed, and is the -invariant probability measure supported on . Then:
- (Measure classification) every -invariant and ergodic Borel probability measure on is homogeneous;
- (Orbit closures) for every , the closure of equals for a closed subgroup such that carries an -invariant probability measure;
- (Equidistribution) let be a one-parameter subgroup of unipotent elements, and let . Then there is a homogeneous measure such that, for every bounded continuous on ,
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: , , and . Then is the unit tangent bundle of the modular surface, and acts by the horocycle flow. Each -orbit is either a periodic closed horocycle or dense in , a fact known before Ratner; here or .
The unipotent hypothesis is necessary. For the diagonal subgroup of , 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
- no evidence level
- Closure concept
- Lattice in a Lie group concept
- Lie group concept
- Probability measure concept
- Ratner's theorems statement
Further reading
About this page
| Tag | 3MXR03096V |
|---|---|
| URI | m2://3MXR03096V |
| Kind | statement, theorem |
| Writing | W0 stub |
| MSC | 37A17, 22E40, 22D40 |
| Status | This copy of the site has no build data. Run m2 status 3MXR03096V. |
| About | Lattice in a Lie group |
| Uses | Lie group, Lattice in a Lie group, Probability measure, Closure |
| Same as | |
| Changed | 2 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.