Posted by: matheuscmss | July 13, 2011

Conférence internationale Géométrie Ergodique (Orsay 2011) I

A few months ago, I attended the very interesting conference “Conférence Internationale Géométrie Ergodique” held at the Math. Department of Orsay (Univ. Paris 11) from 23th to 27th May. My general feeling was that the conference was very exciting and the lecturers did a great effort to make their expositions as clear as possible. In particular, I decided to transcript my notes for the lectures of Elon Lindenstrauss, Manfred Einsiedler, Dmitry Kleinbock and Yves Guivarch.

So, let’s get started with Elon Lindenstrauss’ talk (based on joint work with Gregory Margulis). The title of Lindenstrauss’ talk was:

1. An effective proof of Oppenheim conjecture

Conjecture (Oppenheim). Let {Q} be an indefinite quadratic form in {d\geq 3} variables such that {Q} is not proportional to an integral form (i.e., a form with integer coefficients). Then,

\displaystyle \inf\limits_{v\in\mathbb{Z}^d-\{0\}}|Q(v)|=0

In this form, the conjecture is due to Davenport. The original conjecture by Oppenheim was for {d\geq 5} variables, inspired by

Theorem 1 (Meyer) If {Q} is an integral indefinite quadratic form in {d\geq 5}, then {Q} represents {0} non-trivially, i.e., {Q(v)=0} for some {v\in\mathbb{Z}^d-\{0\}}.

Remark 1 {Q(x,y,z,w)=x^2+y^2-3(z^2+w^2)} doesn’t represent {0} non-trivially (check everything mod 3). So, for this {Q}, a quadratic form in 4 variables, {\inf\limits_{v\in\mathbb{Z}^4-\{0\}}|Q(v)|=1}.

Oppenheim showed that his conjecture is true for {Q(x,y,z,w)=x^2+y^2+z^2-\theta w^2}, {\theta\notin\mathbb{Q}}. His proof is based on two facts:

  • any odd number {\not\equiv 7} mod {8} can be written as {x^2+y^2+z^2};
  • {\theta n^2} mod {1} is dense.

Davenport and his coauthors proved (around 1946) Oppenheim’s conjecture for:

  • {Q=\sum\limits_{i=1}^n\lambda_i x_i^2}, {n\geq 5} (i.e., diagonal quadratic forms in {n\geq 5} variables);
  • general quadratic forms in {n\geq 21} variables.

G. Margulis proved Oppenheim’s conjecture in mid 80’s using homogenous dynamics: in fact, Margulis proved that if {Q} is a quadratic indefinite form not proportional to integral in {d\geq 3} variables, then

\displaystyle \overline{Q(\mathbb{Z}^d)}=\mathbb{R}.

After that, S. Dani and G. Margulis extended this result to show, e.g., that under the hypothesis of Oppenheim’s conjecture, {\overline{\{Q(v):v\in\mathbb{Z}^d \textrm{ is primitive}\}}=\mathbb{R}}.

The restriction {d\geq 3} is necessary:

\displaystyle \inf\limits_{(x,y)\in\mathbb{Z}^2-\{0\}}\left|x^2-(1+\sqrt{2})y^2\right|\geq 1/100

Here, {(1+\sqrt{2})} can be replaced by any number which is the square of a badly approximable number, e.g., {((1+\sqrt{5})/2)^2}.

Remark 2 In any case, all known analytic/number-theoretical proofsof (particular cases of) Oppenheim conjecture end up by showing that

\displaystyle \inf\{|Q(v)|:v\in\mathbb{Z}^d, 0<|v|<T\}\leq cT^{-\alpha}

However, this is not the case of Margulis dynamical proof.

Margulis’ proof goes like this. Firstly, one noticed that it suffices to proved Oppenheim’s conjecture for quadratic form in {d=3} variables (i.e., ternary quadratic forms). Indeed, it is not hard to check that if we start with an indefinite quadratic form in {d} variables which is not proportional to an integral form, then we can find a “generic” and “irrational” hyperplane such that the restriction of {Q} to this hyperplane is a quadratic form in {(d-1)} variables which is both indefinite and not proportional to integer. Thus, if we can prove the conjecture in {(d-1)} variables, we will be able to conclude it in {d} variables.

Secondly, for the case of 3 variables, Margulis proved the conjecture by proving the following dynamical result. Let {H=SO(1,2)} be the group of {3\times 3} matrices preserving {Q_0:=2xz-y^2}.

Theorem 2 (Margulis) Any {H}-orbit in {SL(3,\mathbb{R})/SL(3,\mathbb{Z})} is either periodic or unbounded.

Here, we say that {H.x} is periodic if the stabilizer {\textrm{Stab}_x H} has finite covolume in {H}.

Remark 3 Since this definition of periodicity asks only for finite covolume (and not cocompactness), the conditions “periodic” and “unbounded” are not mutually exclusive.

As it was already mentioned, S. Dani and G. Margulis improved this theorem by showing that:

Theorem 3 (Dani-Margulis) Any {H}-orbit in {\mathcal{L}_3:=SL(3,\mathbb{R})/SL(3,\mathbb{Z})} is either periodic or dense.

Corollary 4 {Q} as in Oppenheim conjecture. Then, {\overline{\{Q(v):v\in\mathbb{Z}^3-\{0\} \textrm{ primitive}\}}=\mathbb{R}}.

To see why the dynamical results from Theorems 2 and 3 have something to do with Oppenheim conjecture (and Corollary 4 above), we observe that any {Q} quadratic indefinite form (of signature {(1,2)}) can be written as {Q(v)=Q_0(gv)} with {g\in SL(3,\mathbb{R})}. In this notation,

\displaystyle \begin{array}{rcl} &\{Q(v):v\in\mathbb{Z}^3-\{0\}, v \textrm{ primitive}\}\\&=\{Q_0(v):v\in g\mathbb{Z}^3:=\Lambda, v\neq 0 \textrm{ primitive}\} \\ &= \{Q_0(v):v\in h\Lambda-\{0\} \textrm{ primitive}\} \end{array}

for {h\in SO(1,2)}.

An easy argument gives that

\displaystyle H\cdot\Lambda \textrm{ is periodic } \iff Q \textrm{ is proportional to integral }

So, by Dani-Margulis theorem, {H\cdot\Lambda} is dense whenever {Q} is as in Oppenheim conjecture. Now, we note that, somewhere in {\mathcal{L}_3:=SL(3,\mathbb{R})/SL(3,\mathbb{Z})} (the space of unimodular lattices), there is a lattice {\Lambda'} with {(1,0,t/2)\in\Lambda'} and {(1,0,t/2)} primitive, so that there is {h\in H} such that {h\cdot\Lambda} contains a primitive vector {w} very close to {(1,0,t/2)}, and hence

\displaystyle t\in\overline{\{Q(v): v\in\mathbb{Z}^3-\{0\} \textrm{ primitive}\}}.

Closing the “historical introduction” part of the talk, Lindenstrauss remarked that Dani-Margulis theorem is a special case of Raghunathan’s conjecture which in particular classifies orbit closures {\overline{Lx}} in {G/\Gamma} whenever {L} is generated by unipotent one-parameter subgroups. Furthermore, Raghunathan’s conjecture was proved in full generality by Marina Ratner.

Remark 4 Of course, this is a very long history and due to the usual space-time limitations, Lindenstrauss was obliged to stop here the introductory considerations. For the curious reader wishing to learn more about the topics mentioned above, I strongly recommend reading Terence Tao’s posts on this subject, specially these ones here.

Anyway, as it was more or less hinted in Remark 2 above, it is not very easy to convert Margulis’ proof directly into an effective/quantitative statement. However, in their way to extend Margulis’ result, S. Dani and G. Margulis observed that there is a shortcut giving some hope for quantitative theorems:

Remark 5 (Dani-Margulis’ shortcut) To establish Corollary 4, it is enough to show that, if {\overline{Hx}} is not periodic, then there exists {y\in\overline{Hx}} such that {Vy\subset\overline{Hx}}, where

\displaystyle V=\left\{\left(\begin{array}{ccc} 1 & 0 & \ast \\ 0 & 1 & 0 \\ 0 & 0 & 1\end{array}\right)\right\}\not\subset H

This “shortcut” allowed E. Lindenstrauss and G. Margulis to recently prove the following series of theorems:

Disclaimer: While I did my best to get correct quantifiers in the statements below, it could be that I introduced errors at the moment of taking notes. In particular, any mistakes in the statements below are, of course, my fault.

Theorem 5 Let {Q} be an indefinite ternary quadratic form such that {\det Q=1}. Assume that the coefficients of {Q} are algebraic but {Q} is not proportional to an integral form. Then, for any {T>0}, there exists {v\in\mathbb{Z}^d} primitive, {0<|v|<T} such that

\displaystyle |Q(v)|<\frac{c}{(\log T)^{\alpha}}

Here, {\alpha} is an uniform constant and {c} depends only on the “algebraic degree” (height) of the coefficients of {Q}.

Theorem 6 For every {M>0}, there exists a constant {T_0(M)>0} with the following property. Let {Q} be indefinite quadratic form in {d\geq 3} variables with {\det Q=1} and all coefficients of {Q} are {<M} in absolute value. Assume that, for {T>T_0(M)}, there is no integral {Q_1} with {\det Q_1<\log T} such that

\displaystyle \left\|Q-\frac{Q_1}{(\det Q_1)^{1/2}}\right\|< T^{-\delta}

Then, for all {s<(\log T)^{\alpha}/c}, there is a primitive {v\in\mathbb{Z}^d} such that {0<|v|<T} and

\displaystyle |Q(v)-s|<c/(\log T)^{\alpha}

Here, {\delta>0}, {\alpha>0} and {c>0} are uniform constants (depending only on {d\geq 3}).

Remark 6 For sake of comparison between these two theorems, we notice that their common “feature” is the presence of a “Diophantine condition”: in the first theorem, this corresponds to the assumption that the coefficients of {Q} are algebraic (but {Q} is not a multiple of an integral form), while in the second theorem this is expressed by imposing that {Q} is badly approximable by integral forms {Q_1} (in a precise quantitative way).

For the statement of the next theorem, we’ll need the following conventions:

Notation:

  • {\mathcal{L}_3^{\delta}=\{\Lambda\in\mathcal{L}_3: |v|>\delta\,\forall\, v\in\Lambda\}}, i.e., the subset of {\mathcal{L}_3} consisting of all lattices with no {\delta}-short vectors;
  • for any {T\in\mathbb{R}}, {W\subset G}, {B_T^W:=\{h\in W: \|h-\textrm{id}\|<T\}}.

Theorem 7 For every {M>0}, there are constants {T_0(M)>0} and {M_0(M)>0} with the following properties. Let {x_0\in\mathcal{L}_3^{1/M}} be such that, for each {T>T_0(M)}, there is no periodic {H}-orbit {Hy} with {\textrm{vol}(Hy)<(\log T)^{\delta}} and {d(x_0,Hy)<T^{-\delta}}.Then, for any {|s|<(\log T)^{\alpha}/c}, there are {y_0\in\mathcal{L}_3^{1/M_0(M)}} and {h\in B_H^T} such that

\displaystyle d\left(hx_0,\left(\begin{array}{ccc} 1 & 0 & s \\ 0 & 1 & 0 \\ 0 & 0 & 1\end{array}\right)y_0\right)<c/(\log T)^{\alpha}

Remark 7 This theorem is the quantitative analogue of the shortcut remark (to Corollary 4) of Dani-Margulis (see Remark 5).

Finally, E. Lindenstrauss announced that G. Margulis and him were also capable of producing a quantitative version of the “{Hx} is periodic or dense” dichotomy (Dani-Margulis Theorem 3) saying that, if we can avoid certain periodic orbits {Hy} nearby {Hx} (more or less like in Theorem 7 above), then the orbit {Hx} must be {1/(\log\log T)^{\alpha}} dense. However, since E. Lindenstrauss started running out of time, he could neither give a precise statement for this last claim/theorem nor give sketches of proofs of any of the 3 theorems stated above.


Responses

  1. […] Conférence internati… on Ratner’s theorems […]


Leave a Reply

Fill in your details below or click an icon to log in:

WordPress.com Logo

You are commenting using your WordPress.com account. Log Out / Change )

Twitter picture

You are commenting using your Twitter account. Log Out / Change )

Facebook photo

You are commenting using your Facebook account. Log Out / Change )

Google+ photo

You are commenting using your Google+ account. Log Out / Change )

Connecting to %s

Categories

%d bloggers like this: