Equal-mass sunset integrals and genus-zero local Gromov--Witten theory of Calabi--Yau $n$-folds

Sintesi Tecnica: Integrali Sunset a Masse Uguali e Teoria di Gromov–Witten Locale di Genere Zero per $n$-Foldi Calabi–Yau

Enunciato del Problema
Il saggio affronta la connessione analitica ed enumerativa tra gli integrali di Feynman sunset a $(n-1)$ loop con masse uguali in due dimensioni ($n \ge 4$) e la teoria di Gromov–Witten (GW) di genere zero di un Calabi–Yau $n$-fold locale. Nello specifico, mira a stabilire un'identità esatta tra l'integrale sunset, visto come funzione di un grande momento euclideo, e gli invarianti discendenti a un punto della geometria locale $X_n = \text{Tot}(K_{F_n})$, dove $F_n$ è un ipersuperficie liscia $(1, \dots, 1)$ in $(\mathbb{P}^1)^n$. Sebbene il caso a due loop ($n=3$) fosse stato precedentemente correlato al prepotenziale di un Calabi–Yau threefold locale tramite simmetria speculare, il caso generale per $n \ge 4$ che coinvolge invarianti discendenti non era stato ancora rigorosamente stabilito.

Metodologia
La dimostrazione è uniforme in $n$ e integra quattro distinti framework matematici:

1. Geometria Algebrica e Riduzione Virtuale: Gli autori utilizzano il fatto che le mappe stabili verso il Calabi–Yau locale $X_n$ passano attraverso la sezione nulla sopra l'ipersuperficie Fano $F_n$. Essi stabiliscono un teorema di "riduzione virtuale" (Teorema 5.5), mostrando che la classe virtuale di $X_n$ è la classe di Chern superiore di un fascio di ostacoli intersecata con la classe virtuale di $F_n$. Ciò permette l'estrazione degli invarianti GW di $X_n$ dalla coomologia ambiente della varietà torica $(\mathbb{P}^1)^n$.
2. Simmetria Speculare e Serie Ipergeometriche: Viene impiegato un "teorema ipergeometrico misto" (Teorema 6.6), che utilizza una modifica ipergeometrica della funzione $I$ di Givental con due classi caratteristiche indipendenti (Euler e inversa di Euler). Questo colloca la serie su un cono di Givental ritorto (twisted). Attraverso la divisione monica e l'appaiamento ambiente, gli autori estraggono simultaneamente tutti i numeri invarianti discendenti $N_{a,\beta}$ senza assumere l'ambientezza della piena coomologia (sebbene dimostrino l'ambientezza per le classi rilevanti separatamente nel Teorema 15.1).
3. Equazioni Differenziali: Un algoritmo finito (Definizione 8.1) costruisce un operatore differenziale di ordine $(n-1)$, $P_{n-1}$, su $\mathbb{Q}$. Gli autori certificano che tale operatore annulla le serie dei periodi rilevanti ed è irriducibile, identificandolo così come l'operatore minimo per l'integrale sunset. Questa derivazione è indipendente dal teorema di specularità geometrica.
4. Analisi e Aritmetica: L'integrale fisico viene analizzato tramite una trasformata di Laplace positiva, convertendo un'identità Gamma oscillante (dal lavoro di Iritani sulle varietà Fano) in una formula Gamma con segno. Per affrontare l'integrità, gli autori costruiscono un doppioamente copertura Calabi–Yau compatta e liscia $\tilde{Z}$ di un bundle proiettivo su $F_n$. Questa compattificazione isola il settore locale su un target con un canale canonico banale, permettendo l'applicazione della K-teoria quantistica e dei teoremi di integrità simpatica (Chou, Ionel–Parker, Siebert) per provare che i trasformati primari sono interi.

Contributi Chiave e Risultati

• Identità Esatta (Teorema A/10.1): Il saggio prova che l'integrale sunset a masse uguali $I^{(n-1)}_\ominus(s)$, come germe logaritmico convergente a grande momento euclideo ($s \to -\infty$), è esattamente uguale a una specifica combinazione della coordinata speculare locale $R$, della variabile di Novikov $Q$ e degli invarianti discendenti a un punto di genere zero $D^\Delta_a(Q)$ di $X_n$. La formula è:
  $$I^{(n-1)}_\ominus(s) = (-1)^{n-1} y A \sum_{k=0}^{n-1} (-1)^k \gamma_k T_{n-1-k}(R, Q)$$
  dove $\gamma_k$ sono coefficienti derivati dalla classe Gamma (che coinvolgono valori zeta dispari $\zeta(2r+1)$), e $T_j$ sono polinomi di assemblaggio che coinvolgono la serie discendente e le sue derivate.
• Estrazione Esplicita dei Discendenti (Teorema B/6.9): Gli autori forniscono un'espressione in forma chiusa per la serie discendente $D^\Delta_a(Q)$ in termini dei coefficienti della serie ipergeometrica ambiente $I(y,z)$ e della mappa speculare inversa. Questo risolve l'estrazione di tutti i discendenti numerici dalla serie speculare.
• Univocità Globale e Convergenza (Teorema 11.3/11.4): Il saggio prova l'univocità globale della principale mappa speculare $y \mapsto Q$ sul piano tagliato $\mathbb{C} \setminus (-\infty, -n^{-2}]$. Stabilisce limiti espliciti superiori e inferiori per il raggio di Taylor della mappa speculare inversa, raffinando il dominio di convergenza della serie discendente.
• Integrità dei Primari Trasformati (Corollario 14.10): Sollevando il problema alla copertura Calabi–Yau compatta $\tilde{Z}$, gli autori provano che i coefficienti della "trasformata di copertura primaria" $b_\beta$ (definiti tramite la formula di multipla copertura $N_{0,\beta} = \sum b_{\alpha/k}/k^2$) sono interi per tutti i $n \ge 4$. Ciò viene ottenuto tramite due percorsi indipendenti: una prova algebrica utilizzando la K-teoria quantistica su $\tilde{Z}$ e una prova simpatica utilizzando la condizione di semipositività su $\tilde{Z}$.
• Certificato dell'Operatore Differenziale: Il saggio fornisce una costruzione uniforme dell'operatore differenziale che governa l'integrale sunset per tutti i $n$, certificando la sua azione sull'intera serie senza ricorrere al fitting di coefficienti finiti.

Significato e Rivendicazioni
Il saggio sostiene di fornire la prima identità enumerativa rigorosa per i coefficienti dell'espansione dell'integrale sunset a masse uguali per tutti i $n \ge 4$. Identifica i "coefficienti istantonei" (precedentemente ottenuti come numeri razionali tramite calcolo dei residui) come invarianti discendenti a un punto di genere zero di un $n$-fold Calabi–Yau locale.

Fondamentalmente, gli autori sono cauti riguardo all'interpretazione enumerativa degli interi risultanti. Essi dichiarano esplicitamente che:

• Gli interi $b_\beta$ non sono rivendicati come conteggi non negativi di curve razionali incorporate, molteplicità di tipo sheaf-theoretic o degenerazioni di stati BPS fisici. Essi sono l'output di una specifica trasformata aritmetica applicata a un invariante virtuale fisso.
• Nessuna legge di multipla copertura è assunta per la serie discendente con $a > 0$; solo il settore primario ($a=0$) viene trasformato.
• Le standard ipotesi di "geometria ideale" (assenza di ostacoli per curve razionali semplici, condizioni di moving-cover) richieste per il comportamento di copertura di ordine superiore non sono assunte e, anzi, falliscono per $X_n$. Le prove sono puramente algebriche e non dipendono da tali condizioni geometriche.

Il lavoro unisce la teoria quantistica perturbativa dei campi (integrali di Feynman) e la geometria algebrica (teoria di Gromov–Witten) dimostrando che la struttura analitica dell'integrale sunset è governata dalla simmetria speculare di una geometria Calabi–Yau locale, con i coefficienti dell'espansione profondamente radicati nell'aritmetica della classe Gamma e nell'integrità degli invarianti della K-teoria quantistica.