Abstract:We give a complete equisingular deformation classification of simple spatial quartic surfaces which are in fact $K3$-surfaces.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is about the classification of equisingular deformations of quartic surfaces with simple singularities. Specifically, the author's goal is to complete the classification of equisingular deformations of simple quartic surfaces with A - D - E type singularities. These surfaces are actually a kind of K3 surface. This work fills the gaps in previous research by Persson, Urabe, etc., and extends the classification results of Güneş Aktas for non - special simple quartic surfaces in previous work.
### Background and Motivation of the Paper
1. **Historical Background**:
- The global Torelli theorem and the surjectivity of the period mapping make the classification of equisingular deformations of singular projective models of K3 surfaces a purely computational problem.
- Plane sextic curves and spatial quartic surfaces are the most commonly studied models.
- Akyol and Degtyarev completed the classification of equisingular deformations of simple plane sextic curves.
- Simple quartic surfaces play a similar role in this field. It is a relatively new topic but has important research potential.
2. **Research Motivation**:
- The study of simple quartic surfaces originated from Urabe's work and was further developed by Yang, who gave a complete list of all singularity sets realized by simple quartic surfaces.
- Güneş Aktas, on the basis of predecessors, used a similar arithmetic reduction method to classify the so - called non - special simple quartic surfaces.
### Main Results
- The author extends the classification results of Güneş Aktas in [16], from the classification of only non - special simple quartic surfaces to the classification of equisingular deformations of all simple quartic surfaces.
- This result closes a long - existing project initiated by Persson, Urabe, etc.
- The author, based on the arithmetic reduction method of Degtyarev and Itenberg, transforms the problem of equisingular deformation classification into a pure lattice - theory problem.
- Calculations were carried out separately for the maximized (Milnor number μ(X)=19) and non - maximized (μ(X)≤18) cases.
- The computational problems were solved using Nikulin's discriminant form theory and Gauss's binary quadratic form theory.
### Methods and Techniques
- **Arithmetic Reduction**: Transforms the problem of equisingular deformation classification into a lattice - theory problem.
- **Nikulin's Discriminant Form Theory**: Used to handle the calculations of finite quadratic forms.
- **Gauss's Binary Quadratic Form Theory**: Used to handle calculations in the maximized case.
- **Miranda - Morrison's Results**: Used to handle calculations in the non - maximized case.
- **Algorithm Implementation**: All algorithms were implemented using GAP software because the number of classifications is very large (about 12,000).
### Results
- Completed the classification of equisingular deformations of all simple quartic surfaces.
- Provided a detailed list of 390 maximized (μ = 19) families and 39 extreme families.
- Non - maximized quartic surfaces are uniquely determined by their configurations, and there are only 13 non - maximized families that are not real.
### Tables and Data
- Table 1 lists the number of singularity sets, the number of configurations, the number of real components, the number of pairs of complex conjugate components, and the number of extreme families under different Milnor numbers μ.
- Table 3 and Table 4 list the detailed information of maximized families and extreme families respectively.
### Summary
This paper successfully completed the classification of equisingular deformations of quartic surfaces with simple singularities through systematic methods and advanced computational techniques, providing an important reference and basis for research in this field.