🔢 mathematics

A Finiteness Theorem for Quartic K3-Fibred Calabi--Yau Threefolds in Scrolls

This paper provides a complete explicit classification of fourteen deformation families of quartic K3-fibred Calabi–Yau threefolds realized as anticanonical hypersurfaces in specific orbifold scrolls, determining their weight vectors, singularity types, and Hodge numbers for $n=1,2,3$ within the context of Gross's finiteness problem.

Original authors: Geoffrey Mboya

Published 2026-08-25

📖 4 min read🧠 Deep dive

CC BY 4.0

Original authors: Geoffrey Mboya

Original paper licensed under CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ This is an AI-generated explanation of the paper below. It is not written or endorsed by the authors. For technical accuracy, refer to the original paper. Read full disclaimer

In the vast landscape of modern geometry, mathematicians search for shapes that are perfectly balanced, neither expanding nor contracting, yet holding a complex internal structure. These are called Calabi–Yau threefolds. They are three-dimensional spaces that, while invisible to the naked eye, are believed to be the hidden scaffolding of our universe, providing the extra dimensions required by string theory to make sense of reality. For decades, a central question has haunted researchers: are there only a limited number of these shapes, or do they go on forever? While the general answer remains elusive, focusing on specific, highly structured versions of these shapes allows mathematicians to count them with certainty. This paper tackles one such specific version: shapes that are built by stacking quartic K3 surfaces, which are themselves two-dimensional surfaces with a unique, intricate symmetry, one on top of another to form a three-dimensional tower.

The author, Geoffrey Mboya, sets out to solve a puzzle that had been partially solved but remained incomplete. Previous work had identified ten families of these shapes when they were built in a very standard, "straight" way, like a simple stack of pancakes. However, the mathematical world is rarely so simple. The researcher asked what happens if we allow the stack to be twisted or folded by a cyclic symmetry, creating an "orbifold" structure where the geometry repeats itself in a specific pattern. The goal was to determine if this twisting creates an infinite number of new shapes or if the rules of geometry still force the list to remain finite. The answer is a definitive yes: the list is finite. By applying a rigorous test known as the Reid–Shepherd-Barron–Tai criterion, which checks whether the corners of these shapes are sharp enough to be mathematically valid, the author proved that for any given level of twisting, only a limited number of weight combinations are possible.

The study focuses on three specific levels of complexity. For the simplest case, where there is no twisting, the result confirms the existence of ten known families. When the symmetry is doubled, creating a twist that repeats every two steps, the math allows for exactly one new family. When the symmetry is tripled, repeating every three steps, the analysis reveals three distinct families. In total, the paper identifies fourteen unique families of these quartic K3-fibred Calabi–Yau threefolds that can exist as anticanonical hypersurfaces in these specific geometric scrolls. The author does not just list them; for each of these fourteen families, they calculated the Hodge numbers, which are like a fingerprint for the shape, describing how many holes or tunnels exist within the structure and how the space curves. This provides a complete catalog of these specific mathematical objects, moving beyond the abstract proof that they are finite to a concrete, explicit classification of what they actually are.

The work also clarifies what does not work. The researcher found that certain combinations of twists and weights, which might seem plausible at first glance, actually create singularities that are too severe to be considered valid Calabi–Yau shapes. Specifically, if the twisting pattern causes too many parts of the geometry to align perfectly, the resulting shape loses its essential properties and becomes invalid. By filtering out these impossible cases, the author ensures that the final list of fourteen families is both complete and correct. This classification is significant because, while recent general theorems have proven that such shapes are bounded in number, those proofs do not tell us what the shapes look like or how many there are. This paper fills that gap, providing the actual weight vectors, the types of singularities, and the precise Hodge data for every valid family in this restricted setting.

Ultimately, this research demonstrates that even in the abstract realm of high-dimensional geometry, strict rules govern the possible forms of the universe. The author has shown that when we restrict our view to these specific, fibred structures, the infinite possibilities collapse into a manageable, countable set. The fourteen families identified here represent the full extent of what is possible under these conditions. While the question of whether the order of twisting itself is bounded remains open for higher levels of complexity, the work establishes a solid foundation for understanding the explicit geometry of these objects. It transforms a theoretical question about finiteness into a practical inventory, giving mathematicians a clear map of the terrain where these special shapes reside.

Technical Summary: A Finiteness Theorem for Quartic K3-Fibred Calabi–Yau Threefolds in Scrolls

Problem Statement
The paper addresses a restricted form of Gross's finiteness problem concerning algebraic minimal Calabi–Yau threefolds. While general boundedness results for fibred Calabi–Yau threefolds have been established (notably by Engel et al. [5]), these results do not provide explicit classifications of weight vectors, singularity types, or Hodge numbers for specific families. This work focuses on threefolds fibred by quartic K3 surfaces ( $S_4 \subset \mathbb{P}^3$ ) that are realized as anticanonical hypersurfaces in "scrolls" over $\mathbb{P}^1$ . The study extends beyond the previously known "straight-scroll" families (where the ambient space is a non-singular $\mathbb{P}^3$ -bundle) to include "orbifold scrolls" of the form $F^m_n = (\mathbb{P}^1 \times \mathbb{P}^3)/\mathbb{Z}_n$ . The primary objective is to determine which of these orbifold constructions yield Calabi–Yau threefolds with at worst canonical singularities and to explicitly classify the resulting deformation families.

Methodology
The classification relies on a combinatorial analysis of weight vectors and the application of the Reid–Shepherd-Barron–Tai (RSBT) criterion for canonical singularities.

Geometric Construction:
- Straight Scrolls ( $n=1$ ): The ambient space is a non-singular bundle $F = \mathbb{P}(\mathcal{O}_{\mathbb{P}^1} \oplus \mathcal{O}_{\mathbb{P}^1}(a_2) \oplus \mathcal{O}_{\mathbb{P}^1}(a_3) \oplus \mathcal{O}_{\mathbb{P}^1}(a_4))$ . The Calabi–Yau threefold $X$ is a general anticanonical hypersurface in $F$ .
- Orbifold Scrolls ( $n \ge 2$ ): The ambient space is the quotient $F^m_n = (\mathbb{P}^1 \times \mathbb{P}^3)/\mathbb{Z}_n$ , where $\mathbb{Z}_n$ acts diagonally on the fibre coordinates $[x_j]$ with weights $m = (m_1, \dots, m_4)$ and trivially on the base. The Calabi–Yau condition requires the existence of a $\mathbb{Z}_n$ -invariant quartic polynomial, which imposes a congruence condition on the weights.
Singularities and the RSBT Criterion:
- The paper applies the RSBT criterion to the fixed loci of the $\mathbb{Z}_n$ action (specifically the sections $C_j = \mathbb{P}^1 \times \{x_j=0\}$ ).
- For the ambient orbifold to have canonical singularities, the "age" of the group action at fixed points must be $\ge 1$ . For the hypersurface restriction to remain canonical, this condition is sharpened by one unit.
- This leads to a system of arithmetic conditions on the weights $m_i$ and the order $n$ :
  $m_2 + m_3 + m_4 \equiv \beta \pmod n$
  $m_2 + m_3 + m_4 \ge n + 1$
  where $\beta$ is the weight of the invariant quartic.
Well-Formedness:
- A crucial constraint is "well-formedness," which excludes cases where three or more weights are congruent modulo $n$ . Such cases correspond to quasi-reflections in the group action, which fix a divisor (codimension 1) rather than a curve, leading to non-canonical singularities or a failure of the Calabi–Yau condition (negative Kodaira dimension).
Hodge Number Computation:
- For smooth cases, $h^{1,1}$ is determined by the Lefschetz hyperplane theorem.
- For orbifold cases, $h^{2,1}$ is computed by counting the dimension of the space of invariant polynomials of the appropriate degree modulo the automorphisms of the ambient space.
- $h^{1,1}$ is corrected by contributions from the "twisted sectors" (fixed curves) where the age is $\le 1$ , corresponding to exceptional divisors in a crepant resolution.

Key Contributions and Results

Finiteness Theorem: The paper proves that for any fixed order $n$ , the set of admissible weight vectors $C_n$ yielding canonical quartic K3-fibred Calabi–Yau threefolds is finite.
Complete Classification for $n=1, 2, 3$ :
- $n=1$ (Straight Scrolls): Reconfirms the existence of exactly 10 families (as found in prior work [12, 13, 14]), listed in Table 1.
- $n=2$ : Identifies exactly 1 family with weight vector $(1, 1, 1)$ (modulo 2), corresponding to the quotient of $X(2,4)$ by $x_j \mapsto -x_j$ .
- $n=3$ : Identifies 3 valid families out of 4 candidates. The candidate $(0, 2, 2, 2)$ is discarded due to a lack of well-formedness (triple coincidence of weights). The valid families correspond to weights $(0, 0, 2, 2)$ , $(0, 1, 1, 2)$ , and $(0, 1, 2, 2)$ .
- Total: The study yields 14 distinct deformation families of canonical quartic K3-fibred Calabi–Yau threefolds in this setting.
Explicit Hodge Data:
- The paper computes the full Hodge numbers $(h^{1,1}, h^{2,1})$ for all 14 families.
- For the $n=3$ $n = 3$ families, the results are:
  - Family 1 $(0,0,2,2)$ : $(5, 23)$
  - Family 2 $(0,1,1,2)$ : $(6, 34)$
  - Family 3 $(0,1,2,2)$ : $(4, 34)$
- The paper notes that while Family 2 shares Hodge numbers with certain Complete Intersection Calabi–Yau (CICY) manifolds, the constructions are distinct (hypersurface in a singular stack vs. smooth complete intersection), and the matching numbers are numerical coincidences rather than evidence of isomorphism.

Significance
The paper provides the first explicit, effective classification of this specific class of Calabi–Yau threefolds. While general boundedness theorems (e.g., [5]) guarantee the existence of a bound on invariants for fibred Calabi–Yau threefolds, they do not supply the specific weight vectors, singularity types, or Hodge data. This work fills that gap for the case of quartic K3-fibred threefolds in (orbifold) scrolls over $\mathbb{P}^1$ .

The significance lies in the transition from abstract boundedness to concrete enumeration. By leveraging the rigidity of the $\mathbb{P}^1$ base and the combinatorial nature of the RSBT criterion, the author reduces a complex geometric problem to a solvable system of arithmetic inequalities. The results settle the existence question for these specific orbifold constructions and provide a complete dataset of 14 families, including their singularity structures and topological invariants, which serves as a foundational reference for further study of low-degree K3-fibred Calabi–Yau threefolds.

Open Questions
The paper explicitly notes that it does not determine whether the order $n$ itself is bounded across all possible constructions; it only proves that for any fixed $n$ , the number of families is finite. Extending the classification beyond $n=3$ and resolving the boundedness of $n$ remain open problems.

Technical Summary: A Finiteness Theorem for Quartic K3-Fibred Calabi–Yau Threefolds in Scrolls

More like this