Calabi-Yau complete intersections in fake weighted projective spaces

Titel: Calabi-Yau Complete Intersecties in Valse Gewogen Projectieve Ruimtes

Auteur: Marco Ghirlanda

---

1. Probleemstelling en Context

De studie van Calabi-Yau-variëteiten in de torische setting is historisch geworteld in het werk van Batyrev, die reflexieve polyhedra koppelt aan Gorenstein-torische Fano-variëteiten die families van Calabi-Yau-hypervlakken herbergen. Deze constructie leidde tot grote classificaties van reflexieve polyhedra (o.a. door Kreuzer en Skarke).

Een natuurlijke volgende stap is de overgang van hypervlakken naar complete intersecties. In de torische context introduceerde Borisov het concept van nef-partities: een decompositie van de anti-kanaalklasse in nef Cartier-sommanden. Dit bepaalt lijnbundels op de omringende torische Fano-variëteit; het snijden van algemene secties van deze bundels produceert families van Calabi-Yau-complete intersecties.

Het specifieke probleem dat in dit artikel wordt aangepakt, is de classificatie van deze Calabi-Yau-complete intersecties (CYCI) die voortkomen uit nef-partities in valse gewogen projectieve ruimtes (fake weighted projective spaces, fwps). Een fwps is een $\mathbb{Q}$-factoriële torische Fano-variëteit met Picard-getal één. Hoewel er algoritmen bestaan voor reflexieve simplices, ontbrak een systematische classificatie voor complete intersecties in deze bredere klasse van ruimtes, vooral voor hogere dimensies en codimensies.

2. Methodologie

De auteur presenteert een classificatiealgoritme dat gebaseerd is op een nieuwe combinatorische formulering van de existentievoorwaarden voor nef-partities. De kern van de methode ligt in het scheiden van de beperkingen die voortkomen uit het vrije deel en het torsiegedeelte van de divisor-klassegroep.

Belangrijke wiskundige concepten:

• Graadmatriks (Degree Matrix): Een fwps wordt gecodeerd door een $n \times (n+1)$-integraal matrix $P$. De divisor-klassegroep $Cl(Z)$ is isomorf met $\mathbb{Z}^{n+1} / \text{im}(P^*)$. De projectie $Q: \mathbb{Z}^{n+1} \to Cl(Z)$ fungeert als een graadmatriks.
• Nef-partitie: Een partitie van de kolommen van de graadmatriks in blokken, zodanig dat de som van de vectoren in elk blok een Cartier-divisorklasse vertegenwoordigt.
• Propositie 3.1: Dit is de centrale theoretische doorbraak. Het stelt dat een partitie een nef-partitie is dan en slechts dan als specifieke delingsvoorwaarden gelden voor zowel de gewichten ($w_i$) als de torsie-coördinaten ($\eta_i$). Cruciaal is dat de voorwaarden voor de torsie-coördinaten rij-voor-rij (row-wise) kunnen worden gecontroleerd.

Het Algoritme (Algoritme 3.7):
Het classificatieproces verloopt in twee fasen:

1. Enumeratie van vrije gewichten: Eerst worden alle toelaatbare "s-nef gewichtsvector" (vrije delen) gegenereerd samen met alle mogelijke nef-partities (Procedure 3.3). Dit omvat het genereren van primitieve niet-dalende tuples en het controleren van de kleinste gemene veelvoud (lcm) en som-condities.
2. Toevoeging van torsie: Vervolgens worden torsierijen toegevoegd aan de reeds gevonden gewichtsvector. Alleen die partities die onder de toevoeging van torsie "nef" blijven, worden behouden.
3. Isomorfisme-filtering: Het algoritme filtert isomorpe gevallen en identificeert unieke families.

Voor maximale codimensie wordt een expliciete karakterisering gegeven die de classificatie reduceert tot het tellen van banen (orbits) van multisets van punten in een vectorruimte over $\mathbb{Z}/2\mathbb{Z}$ onder de werking van de affine algemene lineaire groep.

3. Belangrijkste Resultaten

Classificatie tot dimensie 5:
De auteur heeft een complete lijst gegenereerd van Calabi-Yau-complete intersecties met dimensie $d \leq 5$ en codimensie $s$. De dataset is beschikbaar op Zenodo. De aantallen families (geordend per dimensie $d$ en codimensie $s$) zijn als volgt:

• Codimensie 1: 5 (d=2), 48 (d=3), 1.561 (d=4), 220.794 (d=5), 309.019.970 (d=6 - opmerking: tabel in paper toont getallen tot d=5, maar de rij voor s=1 loopt door).
• Codimensie 2: 2 (d=2), 10 (d=3), 164 (d=4), 6.045 (d=5), 1.042.424 (d=6).
• Codimensie 3: 3 (d=3), 21 (d=4), 425 (d=5), 20.647 (d=6).
• Codimensie 4: 6 (d=4), 43 (d=5), 1.134 (d=6).
• Codimensie 5: 9 (d=5), 95 (d=6).
• Codimensie 6: 18 (d=6).

Hodge-cijfers en Nieuwe Paren:
Met behulp van het softwarepakket PALP zijn de Hodge-cijfers berekend voor de 3-dimensionale families (dimensie 3). In dimensie 3 wordt het Hodge-diamant volledig bepaald door het paar $(h^{1,1}, h^{2,1})$.

• Er zijn in totaal 862 unieke Hodge-paren gevonden voor codimensies 1 tot en met 4 (716 + 121 + 19 + 6).
• Cruciaal resultaat: Van de paren die voorkomen in codimensie $\geq 2$, zijn er 20 nieuwe Hodge-paren die niet worden gerealiseerd door enige torische Calabi-Yau-hypervlak (die corresponderen met 4-dimensionale reflexieve polyhedra).
  • Voorbeelden van deze nieuwe paren zijn: $(1, 25)$, $(1, 33)$, $(2, 58)$, $(7, 7)$, en $(11, 11)$.
  • Dit bewijst dat nef-partities in fwps een rijkere structuur van Calabi-Yau-variëteiten opleveren dan alleen hypersurfaces in reflexieve polyhedra.

Maximale Codimensie:
Voor families met maximale codimensie ($s = d+1$) wordt bewezen dat deze in bijectie staan met de banen van multisets van $d+1$ punten in $(\mathbb{Z}/2\mathbb{Z})^r$ die het hele ruimte affien opspannen, onder de werking van de groep $AGL(r, \mathbb{Z}/2\mathbb{Z})$.

4. Betekenis en Impact

1. Uitbreiding van de Klassificatie: Het artikel vult een belangrijke lacune in de torische Calabi-Yau-theorie door de classificatie uit te breiden van hypersurfaces naar complete intersecties in een bredere klasse van omringende ruimtes (fwps).
2. Nieuw Geometrisch Materiaal: De ontdekking van 20 nieuwe Hodge-paren is significant voor de stringtheorie en de meetkunde. Deze paren vertegenwoordigen Calabi-Yau-variëteiten die eerder onbekend waren in de context van torische hypersurfaces, wat de "landschap" van mogelijke compactificaties in de fysica uitbreidt.
3. Efficiënt Algoritme: De ontwikkelde methode, die de torsie- en vrije delen van de klassegroep ontkoppelt, biedt een schaalbaar algoritme voor het genereren van deze complexe structuren, wat essentieel is voor het doorlopen van de enorme aantallen combinaties in hogere dimensies.
4. Combinatorische Karakterisering: De expliciete beschrijving van maximale codimensie via banen in vectorruimtes over $\mathbb{Z}/2\mathbb{Z}$ biedt een diep inzicht in de symmetrieën en de onderliggende combinatoriek van deze specifieke families.

Kortom, dit werk levert een fundamentele bijdrage aan het classificeren van Calabi-Yau-variëteiten en toont aan dat het uitbreiden van het kader naar complete intersecties in valse gewogen projectieve ruimtes leidt tot een aanzienlijke verrijking van de bekende geometrische objecten.