## Multiple height zeta functions?

Idle speculation ensues.

Let X be a projective variety over a global field K, which is Fano — that is, its anticanonical bundle is ample.  Then we expect, and in lots of cases know, that X has lots of rational points over K.  We can put these points together into a height zeta function

$\zeta_X(s) = \sum_{x \in X(K)} H(x)^{-s}$

where H(x) is the height of x with respect to the given projective embedding.  The height zeta function organizes information about the distribution of the rational points of X, and which in favorable circumstances (e.g. if X is a homogeneous space) has the handsome analytic properties we have come to expect from something called a zeta function.  (Nice survey by Chambert-Loir.)

What if X is a variety with two (or more) natural ample line bundles, e.g. a variety that sits inside P^m x P^n?  Then there are two natural height functions H_1 and H_2 on X(K), and we can form a “multiple height zeta function”

$\zeta_X(s,t) = \sum_{x \in X(K)} H_1(x)^{-s} H_2(x)^{-t}$

There is a whole story of “multiple Dirichlet series” which studies functions like

$\sum_{m,n} (\frac{m}{n}) m^{-s} n^{-t}$

where $(\frac{m}{n})$ denotes the Legendre symbol.  These often have interesting analytic properties that you wouldn’t see if you fixed one variable and let the other move; for instance, they sometimes have finite groups of functional equations that commingle the s and the t!

So I just wonder:  are there situations where the multiple height zeta function is an “analytically interesting” multiple Dirichlet series?

Here’s a case to consider:  what if X is the subvariety of P^2 x P^2 cut out by the equation

$x_0 y_0 + x_1 y_1 + x_2 y_2 = 0?$

This has something to do with Eisenstein series on GL_3 but I am a bit confused about what exactly to say.

## Breuillard’s ICM talk: uniform expansion, Lehmer’s conjecture, tauhat

Emmanuel Breuillard is in Korea talking at the ICM; here’s his paper, a very beautiful survey of uniformity results for growth in groups, by himself and others, and of the many open questions that remain.

He starts with the following lovely observation, which was apparently in a 2007 paper of his but which I was unaware of.  Suppose you make a maximalist conjecture about uniform growth of finitely generated linear groups.  That is, you postulate the existence of a constant c(d) such that, for any finite subset S of GL_d(C),  you have a lower bound for the growth rate

$\lim |S^n|^{1/n} > c(d)$.

It turns out this implies Lehmer’s conjecture!  Which in case you forgot what that is is a kind of “gap conjecture” for heights of algebraic numbers.  There are algebraic integers of height 0, which is to say that all their conjugates lie on the unit circle; those are the roots of unity.  Lehmer’s conjecture says that if x is an algebraic integer of degree n which is {\em not} a root of unity, it’s height is bounded below by some absolute constant (in fact, most people believe this constant to be about 1.176…, realized by Lehmer’s number.)

What does this question in algebraic number theory have to do with growth in groups?  Here’s the trick; let w be an algebraic integer and consider the subgroup G of the group of affine linear transformations of C (which embeds in GL_2(C)) generated by the two transformations

x -> wx

and

x -> x+1.

If the group G grows very quickly, then there are a lot of different values of g*1 for g in the word ball S^n.  But g*1 is going to be a complex number z expressible as a polynomial in w of bounded degree and bounded coefficients.  If w were actually a root of unity, you can see that this number is sitting in a ball of size growing linearly in n, so the number of possibilities for z grows polynomially in n.  Once w has some larger absolute values, though, the size of the ball containing all possible z grows exponentially with n, and Breuillard shows that the height of z is an upper bound for the number of different z in S^n * 1.  Thus a Lehmer-violating sequence of algebraic numbers gives a uniformity-violating sequence of finitely generated linear groups.

These groups are all solvable, even metabelian; and as Breuillard explains, this is actually the hardest case!  He and his collaborators can prove the uniform growth results for f.g. linear groups without a finite-index solvable subgroup.  Very cool!

One more note:  I am also of course pleased to see that Emmanuel found my slightly out-there speculations about “property tau hat” interesting enough to mention in his paper!  His formulation is more general and nicer than mine, though; I was only thinking about profinite groups, and Emmanuel is surely right to set it up as a question about topologically finitely generated compact groups in general.

## Gonality, the Bogomolov property, and Habegger’s theorem on Q(E^tors)

I promised to say a little more about why I think the result of Habegger’s recent paper, ” Small Height and Infinite Non-Abelian Extensions,” is so cool.

First of all:  we say an algebraic extension K of Q has the Bogomolov property if there is no infinite sequence of non-torsion elements x in K^* whose absolute logarithmic height tends to 0.  Equivalently, 0 is isolated in the set of absolute heights in K^*.  Finite extensions of Q evidently have the Bogomolov property (henceforth:  (B)) but for infinite extensions the question is much subtler.  Certainly $\bar{\mathbf{Q}}$ itself doesn’t have (B):  consider the sequence $2^{1/2}, 2^{1/3}, 2^{1/4}, \ldots$  On the other hand, the maximal abelian extension of Q is known to have (B) (Amoroso-Dvornicich) , as is any extension which is totally split at some fixed place p (Schinzel for the real prime, Bombieri-Zannier for the other primes.)

Habegger has proved that, when E is an elliptic curve over Q, the field Q(E^tors) obtained by adjoining all torsion points of E has the Bogomolov property.

What does this have to do with gonality, and with my paper with Chris Hall and Emmanuel Kowalski from last year?

Suppose we ask about the Bogomolov property for extensions of a more general field F?  Well, F had better admit a notion of absolute Weil height.  This is certainly OK when F is a global field, like the function field of a curve over a finite field k; but in fact it’s fine for the function field of a complex curve as well.  So let’s take that view; in fact, for simplicity, let’s take F to be C(t).

What does it mean for an algebraic extension F’ of F to have the Bogomolov property?  It means that there is a constant c such that, for every finite subextension L of F and every non-constant function x in L^*, the absolute logarithmic height of x is at least c.

Now L is the function field of some complex algebraic curve C, a finite cover of P^1.  And a non-constant function x in L^* can be thought of as a nonzero principal divisor.  The logarithmic height, in this context, is just the number of zeroes of x — or, if you like, the number of poles of x — or, if you like, the degree of x, thought of as a morphism from C to the projective line.  (Not necessarily the projective line of which C is a cover — a new projective line!)  In the number field context, it was pretty easy to see that the log height of non-torsion elements of L^* was bounded away from 0.  That’s true here, too, even more easily — a non-constant map from C to P^1 has degree at least 1!

There’s one convenient difference between the geometric case and the number field case.  The lowest log height of a non-torsion element of L^* — that is, the least degree of a non-constant map from C to P^1 — already has a name.  It’s called the gonality of C.  For the Bogomolov property, the relevant number isn’t the log height, but the absolute log height, which is to say the gonality divided by [L:F].

So the Bogomolov property for F’ — what we might call the geometric Bogomolov property — says the following.  We think of F’ as a family of finite covers C / P^1.  Then

(GB)  There is a constant c such that the gonality of C is at least c deg(C/P^1), for every cover C in the family.

What kinds of families of covers are geometrically Bogomolov?  As in the number field case, you can certainly find some families that fail the test — for instance, gonality is bounded above in terms of genus, so any family of curves C with growing degree over P^1 but bounded genus will do the trick.

On the other hand, the family of modular curves over X(1) is geometrically Bogomolov; this was proved (independently) by Abramovich and Zograf.  This is a gigantic and elegant generalization of Ogg’s old theorem that only finitely many modular curves are hyperelliptic (i.e. only finitely many have gonality 2.)

At this point we have actually more or less proved the geometric version of Habegger’s theorem!  Here’s the idea.  Take F = C(t) and let E/F be an elliptic curve; then to prove that F(E(torsion)) has (GB), we need to give a lower bound for the curve C_N obtained by adjoining an N-torsion point to F.  (I am slightly punting on the issue of being careful about other fields contained in F(E(torsion)), but I don’t think this matters.)  But C_N admits a dominant map to X_1(N); gonality goes down in dominant maps, so the Abramovich-Zograf bound on the gonality of X_1(N) provides a lower bound for the gonality of C_N, and it turns out that this gives exactly the bound required.

What Chris, Emmanuel and I proved is that (GB) is true in much greater generality — in fact (using recent results of Golsefidy and Varju that slightly postdate our paper) it holds for any extension of C(t) whose Galois group is a perfect Lie group with Z_p or Zhat coefficients and which is ramified at finitely many places; not just the extension obtained by adjoining torsion of an elliptic curve, for instance, but the one you get from the torsion of an abelian variety of arbitrary dimension, or for that matter any other motive with sufficiently interesting Mumford-Tate group.

Question:   Is Habegger’s theorem true in this generality?  For instance, if A/Q is an abelian variety, does Q(A(tors)) have the Bogomolov property?

Question:  Is there any invariant of a number field which plays the role in the arithmetic setting that “spectral gap of the Laplacian” plays for a complex algebraic curve?

A word about Habegger’s proof.  We know that number fields are a lot more like F_q(t) than they are like C(t).  And the analogue of the Abramovich-Zograf bound for modular curves over F_q is known as well, by a theorem of Poonen.  The argument is not at all like that of Abramovich and Zograf, which rests on analysis in the end.  Rather, Poonen observes that modular curves in characteristic p have lots of supersingular points, because the square of Frobenius acts as a scalar on the l-torsion in the supersingular case.  But having a lot of points gives you a lower bound on gonality!  A curve with a degree d map to P^1 has at most d(q+1) points, just because the preimage of each of the q+1 points of P^1(q) has size at most d.  (You just never get too old or too sophisticated to whip out the Pigeonhole Principle at an opportune moment….)

Now I haven’t studied Habegger’s argument in detail yet, but look what you find right in the introduction:

The non-Archimedean estimate is done at places above an auxiliary prime number p where E has good supersingular reduction and where some other technical conditions are met…. In this case we will obtain an explicit height lower bound swiftly using the product formula, cf. Lemma 5.1. The crucial point is that supersingularity forces the square of the Frobenius to act as a scalar on the reduction of E modulo p.

Yup!  There’s no mention of Poonen in the paper, so I think Habegger came to this idea independently.  Very satisfying!  The hard case — for Habegger as for Poonen — has to do with the fields obtained by adjoining p-torsion, where p is the characteristic of the supersingular elliptic curve driving the argument.  It would be very interesting to hear from Poonen and/or Habegger whether the arguments are similar in that case too!

## JMM, Golsefidy, Silverman, Scanlon

Like Emmanuel, I spent part of last week at the Joint Meetings in New Orleans, thanks to a generous invitation from Alireza Salefi Golsefidy and Alex Lubotzky to speak in their special session on expander graphs.  I was happy that Alireza was willing to violate a slight taboo and speak in his own session, since I got to hear about his work with Varju, which caps off a year of spectacular progress on expansion in quotients of Zariski-dense subgroups of arithmetic groups.  Emmanuel’s Bourbaki talk is your go-to expose.

I think I’m unlike most mathematicians in that I really like these twenty-minute talks.  They’re like little bonbons — you enjoy one and then before you’ve even finished chewing you have the next in hand!  One nice bonbon was provided by Joe Silverman, who talked about his recent work on Lehmer’s conjecture for polynomials satisfying special congruences.  For instance, he shows that a polynomial which is congruent mod m to a multiple of a large cyclotomic polynomial can’t have a root of small height, unless that root is itself a root of unity.  He has a similar result where the implicit G_m is replaced by an elliptic curve, and one gets a lower bound for algebraic points on E which are congruent mod m to a lot of torsion points.  This result, to my eye, has the flavor of the work of Bombieri, Pila, and Heath-Brown on rational points.  Namely, it obeys the slogan:  Low-height rational points repel each other. More precisely — the global condition (low height) is in tension with a bunch of local conditions (p-adic closeness.)  This is the engine that drives the upper bounds in Bombieri-Pila and Heath-Brown:  if you have too many low-height points, there’s just not enough room for them to repel each other modulo every prime!

Anyway, in Silverman’s situation, the points are forced to nestle very close to torsion points — the lowest-height points of all!  So it seems quite natural that their own heights should be bounded away from 0 to some extent.  I wonder whether one can combine Silverman’s argument with an argument of the Bombieri-Pila-Heath-Brown type to get good bounds on the number of counterexamples to Lehmer’s conjecture….?

One piece of candy I didn’t get to try was Tom Scanlon’s Current Events Bulletin talk about the work of Pila and Willkie on problems of Manin-Mumford type.  Happily, he’s made the notes available and I read it on the plane home.  Tom gives a beautifully clear exposition of ideas that are rather alien to most number theorists, but which speak to issues of fundamental importance to us.  In particular, I now understand at last what “o-minimality” is, and how Pila’s work in this area grows naturally out of the Bombieri-Pila method mentioned above.  Highly recommended!