Number Theory Days 2012

Since 2005, the number theorists at ETH Zürich and at EPF Lausanne organize every year the Number Theory Days, which present five talks, in all areas of number theory, over two days. (Actually, I’ve seen one web page claim that the tradition started in 2004, but I didn’t find any other reference for it…)

The 2012 edition will be held in Zürich on March 30 and 31, co-organized by Philippe Michel and myself, with the support of the FIM. Here is the official web page and the beautiful poster:

We especially encourage your researchers interested in attending (PhD students, postdocs, in particular) to write to the FIM coordinator, as indicated on the web page, to register, and to indicate if they wish to request funding for travel and local expenses.

The Hermann Weyl Zimmer, renovated

The first time I came to Zürich, I gave a lecture in the Number Theory Seminar. Like most seminars at ETH, it was held in the room named “Hermann Weyl Zimmer”. I learnt there the ETH blackboard-erasing technique, which is by far the best I’ve ever seen. Later, I had many occasions to enjoy the pleasant old-fashioned chairs in the back row, which are perfect when attending seminars for pleasure (in particular, when one doesn’t take notes).

Last summer, the room was renovated, and it was formally inaugurated yesterday with a nice apéro. I took a few pictures…

The quote over the statue reads

In meiner Arbeit habe ich immer versucht, das Wahre mit dem Schönen zu vereinen; wenn ich mich über das Eine oder das Andere entscheiden musste, habe ich stets das Schöne gewählt.

which means (translation mine):

In my work, I have always tried to unite the True with the Beautiful; when I had to decide between one of them, I have always chosen what was Beautiful.

or

Dans mes travaux, j’ai toujours cherché à unir le Vrai avec le Beau ; lorsque j’ai dû décider entre l’un et l’autre, j’ai toujours choisi le Beau.

(I will not attempt an Italian translation…)

Here one can see the secret ETH tool for cleaning the blackboard:

And here are the chairs:

Finally, courtesy of my new phone, a panoramic view…

Journals

Two cents on the current journal/Elsevier controversy: this recent article in the ETH online magazine indicates that commercial publishers are suing ETH for providing a scanning service, where researchers in Switzerland (members of one of the libraries belonging to the Nebis consortium) are able to ask that the ETH library scan and send them by email any article available in the library (sometimes for a fee; this service is highly convenient to access articles not available online because the stacks of the main library at ETH are not accessible to its users.)

Note that Springer and Elsevier are both explicitly mentioned as two of the plaintiffs in that case.

Self-improvements

I’m currently profiting from the vacations to clean-up various aspects of my tentative to obtain explicit expansion bounds for subgroups of \mathrm{SL}_2(\mathbf{Z}) which are Zariski dense in \mathrm{SL}_2. To review the previous episodes, there are three basic ingredients that needed to be made explicit:

  • basic multiplicative combinatorics;
  • Helfgott’s growth theorem;
  • the Bourgain-Gamburd expansion criterion (especially the so-called “L^2-flattening” lemma).

 
I’ve already talked about the first and second. For the growth theorem, after a few more changes, my current result is that any generating subset H of G=\mathrm{SL}_2(\mathbf{F}_p) satisfies either H\cdot H\cdot H=G or
|H\cdot H\cdot H|\geq |H|^{1+1/1344},
(with no condition on p).

For multiplicative combinatorics, I have reworked the argument after noticing the fact (certainly obvious to all cognoscenti) that, for the purpose I need it, one can work mainly with symmetric sets, for which the basic relation between tripling constant and growth of n-fold product sets is quite a bit better (in explicit terms) than the corresponding one of “mixed” n-fold products involving either a set or its inverse. This gives much better exponents.

The most important gain comes, however, from a second look at the Bourgain-Gamburd inequality. The point is that they argue from a “dyadic” viewpoint, considering (in effect) the steps X_{2^jk} of a random walk (for a suitable starting point k where the walk has started to expand non-trivially). Each step from j to j+1 gives a fixed improvement of the counting of closed geodesics of the corresponding length, and the number of steps which is required is directly related to the spectral gap one obtains.

From a qualitative point of view, there is nothing to argue with this. But if one wants to get explicit constants, one notices (this is also certainly known to the aforementioned cognoscenti, as shown by Helfgott’s comment on my previous post…) that the argument of Bourgain-Gamburd works essentially just as well for steps 2jk of the random walk: what is needed is a small adaptation of their main inequality to bound the spread of products X_1X_2 where X_1 and X_2 are independent random variables with X_2 at least “as well spread out” as X_1.

Apart from this last part, which I will include soon since I just wrote down the details, I’ve incorporated these improvements in my notes. The last point, rather satisfyingly, improves exponentially the estimates for spectral gaps: for the Lubotzky group, it becomes now 2^{-38}, instead of 2^{-2^{36}} (for p large enough, and I confess that I don’t yet know what this last condition means explicitly…)

We’re not yet in the realm of really macroscopic numbers, but this is certainly encouraging…

Explicit growth for generating subsets of SL_2 over finite fields

I have one more lecture next week in my expander class, but today I finished the proof of Helfgott’s growth theorem for \mathrm{SL}_2(\mathbf{F}_p). As I had hoped, I did this in my notes with explicit constants (I didn’t try to follow those constants on the blackboard).

Taking into account some grains de sel, since there may well be minor computational mistakes lurking around (though I have already corrected a few), the result I obtain is the following: if p\geq 7 is prime, and if H\subset \mathrm{SL}_2(\mathbf{F}_p) is a symmetric generating set, containing 1 for simplicity, then either the triple product
H^{(3)}=\{xyz\,\mid\, x,y,z\in H\}
is all of \mathrm{SL}_2(\mathbf{F}_p), or otherwise we have
|H^{(3)}|\geq \frac{1}{2}|H|^{1+\delta}
where
\delta=\frac{1}{186}=0.0053763440860215053763440860215053763441\ldots

(Of course, the factor 1/2 can be incorporated into a slightly-smaller exponent, but that introduces an ugly-looking dependency on the size of H, which one must recover using an uglier trivial bound for |H| small, so I preferred this version…)

The current version of the notes contains the argument, though it is a bit rough (I will soon rearrange some of it, to attempt to provide more motivation — at least the way I understand how it goes…)

For the proof, I followed the clear outline in the first sections of the paper of Pyber and Szabó. This reduces the problem, rather quickly and cleanly, to a “non-concentration” estimate for the intersection of H with a regular-semisimple conjugacy class C, of the type
|C\cap H|\leq c|H^{(k)}|^{2/3}
for some fixed k and absolute constant c. This inequality is now commonly called a (generalized) Larsen-Pink inequality (the prototype going back to the late 90’s preprint — now published — of Larsen and Pink for the non-concentration of finite subgroups of algebraic groups in subvarieties). Though the general case is quite tricky, there is here an easy enough argument, based on studying the fibers of the map
(x_1,x_2,x_3)\mapsto (x_1x_2,x_1x_3)
where the three arguments x_i are all in C (this is the basic idea already presented by Larsen and Pink to explain their result, in another case).

It turns out that, if one imposes that C is not the conjugacy class of elements of trace 0, which can be ensured (using bare hands) by “escape from subvarieties”, the cases where this map has positive-dimensional fibers are rather simple to analyze (I owe this computation to R. Pink…)

Moreover, only one case requires another instance of Larsen-Pink-type inequalities (those readers who have looked at the paper of Larsen and Pink, or the one of Breuillard-Green-Tao which has a general “approximate” version, will know that there is a rather complicated induction involved in general), and it is a very easy one: if U is the subgroup of upper-triangular unipotent matrices, then
|U\cap H|\leq 1+|H^{(5)}|^{1/3}\leq 2|H^{(5)}|^{1/3},
which is an instructive exercise. (In fact, in rearranging this section of my notes, I will use this as a motivating example…)

With this final ingredient, I can now produce (with the same amount of salt…) an effective spectral gap for the Cayley graphs of the Lubotzky subgroup of \mathrm{SL}_2(\mathbf{Z}), generated by
u=\begin{pmatrix} 1& 3\\ 0&1\end{pmatrix},\quad\quad v=\begin{pmatrix} 1&0\\3&1\end{pmatrix},
modulo primes, namely (drumroll) for p large enough (drumroll; but I won’t tell you how large today), we have (drumroll)
\lambda_1(\Gamma_p)\geq 2^{-2^{34}}.

(Actually, I already know various points of inefficiency in my treatment of the Bourgain-Gamburd expansion argument which should lead to some improvements, and I hope to find other avenues to explore and stones to turn to do better…)