Enumerative geometry and modularity in two-modulus K3-fibered Calabi-Yau threefolds

Titel: Enumeratieve Meetkunde en Modulariteit in Twee-Modulus K3-gefibreerde Calabi-Yau Driedelige Variëteiten

Probleemstelling
Het artikel behandelt de constructie en de enumeratieve meetkunde van Calabi-Yau (CY) driedelige variëteiten die gefibreerd zijn door K3-oppervlakken. Hoewel aanzienlijke vooruitgang is geboekt bij de classificatie van CY driedelige variëteiten via volledige doorsneden in producten van projectieve ruimten (CICY's) of hypersurfases in torische variëteiten, blijft een volledige classificatie buiten bereik, aangezien het merendeel van dergelijke geometrieën waarschijnlijk buiten deze categorieën valt. Specifiek richten de auteurs zich op de constructie van een systematische familie van twee-parameter CY spiegelparen $(X, Y)$ waarbij $Y$ gefibreerd is door $M_m$-gepolariseerde K3-oppervlakken (Picard-rang 19) en $X$ de spiegel van $Y$ is. Het doel is om de Doran-Harder-Thompson (DHT) spiegelconjectuur in nieuwe, niet-torische gevallen te verifiëren en om topologische string vrije energieën en enumeratieve invarianten (Gopakumar-Vafa en Donaldson-Thomas) te berekenen om hun modulaire eigenschappen onder de congruentiegroep $\Gamma_0(m)^+$ te onderzoeken.

Methodologie
De auteurs hanteren een duale aanpak die de B-model (complexe structuur) en A-model (Kähler-structuur) constructies combineert, verbonden door spiegelmeetkunde en de DHT-conjectuur.

1. B-Model Constructie ($Y$):

   • De auteurs construeren een familie van CY driedelige variëteiten $Y^{[i,j]}_{m,s}$ gefibreerd door $M_m$-gepolariseerde K3-oppervlakken.
   • De fibratie wordt gedefinieerd via een gegeneraliseerde functionele invariantenkaart $\Lambda: \mathbb{P}^1 \to X_0(m)^+$, waarbij $X_0(m)^+$ de modulaire curve is die geassocieerd wordt met de conglomeratie-subgroep $\Gamma_0(m)^+$.
   • De kaart wordt geparametriseerd door gehele getallen $(m, i, j, s)$, waarbij $m \leq 11$ en $s$ het ramificatieprofiel controleert. De complexe structuur moduli $z_1, z_2$ bepalen de totale ruimte.
   • Perioden worden berekend via contourintegralen van de fundamentele periode van het K3-vezel, wat leidt tot de afleiding van Picard-Fuchs differentiaaloperatoren.

2. A-Model Constructie ($X$):

   • De spiegel $X^{[i,j]}_{m,s}$ wordt geconstrueerd als een volledige doorsnede binnen een projectieve bundel over een Fano vier-dimensionale variëteit $V^{[i,j]}_m$ van Picard-rang 1.
   • Voor $m \leq 4$ worden deze geometrieën gerealiseerd als CICY's of hypersurfases in torische variëteiten. Voor $m \geq 5$ zijn deze intrinsiek niet-torisch, gerealiseerd als volledige doorsneden in Grassmanniaanse bundels of als dubbele bedekkingen van Fano driedelige variëteiten.
   • De constructie maakt gebruik van de DHT-conjectuur: $X$ admitteert een Tyurin-degeneratie in een paar van graad $m$ Fano driedelige variëteiten die snijden over een antikanoniek K3-oppervlak. Voor $s=0$ admitteert $X$ zelf een K3-fibratie.

3. Enumeratieve en Modulaire Analyse:

   • De auteurs berekenen de genus 0 en genus 1 topologische vrije energieën ($F^{(0)}$ en $F^{(1)}$) in de grote basislimiet ($S \to i\infty$).
   • Zij maken gebruik van de relatie tussen Gopakumar-Vafa (GV) invarianten en Noether-Lefschetz (NL) invarianten. De genererende reeks van NL-invarianten wordt verwacht te transformeren als een vector-waardige modulaire vorm (of skew-holomorfe Jacobi-vorm) onder $\Gamma_0(m)^+$.
   • Door GV-invarianten uit de vrije energieën te extraheren, verifiëren zij de verwachte modulaire eigenschappen.
   • Voor niet-nul basisgraden construeren zij genererende reeksen voor basisgraden 1 en 2, waarbij zij de transformatie-eigenschappen onder de monodromiegroep controleren.

Belangrijkste Bijdragen

• Uniforme Constructie van 39 Spiegelparen: Het artikel introduceert een familie van 3ya spiegelparen gelabeld door gehele getallen quadruples $(m, i, j, s)$. Dit omvat 26 modellen met $s=0$ waar de A-model geometrie $X$ zelf K3-gefibreerd is.
• Niet-Torische Realisaties: De auteurs bieden expliciete geometrische constructies voor modellen met $m \geq 5$, die niet als volledige doorsneden in torische omgevingen kunnen worden gerealiseerd. Deze worden geconstrueerd als volledige doorsneden in projectieve bundels over Fano vier-dimensionale variëteiten of via conifold-transities van torische modellen.
• Verificatie van de DHT-conjectuur: Het werk biedt talrijke nieuwe voorbeelden die de DHT-conjectuur ondersteunen, waarbij de Tyurin-degeneratie van de A-model expliciet wordt gekoppeld aan de K3-fibratie van de B-model.
• Identificatie van Modulaire Vormen: De auteurs leiden uniforme formules af voor de topologische vrije energieën nabij de Tyurin-degeneratie. Zij demonstreren dat de resulterende genererende functies voor GV- en NL-invarianten modulaire eigenschappen vertonen onder de Fricke-geëxtendeerde conglomeratiegroep $\Gamma_0(m)^+$.
• Invarianten met Hogere Basisgraad: Het artikel berekent genererende reeksen voor GV-invarianten met een vaste niet-nul basisgraad (specifiek graden 1 en 2) en toont hun modulaire eigenschappen, waarmee eerdere resultaten die beperkt waren tot verticale invarianten worden uitgebreid.

Resultaten

• Topologische Invarianten: De auteurs bieden expliciete formules voor Hodge-getallen, doorsnedegetallen en tweede Chern-klassen voor de geconstrueerde families.
• Vrije Energieën: Uniforme expressies voor de genus 0 en 1 vrije energieën worden verkregen in de grote basislimiet. De genus 0 vrije energie wordt getoond gerelateerd te zijn aan een holomorfe Eichler-integraal van gewicht $-4$, terwijl de genus 1 vrije energie termen bevat van logaritmen van modulaire vormen en eta-producten.
• Modulariteit: De genererende reeks van verticale GV-invarianten wordt bevestigd te corresponderen met skew-holomorfe Jacobi-vormen van index $m$. De vijfde afgeleide van de genus 0 vrije energie wordt getoond een meromorfe modulaire vorm van gewicht 6 te zijn onder $\Gamma_0(m)^+$.
• Conifold-transities: Het artikel beschrijft conifold-transities die de twee-parameter modellen verbinden met één-parameter hypergeometrische modellen (en niet-torische analogen), waarbij wordt geverifieerd dat de topologische invarianten consistent gedragen onder deze transities.
• Specifieke Gevallen: De constructie beslaat $m \in \{1, \dots, 9, 11\}$. Met name het geval $m=11$ betreft een Fano vier-dimensionale variëteit van index 2, geconstrueerd als een kegel over een specifieke Fano driedelige variëteit, wat leidt tot een dubbele bedekking van een Fano driedelige variëteit $A_{22}$.

Betekenis
De auteurs claimen betekenis op verschillende gebieden:

1. Uitbreiding van het Landschap: Het systematisch construeert een grote klasse van twee-parameter K3-gefibreerde CY driedelige variëteiten, inclusief intrinsiek niet-torische voorbeelden, waardoor het bekende landschap van CY-geometrieën buiten CICY's en torische hypersurfases wordt verbreed.
2. Testen van Spiegelmeetkunde: Het biedt een rigoureuze testomgeving voor de DHT-spiegelconjectuur, waarbij de voorspellingen voor Hodge-getallen en geometrische degeneraties in complexe, niet-torische instellingen worden bevestigd.
3. Modulariteit en Dualiteit: De resultaten ondersteunen de fysieke verwachting dat enumeratieve invarianten van K3-gefibreerde CY's worden beheerst door modulaire vormen. Dit is gelinkt aan heterotische/Type II dualiteit, waarbij de genererende reeks van invarianten correspondeert met de "nieuwe supersymmetrische index" aan de heterotische zijde. De verificatie van $\Gamma_0(m)^+$ modulariteit voor zowel verticale als niet-verticale invarianten (bij lage basisgraden) biedt wiskundig bewijs voor deze dualiteitsvoorspellingen.
4. Computationeel Kader: De auteurs bieden expliciete formules en Mathematica-notebooks aan om de resultaten te reproduceren, wat verdere studie van enumeratieve meetkunde en modulaire vormen in de snaartheorie faciliteert.

De auteurs merken bescheiden op dat hoewel zij modulaire genererende reeksen voor basisgraden 1 en 2 hebben bepaald, de eigenschappen voor hogere basisgraden en hogere genus invarianten complexer zijn en aan toekomstig onderzoek worden overgelaten. Zij erkennen ook dat hun constructie niet alle bekende Picard-rang 2 K3-gefibreerde CY driedelige variëteiten omvat, met name die waarvan de spiegels niet K3-gefibreerd zijn.