Minimal Siegel modular threefolds

Abstract

In this paper we study the maximal extension ${\Gamma }_t^{\ast }$ of the subgroup ${\Gamma }_t$ of $\operatorname{Sp}_4 (\bq)$ which is conjugate to the paramodular group. The index of this extension is $2^{\nu (t)}$ where $\nu (t)$ is the number of prime divisors of $t$. The group ${\Gamma }_t^{\ast }$ 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 ${\Gamma }_t^{\ast }$ 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

Cited by in corpus (1)

• The Igusa modular forms and ``the simplest'' Lorentzian Kac--Moody algebras