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

Technische Samenvatting: Een eindelijkheidstheorema voor quartische K3-gefibreerde Calabi–Yau driedevoudige in scrolls

Probleemstelling
Het artikel behandelt een beperkte vorm van Gross' eindelijkheidsprobleem betreffende algebraïsche minimale Calabi–Yau driedevoudige. Hoewel algemene begrenzingsresultaten voor gefibreerde Calabi–Yau driedevoudige zijn vastgesteld (met name door Engel et al. [5]), bieden deze resultaten geen expliciete classificaties van gewichtsvectoren, singulariteitstypen of Hodge-getallen voor specifieke families. Dit werk richt zich op driedevoudige die gefibreerd zijn door quartische K3-oppervlakken ($S_4 \subset \mathbb{P}^3$) die gerealiseerd worden als anticanonieke hyperoppervlakken in "scrolls" over $\mathbb{P}^1$. De studie breidt zich uit voorbij de voorheen bekende "straight-scroll" families (waarbij de omringende ruimte een niet-singuliere $\mathbb{P}^3$-bundel is) naar "orbifold scrolls" van de vorm $F^m_n = (\mathbb{P}^1 \times \mathbb{P}^3)/\mathbb{Z}_n$. Het primaire doel is om te bepalen welke van deze orbifold-constructies Calabi–Yau driedevoudige opleveren met op zijn uiterst hoogstens canonieke singulariteiten en om de resulterende deformatie-families expliciet te classificeren.

Methodologie
De classificatie berust op een combinatorische analyse van gewichtsvectoren en de toepassing van het Reid–Shepherd-Barron–Tai (RSBT) criterium voor canonieke singulariteiten.

1. Geometrische Constructie:

   • Straight Scrolls ($n=1$): De omringende ruimte is een niet-singuliere bundel $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))$. De Calabi–Yau driedevoudige $X$ is een algemeen anticanoniek hyperoppervlak in $F$.
   • Orbifold Scrolls ($n \ge 2$): De omringende ruimte is de quotient $F^m_n = (\mathbb{P}^1 \times \mathbb{P}^3)/\mathbb{Z}_n$, waarbij $\mathbb{Z}_n$ diagonaal werkt op de fibre-coördinaten $[x_j]$ met gewichten $m = (m_1, \dots, m_4)$ en triviaal op de basis. De Calabi–Yau conditie vereist de existentie van een $\mathbb{Z}_n$-invariante quartische polynoom, wat een congruentieconditie op de gewichten oplegt.

2. Singulariteiten en het RSBT-criterium:

   • Het artikel past het RSBT-criterium toe op de vaste loci van de $\mathbb{Z}_n$-actie (specifiek de secties $C_j = \mathbb{P}^1 \times \{x_j=0\}$).
   • Voor de omringende orbifold om canonieke singulariteiten te hebben, moet de "age" van de groep-actie bij vaste punten $\ge 1$ zijn. Om de restrictie van het hyperoppervlak canoniek te laten blijven, wordt deze conditie met één eenheid aangescherpt.
   • Dit leidt tot een stelsel van rekenkundige condities op de gewichten $m_i$ en de orde $n$:
     $$m_2 + m_3 + m_4 \equiv \beta \pmod n$$
     $$m_2 + m_3 + m_4 \ge n + 1$$
     waarbij $\beta$ het gewicht van de invariante quartische is.

3. Welgevormdheid (Well-formedness):

   • Een cruciale beperking is "welgevormdheid", die gevallen uitsluit waarin drie of meer gewichten congruent zijn modulo $n$. Dergelijke gevallen komen overeen met quasi-reflecties in de groep-actie, die een divisor (codimensie 1) fixeren in plaats van een curve, wat leidt tot niet-canonieke singulariteiten of een falen van de Calabi–Yau conditie (negatieve Kodaira-dimensie).

4. Hodge-getal Berekening:

   • Voor de gladde gevallen wordt $h^{1,1}$ bepaald door de Lefschetz hypervlakstelling.
   • Voor orbifold-gevallen wordt $h^{2,1}$ berekend door de dimensie van de ruimte van invariante polynomen van de passende graad te tellen, modulo de automorfismen van de omringende ruimte.
   • $h^{1,1}$ wordt gecorrigeerd door bijdragen van de "twisted sectors" (vaste curves) waar de age $\le 1$ is, wat overeenkomt met exceptional divisors in een crepante resolutie.

Kernbijdragen en Resultaten

1. Eindelijkheidstheorema: Het artikel bewijst dat voor elke vaste orde $n$, de verzameling toegestane gewichtsvectoren $C_n$ die canonieke quartische K3-gefibreerde Calabi–Yau driedevoudige opleveren, eindig is.

2. Volledige Classificatie voor $n=1, 2, 3$:

   • $n=1$ (Straight Scrolls): Bevestigt de existentie van exact 10 families (zoals gevonden in eerder werk [12, 13, 14]), vermeld in Tabel 1.
   • $n=2$: Identificeert exact 1 familie met gewichtsvector $(1, 1, 1)$ (modulo 2), overeenkomend met de quotient van $X(2,4)$ door $x_j \mapsto -x_j$.
   • $n=3$: Identificeert 3 geldige families uit 4 kandidaten. De kandidaat $(0, 2, 2, 2)$ wordt verworpen vanwege een gebrek aan welgevormdheid (driedubbele samenkomst van gewichten). De geldige families komen overeen met gewichten $(0, 0, 2, 2)$, $(0, 1, 1, 2)$ en $(0, 1, 2, 2)$.
   • Totaal: De studie levert 14 onderscheidende deformatie-families van canonieke quartische K3-gefibreerde Calabi–Yau driedevoudige op.

3. Expliciete Hodge-data:

   • Het artikel berekent de volledige Hodge-getallen $(h^{1,1}, h^{2,1})$ voor alle 14 families.
   • Voor de $n=3$ families zijn de resultaten:
     • Familie 1 $(0,0,2,2)$: $(5, 23)$
     • Familie 2 $(0,1,1,2)$: $(6, 34)$
     • Familie 3 $(0,1,2,2)$: $(4, 34)$
   • Het artikel merkt op dat hoewel Familie 2 Hodge-getallen deelt met bepaalde Complete Intersection Calabi–Yau (CICY) variëteiten, de constructies verschillend zijn (hyperoppervlak in een singuliere stack versus een gladde complete intersectie), en de overeenkomstige getallen numerieke toevalligheden zijn in plaats van bewijs voor isomorfisme.

Betekenis
Dit artikel biedt de eerste expliciete, effectieve classificatie van deze specifieke klasse van Calabi–Yau driedevoudige. Hoewel algemene begrenzingsstellingen (bijv. [5]) de existentie van een grens op invarianten voor gefibreerde Calabi–Yau driedevoudige garanderen, leveren zij niet de specifieke gewichtsvectoren, singulariteitstypen of Hodge-data. Dit werk vult dit gat voor de gevallen van quartische K3-gefibreerde driedevoudige in (orbifold) scrolls over $\mathbb{P}^1$.

De betekenis ligt in de overgang van abstracte begrenzing naar concrete enumeratie. Door gebruik te maken van de rigiditeit van de $\mathbb{P}^1$ basis en de combinatorische aard van het RSBT-criterium, reduceert de auteur een complex geometrisch probleem tot een oplosbaar stelsel van rekenkundige ongelijkheden. De resultaten beslechten de existentievraag voor deze specifieke orbifold-constructies en leveren een volledige dataset van 14 families, inclusief hun singulariteitsstructuren en topologische invarianten, die dient als een fundamentele referentie voor verdere studie van laag-graads K3-gefibreerde Calabi–Yau driedevoudige.

Openstaande Vragen
Het artikel merkt expliciet op dat het niet bepaalt of de orde $n$ zelf begrensd is over alle mogelijke constructies; het bewijst alleen dat voor elke vaste $n$, het aantal families eindig is. Het uitbreiden van de classificatie voorbij $n=3$ en het oplossen van de begrensdheid van $n$ blijven openstaande problemen.