English

Motivic height zeta functions

Algebraic Geometry 2018-09-24 v4

Abstract

Let CC be a projective smooth connected curve over an algebraically closed field of characteristic zero, let FF be its field of functions, let C0C_0 be a dense open subset of CC. Let XX be a projective flat morphism to CC whose generic fiber XFX_F is a smooth equivariant compactification of GG such that D=XFGFD=X_F\setminus G_F is a divisor with strict normal crossings, let UU be a surjective and flat model of GG over C0C_0. 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 ss of XCX\to C of given degree with respect to (a model of) the log-anticanonical divisor KXF(D)-K_{X_F}(D) such that s(C0)s(C_0) is contained in UU. We prove that this power series is rational, that its "largest pole" is at L1\mathbf L^{-1}, 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 CC0 C\setminus C_0. 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

R2 v1 2026-06-21T23:23:18.322Z