Minimal Siegel modular threefolds

Abstract

In this paper we study the maximal extension $Γ_t^*$ of the subgroup $Γ_t$ of $\operatorname{Sp}_4 (\bq)$ which is conjugate to the paramodular group. The index of this extension is $2^{ν(t)}$ where $ν(t)$ is the number of prime divisors of $t$. The group $Γ_t^*$ defines the minimal modular threefold ${\Cal A}_t^*$ which is a finite quotient of the moduli space ${\Cal A}_t$ of $(1,t)$-polarized abelian surfaces. A certain degree 2 quotient of ${\Cal A}_t$ is a moduli space of lattice polarized $K3$ surfaces. The space ${\Cal A}_t^*$ can be interpreted as the space of Kummer surfaces associated to $(1,t)$-polarized abelian surfaces. Using the action of $Γ_t^*$ on the space of Jacobi forms we show that many spaces between ${\Cal A}_t$ and ${\Cal A}_t^*$ posess a non-trivial 3-form, i.e. the Kodaira dimension of these spaces is non-negative. Finally we determine the divisorial part of the ramification locus of the finite map ${\Cal A}_t\rightarrow {\Cal A}_t^*$ which is a union of Humbert surfaces. We interprete the corresponding Humbert surfaces as Hilbert modular surfaces.

We have included a theorem explaining the connection of the minimal Siegel modular threefold with the space of Kummer surfaces of abelian surfaces with non-principal polarization. AMSTeX