--- title: Motivic Height Zeta Functions url: https://www.emergentmind.com/topics/motivic-height-zeta-functions type: topic --- # Motivic Height Zeta Functions Searching arXiv for recent and foundational papers on motivic height zeta functions. Motivic height zeta functions are generating series in Grothendieck rings that encode spaces of sections or maps of prescribed degree over the function field of a curve. In the simplest form, one fixes a smooth projective curve \(C\) over a field \(k\), a flat projective morphism \(\pi:X\to C\), and a line bundle or log-anticanonical class that plays the role of a height; one then forms a series whose \(d\)-th coefficient is the class of the moduli space of sections of degree \(d\). This construction is a geometric analogue of classical height zeta functions over number fields and function fields, but its coefficients lie in motivic coefficient rings such as \(K_0(\mathrm{Var}_k)\), localizations by the Lefschetz motive, or their completions. The subject has developed along several parallel lines: explicit formulas and functional equations for projective bundles, rationality and pole analysis for equivariant compactifications of vector groups, Poisson-summation methods for split toric varieties, and weighted refinements for elliptic surfaces [1511.09266] [1302.2077] [2604.03162]. ## 1. Basic setup and definitions A foundational formulation starts with a smooth projective curve \(C/k\), a function field \(F=k(C)\), and a family \(X\to C\) whose generic fibre \(X_\eta\) carries a natural height datum. For each integer \(d\), one considers a moduli space of sections of degree \(d\), typically quasi-projective by a Hilbert-scheme argument, and defines a generating series in a Grothendieck ring. In the additive-group setting, if \(L=-K_X-D\) is the log-anticanonical bundle and \(\mathrm{Sect}_d(X)\) denotes sections \(\sigma:C\to X\) with \(\sigma(\eta)\in U(F)\) and \(\deg(\sigma^*L)=d\), then \[ Z_X(T)=\sum_{d\ge 0}[\mathrm{Sect}_d(X)]\,T^d\in K_0(\mathrm{Var}_k)[[T]]. \] In the projective-bundle setting, if \(V\) is a vector bundle on \(C\) and \(P(V)\to C\) is the associated projective bundle, then \[ Z(P(V),t)=\sum_{d\in\mathbb Z}[\mathrm{Sec}_d(P(V))]\,t^d\in K((t)), \] where \(\mathrm{Sec}_d(P(V))\) is the quasi-projective scheme of sections \(s:C\to P(V)\) with \(\deg(s^*O_{P(V)/C}(1))=d\) [1302.2077] [1511.09266]. The coefficient rings vary with the analytic regime under study. For projective bundles one passes from \(K\) to \(\widetilde K\), the quotient identifying radicial surjections, sets \(L=[\mathbb A^1]\in \widetilde K\), and localizes to \(M=\widetilde K[L^{-1}]\). In toric and convergence-theoretic work one instead uses \[ \mathcal M_k=K_0(\mathrm{Var}_k)[\mathbb L^{-1}] \] or its completion by the virtual-dimension filtration. Over finite fields, the count-points morphism or zeta measure sends the motivic series to more classical counting series, so the motivic formalism refines the arithmetic one rather than replacing it [1511.09266] [2604.03162]. A second basic feature is that “height” is not unique. In projective-bundle and additive-group settings it is usually a scalar degree. For split toric varieties one often has a multidegree height with values in \(\mathrm{Pic}(X)^\vee\), and the single-variable anticanonical series is obtained by specializing along the anticanonical ray. This multivariable viewpoint is essential for the explicit Euler-product and residue formulas in the toric case [2604.03162]. ## 2. Projective bundles, Kapranov zeta, and functional equations For a vector bundle \(V\) of rank \(r\) on \(C\), the projective bundle \(P(V)=\mathrm{Proj}_C(\mathrm{Sym}^\bullet V^\vee)\to C\) provides one of the cleanest motivic height-zeta theories. The key auxiliary series is Kapranov’s motivic zeta function of the base curve, \[ \zeta_C(t)=\sum_{n\ge 0}[C_n]\,t^n\in K[[t]], \] with \(C_n=\mathrm{Sym}^n C\). A Schwarzenberger-type construction produces varieties \(X_n(V)\to J_n=\mathrm{Pic}^n(C)\), where \(X_n(V)\) is the \(\mathrm{Proj}\) of the coherent sheaf \[ R^1p_{2*}\bigl(P_n^\vee\otimes p_1^*V^\vee\otimes p_1^*\omega_C\bigr) \] on \(J_n\), and yields the identity \[ \zeta_C(t)\,Z(P(V),t)=\sum_{n\in\mathbb Z}[X_n(V)]\,t^n \] in \(\widetilde K[[t]]\) [1511.09266]. The main motivic theorem states that in \(M=\widetilde K[L^{-1}]\), the product \(\zeta_C(t)\,Z(P(V),t)\) is rational and satisfies a motivic functional equation. More precisely, \[ (t-1)(t-L^{-r})\,\zeta_C(t)\,Z(P(V),t)\in M[t] \] is a polynomial of degree \(\le 2g-2\), and \[ \zeta_C(t)\,Z(P(V),t) = L^{\deg V+r(g-1)}\,t^{2g-2}\, \zeta_C(L^{-r}t^{-1})\, Z(P(V^\vee),L^{-r}t^{-1}). \] Thus the denominator has exactly two critical factors, \(t=1\) and \(t=L^{-r}\), and the involution \(t\mapsto L^{-r}t^{-1}\) exchanges the two sides [1511.09266]. The structural input is a motivic Riemann–Roch relation for the family \(\{X_n(V)\}_n\): \[ [X_n(V)] - L^{\,r(n+1-g)+\deg V}\,[X_{2g-2-n}(V^\vee)] = \bigl[\mathbb P^{\,r(n+1-g)+\deg V-1}\bigr]\,[J], \] where \([J]=[\mathrm{Pic}^0(C)]\). The local system \[ R^1p_{2*}\bigl(P_n^\vee\otimes p_1^*V^\vee\otimes p_1^*\omega_C\bigr) \] has rank difference \(r(n+1-g)+\deg V\), so the corresponding projective bundles differ motivically by a projective-space class. Summing in \(n\) forces both the two-term denominator and the involution in the functional equation. The paper presents this as the exact analogue of the Arakelov–Tate Riemann–Roch method used earlier in the analytic setting [1511.09266]. The ruled-surface case \(C=\mathbb P^1_k\), \(V=\mathcal O_{\mathbb P^1}\oplus \mathcal O_{\mathbb P^1}(e)\) with \(e\ge 2\), gives the Hirzebruch surface \(F_e=P(V)\). In that case \[ \zeta_{\mathbb P^1}(t)\,Z(F_e,t)\in M(t), \qquad \zeta_{\mathbb P^1}(t)=(1-t)^{-1}(1-Lt)^{-1}, \] and one again obtains a functional equation together with the denominator \((t-1)(t-L^{-2})\). The geometry of the ruled surface stratifies the amplitudes of poles of \(Z(F_e,t)\), and the two critical factors \(t=1\) and \(t=L^{-2}\) allow one to read off the decomposition of the effective cone of \(F_e\) [1511.09266]. ## 3. Additive-group compactifications and motivic Poisson summation A broader theory treats equivariant compactifications of the vector group \(G=\mathbb G_a^n\). Here \(k\) is an algebraically closed field of characteristic zero, \(C\) is a smooth projective connected curve, \(C_0\subset C\) is a dense open subset, \(F=k(C)\), and \(X_F\) is a smooth projective \(G\)-equivariant compactification of \(G_F\). The boundary \[ D=X_F\setminus G_F=\bigcup_{\alpha\in\mathcal A}D_\alpha \] is assumed to have strict normal crossings, with each \(D_\alpha\) smooth and geometrically irreducible. One chooses a flat model \(U\) of \(G_F\) over \(C_0\), extends to a good model \(X\to C\), and denotes the vertical irreducible components over \(v\in C\setminus C_0\) by \(E_\beta\). The relevant height is defined by the log-anticanonical divisor \[ -K_{X_F}(D)=\sum_{\alpha\in\mathcal A}(\rho_\alpha-1)D_\alpha, \] and \(S_d\) is the constructible moduli space of sections \(s:C\to X\) of height \(d\) whose generic value lies in \(G_F\) and whose restriction to \(C_0\) lands in \(U\) [1302.2077]. The main rationality theorem asserts that \(Z(T)=\sum_{d\ge 0}[S_d]T^d\) lies in the subring \(\mathscr M_k\{T\}\) of rational power series generated by inverses of \(1-\mathbb L^aT^b\). More precisely, there exist integers \(a\ge 1\), \(d\ge 1\), and a polynomial \(P(T)\) in \(\mathscr M_k\{T\}^\dagger\) such that \(P(\mathbb L^{-1})\) is an effective nonzero element of \(\mathscr M_k\) and \[ (1-\mathbb L^aT^a)^d\,Z(T)=P(T). \] The same work identifies the largest pole: it is at \(T=\mathbb L^{-1}\), and its order is \[ \sum_{v\in C\setminus C_0}\dim \mathrm{Cl}_v(X,D), \] where \(\mathrm{Cl}_v(X,D)\) is the analytic Clemens complex of the special fibre at \(v\), with vertices given by the horizontal components \(D_\alpha\) and the vertical components \(E_\beta\), and faces given by their nonempty intersections [1302.2077]. The proof is adelic and Fourier-theoretic. One rewrites the section-counting problem as a sum over \(G(F)\) with local intersection data, decomposes \[ Z(T)=\mathbb L^{(1-g)n}\sum_{\xi\in G(F)}Z(T,\xi), \] and studies each \(Z(T,\xi)\) as a product of local Fourier transforms \(Z_v(T,\xi)\). The motivic Poisson summation formula, in the Hrushovski–Kazhdan framework, replaces classical harmonic analysis on \(G(\mathbb A_F)\). Local analysis shows that the \(\xi=0\) term has the maximal possible pole, contributed by the full Clemens complex, while for \(\xi\neq 0\) the pole order drops by at least \(1\). This isolates the geometric origin of the leading pole [1302.2077]. This setting is explicitly described as the geometric analogue of a number-field result of Chambert-Loir and Tschinkel. Counting sections \(C\to X\) of bounded log-anticanonical degree parallels counting integral points of bounded height, and motivic integration on arc spaces replaces the classical local Igusa integrals appearing in arithmetic Poisson summation [1302.2077]. ## 4. Split toric varieties and the motivic Manin–Peyre picture For a split projective toric variety \(X=X_\Sigma\) over a field \(k\) of characteristic zero, with open torus \(U\simeq \mathbb G_m^n\), fan \(\Sigma\), character lattice \(\mathscr X^*(U)\), and cocharacter lattice \(\mathscr X_*(U)\), the height can be made multigraded by recording local intersection indices with the \(U\)-invariant divisors \(\mathscr D_\alpha\), \(\alpha\in\Sigma(1)\). The motivic height zeta function is then \[ Z_{\mathrm{mot}}(X,H;\mathbf T) = \sum_{f\in X(F)}[\mathrm{Spec}\,k(f)]\,\mathbf T^{H(f)} \in \widehat{\mathcal M_k}[[\mathrm{Pic}(X)^\vee]], \] or, in the single-variable anticanonical case, \[ Z_{\mathrm{mot}}(X,H;T) = \sum_{\delta\in\mathrm{Pic}(X)^\vee}[\mathrm{Hom}^\delta(\mathscr C,X)]\,T^\delta, \] where \(\mathrm{Hom}^\delta\) denotes the moduli of maps of multidegree \(\delta\) [2604.03162]. The central analytic tool is a motivic Poisson formula for split algebraic tori. If \(G=\mathscr X_*(U)\simeq \mathbb Z^n\), a Schwartz–Bruhat motivic function on \(U(\mathbb A_F)\) is an element of \(\mathrm{Mot}(\underline G_{\mathscr C})\) supported on finitely many cocharacters, and its Fourier transform is \[ \widehat\psi(\chi)=\sum_{g\in G}\psi(g)\,\chi(g). \] Applied fibrewise on symmetric products of \(\mathscr C\), this gives a global Poisson identity that rewrites the height zeta function as a motivic integral of the Fourier transform over characters trivial on principal divisors. The local Fourier transform has the explicit form \[ \widehat H(\chi;\mathbf T) = \prod_v \frac{Q_\Sigma\bigl(\chi_v(\rho_\alpha)\,T_\alpha\bigr)} {\prod_{\alpha\in\Sigma(1)}(1-\chi_v(\rho_\alpha)\,T_\alpha)}, \] with \(Q_\Sigma\) determined by the fan \(\Sigma\) [2604.03162]. The resulting analytic statements parallel the classical Batyrev–Tschinkel theory. In multivariable form, \[ Z_{\mathrm{mot}}(X,H;\mathbf T) = \frac{P(\mathbf T)}{\prod_{\alpha\in\Sigma(1)}(1-\mathbb L\,T_\alpha)} \] for some \(P(\mathbf T)\in \mathcal M_k[\mathbf T]\). After specializing to the anticanonical ray \(\mathbf T=T^{\omega_{X_\Sigma}^{-1}}\), the series converges for \(|T|<\mathbb L^{-1+\varepsilon}\) and has a unique principal pole at \(T=\mathbb L^{-1}\). Its order is \(\mathrm{rk}\,\mathrm{Pic}(X_\Sigma)\), and the residue is expressed as \[ (\mathbb L-1)^n\,\alpha^*(X_\Sigma)\,C_{\mathrm{mot}}, \] where \(\alpha^*(X_\Sigma)\) is the volume of the dual effective cone and \(C_{\mathrm{mot}}\) is the motivic Tamagawa factor involving \(\mathbb L^{\,n(1-g)}\), \([\mathrm{Pic}^0(\mathscr C)]^{\mathrm{rk}\,\mathrm{Pic}(X_\Sigma)}\), and the product over places \(v\) [2604.03162]. A direct consequence is a motivic Manin–Peyre statement: as \(\delta\in \mathrm{Pic}(X_\Sigma)^\vee\) tends to infinity in the effective cone, the classes \[ [\mathrm{Hom}^\delta(\mathscr C,X)]\,\mathbb L^{-\langle \delta,\omega^{-1}\rangle} \] stabilize in the virtual-dimension completion to the constant \(C_{\mathrm{mot}}\). For \(X=\mathbb P^n\), the toric theory recovers \[ Z_{\mathrm{mot}}(\mathbb P^n,H;T) = \sum_{d\ge 0}[\mathrm{Hom}^d(\mathscr C,\mathbb P^n)]\,T^d = \frac{1}{(1-\mathbb L\,T)^{n+1}}, \] with principal pole at \(T=\mathbb L^{-1}\) of order \(n+1\) and residue \(\mathbb L^{n(1-g)}[\mathrm{Pic}^0(\mathscr C)]^{n+1}\) [2604.03162]. ## 5. Topologies, convergence, and asymptotic extraction Motivic height zeta functions are studied not only as formal rational expressions but also as analytic objects in completed coefficient rings. One important framework uses the weight filtration coming from mixed Hodge theory. Over \(k=\mathbb C\), the Hodge realization \[ \chi_{\mathrm{Hdg}}:K_0(\mathrm{Var}_{\mathbb C})[L^{-1}]\to K_0(\mathrm{MHM}_{\mathbb C}) \] pulls back the standard weight filtration to a filtration on \(A=K_0(\mathrm{Var}_{\mathbb C})[L^{-1}]\), and the completion \(\widehat A\) is defined so that a series \(\sum a_dT^d\) converges when the weights of \(a_d\) tend to \(-\infty\) fast enough. In the setting of partial equivariant compactifications of \(G_n\), there exist a nonzero \(c>0\) and \(\delta>0\) such that \[ (1-LT)^b\,Z_X(T) \] converges for \(|T|