Asymptotic boundary structure of Lagrangian gauge theories

Technische Samenvatting: Asymptotische Grensstructuur van Lagrangiaanse Gaugetheorieën

Probleemstelling
Het artikel behandelt de structurele relatie tussen lokale gaugetheorieën gedefinieerd op ruimtetijden met grenzen en de gaugetheorieën die op die grenzen worden geïnduceerd. Hoewel de correspondentie tussen bulk-gaugetheorieën en randtheorieën goed begrepen is voor eindige grenzen (vaak via de Batalin-Vilkovisky (BV) en Batalin-Fradkin-Vilkovisky (BFV) formalismen, met name in de context van AKSZ-sigma-modellen), vormt de uitbreiding naar asymptotische grenzen (grenzen in het oneindige, zoals nul-oneindigheid in de Minkowski-ruimte of de conformale grens in AdS) specifieke uitdagingen voor Lagrangiaanse systemen.

De kern van de moeilijkheid ligt in het feit dat de presymplectische structuren die de Lagrangiaanse actie in de bulk coderen, doorgaans polynomiaal divergeren bij de asymptotische grens. Bijgevolg is een naïeve pullback van deze structuren naar de grens niet goed gedefinieerd, wat een directe afleiding van de Hamiltoniaanse of BV-formulering van de randtheorie verhindert. De auteurs zoeken naar een systematische, geometrische methode om goed gedefinieerde randstructuren te extraheren uit deze divergente bulkgegevens, specifiek voor Lagrangiaanse gaugetheorieën geformuleerd binnen het Gauge Partiele Differentiaalvergelijking (gPDE) kader.

Methodologie
De auteurs maken gebruik van het gPDE-formalisme, dat gaugetheorieën beschrijft als Q-bundels over de de Rham-complex van de ruimtetijd. Deze benadering generaliseert het AKSZ-sigma-model naar niet-topologische en niet-Lagrangiaanse theorieën en incorporeert op natuurlijke wijze de BV-structuur.

De methodologie verloopt via de volgende stappen:

1. Compactificatie en Q-grenzen: De auteurs introduceren het concept van een gPDE met asymptotische grenzen. Dit houdt in dat de asymptotische grens niet louter als een limiet wordt beschouwd, maar als een subvariëteit van een compactificerende ruimtetijd. Ze definiëren "Q-grenzen" op gegradeerde manifolden, waarbij de homologische vectorveld $Q$ tangentieel is aan de grens, en de grens wordt gedefinieerd door een functie $\Omega$ (en zijn $Q$-beeld $\xi = Q\Omega$) die nul wordt.
2. Renormalisatie van Divergente Cocycles: De centrale technische innovatie is de constructie van een afbeelding die een Q-cocycle in de bulk, die polynomiaal divergeert bij de grens (van de vorm $\Omega^p v_{div}$), transformeert naar een paar goed gedefinieerde Q-cocycles op de grens:
   • Een gerenormaliseerde cocycle ($v_R$) met dezelfde ghost-graad als de oorspronkelijke bulk-cocycle.
   • Een anomalie-cocycle ($v_A$) met een ghost-graad die één lager is.
     Deze constructie maakt gebruik van een vectorveld $d$ (van ghost-graad $-1$) waarvoor geldt $d\Omega=0$ en $d\xi=1$, en een afgeleid vectorveld $\nabla = [Q, d]$. De afbeeldingen $R$ (renormalisatie) en $A$ (anomalie) worden gedefinieerd via Lie-afgeleiden langs $\nabla$ en pullback naar de grens.
3. Toepassing op Presymplectische Structuren: De auteurs passen deze afbeelding toe op de compatibele presymplectische structuren van Lagrangiaanse gPDE's. Aangezien de bulk presymplectische vorm $\omega$ een ghost-graad heeft van $\dim(X)-1$, zijn de geïnduceerde randstructuren:
   • $\omega_R$: Een presymplectische structuur van graad $\dim(\partial X)$, geïnterpreteerd als het definiëren van een BFV-systeem (de gerenormaliseerde rand-faseruimte).
   • $\omega_A$: Een presymplectische structuur van graad $\dim(\partial X)-1$, geïnterpreteerd als het definiëren van een BV-systeem op de grens, geassocieerd met de holografische Weyl-anomalie.

Belangrijkste Bijdragen en Resultaten

1. Algemeen Formalisme voor Asymptotische Grenzen: Het artikel vestigt een rigoureus geometrisch kader voor "gaugetheorieën met asymptotische grenzen". Het toont aan dat elke Q-cocycle in de bulk die polynomiaal divergeert bij de grens, een paar compatibele Q-cocycles genereert in het rand systeem. Dit generaliseert het concept van residu-afbeeldingen uit de b-geometrie naar de context van gaugetheorieën en BRST-cohomologie.
2. Afleiding van Randacties: De auteurs leiden expliciet de randacties af die bepaald worden door de anomalie presymplectische structuur ($\omega_A$). Ze tonen aan dat deze actie voor asymptotisch AdS-ruimten overeenkomt met de bekende holografische Weyl-anomalie.
3. Expliciete Voorbeelden op AdS:
   • Scalar Velden: Voor een scalair veld met een specifieke massa en conformale gewicht, levert de anomalie-actie de eerste-orde actie voor hogere-orde singleton-velden op de grens op, met bewegingsvergelijkingen $\square^\ell \phi = 0$.
   • Maxwell Velden: De constructie herstelt de standaard BFV-formulering voor de gerenormaliseerde structuur en genereert hogere-orde conformaal invariante acties voor de anomalie-structuur (bijv. de Paneitz-vergelijking voor $\ell=2$).
4. Nieuwe Resultaten op de Minkowski-ruimte:
   • Het artikel vult een gat in de literatuur door dit kader toe te passen op de Minkowski-ruimte en de nul-oneindigheid daarvan.
   • Voor scalaire en Maxwell-velden leiden de auteurs de volledige gPDE-beschrijving van de randstructuur bij de nul-oneindigheid af.
   • Ze construeren een oneindige reeks manifest conformaal-Carroll invariant theorieën op de grens. Deze generaliseren de "magnetische limieten" van scalaire en Maxwell-velden.
   • Specifiek voor het Maxwell-veld in $d=4$ (randdimensie), reproduceert de anomalie-actie de magnetische limiet van de Maxwell-theorie. Voor hogere dimensies levert het nieuwe conformaal invariante differentiële operatoren en acties op (bijv. de $d=6$ Yang-Mills energiefunctional in de abelse limiet).

Betekenis en Claims
Het artikel claimt dat het voorgestelde formalisme een systematisch, invariant geometisch instrument biedt voor het bestuderen van de randstructuur van Lagrangiaanse gaugetheorieën op asymptotisch vlakke en AdS-ruimten.

• Unificatie: Het verenigt de behandeling van randstructuren voor zowel AdS- als Minkowski-ruimten binnen het gPDE-kader, waarbij de asymptotische grens wordt behandeld als een Q-subvariëteit van een compactificerende ruimte.
• Oplossing voor Divergentie: Het lost het probleem van divergente presymplectische structuren op door te laten zien dat de divergentie natuurlijk splitst in een gerenormaliseerd deel (dat de standaard rand-faseruimte definieert) en een anomalie-deel (dat een nieuwe, niet-triviale randactie definieert).
• Ontdekking van Nieuwe Theorieën: De auteurs benadrukken dat terwijl de AdS-resultaten overeenkomen met bekende holografische anomalieën, de toepassing op de Minkowski-ruimte een voorheen onbekende familie van Carroll-invariante theorieën onthult. Deze theorieën worden direct uit de bulk-Lagrangiaanse via de anomalie-afbeelding afgeleid, in plaats van gepostuleerd te worden.
• Omvang: De auteurs merken bescheiden op dat hoewel de expliciete voorbeelden beperkt zijn tot achtergronden met constante kromming (vlakke AdS en Minkowski), de algemene benadering toepasbaar is op volwaardige gravitatie en gauzvelden op gekromde achtergronden, hoewel de analyse van die specifieke gevallen aan toekomstig werk wordt gelaten.

Samenvattend biedt het artikel een robuuste wiskundige machinerie om rand-gaugetheorieën te extraheren uit bulk-Lagrangiaanse systemen, waarbij succesvol bekende holografische anomalieën in AdS worden hersteld en nieuwe conformaal invariante randdynamica in de Minkowski-ruimte worden ontdekt.