K-Moduli of Fano Threefolds of Family 3.3

Basic Information

• Paper ID: 2510.13611
• Title: K-Moduli of Fano Threefolds of Family 3.3
• Authors: Erroxe Etxabarri-Alberdi, James Matthew Jones, Theodoros Stylianos Papazachariou
• Classification: math.AG (Algebraic Geometry)
• Publication Date: October 15, 2024
• Paper Link: https://arxiv.org/abs/2510.13611

Abstract

This paper provides a complete description of the K-moduli space of Fano threefolds in family 3.3. The authors first prove that K-semistable Fano varieties with volume greater than 18 are Gorenstein canonical and admit a general elephant, improving the bounds in results by Liu and Zhao. By combining the moduli continuity method via lattice-polarized K3 surfaces, the K-moduli stack parametrizing K-semistable varieties in family 3.3 is identified as the Kirwan blowup of the natural GIT quotient of $(1,1,2)$-divisors in $\mathbb{P}^1\times \mathbb{P}^1\times \mathbb{P}^2$.

Research Background and Motivation

Problem Background

1. K-Stability Theory: K-stability is an important concept in algebraic geometry used to determine the existence of Kähler-Einstein metrics on Fano varieties and has achieved significant progress in constructing K-moduli spaces of such varieties.
2. Challenges in Moduli Space Construction: Although the general K-moduli theorem has been established, the construction of K-moduli spaces is not explicit and requires case-by-case study, making explicit descriptions of K-moduli spaces a difficult problem.
3. Classification of Fano Threefolds: Complete descriptions of all K-(semi/poly)stable degenerations for specific families of Fano varieties have become an important research topic for algebraic geometers.

Research Motivation

1. Refining Theoretical Bounds: Improving the volume bounds of Liu and Zhao regarding the existence of K3 surfaces in K-semistable singular Fano threefolds.
2. Explicit Description: Providing a complete explicit description of the K-moduli space for family 3.3, including classification of all K-(semi/poly)stable elements.
3. Methodological Contribution: Combining the moduli continuity method and GIT theory to provide a research paradigm for similar problems.

Core Contributions

1. Improved Volume Bounds: Reducing the volume bound in the Liu-Zhao theorem from 20 to 18 (and to 16 under certain additional conditions).
2. Complete Geometric Characterization: Proving that every K-semistable element in family 3.3 is either a $(1,1,2)$-divisor in $\mathbb{P}^1\times \mathbb{P}^1\times \mathbb{P}^2$ or a $(2,2)$-divisor in $\mathbb{P}(1,1,2)\times \mathbb{P}^2$.
3. K-Moduli Space Identification: Establishing a natural isomorphism between the K-moduli stack and the Kirwan blowup of the GIT quotient.
4. Complete Stability Classification: Providing explicit classification of all K-(semi/poly)stable elements in family 3.3.

Detailed Methods

Main Theorem Statements

Theorem 1.1 (Volume Comparison Theorem): Let $X$ be a Q-Gorenstein smoothable K-semistable (weak) Q-Fano threefold with volume $V := (-K_X)^3 \geq 16$. Then:

1. If $V \geq 18$, then $X$ is Gorenstein canonical
2. If $V \geq 18$, there exists a divisor $S \in |-K_X|$ such that $(X,S)$ is a plt pair, and $(S,-K_X|_S)$ is a (quasi-)polarized K3 surface of degree $V$
3. A Q-Cartier Weil divisor $D$ on $X$ that deforms to a Q-Cartier Weil divisor is Cartier

Technical Methods

1. Volume Comparison Techniques

• Using local-to-global volume comparison methods
• Applying estimates from FO18; Liu18; LX19; Liu22
• Employing general elephant theory of Reid and Shokurov

2. Moduli Continuity Method

• Establishing connections via lattice-polarized K3 surfaces
• Utilizing moduli theory of K3 surfaces
• Constructing degeneration families and analyzing their properties

3. GIT Analysis

• Computing GIT stability of $(1,1,2)$-divisors in $\mathbb{P}^1\times \mathbb{P}^1\times \mathbb{P}^2$
• Using computational methods KOP23b to analyze semistable orbits
• Constructing Kirwan blowups

Key Technical Innovations

Luna Slice Construction

For the special non-reduced reducible threefold $\tilde{X} = V(\tilde{f})$, where $\tilde{f} = (z_1^2 + z_0z_2)(x_0y_0 + x_1y_0 + x_0y_1 + x_1y_1)$

a Luna étale slice $W := \{lq + g = 0\}$ is constructed, where neither $l$ nor $q$ is a factor of $g$.

K3 Surface Lattice Structure

A rank 3 hyperbolic sublattice $\Lambda_0$ is defined with generators $H_1, H_2, H_3$ satisfying intersection numbers:

• $(H_1^2) = (H_2^2) = 0$, $(H_3^2) = 2$
• $(H_1 \cdot H_2) = 2$, $(H_1 \cdot H_3) = (H_2 \cdot H_3) = 3$

Experimental Setup

Computational Tools

• SageMath 9.2 package KOP23a for GIT stability computations
• Computational methods developed in KOP23b
• Analysis of 1563 relevant one-parameter subgroups

GIT Analysis Methods

• Computing the maximal semistable destabilizing set $S_{1,1,2}^{1,1,1}$
• Identifying 8 critical one-parameter subgroups: $\lambda_0, \lambda_1, \ldots, \lambda_7$
• Applying the centroid criterion to determine strict semistability

Experimental Results

Main Classification Results

Theorem 4.14 (Complete Stability Classification): Fano threefolds in family 3.3 satisfy:

1. K-stable ⟺ smooth
2. Strictly K-semistable ⟺ satisfying one of the following:
   • $(1,1,2)$-divisor with: non-isolated multiplicity 2 singularities, or 12 $A_1$ singularities, or 1 $A_3$ singularity, or 1 $A_3$ and 1 $A_1$ singularity, or 1 $D_4$ singularity
   • $(2,2)$-divisor with specific singularity configurations
3. Strictly K-polystable ⟺ with corresponding double point configurations

GIT Stability Correspondence

Proposition 4.4: A $(1,1,2)$-divisor is GIT stable if and only if it is smooth.

Propositions 4.5-4.6: Complete characterization of GIT semistable and polystable orbits, in perfect correspondence with K-stability.

K-Moduli Space Isomorphism

Theorem 4.13: There exists an isomorphism $\psi : [\tilde{U}^{ss}/\text{PGL}(2)\times \text{PGL}(2)\times \text{PGL}(3)] \to \mathcal{M}^K_{3.3}$

where $\tilde{U}^{ss}$ is the GIT semistable locus of the Kirwan blowup.

Related Work

K-Moduli Theory Development

• Building on foundational work by Alp+20; Blu+21; BLX22; BX19; CP21
• Extending research on del Pezzo surfaces by MM90; OSS16
• Inheriting methodologies from SS17; LX19; ADL24

Fano Threefold Research

• Utilizing results on existence of general smooth K-stable members from Ara+23
• Extending applications of K3 surface geometry from Liu22; LZ25; Zha24
• Improving volume bound results from LZ25

Computational Methods

• Using the Abban-Zhuang method AZ22 for stability threshold estimation
• Applying computational GIT methods from KOP23b
• Combining exceptional divisor analysis from DeV+24

Conclusions and Discussion

Main Conclusions

1. Complete characterization of the K-moduli space structure for family 3.3
2. Establishing precise correspondence between K-stability and GIT stability
3. Providing explicit classification of all K-(semi/poly)stable elements
4. Improving known volume bounds

Methodological Significance

• Demonstrating the effectiveness of combining moduli continuity methods with GIT theory
• Providing a paradigm for research on other Fano threefold families
• Proving the practical utility of computational methods in complex geometric problems

Limitations

1. Methods are highly dependent on geometric properties specific to the family
2. Computational complexity grows with parameter space dimension
3. Further improvement of volume bounds appears difficult

Future Directions

1. Generalization to other Fano threefold families
2. Investigation of higher-dimensional cases
3. Development of more efficient computational algorithms

In-Depth Evaluation

Strengths

1. Theoretical Depth: Significantly improving important volume bound theorems
2. Computational Innovation: Successfully combining abstract theory with concrete computation
3. Completeness: Providing complete classification for this family
4. Methodological Contribution: Providing an effective research framework for related problems

Technical Highlights

1. Clever application of Luna slice techniques
2. Deep integration of K3 surface moduli theory with Fano threefold degenerations
3. Precise correspondence between GIT theory and K-stability
4. Perfect unification of computational verification and theoretical proof

Impact Assessment

1. Theoretical Contribution: Providing important concrete examples for K-moduli theory
2. Methodological Value: Providing standard paradigms for research on similar problems
3. Computational Tools: Developed software packages with broad applicability
4. Subsequent Research: Laying foundations for research on other families

Application Scenarios

1. Moduli space research for Fano varieties
2. Stability problems in algebraic geometry
3. Applications of geometric invariant theory
4. Development of computational algebraic geometry

References

Key references include:

• LZ25 Original work by Liu-Zhao on volume bounds
• Ara+23 Systematic study of K-stability for Fano threefolds
• KOP23b Computational methods for GIT stability
• ADL24 Applications of moduli continuity methods
• DeV+24 Related moduli space constructions

Summary: This paper is an important contribution to algebraic geometry, not only solving the K-moduli space problem for a specific family of Fano threefolds, but more importantly developing a complete set of research methods that provide valuable tools and insights for further development in this field.