Degrees of Genus-Two Split-Jacobian Loci and Humbert-Form Reconstruction

Abstract: Let $\mathcal{L}<em>n \subset \mathcal{M}_2$ be the locus of genus-two curves admitting a maximal degree-$n$ elliptic subcover, cut out in $\mathbb{P}(2,4,6,10)$ by an irreducible weighted-homogeneous polynomial $F_n \in \mathbb{Z}[J_2,J_4,J_6,J</em>{10}]$. Let $ν(n)$ be the degree of $X_1(n) \to X(1)$, let $G_{n<sup>2}$ be the Siegel modular form of level one with divisor the Humbert surface $H_{n<sup>2}$, and let $k(H_{n<sup>2})$ be its weight. We prove that the meromorphic Siegel modular form $F_n(τ)$ obtained from $F_n$ has a pole of order exactly $ν(n)$ along the product locus, that $χ<em>{10}^{ν(n)} F_n(τ)$ is a constant multiple of $G</em>{n<sup>2}$, and that $°<em>w F_n = k(H</em>{n^2}) - 10ν(n)$ for every $n \geq 2$, even or odd. We determine the restriction of $G_{n<sup>2}$ to the product locus as an explicit product of modular polynomials and, for $n \geq 3$, its leading Fourier-Jacobi coefficient as a product of theta functions over the torsion points of exact order $n$, and we characterize $G_{n<sup>2}$, up to scalar, as the unique form of its weight vanishing on a single torsion divisor. These data convert the computation of $F_n$ from elimination into a linear problem of the size the formula prescribes, which we carry out for $n=5$.