Topological Recursion in the Seiberg-Witten partition function via AGT correspondence

Nel vasto panorama della fisica moderna, esiste una sfida persistente: comprendere come le forze fondamentali della natura si comportino quando vengono spinte ai loro limiti. Mentre gli scienziati hanno descritto con successo come le particelle interagiscono ad alte energie utilizzando equazioni standard, queste equazioni spesso falliscono quando le interazioni diventano incredibilmente forti. Questo è il regno della fisica non perturbativa, un dominio in cui gli strumenti abituali di approssimazione falliscono e il comportamento dell'universo diventa profondamente complesso e difficile da prevedere. Per decenni, i ricercatori hanno cercato un modo per mappare questo terreno difficile, in particolare per le teorie che coinvolgono campi di Yang-Mills, che descrivono la forza nucleare forte che tiene uniti i nuclei atomici. La chiave per sbloccare questi misteri risiede spesso nel trovare simmetrie o dualità nascoste — connessioni tra due descrizioni apparentemente diverse della stessa realtà fisica. Una di queste connessioni, nota come corrispondenza AGT, suggerisce un sorprendente legame tra teorie quadimensionali di fisica delle particelle e teorie bidimensionali di teoria dei campi conformi, una branca della matematica utilizzata per descrivere forme e modelli che rimangono invariati sotto scalatura.

Questa tesi, redatta da Bastam Tajik presso la Sapienza Università di Roma, si propone di testare la forza e la validità di questa corrispondenza AGT. L'obiettivo centrale è dimostrare che un insieme specifico di relazioni ricorsive, scoperte originariamente dal matematico Alexander Zamolochikov nel contesto delle teorie dei campi conformi bidimensionali, danno origine alle relazioni ricorsive che governano la funzione di partizione di Seiberg-Witten nelle teorie di gauge super simmetriche quadimensionali, e viceversa. La funzione di partizione di Seiberg-Witten è un oggetto matematico complesso che codifica le proprietà non perturbative di queste teorie di gauge, agendo essenzialmente come una chiave maestra per comprenderne il comportamento. Stabilendo che i modelli ricorsivi trovati nel mondo bidimensionale generano esattamente gli stessi risultati di quelli calcolati nel mondo quadimensionale, il lavoro mira a fornire una forte evidenza che queste due distinte aree della fisica siano effettivamente due facce della stessa medaglia.

Per raggiungere ciò, l'autore naviga attraverso una fitta foresta di concetti matematici avanzati, partendo dalla geometria degli spazi in cui vivono queste teorie. La ricerca si basa pesantemente sulla costruzione ADHM, un metodo per descrivere gli instantoni — soluzioni speciali e stabili delle equazioni del moto che rappresentano eventi di tunneling tra diversi stati di vuoto. Questi instantoni non sono solo punti astratti; essi formano una struttura geometrica nota come spazio dei moduli, che può essere visualizzato come un paesaggio con colline, valli e punti singolari dove la geometria diventa acuta o indefinita. La tesi esplora come questo paesaggio venga costruito utilizzando i quozienti iper-Kähler, una sofisticata tecnica geometrica che taglia e modella spazi di dimensioni superiori per rivelare la struttura sottostante delle soluzioni istantoniche. L'autore dettaglia attentamente come questi spazi si comportano, inclusi i cambiamenti che subiscono quando la teoria è posta su uno spaziotempo non commutativo, un quadro teorico in cui le coordinate dello spazio e del tempo non commutano, proprio come l'ordine delle operazioni conta in certi sistemi algebrici.

Una parte significativa del lavoro riguarda il superamento delle difficoltà computazionali associate al calcolo della funzione di partizione. I metodi tradizionali per integrare su questi complessi spazi dei moduli sono spesso afflitti da singolarità e divergenze che rendono il calcolo preciso quasi impossibile. La tesi investiga l'uso delle tecniche di localizzazione, una potente strategia matematica che semplifica questi integrali mostrando che l'intero contributo al risultato proviene da pochi punti specifici e isolati piuttosto che dall'intero spazio. L'autore dimostra come l'introduzione di un parametro non commutativo "risolva" efficacemente le singolarità nello spazio dei moduli, levigando i bordi netti e permettendo un calcolo pulito e ben definito. Questa risoluzione è cruciale perché permette di applicare le relazioni ricorsive senza i breakdown matematici che solitamente si verificano in questi punti critici.

Il nucleo centrale della tesi è derivare la funzione di partizione di Nekrasov, che descrive i contributi istantonici alla teoria di Seiberg-Witten, direttamente dalle relazioni ricorsive del blocco conformi bidimensionale. Accoppiando meticolosamente i termini generati dalla ricorsione di Zamolodchikov con i termini derivati dal calcolo istantonico, il lavoro intende confermare che i due approcci producono risultati identici. Questa equivalenza non è una mera coincidenza; mira a validare la corrispondenza AGT come una dualità robusta. Il lavoro cerca di dimostrare che la complessa fisica ad alta dimensione delle teorie di gauge quadimensionali può essere pienamente catturata dalle strutture ricorsive più semplici delle teorie di campo conformi bidimensionali. La tesi esplora ulteriormente le implicazioni di questa dualità per il prepotenziale, una funzione che determina il comportamento a bassa energia della teoria, mostrando che la risoluzione non commutativa dello spazio dei moduli conduce a un risultato coerente e finito che si allinea perfettamente con le aspettative della teoria duale.

In definitiva, questa ricerca mira a fornire un ponte concreto tra due vaste e apparentemente disconnesse aree della fisica teorica. Essa propone che i modelli ricorsivi che governano il comportamento dei campi in due dimensioni siano sufficienti per ricostruire l'intricata dinamica non perturbativa delle teorie di gauge quadimensionali. Navigando attraverso le complessità geometriche degli spazi dei moduli degli instantoni e utilizzando il potere della localizzazione e della geometria non commutativa, la tesi offre una verifica chiara e rigorosa di un profondo legame teorico. Il lavoro si pone come una testimonianza della potenza della dualità matematica, mostrando che guardando un problema dall'angolo giusto, i calcoli più difficili della teoria quantistica dei campi possono essere ridotti ad eleganti passi ricorsivi.