On Gorenstein Fano toric complete intersections

Basic Information

• Paper ID: 2510.11591
• Title: On Gorenstein Fano toric complete intersections
• Authors: Jürgen Hausen, Paul Weiss
• Classification: math.AG (Algebraic Geometry)
• Publication Date: October 13, 2025
• Paper Link: https://arxiv.org/abs/2510.11591

Abstract

This paper provides a classification of Q-factorial Gorenstein Fano non-degenerate complete intersection threefolds in fake weighted projective spaces.

Research Background and Motivation

Problem Background

This research addresses the classification of log terminal Fano threefolds with Picard number one, an important classification problem in algebraic geometry. Specifically, the core problems addressed are:

1. Classification Problem: Complete classification of Q-factorial Gorenstein Fano non-degenerate complete intersection threefolds in fake weighted projective spaces
2. Completing Known Results: Filling the missing "78" entry in existing classification tables

Research Significance

The classification of Fano threefolds is a fundamental problem in algebraic geometry with important theoretical implications:

• They serve as basic building blocks in birational geometry
• They play a crucial role in the Minimal Model Program
• They have close connections to mirror symmetry theory

Limitations of Existing Methods

Prior to this work, known classification results included:

• Toric case: 8 terminal families, 48 Gorenstein families
• Complexity 1 toric actions: 47 terminal families, 538 Gorenstein families
• Intrinsic quadratic forms: 4 terminal families, 11 Gorenstein families
• General non-degenerate toric complete intersections: 42 terminal families, but Gorenstein case was missing

Research Motivation

The primary motivation of this paper is to fill the gap in the classification of the Gorenstein case for general toric complete intersections, completing this important classification work.

Core Contributions

The main contributions of this paper include:

1. Complete Classification: Determines that there are exactly 78 Q-factorial Gorenstein Fano general toric complete intersection threefold families, consisting of:
   • 59 families of codimension 1 (in 4-dimensional fake weighted projective spaces)
   • 16 families of codimension 2 (in 5-dimensional fake weighted projective spaces)
   • 3 families of codimension 3 (in 6-dimensional fake weighted projective spaces)
2. Systematic Methodology: Establishes a complete classification algorithm and theoretical framework
3. Explicit Data: Provides explicit degree data for each family, given in classification lists 4.1 to 4.26
4. Technical Innovation: Introduces the concept of "downgrading" and related algorithms

Detailed Methodology

Task Definition

Input: Fake weighted projective space Z and Laurent polynomial systems therein Output: Classification of complete intersection threefolds satisfying Q-factorial, Gorenstein, and Fano conditions Constraints: Picard number equal to one, non-degeneracy condition

Core Concepts and Tools

1. Fake Weighted Projective Spaces

Each n-dimensional fake weighted projective space is encoded by an n×(n+1) generating matrix P: $P = [v_1 \ldots v_{n+1}]$ where column vectors $v_i \in \mathbb{Z}^n$ are pairwise distinct primitive vectors.

2. Degree Matrix Representation

$Q = [q_1 \ldots q_{n+1}] = \begin{bmatrix} w_1 \ldots w_{n+1} \\ \eta_1 \ldots \eta_{n+1} \end{bmatrix}$ where $w_i \in \mathbb{Z}_{>0}$ and $\eta_i \in \Gamma$ (finite abelian group).

3. Weight Vectors and Exponent Vectors

• Weight Vectors: Vectors of type $(d,c)$ denoted $w = (w_1,\ldots,w_{1+d+c})$ satisfying $w_1 \leq \cdots \leq w_{1+d+c}$ and being almost free
• Exponent Vectors: Vectors $l = (l_1,\ldots,l_{1+d+c})$ satisfying the homogeneity condition $\mu = l_i w_i$

4. Gorenstein Condition

A weight vector $w$ is Gorenstein if and only if for all $1 \leq i_1 < \cdots < i_{1+c} \leq 1+d+c$ and complementary indices $1 \leq j_1 < \cdots < j_d \leq 1+d+c$: $\gcd(w_{i_1},\ldots,w_{i_{1+c}}) \mid (w_{j_1} + \cdots + w_{j_d})$

5. Fano Condition

A weight-degree constellation $(w,\mu)$ is Fano if and only if: $w_1 + \cdots + w_{1+d+c} > (\ell_{1,1} + \cdots + \ell_{c,1})w_1$

Technical Innovations

1. Downgrading Technique

Construction 2.13 introduces the downgrading concept: given a degree matrix $Q$ in $K = \mathbb{Z} \times \Gamma$ and a surjection $\psi: \Gamma \to \tilde{\Gamma}$, one can construct a downgrade $\tilde{Q}$. This allows:

• Bounding the possible orders of torsion groups
• Systematically handling different torsion structures

2. Algorithm 2.27: Degree Matrix Algorithm

For a given Gorenstein Fano weight-degree constellation $(w,\mu)$:

• Determine the set of primes $P$
• For each $p \in P$ determine the maximal power $\nu_p$
• Generate all possible Gorenstein Fano degree matrices
• Remove redundancies to obtain a set of representatives $Q(w,\mu)$

Experimental Setup

Classification Strategy

The paper employs an exhaustive classification method:

1. First Step: Determine all possible genuine Gorenstein Fano weight-degree constellations
2. Second Step: Apply Algorithm 2.27 to each constellation to obtain degree matrices
3. Third Step: Compute geometric invariants to verify results

Computational Tools

• Computer-assisted verification
• Systematic algorithms to handle combinatorial explosion
• Computation of geometric invariants via Propositions 2.9 and 2.10

Experimental Results

Main Classification Results

1. Type (3,1) Results (Theorem 3.1)

Identifies 24 genuine Gorenstein Fano weight-degree constellations, including:

• $(1,1,1,1,1;2), (1,1,1,1,1;3), (1,1,1,1,1;4)$, etc.
• Each corresponds to multiple degree matrices, totaling 59 families

2. Type (3,2) Results (Theorem 3.9)

Identifies 5 genuine Gorenstein Fano weight-degree constellations:

• $(1,1,1,1,1,1;2,2), (1,1,1,1,1,1;2,3)$, etc.
• Totaling 16 families

3. Type (3,3) Results (Theorem 3.14)

Only 1 genuine Gorenstein Fano weight-degree constellation:

• $(1,1,1,1,1,1,1;2,2,2)$
• Corresponding to 3 families

Geometric Invariants

For each family, the paper computes:

• Anticanonical class $-K$
• Anticanonical self-intersection $(-K)^3$
• Anticanonical section dimension $h^0(-K)$

For example, for weight vector $(1,1,1,1,1)$:

• Values of $(-K)^3$ range from 4 to 54
• Values of $h^0(-K)$ range from 5 to 30

Smooth Case

Remark 4.27 identifies 9 smooth gtci that completely coincide with known terminal cases, verifying the consistency of the classification.

Related Work

Historical Development

1. Toric Case: Kasprzyk's work 9,10 provided 8 terminal families and 48 Gorenstein families
2. Complexity 1 Case: Work by Bechtold et al. 3 and Bäuerle-Hausen 2
3. Intrinsic Quadratic Forms: Classification results by Hische 8
4. Terminal Complete Intersections: 42 families by Hausen-Mauz-Wrobel 7

Position of This Work

This paper completes the classification of the Gorenstein case for general toric complete intersections, filling an important gap and forming a complete classification landscape with existing results.

Conclusions and Discussion

Main Conclusions

1. Completeness: Determines exactly 78 Q-factorial Gorenstein Fano gtci threefold families
2. Systematicity: Establishes a complete classification theory and algorithms
3. Consistency: Perfectly connects with known terminal cases

Limitations

1. Computational Complexity: Classification relies on extensive computation, with certain steps requiring computer assistance
2. Dimensional Restriction: Primarily focuses on the three-dimensional case
3. Specificity: Limited to the case of fake weighted projective spaces

Future Directions

1. Generalization to higher-dimensional cases
2. Study of geometric properties of these families
3. Connections with mirror symmetry theory

In-Depth Evaluation

Strengths

1. Theoretical Completeness: Provides a complete classification theoretical framework
2. Methodological Innovation: Downgrading technique and algorithm design are innovative
3. Result Precision: Provides explicit classification lists and geometric data
4. Verification Sufficiency: Results are verified through multiple approaches

Weaknesses

1. Computational Dependence: Some results depend on computer verification, with insufficient direct theoretical proofs
2. Generalizability: Unclear whether methods can be generalized to other settings
3. Geometric Intuition: Lacks geometric intuitive explanation of classification results

Impact

1. Theoretical Contribution: Completes an important classification work
2. Methodological Value: Provided tools and algorithms have generalization potential
3. Application Prospects: Provides foundation for further geometric research

Applicable Scenarios

• Classification problems in algebraic geometry
• Research in toric geometry
• Birational geometry of Fano varieties
• Applications in mirror symmetry theory

References

This paper cites important literature in the field, including Kasprzyk's classical work on toric Fano threefolds, the monograph by Arzhantsev et al. on Cox rings, and recent classification results on complexity 1 cases and intrinsic quadratic forms.

Through systematic theoretical analysis and extensive computation, this paper completes an important classification problem and makes substantial contributions to the study of Fano varieties in algebraic geometry. Its methods and results have significant value for further development in this field.