Motivic height zeta functions
Abstract
Let be a projective smooth connected curve over an algebraically closed field of characteristic zero, let be its field of functions, let be a dense open subset of . Let be a projective flat morphism to whose generic fiber is a smooth equivariant compactification of such that is a divisor with strict normal crossings, let be a surjective and flat model of over . We consider a motivic height zeta function, a formal power series with coefficients in a suitable Grothendieck ring of varieties, which takes into account the spaces of sections of of given degree with respect to (a model of) the log-anticanonical divisor such that is contained in . We prove that this power series is rational, that its "largest pole" is at , the inverse of the class of the affine line in the Grothendieck ring, and compute the "order" of this pole as a sum of dimensions of various Clemens complexes at places of . This is a geometric analogue of a result over number fields by the first author and Yuri Tschinkel (Duke Math. J., 2012). The proof relies on the Poisson summation formula in motivic integration, established by Ehud Hrushovski and David Kazhdan (Moscow Math. J, 2009).
Keywords
Cite
@article{arxiv.1302.2077,
title = {Motivic height zeta functions},
author = {Antoine Chambert-Loir and François Loeser},
journal= {arXiv preprint arXiv:1302.2077},
year = {2018}
}
Comments
54 pages; revised