Rationality of the trivial lattice rank weighted motivic height zeta function for elliptic surfaces

Let $k$ be a perfect field with $\mathrm{char}(k)\neq 2,3$, set $K=k(t)$, and let $\mathcal{W}n^{\min}$ be the moduli stack of minimal elliptic curves over $K$ of Faltings height $n$ from the height-moduli framework of Bejleri-Park-Satriano applied to $\overline{\mathcal{M}}{1,1}\simeq \mathcal{P}(4,6)$. For $[E]\in \mathcal{W}n^{\min}$, let $S \to \mathbb{P}^1{k}$ be the associated elliptic surface with section. Motivated by the Shioda-Tate formula, we consider the trivariate motivic height zeta function [ \mathcal{Z}(u,v;t):= \sum_{n\ge0}\Bigl(\sum_{[E]\in \mathcal{W}n^{\min}} u^{T(S)}v^{\mathrm{rk}(E/K)}\Bigr)t^n \in K_0(\mathrm{Stck}k)[u,v][[t]] ] which refines the height series by weighting each height stratum with the trivial lattice rank $T(S)$ and the Mordell–Weil rank $\mathrm{rk}(E/K)$. We prove rationality for the trivial lattice specialization $Z{\mathrm{Triv}}(u;t)=\mathcal{Z}(u,1;t)$ by giving an explicit finite Euler product. We conjecture irrationality for the Néron-Severi $Z{\mathrm{NS}}(w;t)=\mathcal{Z}(w,w;t)$ and the Mordell-Weil $Z_{\mathrm{MW}}(v;t)=\mathcal{Z}(1,v;t)$ specializations.

💡 Research Summary

The paper studies elliptic curves over the rational function field $K=k(t)$, where $k$ is a perfect field of characteristic different from $2$ and $3$. Using the height‑moduli framework of Bejleri‑Park‑Satriano, minimal elliptic curves of Faltings height $n$ are parametrised by a Deligne–Mumford stack $\mathcal W_n^{\min}$, which can be identified with rational points of the weighted projective line $\mathcal P(4,6)\cong\overline{\mathcal M}_{1,1}$ of $\lambda$‑height $n$. For each point $