On the moduli space of stable surfaces with $p_g=1$ realizing the minimal volume

TL;DR

This paper characterizes the moduli space of minimal volume stable surfaces with geometric genus one, showing it is a weighted projective space related to K3 surfaces, and extends these results to certain stable pairs.

Contribution

It identifies the moduli space of minimal volume stable surfaces with a Baily--Borel compactification of a K3 surface moduli space, revealing its geometric structure and hyperbolicity properties.

Findings

The reduced moduli space is a 10-dimensional projective variety.

It is isomorphic to the Baily--Borel compactification of a K3 surface moduli space.

The moduli space is a weighted projective space.

Abstract

Let $M_1$ be the moduli space of the KSBA stable surfaces $X$ of geometric genus $p_g(X)=1$ realizing the minimal possible volume $K_X^2=\frac1{143}$. We show that its reduced part $M_{1,\rm red}$ is a $10$-dimensional projective variety isomorphic to the Baily--Borel compactification $\overline{F}_\Lambda^{\rm BB}$ of the moduli space of $\Lambda$-polarized K3 surfaces, where $\Lambda=II_{1,9}\simeq U\oplus E_8$ is a unimodular lattice of signature $(1,9)$. By a result of Brieskorn, $\overline{F}_\Lambda^{\rm BB}$ is a weighted projective space. We also verify the Viehweg hyperbolicity of the base of a Whitney equisingular family of stable surfaces in $M_1$. More generally, we prove that the same results hold for the moduli space $M_c$ of KSBA stable pairs $(X,B)$ with coefficients of $B$ belonging to a set $\mathcal C\subset [0,1]$ such that $\mathcal C\cup\{1\}$ attains a minimum, say $c$, and with $p_g(X)=1$, realizing the minimal possible volume $(K_X+B)^2=v(c)$. Indeed, we show that $M_{c,\rm red}$ is independent of $c$ and that for $c\le\frac7{13}$ $M_c$ is isomorphic to $\overline{F}_\Lambda^{\rm BB}$.