In his final lecture, Prof. Margulis talked about some of the ideas around the theory of unipotent flows on homogeneous spaces, culminating in the orbit closure, equidsitribution, and measure classification theorems of Ratner in the subject. Margulis also discussed the application to metric theory of Diophantine approximation which was not covered in the preceding lecture.

— Some ingredients in the proofs —

Margulis began with some ingredients used in the proofs of the above theorems, either in special cases or in full generality.

The simplest examples of flows on homogeneous spaces are linear flows acting on a point x in Euclidean space . Already when n=2, one sees a sharp distinction between unipotent flows, such as

(1)

and non-unipotent flows, such as

. (2)

Indeed, if x is a typical point close to the origin, then both and will “pull” x away from the origin, but , being unipotent (hence polynomial) in nature, will do so in a “slow” and “controlled” manner, whereas , being non-unipotent (hence exponential) in nature, will do so in “fast” and “uncontrolled” manner. One can formalise this as follows. If we fix two constants , and assume , and let and be the first times t for which exceeds r or R respectively, then in unipotent cases such as (1), will be comparable in magnitude to regardless of how close x is initially to the origin, whereas in non-unipotent cases, we expect to be much smaller than (indeed, for (2), while in general). In other words, when tracking the trajectory of x through the “near” region and the “intermediate” region , in the unipotent case a large fraction of the trajectory is in the intermediate region, whereas in the non-unipotent case the trajectory is mostly in the near region. It turns out that the intermediate region is where all the interesting dynamics occurs, which is why the unipotent case is much better behaved than the non-unipotent case.

The above discussion compared an orbit of a linear action with the origin, but one can generalise it in several ways. Firstly, given an action of a (Ad-) unipotent one-parameter subgroup on a homogeneous space , there is a similar phenomenon: if x and y are two very close points in that differ by some group element g (i.e. ), then and differ by , and the Ad-unipotency will guarantee that when again considering the portion of the trajectory for which and are within R of each other, a significant portion of that trajectory will in fact be spent in the “intermediate range” in which the separation between and is between r and R.

For various technical reasons, it is not enough in most applications to study how to nearby points x, y are pulled apart from each other by unipotent flows, but rather how two nearby *sets* Ax, Ay are pulled apart, where A is some nice subset of G, typically living in some closed subgroup U. For this one needs to analyse the action of the unipotent group on some sort of “transverse space” such as . There are some technical difficulties here because such quotient spaces are not, in general, affine varieties, and so the unipotent action is no longer polynomial. However, thanks to Chevalley’s theorem, they are still *quasi*-affine varieties (if one takes a “G-equivariant” perspective), and this keeps the unipotent action “rational” at least, which turns out to suffice to get the type of intermediate range behaviour discussed above. [I admit I didn’t fully understand this point.] The strategy is always to reduce matters to the case of linear actions by linearising around one of the sets Ax, Ay, so this technique is often referred to as the “linearisation technique”.

It is often difficult to apply this technique, but in the special case when the unipotent group U is *horospherical*, which means that there exists a group element g such that for all u in U, there is an easier method available, called the “banana argument”, which relies of the act of conjugation by to stretch out U without stretching out the directions transverse to U to find neighbourhoods of U that remain close to U even after conjugating by for large n (the conjugated neighbourhoods resemble a banana in shape, hence the name). (In , it turns out that all unipotent groups are horospherical, but this is certainly not the case in general, thus can be a somewhat misleading example.) By combining this argument with the mixing properties of g (which would basically be geodesic flow in the case) one can obtain many special cases of the orbit closure theorem and related results, but they are largely restricted to horospherical settings.

Another important property of unipotent flows is that of *quantitative recurrence to compact sets*. If is a lattice of a connected Lie group G, then need not be compact (though it must have finite volume); it can (and usually does) contain one or more cusps going off to infinity. For instance, the homogeneous space of unimodular lattices has a cusp; a lattice goes to infinity” when the distance of the shortest non-zero vector in goes to zero. However, it turns out that unimodular flows never send lattices off to infinity, which (in principle) allows us to argue “as if” was compact when considering unipotent flows:

Qualitative recurence to compact sets.If is a unipotent one-parameter group, and is a lattice, then returns to any given compact subset of for arbitrarily large times .

(Of course, this type of claim is totally false in the non-unipotent case, such as for the flow (2).)

In the n=2 case the claim is easy to prove, and relies on two facts. The first fact (valid in all dimensions) is a controlled growth rate for linear unipotent flows in the intermediate range, or more precisely for every there exists an such that if for all and some vector v, then we have for all . (This is closely related to the growth properties mentioned at the start of the talk). The second fact is specific to two dimensions, and states the obvious fact that a two-dimensional unimodular lattice cannot contain two linearly independent vectors which are both small (e.g. have magnitude less than 1/2), since otherwise the parallelogram they generate would have too small an area for the lattice to be unimodular.

For higher dimensions, one can use similar arguments, but one needs to deal with primitive sublattices of rather than individual vectors; see this paper of Margulis.

In practice, the qualitative recurrence is not enough (it is not uniform in , also one needs to generalise to other homogeneous spaces) and one needs results such as the following:

Quantitative recurrence to compact sets.Let G be a connected Lie group, a lattice in G, F be a compact set in , and . Then the unipotent orbits with “mostly stay in a compact set” in the sense that there is a compact subset K of such that for any and , and any unipotent one-parameter subgroup , one has .

This particular result is essentially due to Dani (see e.g. this paper), and is also related to earlier work of Selberg and Pyatetskii-Shapiro.

— Applications to metric theory of Diophantine approximation —

Recall that a vector is said to be *very well approximable* (or VWA) by rationals if there exists and infinitely many non-zero such that . There is also the weaker property of being *very well multiplicatively approximable* (VWMA), in which is replaced by for some , where are the components of q. An easy application of the Borel-Cantelli lemma shows that almost every point in is not VWA and not VWMA. However, this does not reveal what happens when one places additional constraints on x, such as restriction to a lower-dimensional surface. A typical question is whether almost every point on the curve is VMA or VWMA. This was conjectured by Mahler and stablished by Sprindzuk by an intricate argument (the Borel-Cantelli argument fails if applied naively, the total measure of all the exceptional sets diverges). Using the theory of homogeneous unipotent flows, Kleinbock and Margulis established a much more general statement: given any non-degenerate sufficiently smooth submanifold of , almost every point on that manifold is not VWMA (and hence also not VMA). (“Non-degenerate” basically means that sufficiently many of the derivatives of the graphing functions have full rank; in the analytic category, it is equivalent to the manifold not being contained in a proper subspace.)

It turns out that this problem is equivalent to a dynamical problem on , involving the unipotent shifts where

and f is a graphing function for the manifold of interest. Indeed, a point f(x) is VDMA iff only goes off to infinity at a sublinear rate at worst, where and is the diagonal matrix with coefficients . The quantitative recurrence to compact sets is the main tool used to establish that this occurs for almost every x. Note that this type of argument is entirely concerned with how often an orbit stays in the cusp and is thus more of a “covering” argument than an “equidistribution” argument.

— The orbit closure, equidistribution, and measure classification theorems —

Finally, Margulis discussed the famous orbit closure, equidistribution, and measure classification theorems for unipotent flows, proven in full generality by Ratner after several partial results by other authors. Here are the three theorems:

Orbit closure theorem.Let H be a connected subgroup of a connected Lie group G generated by Ad-unipotent elements,let be a lattice, and let . Then the orbit closure takes the form Lx for some closed connected subgroup L containing H. Furthermore Lx supports an L-invariant measure (such measures are known asalgebraic measures).

Equidistribution theorem.Suppose further that is a one-parameter Ad-unipotent subgroup, then for any continuous compactly supported , we have as .

Measure classification theorem.Let be a discrete subgroup of a connected Lie group G (not necessarily a lattice), and let H be a connected subgroup generated by Ad-unipotents. THen any finite H-ergodic H-invariant measure on is algebraic.

The orbit closure theorem was first conjectured by Raghunathan in the case when U was itself an Ad-unipotent subgroup; the measure classification theorem was conjectured by Dani in the same setting. These two conjectures in the case when G was reductive and U was maximal horospherical was settled by Dani, while the solvable case of Raghunathan’s conjecture was done by Starkov. The first non-horospherical case (, with U consisting of rank 2 perturbations of the identity) of the Raghunathan conjecture was done by Dani and Margulis, and the full statement of all these theorems was done by Ratner.

The orbit closure theorem follows in a reasonably straightforward fashion from the equidistribution theorem. The equidistribution theorem in turn follows by combining the quantitative recurrence to compact sets with the measure classification argument, together with an additional (relatively easy) argument based on the countability of rational subgroups of G. The basic idea is to linearise the dynamics around a minimal invariant set and exploit the controlled growth of unipotent flows in the transverse direction. A key proposition that encapsulates this idea is as follows:

Proposition.Let G, , U be as above. Let H be a closed connected subgroup of G which is rational (i.e. is cocompact in H). Let X be the set of all group elements such that . Then is avoidable in in the following sense: given any compact set C outside of and , there exists a neighbourhood of such that orbits originating from C mostly stay outside , or more precisely we havefor any and .

## 7 comments

Comments feed for this article

16 January, 2009 at 9:00 pm

Allen Knutsonsuch quotient spaces are not, in general, affine varieties, and so the unipotent action is no longer polynomial. … they are still quasi-affine varieties … [I admit I didn’t fully understand this point.]I certainly don’t understand the relevance, but at least I can explain the basic example. In the action of SL_2(C) on C^2, there are two orbits, the origin and the rest, and this latter orbit is easily identified with SL_2(C)/U. This space is not affine; if you take an algebraic function on C^2 \ 0 it will automatically extend over C^2 (Hartogs’ theorem). But it’s an open set in an affine variety, so it’s “quasi-affine”.

Adding a point to C^2 \ 0 seems harmless enough; unfortunately the corresponding space for any more interesting Lie group than SL_2 is always singular along the added points.

17 January, 2009 at 6:13 pm

Terence TaoThanks Allen, that helped clarify things for me!

18 January, 2009 at 8:09 am

Steven HeilmanI believe the Equidistribution theorem is stated incorrectly. We want to let T go to infinity, no?

[Oops! Thanks for the correction – T.]13 July, 2011 at 6:44 am

Conférence internationale Géométrie Ergodique (Orsay 2011) I « Disquisitiones Mathematicae[…] above, I strongly recommend reading Terence Tao’s posts on this subject, specially these ones […]

30 August, 2011 at 5:45 am

AnonymousDear Terry,

I just wanted to let you know that you’ve been using two tags: “Gregory Margulis” and “Grigory Margulis”. So posts tagged with one don’t show up as posted tagged wtih the other.

[Corrected, thanks – T.]4 April, 2012 at 9:59 am

Hakan Eliasson’s talk on a problem of Michel Herman « Disquisitiones Mathematicae[…] the section “Applications to metric theory of Diophantine approximation” this post here and this article of D. Kleinbock and G. Margulis for a nice introductions to this circle of ideas), […]

27 February, 2018 at 11:06 pm

Taylor MHello, and thank you for this nice summary of some very interesting material!

I realize this post is a bit old now, but I just wanted to point out that the statement of qualitative recurrence to compact sets as stated here is not correct. For any unipotent flow on the space of lattices \Omega_n, the orbit of almost every lattice will be dense in \Omega_n, which is not itself compact, so the statement above cannot be true. The qualitative statement of recurrence should instead be that for any compact set K and any lattice in \Omega_n, the orbit of that lattice under u(t) will return to K for arbitrarily large values of t. The quantitative statement makes this more precise by specifying that in fact a large (depending on K) proportion of the time will be spent inside K. Nonetheless, the orbit of any generic point will contain lattices with arbitrarily short vectors.

Best,

Taylor M

[Corrected, thanks – T.]