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

Titolo: Geometria Enumerativa e Modularità in Calabi-Yau a tre dimensioni con Fibrazione K3 a due Moduli

Enunciato del Problema
Il saggio affronta la costruzione e la geometria enumerativa di varietà di Calabi-Yau (CY) a tre dimensioni fibrate da superfici K3. Sebbene siano stati fatti progressi significativi nella classificazione delle varietà CY tramite intersezioni complete in prodotti di spazi proiettivi (CICY) o ipersuperfici in varietà toriche, una classificazione completa rimane fuori portata, poiché la maggior parte di tali geometrie ricade probabilmente al di fuori di queste categorie. Nello specifico, gli autori si concentrano sulla costruzione di una famiglia sistematica di coppie specchio (mirror pairs) $(X, Y)$ a due parametri $(X, Y)$ dove $Y$ è fibrata da superfici K3 polarizzate $M_m$ (rango di Picard 19) e $X$ è la sua immagine specchio. L'obiettivo è verificare la congettura di specularità di Doran-Harder-Thompson (DHT) in nuovi casi non torici e calcolare le energie libere della teoria delle stringhe topologiche e gli invarianti enumerativi (Gopakumar-Vafa e Donaldson-Thomas) per investigare le loro proprietà modulari sotto il gruppo di congruenza $\Gamma_0(m)^+$.

Metodologia
Gli autori impiegano un approccio duale che combina la costruzione del modello-B (struttura complessa) e del modello-A (struttura Kähler), collegati dalla simmetria di specularità e dalla congettura DHT.

1. Costruzione del Modello-B ($Y$):

   • Gli autori costruiscono una famiglia di varietà CY $Y^{[i,j]}_{m,s}$ fibrate da superfici K3 polarizzate $M_m$.
   • La fibrazione è definita tramite una mappa invariante funzionale generalizzata $\Lambda: \mathbb{P}^1 \to X_0(m)^+$, dove $X_0(m)^+$ è la curva modulare associata al sottogruppo di congruenza $\Gamma_0(m)^+$.
   • La mappa è parametrizzata dagli interi $(m, i, j, s)$, dove $m \leq 11$ e $s$ controlla il profilo di ramificazione. Le variabili della struttura complessa $z_1, z_2$ determinano lo spazio totale.
   • I periodi sono calcolati tramite integrali di contorno del periodo fondamentale della fibra K3, portando alla derivazione degli operatori differenziali di Picard-Fuchs.

2. Costruzione del Modello-A ($X$):

   • La speculare $X^{[i,j]}_{m,s}$ è costruita come un'intersezione completa all'interno di un bundle proiettivo su una varietà Fano a quattro dimensioni $V^{[i,j]}_m$ di rango di Picard 1.
   • Per $m \leq 4$, queste geometrie sono realizzate come CICY o ipersuperfici in varietà toriche. Per $m \geq 5$, esse sono intrinsecamente non toriche, realizzate come intersezioni complete in bundle di Grassmanniani o come doppi rivestimenti di varietà Fano a tre dimensioni.
   • La costruzione utilizza la congettura DHT: $X$ ammette una degenerazione di Tyurin in una coppia di varietà Fano a tre dimensioni di grado $m$ che si intersecano su una superficie K3 anticanonica. Per $s=0$, $X$ stessa ammette una fibrazione K3.

3. Analisi Enumerativa e Modulare:

   • Gli autori calcolano le energie libere topologiche di genere 0 e genere 1 ($F^{(0)}$ e $F^{(1)}$) nel limite di base grande ($S \to i\infty$).
   • Utilizzano la relazione tra gli invarianti di Gopakumar-Vafa (GV) e gli invarianti di Noether-Lefschetz (NL). Si prevede che la serie generatrice degli invarianti NL si trasformi come una forma modulare vettoriale (o forma di Jacobi skew-olomorfa) sotto $\Gamma_0(m)^+$.
   • Estraggendo gli invarianti GV dalle energie libere, verificano le attese proprietà modulari.
   • Per gradi di base non nulli, costruiscono serie generatrici per i gradi di base 1 e 2, verificando le loro proprietà di trasformazione sotto il gruppo di monodromia.

Contributi Chiave

• Costruzione Uniforme di 39 Coppie Specchio: Il saggio introduce una famiglia di 39 coppie specchio di Calabi-Yau etichettate da quadrupli interi $(m, i, j, s)$. Ciò include 26 modelli con $s=0$ dove la geometria del modello-A $X$ è essa stessa fibrata K3.
• Realizzazioni Non Toriche: Gli autori forniscono costruzioni geometriche esplicite per i modelli con $m \geq 5$, che non possono essere realizzati come intersezioni complete in spazi ambientali torici. Essi sono costruiti come intersezioni complete in bundle proiettivi su varietà Fano a quattro dimensioni o tramite transizioni conifold da modelli torici.
• Verifica della Congettura DHT: Il lavoro fornisce numerosi nuovi esempi che supportano la congettura di specularità di Doran-Harder-Thompson, collegando esplicitamente la degenerazione di Tyurin del modello-A alla fibrazione K3 del modello-B.
• Identificazione di Forme Modulari: Gli autori derivano formule uniformi per le energie libere topologiche vicino alla degenerazione di Tyurin. Dimostrano che le funzioni generatrici per gli invarianti GV e NL esibiscono proprietà modulari sotto il gruppo di congruenza esteso da Fricke $\Gamma_0(m)^+$.
• Invarianti di Grado di Base Superiore: Il saggio calcola le serie generatrici per gli invarianti GV con grado di base non nullo fissato (specificamente i gradi 1 e 2) ed espone le loro proprietà modulari, estendendo i risultati precedenti limitati agli invarianti verticali.

Risultati

• Invarianti Topologici: Gli autori forniscono formule esplicite per i numeri di Hodge, i numeri di intersezione e le classi di Chern seconde per le famiglie costruite.
• Energie Libere: Si ottengono espressioni uniformi per le energie libere di genere 0 e genere 1 nel limite di base grande. La energia libera di genere 0 è mostrata essere correlata a un integrale Eichler oloomorfo di peso $-4$, mentre l'energia libera di genere 1 coinvolge termini logaritmici di forme modulari e prodotti eta.
• Modularità: Si conferma che la serie generatrice degli invarianti GV verticali corrisponde a forme di Jacobi skew-olomorfe di indice $m$. La quinta derivata dell'energia libera di genere 0 è mostrata essere una forma modulare meromorfa di peso 6 sotto $\Gamma_0(m)^+$.
• Transizioni Conifold: Il saggio dettaglia le transizioni conifold che collegano i modelli a due parametri ai modelli ipergeometrici a un parametro (e analoghi non torici), verificando che gli invarianti topologici si comportano coerentemente sotto tali transizioni.
• Casi Specifici: La costruzione copre $m \in \{1, \dots, 9, 11\}$. Notevolmente, il caso $m=11$ coinvolge una varietà Fano a quattro dimensioni di indice 2 costruita come cono su una specifica varietà Fano a tre dimensioni, portando a un doppio rivestimento di una varietà Fano $A_{22}$.

Significato
Il saggio rivendica importanza in diverse aree:

1. Espansione del Paesaggio: Costruisce sistematicamente una vasta classe di varietà CY a tre dimensioni fibrate K3 a due parametri, inclusi esempi intrinsecamente non torici, ampliando così il noto paesaggio delle geometrie CY oltre i CICY e le ipersuperfici toriche.
2. Test della Simmetria di Specularità: Fornisce un banco di prova rigoroso per la congettura di specularità di DHT, confermando le sue previsioni per i numeri di Hodge e le degenerazioni geometriche in contesti complessi e non torici.
3. Modularità e Dualità: I risultati supportano l'aspettativa fisica che gli invarianti enumerativi delle CY fibrate K3 siano governati da forme modulari. Ciò è collegato alla dualità eterotica/tipo II, dove la serie generatrice degli invarianti corrisponde all'"indice supersimmetrico nuovo" sul lato eterotico. La verifica della modularità $\Gamma_0(m)^+$ sia per gli invarianti verticali che per quelli non verticali (a bassi gradi di base) offre una prova matematica per queste previsioni di dualità.
4. Framework Computazionale: Gli autori forniscono formule esplicite e notebook Mathematica per riprodurre i risultati, facilitando ulteriori studi sulla geometria enumerativa e le forme modulari nella teoria delle stringhe.

Gli autori notano con modestia che, sebbene abbiano determinato le serie generatrici modulari per i gradi di base 1 e 2, le proprietà per i gradi di base superiori e per gli invarianti di genere superiore rimangono più complesse e sono lasciate a indagini future. Riconoscono inoltre che la loro costruzione non comprende tutte le conosciute varietà CY a due parametri con fibrazione K3, in particolare quelle i cui specchi non sono fibrati K3.