Today I’ll sketch a proof of Ito that birational smooth minimal models have all of their Hodge numbers exactly the same. It uses the -adic integration from last time plus one piece of heavy machinery.
First, the piece of heavy machinery: If are finite type schemes over the ring of integers of a number field whose generic fibers are smooth and proper, then if for all but finitely many prime ideals, , then the generic fibers and have the same Hodge numbers.
If you’ve seen these types of hypotheses before, then there’s an obvious set of theorems that will probably be used to prove this (Chebotarev + Hodge-Tate decomposition + Weil conjectures). Let’s first restrict our attention to a single prime. Since we will be able to throw out bad primes, suppose we have smooth, proper varieties over of characteristic .
Proposition: If for all , then and have the same -adic Betti numbers.
This is a basic exercise in using the Weil conjectures. First, and clearly have the same Zeta functions, because the Zeta function is defined entirely by the number of points over . But the Zeta function decomposes
where is the characteristic polynomial of Frobenius acting on . The Weil conjectures tell us we can recover the if we know the Zeta function. But now
and hence the Betti numbers are the same. Now let’s go back and notice the magic of -adic cohomology. If and are as before over the ring of integers of a number field. Our assumption about the number of points over finite fields being the same for all but finitely many primes implies that we can pick a prime of good reduction and get that the -adic Betti numbers of the reductions are the same .
One of the main purposes of -adic cohomology is that it is “topological.” By smooth, proper base change we get that the -adic Betti numbers of the geometric generic fibers are the same
By the standard characteristic comparison theorem we then get that the singular cohomology is the same when base changing to , i.e.
Now we use the Chebotarev density theorem. The Galois representations on each cohomology have the same traces of Frobenius for all but finitely many primes by assumption and hence the semisimplifications of these Galois representations are the same everywhere! Lastly, these Galois representations are coming from smooth, proper varieties and hence the representations are Hodge-Tate. You can now read the Hodge numbers off of the Hodge-Tate decomposition of the semisimplification and hence the two generic fibers have the same Hodge numbers.
Alright, in some sense that was the “uninteresting” part, because it just uses a bunch of machines and is a known fact (there’s also a lot of stuff to fill in to the above sketch to finish the argument). Here’s the application of -adic integration.
Suppose and are smooth birational minimal models over (for simplicity we’ll assume they are Calabi-Yau, Ito shows how to get around not necessarily having a non-vanishing top form). I’ll just sketch this part as well, since there are some subtleties with making sure you don’t mess up too much in the process. We can “spread out” our varieties to get our setup in the beginning. Namely, there are proper models over some (of course they aren’t smooth anymore), where the base change of the generic fibers are isomorphic to our original varieties.
By standard birational geometry arguments, there is some big open locus (the complement has codimension greater than ) where these are isomorphic and this descends to our model as well. Now we are almost there. We have an etale isomorphism over all but finitely many primes. If we choose nowhere vanishing top forms on the models, then the restrictions to the fibers are -adic volume forms.
But our standard trick works again here. The isomorphism pulls back the volume form on to a volume form on over all but finitely primes and hence they differ by a function which has -adic valuation everywhere. Thus the two models have the same volume over all but finitely many primes, and as was pointed out last time the two must have the same number of -valued points over these primes since we can read this off from knowing the volume.
The machinery says that we can now conclude the two smooth birational minimal models have the same Hodge numbers. I thought that was a pretty cool and unexpected application of this idea of -adic volume. It is the only one I know of. I’d be interested if anyone knows of any other.