The boundary of the moduli space of stable cubic fivefolds

Yasutaka Shibata

DOI: https://doi.org/10.48550/arXiv.1401.4525

2023-04-10

Abstract:According to Mumford's geometric invariant theory, the moduli space of stable cubic fivefolds is compactified by adding nonstable semi-stable (i.e., strictly semi-stable) locus. In this paper, we prove that this locus consists of 21 irreducible components. Moreover, we give a description of equation and singularity of the cubic fivefold corresponding to the generic point in each component.

Algebraic Geometry

What problem does this paper attempt to address?

The problem that this paper attempts to solve is related to the boundary problem of the moduli space of stable cubic fivefolds. Specifically, according to Mumford's Geometric Invariant Theory (GIT), the moduli space of stable cubic fivefolds is compactified by adding non - stable semi - stable (i.e., strictly semi - stable) loci. The author proves that this boundary consists of 21 irreducible components and gives the equations and singularity descriptions of the cubic fivefolds corresponding to the general points in each component.

### Summary of the Core Problems in the Paper

1. **Compactification of the Moduli Space**: Compactify the moduli space of stable cubic fivefolds by adding strictly semi - stable cubic fivefolds.
2. **Number of Boundary Components**: Prove that the boundary composed of strictly semi - stable cubic fivefolds consists of 21 irreducible components.
3. **Equation and Singularity Description**: Give the specific equations and singularity descriptions of the typical cubic fivefolds in each irreducible component.

### Key Results

- **Theorem 3.6**: The strictly semi - stable boundary of the moduli space of stable cubic fivefolds consists of 21 irreducible components, represented by polynomials \( f_1, f_2, \ldots, f_{21} \) respectively.
- **Theorem 4.1**: Describe in detail the singularity locations and their properties of these 21 cubic fivefolds, including Milnor numbers, Tjurina numbers and ranks, etc.

### Mathematical Formulas and Symbols

- **Definition of Cubic Fivefolds**: A cubic fivefold is a 3 - degree hypersurface in the projective space \( \mathbb{P}^6 \), which can be represented as \( f(x_0, x_1, \ldots, x_6) = 0 \), where \( f \in C[x_0, x_1, \ldots, x_6]_3 \) is a homogeneous polynomial.
- **Stability Criterion**: For a vector \( r \in \mathbb{Z}^7 \), define \( I(r)_{\geq 0}=\{i \in I \mid r \cdot i \geq 0\} \), where \( I \) is all the simplices with weight 3. A cubic fivefold \( f \) is considered unstable if it satisfies \( \text{Supp}(f) \subseteq I(r)_{\geq 0} \).

### Method Overview

- **Numerical Criterion**: Use the methods of convex geometry to determine the stability of cubic fivefolds.
- **Algorithm Implementation**: List all strictly semi - stable cubic fivefolds through computer algorithms and study their inclusion relations under the action of \( SL(7) \).
- **Singularity Analysis**: Use Groebner bases and Hilbert polynomials to calculate the singularity properties of each strictly semi - stable cubic fivefold.

The main contribution of this paper lies in systematically describing the structure of the boundary of the moduli space of stable cubic fivefolds and providing detailed singularity analysis, which lays the foundation for further research on the geometric properties of such high - dimensional algebraic varieties.