I’ve been giving a bunch of talks about work with Matt Satriano and David Zureick-Brown on the problem of defining the “height” of a rational point on a stack. The abstract usually looks something like this:
Here are two popular questions in number theory:
1. How many degree-d number fields are there with discriminant at most X?
2. How many rational points are there on a cubic surface with height at most X?Our expectations about the first question are governed by Malle’s conjecture; about the second, by the Batyrev-Manin conjecture. The forms of the conjectures are very similar, predicting in both cases an asymptotic of the form c X^a (log X)^b, and this is no coincidence: I will explain how to think of both questions in a common framework, that of counting points of bounded height on an algebraic stack. A serious obstacle is that there is no definition of the height of a rational point on a stack. I will propose a definition and try to convince you it’s the right one. If there’s time, I’ll also argue that when we talk about heights with respect to a line bundle we have always secretly meant “vector bundle,” or should have.
(joint work with Matt Satriano and David Zureick-Brown)
Frank Calegari asked a good question after I talked about this at Mazur’s birthday conference. And other people have asked me the same question! So I thought I’d write about it here on the blog.
An actual (somewhat tangential) math question about your talk: when it comes (going back to the original problem) of extensions with Galois group G, there is (as you well know) a natural cover
and the source has a nice smooth unirational open subscheme which is much less stacky object and could possibly still be used to count G-extensions (or rather, to count G-polynomials). How does this picture interact (if at all) with your talk or the Malle conjecture more generally?
Here’s an answer. Classically, how do we count degree-n extensions of Q? We count monic degree-n polynomials with bounded coefficients; that is, we count integral points of bounded height on A^n / S_n, which is isomorphic to A^n, the space of monic degree-n polynomials.
Now A^n / S_n is the total space of a vector bundle over the stack B(S_n). So you might say that what we’re doing is using “points on the total space of a vector bundle E/X as a proxy for points on X.” And when you put it that way, you see that it’s what people who work on rational points do all the time! What do we do when we count rational points on P^1? We count pairs of coprime integers in a box; in other words, we count integral points on A^2 – 0, which is the total space (sans zero section) of a line bundle on P^1. More generally, in many cases where people can prove the Batyrev-Manin conjecture for a variety X, it’s precisely by means of passing to a “universal torsor” — the total space of a vector bundle (or an torus bundle sitting in a vector bundle) over X. Sometimes you can use this technique to get actual asymptotics for rational points on X; other times you just get bounds; if you can prove that, for any x in X(Q), there is a point on the fiber E_x whose height is at most F(height(x)) for some reasonable function F, you can parlay upper bounds for points on E into upper bounds for points on X. In the classical case, this is the part where we argue that (by Minkowski) a number field with discriminant D contains an algebraic integer whose characteristic polynomial has coefficients bounded in terms of D.
So coming back to the original question: how do you know which vector bundle on BG is a good one to think about? Actually, this is far from clear! The very first thing I ever wrote about counting number fields, my first paper with Akshay, gave new upper bounds for the number of degree-n extensions, by counting points on
where S_n acts diagonally. In other words, we used a different vector bundle on B(S_n) than the “standard” one, and showed that by optimizing m (and being careful about stripping out loci playing the role of accumulating subvarieties) we could get better upper bounds than the ones coming from counting polynomials.
So apparently I’ve been counting points on vector bundles on stacks all along…!
Quomodocumque 