Good moduli spaces for boundary polarized Calabi-Yau surface pairs

Harold Blum,Yuchen Liu

2024-07-01

Abstract:We construct projective asymptotically good moduli spaces parametrizing boundary polarized CY surface pairs, which are projective slc Calabi-Yau pairs $(X,D)$ such that $D$ is ample and $X$ has dimension two. The moduli space provides a wall crossing between certain KSBA and K-moduli spaces and is the ample model of the Hodge line bundle. In the case of K3 surfaces with a non-symplectic automorphism, the moduli space gives a modular interpretation for the Baily--Borel compactification.

Algebraic Geometry,Differential Geometry

What problem does this paper attempt to address?

The main problem that this paper attempts to solve is to construct the compact moduli space of boundary - polarized Calabi - Yau pairs. Specifically, the authors focus on two - dimensional Calabi - Yau pairs \((X, D)\), where \(X\) is a projective algebraic surface with semi - log - canonical singularities (slc singularities), \(D\) is an ample \(Q\)-Cartier divisor on \(X\), and satisfies \(K_X + D\sim_{\mathbb{Q}}0\). Such objects are very important in algebraic geometry because they connect different types of geometric structures, such as Fano and canonically - polarized geometries.

### Main contributions
1. **Construction of moduli space**: The paper successfully constructs an asymptotically good moduli space \(M^{CY}\), which is a projective scheme and parameterizes boundary - polarized Calabi - Yau pairs. This moduli space provides a wall - crossing between certain KSBA moduli spaces and K - moduli spaces.
2. **Ampleness of the Hodge line bundle**: It is proved that the Hodge line bundle is ample on \(M^{CY}\), which is an important property in the theory of moduli spaces because it ensures the good behavior of the moduli space.
3. **Applications in special cases**:
- For multi - anti - canonical divisors on del Pezzo surfaces, the paper gives a specific moduli space \(DP^{CY}_{d,r}\) and shows the wall - crossing diagram from the K - moduli space to \(DP^{CY}_{d,r}\) and then to the KSBA - moduli space.
- For K3 surfaces with non - symplectic symmetric automorphisms, the paper proves that the normalization of \(F^{CY}_\rho\) is isomorphic to the Baily - Borel compactification \((D_\rho/\Gamma_\rho)^{BB}\).

### Technical details
- **Asymptotically good moduli space**: The paper introduces the concept of "asymptotically good moduli space", allowing non - quasi - compact stacks to have moduli spaces of finite type. Specifically, there is an infinite chain of open stacks \(U_1\subset U_2\subset U_3\subset\cdots\subset M^{CY}\) such that \(M^{CY}=\cup_{i\geq1}U_i\), and each \(U_i\hookrightarrow M^{CY}\to M^{CY}\) is a good moduli space morphism.
- **Gorenstein index**: By considering sub - stacks \(M_m\subset M^{CY}\) with bounded Gorenstein index, the paper proves that these sub - stacks are of finite type and good moduli spaces can be constructed.
- **Wall - crossing**: The paper discusses in detail the S - equivalence classes of different types (Type I, II, III) of boundary - polarized Calabi - Yau pairs and proves the good behavior of these types in the moduli space.

### Conclusion
The paper successfully solves the problem of constructing the compact moduli space of boundary - polarized Calabi - Yau pairs and provides specific moduli space constructions in special cases. These results not only promote the development of the theory of moduli spaces but also provide new tools and perspectives for further research on Calabi - Yau geometry.