Ratner's theorems

Last updated

In mathematics, Ratner's theorems are a group of major theorems in ergodic theory concerning unipotent flows on homogeneous spaces proved by Marina Ratner around 1990. The theorems grew out of Ratner's earlier work on horocycle flows. The study of the dynamics of unipotent flows played a decisive role in the proof of the Oppenheim conjecture by Grigory Margulis. Ratner's theorems have guided key advances in the understanding of the dynamics of unipotent flows. Their later generalizations provide ways to both sharpen the results and extend the theory to the setting of arbitrary semisimple algebraic groups over a local field.

Contents

Short description

The Ratner orbit closure theorem asserts that the closures of orbits of unipotent flows on the quotient of a Lie group by a lattice are nice, geometric subsets. The Ratner equidistribution theorem further asserts that each such orbit is equidistributed in its closure. The Ratner measure classification theorem is the weaker statement that every ergodic invariant probability measure is homogeneous, or algebraic: this turns out to be an important step towards proving the more general equidistribution property. There is no universal agreement on the names of these theorems: they are variously known as the "measure rigidity theorem", the "theorem on invariant measures" and its "topological version", and so on.

The formal statement of such a result is as follows. Let be a Lie group, a lattice in , and a one-parameter subgroup of consisting of unipotent elements, with the associated flow on . Then the closure of every orbit of is homogeneous. This means that there exists a connected, closed subgroup of such that the image of the orbit for the action of by right translations on under the canonical projection to is closed, has a finite -invariant measure, and contains the closure of the -orbit of as a dense subset.

Example:

The simplest case to which the statement above applies is . In this case it takes the following more explicit form; let be a lattice in and a closed subset which is invariant under all maps where . Then either there exists an such that (where ) or .

In geometric terms is a cofinite Fuchsian group, so the quotient of the hyperbolic plane by is a hyperbolic orbifold of finite volume. The theorem above implies that every horocycle of has an image in which is either a closed curve (a horocycle around a cusp of ) or dense in .

See also

Related Research Articles

The Kolmogorov–Arnold–Moser (KAM) theorem is a result in dynamical systems about the persistence of quasiperiodic motions under small perturbations. The theorem partly resolves the small-divisor problem that arises in the perturbation theory of classical mechanics.

In mathematics, specifically in the study of dynamical systems, an orbit is a collection of points related by the evolution function of the dynamical system. It can be understood as the subset of phase space covered by the trajectory of the dynamical system under a particular set of initial conditions, as the system evolves. As a phase space trajectory is uniquely determined for any given set of phase space coordinates, it is not possible for different orbits to intersect in phase space, therefore the set of all orbits of a dynamical system is a partition of the phase space. Understanding the properties of orbits by using topological methods is one of the objectives of the modern theory of dynamical systems.

Ergodic theory is a branch of mathematics that studies statistical properties of deterministic dynamical systems; it is the study of ergodicity. In this context, "statistical properties" refers to properties which are expressed through the behavior of time averages of various functions along trajectories of dynamical systems. The notion of deterministic dynamical systems assumes that the equations determining the dynamics do not contain any random perturbations, noise, etc. Thus, the statistics with which we are concerned are properties of the dynamics.

<span class="mw-page-title-main">Ricci flow</span> Partial differential equation

In the mathematical fields of differential geometry and geometric analysis, the Ricci flow, sometimes also referred to as Hamilton's Ricci flow, is a certain partial differential equation for a Riemannian metric. It is often said to be analogous to the diffusion of heat and the heat equation, due to formal similarities in the mathematical structure of the equation. However, it is nonlinear and exhibits many phenomena not present in the study of the heat equation.

<span class="mw-page-title-main">Arithmetic group</span>

In mathematics, an arithmetic group is a group obtained as the integer points of an algebraic group, for example They arise naturally in the study of arithmetic properties of quadratic forms and other classical topics in number theory. They also give rise to very interesting examples of Riemannian manifolds and hence are objects of interest in differential geometry and topology. Finally, these two topics join in the theory of automorphic forms which is fundamental in modern number theory.

In group theory, a field of mathematics, a double coset is a collection of group elements which are equivalent under the symmetries coming from two subgroups. More precisely, let G be a group, and let H and K be subgroups. Let H act on G by left multiplication and let K act on G by right multiplication. For each x in G, the (H, K)-double coset of x is the set

<span class="mw-page-title-main">Grigory Margulis</span> Russian mathematician

Grigory Aleksandrovich Margulis is a Russian-American mathematician known for his work on lattices in Lie groups, and the introduction of methods from ergodic theory into diophantine approximation. He was awarded a Fields Medal in 1978, a Wolf Prize in Mathematics in 2005, and an Abel Prize in 2020, becoming the fifth mathematician to receive the three prizes. In 1991, he joined the faculty of Yale University, where he is currently the Erastus L. De Forest Professor of Mathematics.

In mathematics, ergodic flows occur in geometry, through the geodesic and horocycle flows of closed hyperbolic surfaces. Both of these examples have been understood in terms of the theory of unitary representations of locally compact groups: if Γ is the fundamental group of a closed surface, regarded as a discrete subgroup of the Möbius group G = PSL(2,R), then the geodesic and horocycle flow can be identified with the natural actions of the subgroups A of real positive diagonal matrices and N of lower unitriangular matrices on the unit tangent bundle G / Γ. The Ambrose-Kakutani theorem expresses every ergodic flow as the flow built from an invertible ergodic transformation on a measure space using a ceiling function. In the case of geodesic flow, the ergodic transformation can be understood in terms of symbolic dynamics; and in terms of the ergodic actions of Γ on the boundary S1 = G / AN and G / A = S1 × S1 \ diag S1. Ergodic flows also arise naturally as invariants in the classification of von Neumann algebras: the flow of weights for a factor of type III0 is an ergodic flow on a measure space.

In mathematics, Mostow's rigidity theorem, or strong rigidity theorem, or Mostow–Prasad rigidity theorem, essentially states that the geometry of a complete, finite-volume hyperbolic manifold of dimension greater than two is determined by the fundamental group and hence unique. The theorem was proven for closed manifolds by Mostow and extended to finite volume manifolds by Marden (1974) in 3 dimensions, and by Prasad in all dimensions at least 3. Gromov (1981) gave an alternate proof using the Gromov norm. Besson, Courtois & Gallot (1996) gave the simplest available proof.

In mathematics, a nilmanifold is a differentiable manifold which has a transitive nilpotent group of diffeomorphisms acting on it. As such, a nilmanifold is an example of a homogeneous space and is diffeomorphic to the quotient space , the quotient of a nilpotent Lie group N modulo a closed subgroup H. This notion was introduced by Anatoly Mal'cev in 1949.

<span class="mw-page-title-main">Horocycle</span> Curve whose normals converge asymptotically

In hyperbolic geometry, a horocycle, sometimes called an oricycle or limit circle, is a curve of constant curvature which converges asymptotically in both directions to a single ideal point, called the centre of the horocycle. The perpendicular geodesics through every point on a horocycle are limiting parallels, and also all converge asymptotically to the centre. It is the two-dimensional case of a horosphere.

<span class="mw-page-title-main">Marina Ratner</span> Russian mathematician (1938–2017)

Marina Evseevna Ratner was a professor of mathematics at the University of California, Berkeley who worked in ergodic theory. Around 1990, she proved a group of major theorems concerning unipotent flows on homogeneous spaces, known as Ratner's theorems. Ratner was elected to the American Academy of Arts and Sciences in 1992, awarded the Ostrowski Prize in 1993 and elected to the National Academy of Sciences the same year. In 1994, she was awarded the John J. Carty Award from the National Academy of Sciences.

In mathematics, and especially gauge theory, Seiberg–Witten invariants are invariants of compact smooth oriented 4-manifolds introduced by Edward Witten, using the Seiberg–Witten theory studied by Nathan Seiberg and Witten during their investigations of Seiberg–Witten gauge theory.

In mathematics, more precisely in group theory and hyperbolic geometry, Arithmetic Kleinian groups are a special class of Kleinian groups constructed using orders in quaternion algebras. They are particular instances of arithmetic groups. An arithmetic hyperbolic three-manifold is the quotient of hyperbolic space by an arithmetic Kleinian group.

<span class="mw-page-title-main">Lattice (discrete subgroup)</span> Discrete subgroup in a locally compact topological group

In Lie theory and related areas of mathematics, a lattice in a locally compact group is a discrete subgroup with the property that the quotient space has finite invariant measure. In the special case of subgroups of Rn, this amounts to the usual geometric notion of a lattice as a periodic subset of points, and both the algebraic structure of lattices and the geometry of the space of all lattices are relatively well understood.

In mathematics, Maass forms or Maass wave forms are studied in the theory of automorphic forms. Maass forms are complex-valued smooth functions of the upper half plane, which transform in a similar way under the operation of a discrete subgroup of as modular forms. They are eigenforms of the hyperbolic Laplace operator defined on and satisfy certain growth conditions at the cusps of a fundamental domain of . In contrast to modular forms, Maass forms need not be holomorphic. They were studied first by Hans Maass in 1949.

In mathematics, the Arthur–Selberg trace formula is a generalization of the Selberg trace formula from the group SL2 to arbitrary reductive groups over global fields, developed by James Arthur in a long series of papers from 1974 to 2003. It describes the character of the representation of G(A) on the discrete part L2
0
(G(F)\G(A))
of L2(G(F)\G(A)) in terms of geometric data, where G is a reductive algebraic group defined over a global field F and A is the ring of adeles of F.

Local rigidity theorems in the theory of discrete subgroups of Lie groups are results which show that small deformations of certain such subgroups are always trivial. It is different from Mostow rigidity and weaker than superrigidity.

In Lie theory, an area of mathematics, the Kazhdan–Margulis theorem is a statement asserting that a discrete subgroup in semisimple Lie groups cannot be too dense in the group. More precisely, in any such Lie group there is a uniform neighbourhood of the identity element such that every lattice in the group has a conjugate whose intersection with this neighbourhood contains only the identity. This result was proven in the 1960s by David Kazhdan and Grigory Margulis.

In mathematics, the Poisson boundary is a measure space associated to a random walk. It is an object designed to encode the asymptotic behaviour of the random walk, i.e. how trajectories diverge when the number of steps goes to infinity. Despite being called a boundary it is in general a purely measure-theoretical object and not a boundary in the topological sense. However, in the case where the random walk is on a topological space the Poisson boundary can be related to the Martin boundary, which is an analytic construction yielding a genuine topological boundary. Both boundaries are related to harmonic functions on the space via generalisations of the Poisson formula.

References

Expositions

Selected original articles