Quantum field theory and four-manifolds: Perspectives from physics and geometry

In de midden van de twintigste eeuw ontwikkelden natuurkundigen een krachtig kader om de fundamentele krachten van de natuur te beschrijven, waarbij ze deze niet als onzichtbare velden behandelden, maar als interacties die worden gedragen door deeltjes. Dit kader, bekend als veldentheorie, legde succesvol uit hoe deeltjes zoals elektronen en quarks interageren. Rond dezelfde tijd verkenden wiskundigen de diepe vormen van de ruimte, met name in vier dimensies, wat het aantal dimensies is waarin wij ons universum ervaren: drie van de ruimte en één van de tijd. Zij ontdekten dat deze vierdimensionale vormen, of manifolds, ongelooflijk complex konden zijn en dat hun gladheid op manieren kon variëren die onmogelijk te voorspellen waren met standaard meetkunde. Decennialang ontwikkelden deze twee werelden — de fysica van deeltjesinteracties en de wiskunde van vierdimensionale vormen — zich parallel aan elkaar, elk met hun eigen taal en instrumenten.

De brug tussen hen begon te vormen toen natuurkundigen beseften dat bepaalde theorieën die deeltjes beschrijven, een verborgen symmetrie bezaten die supersymmetrie wordt genoemd. Deze symmetrie koppelt deeltjes die een kracht overbrengen aan deeltjes die uit materie bestaan. Wanneer natuurkundigen een specifieke wiskundige truc toepasten, bekend als een "topologische twist", op deze supersymmetrische theorieën, gebeurde er iets opmerkelijks. De complexe vergelijkingen die de deeltjes beschrijven, vereenvoudigden drastisch. De resulterende theorie gaf niet langer om de specifieke afstanden of hoeken in de ruimte; in plaats daarvan gaf het alleen om de algemene vorm en connectiviteit van de ruimte zelf. Dit betekende dat de fysieke berekeningen die natuurkundigen uitvoerden, feitelijk wiskundige grootheden berekenden die de vorm van het universum beschrijven, grootheden waar wiskundigen jarenlang mee worstelden om te definiëren en te berekenen.

Dit nieuwe begrip leidde tot een revolutie in hoe wetenschappers de relatie tussen fysica en meetkunde zien. Het suggereerde dat de natuurwetten gebruikt kunnen worden om moeilijke wiskundige problemen op te lossen, en omgekeerd dat wiskundige structuren nieuwe eigenschappen van fysieke theorieën kunnen onthullen. Er bleef echter een aanzienlijke kloof bestaan. Hoewel natuurkundigen deze grootheden konden berekenen met behulp van padintegralen — een methode die alle mogelijke configuraties van een veld opstelt — hadden wiskundigen een rigoureuze, stapsgewijze geometrische definitie nodig om deze resultaten correct te bewijzen. Ze moesten precies begrijpen wat deze fysieke berekeningen telden en hoe ze deze konden definiëren zonder te vertrouwen op de fluïde taal van de fysica.

Een recente gezamenlijke inspanning door onderzoekers van Oxford, Utrecht, Trinity College Dublin en het Beijing Institute of Mathematical Sciences and Applications heeft deze twee perspectieven samengebracht in een uitgebreide reeks lectienotities. De auteurs, Niklas Garner, Martijn Kool, Jan Manschot en Yuuji Tanaka, hebben een enorme hoeveelheid werk gesynthetiseerd om uit te leggen hoe de fysieke voorspellingen van supersymmetrische veldentheorieën exact overeenkomen met moderne algebraïsche meetkunde. Hun werk suggereert niet louter een verband; het biedt een gedetailleerde routekaart die laat zien hoe de abstracte algebraïsche structuren in de fysica zich manifesteren als concrete geometrische objecten, zoals ruimtes van oplossingen voor specifieke vergelijkingen, en hoe deze objecten geteld kunnen worden met rigoureuze wiskundige instrumenten.

De kern van hun uitleg richt zich op een specif kind van fysieke theorie betreffende vierdimensionale ruimtes. In deze theorieën zoeken natuurkundigen naar speciale oplossingen voor hun vergelijkingen, genaamd instantons. Dit zijn geen deeltjes die door de ruimte bewegen, maar eerder gelokaliseerde configuraties van een veld die een specifiek type twist in de structuur van de ruimte vertegenwoordigen. De verzameling van alle mogelijke instantons vormt een complexe geometrische vorm genaamd een moduli-ruimte. In de jaren 1980 gebruikte de wiskundige Simon Donaldson deze ruimtes om nieuwe invarianten te creëren — getallen die de vorm van vierdimensionale manifolds beschrijven. Later stelden natuurkundigen Cumrun Vafa en Edward Witten een andere twist van dezelfde theorie voor, die leidde tot een nieuwe set invarianten, nu bekend als Vafa-Witten invarianten. Deze nieuwe invarianten werden voorspeld om een speciale eigenschap te bezitten genaamd modulariteit, wat betekent dat ze georganiseerd kunnen worden in patronen die op een specifieke manier herhalen, vergelijkbaar met de ritmes in een toonladder.

De onderzoekers in deze studie leggen uit hoe deze fysieke voorspellingen vertaald worden naar de taal van de algebraïsche meetkunde. Ze tonen aan dat de moduli-ruimtes van instantons, die oorspronkelijk gedefinieerd waren met behulp van differentiaalvergelijkingen en calculus, kunnen worden geherinterpreteerd als ruimtes van "sheaves" (schoven). In eenvoudige bewoordingen is een sheaf een manier om gegevens over een geometrische ruimte te organiseren, vergelijkbaar met hoe een kaart informatie over verschillende regio's van een land organiseert. De wiskundigen hadden al een manier ontwikkeld om deze ruimtes van sheaves te bestuderen, inclusief hoe ze om te gaan met het feit dat ze vaak grillig of singular zijn, in plaats van glad. Door gebruik te maken van een techniek genaamd "virtuele cycli", die wiskundigen in staat stelt om een betekenisvolle omvang of telling aan deze grillige ruimtes toe te kennen, demonstreren de auteurs dat de fysieke padintegralen exact gelijk zijn aan de wiskundige intersectienummers op deze ruimtes van sheaves.

Een van de belangrijkste bevindingen die in de aantekeningen worden toegelicht, is de bevestiging van een diepe symmetrie genaamd S-dualiteit. In de fysieke theorie suggereert deze symmetrie dat het gedrag van het systeem bij zeer sterke koppeling (waar interacties intens zijn) identiek is aan het gedrag bij zeer zwakke koppeling (waar interacties mild zijn), mits men de gaugegroep verwisselt met haar wiskundige duale tegenhanger. De auteurs laten zien dat deze fysieke symmetrie in de wiskundige wereld wordt weerspiegeld als een transformatie van de genererende functies voor deze invarianten. Deze genererende functies, die de tellingen van oplossingen voor verschillende configuraties opsommen, blijken modulaire vormen te zijn. Dit betekent dat de getallen die door de theorie worden gegenereerd een strikt, herhalend patroon volgen, dat wiskundigen al eeuwenlang bestuderen. Het werk bevestigt dat de mysterieuze modulaire eigenschappen die door natuurkundigen werden voorspeld, niet toevallig zijn, maar ingebouwd zijn in de structuur van de geometrie van deze ruimtes.

De auteurs behandelen ook de kwestie van "wall-crossing" (muur-overschrijding), een fenomeen waarbij het aantal oplossingen voor de vergelijkingen abrupt verandert wanneer men een parameter in de theorie varieert. In het fysieke beeld gebeurt dit wanneer de ruimte van mogelijke oplossingen een plotselinge verschuiving ondergaat. De lectienotities leggen uit hoe wiskundigen deze sprongen kunnen voorspellen met behulp van een formule die de invarianten vóór en na de verschuiving relateert. Deze formule omvat bijdragen van verschillende delen van de ruimte, inclus\ de regio's waar de oplossingen reduceerbaar of degenerat zijn. Door deze bijdragen zorgvuldig te analyseren, laten de onderzoekers zien dat de totale telling consistent blijft met de fysieke voorspellingen, wat langlopende vragen oplost over hoe deze invarianten zich gedragen op verschillende soorten vierdimensionale oppervlakken.

Een essentieel onderdeel van hun werk betreft het gebruik van lokalisatietechnieken. Dit is een methode waarbij men een complexe berekening vereenvoudigt door zich alleen te concentreren op de punten waar een symmetrie-actie het systeem onveranderd laat. In de context van deze theorieën laten de onderzoekers zien dat de ingewikkelde integralen over de gehele moduli-ruimte kunnen worden gereduceerd tot sommen over specifieke, eenvoudigere subruimtes. Deze reductie maakt expliciete berekeningen mogelijk die voorheen onmogelijk waren. Zo demonstreren zij hoe men de invarianten voor specifieke oppervlakken, zoals het complexe projectieve vlak of K3-oppervlakken, kan berekenen door het probleem op te splitsen in beheersbare stukken. Deze berekeningen verifiëren niet alleen de fysieke voorspellingen, maar leveren ook nieuwe wiskundige formules voor het tellen van geometrische objecten die nog nooit eerder waren berekend.

De aantekeningen verkennen ook de verbinding tussen deze vierdimensionale theorieën en de vijfdimensionale fysica. Door de theorie te overwegen op een ruimte die een extra circulaire dimensie bevat, laten de onderzoekers zien dat de invarianten geïnterpreteerd kunnen worden als het tellen van de toestanden van een vijfdimensionaal systeem. Dit perspectief biedt een nieuwe manier om de structuur van de invarianten te begrijpen en koppelt hen aan de representatietheorie van bepaalde algebraïsche structuren. De auteurs leggen uit hoe de partitiefuncties van deze vijfdimensionale theorieën, die de tellingen van toestanden coderen, gerelateerd zijn aan de modulaire vormen uit het vierdimensionale geval. Deze verbinding suggereert een diepere eenheid tussen de dimensies van fysieke theorieën en hun wiskundige tegenhangers.

Door de hele tekst heen benadrukken de auteurs de rol van stabiliteitsvoorwaarden. Zowel in de fysica als in de wiskunde moet men bepaalde criteria opleggen om ervoor te zorgen dat de ruimtes van oplossingen goed gedefinieerd en eindig zijn. In de fysieke theorie ontstaan deze voorwaarden natuurlijk uit de vereiste dat de energie van het systeem geminimaliseerd wordt. In de wiskundige formulering komen deze overeen met stabiliteitsvoorwaarden voor sheaves, die ervoor zorgen dat de sheaves niet uiteenvallen in simpelere, onstabiele componenten. De onderzoekers tonen aan dat deze twee concepten van stabiliteit equivalent zijn, wat een rigoureus fundament biedt voor de correspondentie tussen de fysieke en wiskundige beschrijvingen. Ze bespreken ook hoe deze stabiliteitsvoorwaarden veranderen wanneer de parameters van de theorie worden gevarieerd, wat leidt tot de eerder genoemde wall-crossing fenomenen.

Het werk dat in deze aantekeningen wordt gepresenteerd, dient als een uitgebreide gids voor iedereen die geïnteresseerd is in het snijvlak van kwantumveldentheorie en algebraïsche meetkunde. Het slaat de brug tussen de intuïtieve, vaak heuristische methoden van natuurkundigen en de rigoureuze, axiomatische benadering van wiskundigen. Door de taal van padintegralen en supersymmetrie te vertalen naar de taal van sheaves, moduli-ruimtes en virtuele cycli, hebben de auteurs het mogelijk gemaakt om de volledige kracht van de moderne algebraïsche meetkunde te gebruiken om problemen in de theoretische fysica op te lossen. Omgekeerd hebben zij aangetoond hoe fysieke intuïtie wiskundigen kan leiden naar nieuwe structuren en invarianten die anders verborgen zouden zijn gebleven.

De implicaties van dit werk strekken zich uit buiten de specifieke invarianten die worden besproken. De ontwikkelde methoden, met name het gebruik van virtuele cycli en lokalisatie, zijn toepasbaar op een breed scala aan problemen in de enumeratieve meetkunde. Ze bieden een instrumentarium voor het tellen van geometrische objecten in situaties waar traditionele methoden falen. De auteurs wijzen er ook op dat deze technieken kunnen worden gebruikt om hogere-orde gaugegroepen en complexere oppervlakken te bestuderen, wat nieuwe wegen voor onderzoek opent. De bevestiging van de S-dualiteitconjectuur voor deze invarianten is een belangrijke stap voorwaarts, die sterk bewijs levert voor de diepe verbindingen tussen verschillende gebieden van de wiskunde en de fysica.

Samenvattend biedt dit gezamenlijke werk een heldere en gedetailleerde uitleg van hoe de fysieke concepten van topologische twisting en supersymmetrie leiden tot diepgaande wiskundige resultaten. Het toont aan dat de invarianten van vierdimensionale manifolds, die ooit als puur wiskundige constructen werden beschouwd, diep geworteld zijn in de structuur van de kwantumveldentheorie. De auteurs hebben succesvol aangetoond dat de voorspellingen van natuurkundigen niet alleen numeriek correct zijn, maar ook wiskundig rigoureus en structureel solide. Door een verenigd beeld van deze theorieën te bieden, hebben zij de weg vrijgemaakt voor toekomstige ontdekkingen die waarschijnlijk de grenzen tussen fysica en wiskunde zullen blijven vervagen, en zo een diepere eenheid in de natuurwetten en de structuren van de ruimte zullen onthullen.