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

In het uitgestrekte landschap van de moderne natuurkunde bestaat een hardnekkige uitdaging: begrijpen hoe de fundamentele krachten van de natuur zich gedragen wanneer ze tot hun uiterste worden gedreven. Hoewel wetenschappers erin zijn geslaagd om te beschrijven hoe deeltjes bij hoge energieën interageren met behulp van standaardvergelijkingen, breken deze vergelijkingen vaak af wanneer de interacties extreem sterk worden. Dit is het domein van de niet-perturbatieve fysica, een gebied waar de gebruikelijke hulpmiddelen voor benadering falen en het gedrag van het universum diep complex en moeilijk te voorspellen wordt. Decennialang hebben onderzoekers gezocht naar een manier om dit moeilijke terrein in kaart te brengen, in het bijzonder voor theorieën die betrokken zijn bij Yang-Mills-velden, die de sterke kernkracht beschrijven die atoomkernen bij elkaar houdt. De sleutel tot het ontsluiten van deze mysteries ligt vaak in het vinden van verborgen symmetrieën of dualiteiten—verbindingen tussen twee ogenschijnlijk verschillende beschrijvingen van dezelfde fysieke realiteit. Eén dergelijke verbinding, bekend als de AGT-correspondentie, suggereert een verrassende link tussen vierdimensionale theorieën van de deeltjesfysica en tweedimensionale theorieën van de conforme veldentheorie, een tak van de wiskunde die wordt gebruikt om vormen en patronen te beschrijven die onveranderd blijven onder schaling.

Deze thesis, geschreven door Bastam Tajik aan de Sapienza Universiteit van Rome, zet zich af om de kracht en geldigheid van deze AGT-correspondentie te testen. Het centrale doel is om aan te tonen dat een specifieke set recursieve relaties, oorspronkelijk ontdekt door de wiskundige Alexander Zamolodchikov in de context van tweedimensionale conforme veldentheorieën, aanleiding geeft tot de recursieve relaties die de Seiberg-Witten partitiefunctie in vierdimensionale supersymmetrische gauge-theorieën bepalen, en vice versa. De Seiberg-Witten partitiefunctie is een complex wiskundig object dat de niet-perturbatieve eigenschappen van deze gauge-theorieën codeert, wat in essentie fungeert als een meestersleutel om hun gedrag te begrijpen. Door vast te stellen dat de recursieve patronen gevonden in de tweedimensionale wereld exact dezelfde resultaten genereren als die berekend in de vierdimensionale wereld, beoogt het werk sterk bewijs te leveren dat deze twee verschillende gebieden van de fysica inderdaad twee zijden van dezelfde munt zijn.

Om dit te bereiken, navigeert de auteur door een dicht bos van geavanceerde wiskundige concepten, beginnend bij de geometrie van de ruimtes waarin deze theorieën leven. Het onderzoek leunt zwaar op de ADHM-constructie, een methode voor het beschrijven van instantons—speciale, stabiele oplossingen voor de bewegingsvergelijkingen die tunnelingsgebeurtenissen tussen verschillende vacuümtoestanden vertegenwoordigen. Deze instantons zijn niet slechts abstracte punten; ze vormen een geometrische structuur bekend als een moduli-ruimte, die kan worden gevisualiseerd als een landschap met heuvels, valleien en singuliere punten waar de geometrie scherp of ongedefinieerd wordt. De thesis onderzoekt hoe dit landschap wordt geconstrueerd met behulp van hyper-Kähler quotienten, een geavanceerde geometrische techniek die hogere-dimensionale ruimtes doorsnijdt en hervormt om de onderliggende structuur van de instanton-oplossingen te onthullen. De auteur beschrijft zorgvuldig hoe deze ruimtes zich gedragen, inclusief hoe ze veranderen wanneer de theorie wordt geplaatst op een niet-commutatieve ruimtetijd, een theoretisch kader waarin de coördinaten van ruimte en tijd niet commuteren, vergelijkbaar met hoe de volgorde van operaties ertoe doet in bepaalde algebraïsche systemen.

Een aanzienlijk deel van het werk betreft het overwinnen van de computationele moeilijkheden die gepaard gaan met het berekenen van de partitiefunctie. Traditionele methoden voor het integreren over deze complexe moduli-ruimten worden vaak geplaagd door singulariteiten en divergenties die een nauwkeurige berekening bijna onmogelijk maken. De thesis onderzoekt het gebruik van lokalisatietechnieken, een krachtige wiskundige strategie die deze integralen vereenvoudigt door aan te tonen dat de gehele bijdrage aan het resultaat afkomstig is van een paar specifieke, geïsoleerde punten in plaats van de hele ruimte. De auteur demonstreert hoe het introduceren van een niet-commutatieve parameter de singulariteiten in de moduli-ruimte effectief "oplost", de scherpe randen gladstrijkt en een zuivere, goed gedefinieerde berekening mogelijk maakt. Deze resolutie is cruciaal omdat het de mogelijkheid biedt om de recursieve relaties toe te passen zonder de wiskundige instortingen die gewoonlijk optreden bij deze kritieke punten.

Het kernobjectief van de thesis is het direct afleiden van de Nekrasov-partitiefunctie, die de instanton-bijdragen aan de Seiberg-Witten-theorie beschrijft, vanuit de recursieve relaties van de tweedimensionale conforme blok. Door de termen gegenereerd door Zamolodchikovs recursie nauwgezet te matchen met de termen afgeleid uit de instanton-calculus, beoogt het werk te bevestigen dat deze twee benaderingen identieke resultaten opleveren. Deze equivalentie is geen louter toeval; het beoogt de AGT-correspondentie te valideren als een robuuste dualiteit. Het werk probeert aan te tonen dat de complexe, hoogdimensionale fysica van vierdimensionale gauge-theorieën volledig gevangen kan worden door de eenvoudigere, recursieve structuren van tweedimensionale conforme veldentheorieën. De thesis verkent verder de implicaties van deze dualiteit voor de prepotential, een functie die het laag-energetisch gedrag van de theorie bepaalt, waarbij wordt aangetoond dat de niet-commutatieve resolutie van de moduli-ruimte leidt tot een consistente en eindige resultaat dat perfect overeenkomt met de verwachtingen van de duale theorie.

Uiteindelijk beoogt dit onderzoek een concreet brug te slaan tussen twee uitgestrekte en schijnbaar onverbonden gebieden van de theoretische fysica. Het stelt voor dat de recursieve patronen die het gedrag van velden in twee dimensies beheersen, voldoende zijn om de ingewikkelde, niet-perturbatieve dynamica van vierdimensionale gauge-theorieën te reconstrueren. Door de geometrische complexiteiten van instanton-moduli-ruimten te navigeren en gebruik te maken van de kracht van lokalisatie en niet-commutatieve geometrie, biedt de thesis een heldere en rigoureuze verificatie van een diepgaande theoretische link. Het werk staat als een testament voor de kracht van wiskundige dualiteit, waarbij wordt getoond dat door een probleem vanuit de juiste hoek te bekijken, de moeilijkste berekeningen in de kwantumveldentheorie kunnen worden teruggebracht tot elegante, recursieve stappen.