No Arabic abstract
We show that the K-moduli spaces of log Fano pairs $(mathbb{P}^3, cS)$ where $S$ is a quartic surface interpolate between the GIT moduli space of quartic surfaces and the Baily-Borel compactification of moduli of quartic K3 surfaces as $c$ varies in the interval $(0,1)$. We completely describe the wall crossings of these K-moduli spaces. As the main application, we verify Laza-OGradys prediction on the Hassett-Keel-Looijenga program for quartic K3 surfaces. We also obtain the K-moduli compactification of quartic double solids, and classify all Gorenstein canonical Fano degenerations of $mathbb{P}^3$.
We show that the K-moduli spaces of log Fano pairs $(mathbb{P}^1timesmathbb{P}^1, cC)$ where $C$ is a $(4,4)$-curve and their wall crossings coincide with the VGIT quotients of $(2,4)$ complete intersection curves in $mathbb{P}^3$. This, together with recent results by Laza-OGrady, implies that these K-moduli spaces form a natural interpolation between the GIT moduli space of $(4,4)$-curves on $mathbb{P}^1timesmathbb{P}^1$ and the Baily-Borel compactification of moduli of quartic hyperelliptic K3 surfaces.
Let $F$ be a moduli space of lattice-polarized K3 surfaces. Suppose that one has chosen a canonical effective ample divisor $R$ on a general K3 in $F$. We call this divisor recognizable if its flat limit on Kulikov surfaces is well defined. We prove that the normalization of the stable pair compactification $overline{F}^R$ for a recognizable divisor is a Looijenga semitoroidal compactification. For polarized K3 surfaces $(X,L)$ of degree $2d$, we show that the sum of rational curves in the linear system $|L|$ is a recognizable divisor, giving a modular semitoroidal compactification of $F_{2d}$ for all $d$.
We prove that every projectively normal Fano manifold in $mathbb{P}^{n+r}$ of index $1$, codimension $r$ and dimension $ngeq 10r$ is birationally superrigid and K-stable. This result was previously proved by Zhuang under the complete intersection assumption.
We study how the degrees of irrationality of moduli spaces of polarized K3 surfaces grow with respect to the genus. We prove that the growth is bounded by a polynomial function of degree $14+varepsilon$ for any $varepsilon>0$ and, for three sets of infinitely many genera, the bounds can be improved to degree 10. The main ingredients in our proof are the modularity of the generating series of Heegner divisors due to Borcherds and its generalization to higher codimensions due to Kudla, Millson, Zhang, Bruinier, and Westerholt-Raum. For special genera, the proof is also built upon the existence of K3 surfaces associated with certain cubic fourfolds, Gushel-Mukai fourfolds, and hyperkaehler fourfolds.
We describe two geometrically meaningful compactifications of the moduli space of elliptic K3 surfaces via stable slc pairs, for two different choices of a polarizing divisor, and show that their normalizations are two different toroidal compactifications of the moduli space, one for the ramification divisor and another for the rational curve divisor. In the course of the proof, we further develop the theory of integral affine spheres with 24 singularities. We also construct moduli of rational (generalized) elliptic stable slc surfaces of types ${bf A_n}$ ($nge1$), ${bf C_n}$ ($nge0$) and ${bf E_n}$ ($nge0$).