Quantising Chiral Bosons On Riemann Surfaces

Technische Samenvatting: Kwantisatie van Chirale Bosonen op Riemann-oppervlakken

Probleemstelling
De kwantisatie van chirale bosonen (zelfduale velden) in twee dimensies vormt aanzienlijke uitdagingen, met name met betrekking tot de formulering van een consistente actie op willekeurige Riemann-oppervlakken en het bereiken van modulaire invariantie. Hoewel de actie van Sen [1, 2] een kader biedt voor chirale gaugevelden in $4k+2$ dimensies met behulp van een fysieke metriek $g$ en een vlakke hulpmetriek $\eta$, is deze formulering beperkt tot manifolds die een vlakke metriek toestaan. Bovendien is de partitiefunctie voor een enkele chirale boson over het algemeen niet modulair invariant, en standaardbenaderingen vereisen vaak dat zelfdualiteitsrestricties handmatig worden opgelegd in plaats van ze af te leiden uit de actie. De auteurs beogen Sen's actie te generaliseren naar een bi-metrische formulering waarbij de hulpveld koppelt aan een willekeurige tweede metriek $\bar{g}$, wat de kwantisatie van chirale scalarvelden op elke twee-dimensionale manifold mogelijk maakt, specifiek Riemann-oppervlakken, en om de resulterende modulaire eigenschappen en anomalieën te onderzoeken.

Methodologie
Het artikel maakt gebruik van de bi-metrische generalisatie van de actie van Sen [3], aangepast voor twee-dimensionale chirale scalarvelden ($k=0$). De methodologie verloopt via de volgende stappen:

1. Formulering van de Actie: De auteurs gebruiken een actie bestaande uit een fysieke scalar $P$ gekoppeld aan een fysieke metriek $g$ en een "schaduw"-scalar $C$ gekoppeld aan een tweede metriek $\bar{g}$. De metrieken worden geparametriseerd met behulp van complexe variabelen $\tau, \tilde{\tau}$ voor $g$ en $\rho, \tilde{\rho}$ voor $\bar{g}$. De tensor $M$, die de afhankelijkheid van de metrieken codeert, wordt expliciet geëvalueerd om te waarborgen dat de actie goed gedefinieerd is.
2. Analytische Continuatie: Om het padintegraal te definiëren, continueren de auteurs de reële Lorentziaanse en Euclidische metrieken naar complexe metrieken. Ze identificeren regio's in de parameterruimte van $\tau, \tilde{\tau}, \rho, \tilde{\rho}$ waar het functionele integraal convergent is (specifiek vereist $\text{Im}(\rho) < 0$ en $\text{Im}(\tau) > 0$ voor bepaalde condities). De resultaten worden vervolgens analytisch gecontinueerd naar de volledige parameterruimte.
3. Padintegraal en Canonieke Kwantisatie: De partitiefunctie wordt via twee methoden berekend:
   • Padintegraal: Het hulpveld wordt geïntegreerd, waardoor het systeem wordt gereduceerd tot een niet-chirale scalar gekoppeld aan een complexe metriek $h = e^{2\sigma'}(dx + \rho dy)(dx + \tau dy)$. Het padintegraal wordt op een torus geëvalueerd door nul-modi (winding en momentum) en niet-nul oscillator-modi te scheiden. Zeta-functie regularisatie wordt gebruikt om divergente producten te behandelen.
   • Canonieke Kwantisatie: Het systeem wordt gekwantiseerd op een ruimtelijke cirkel, waarbij $y$ als tijd wordt behandeld. De Hilbertruimte blijkt te factoriseren in links-bewegende ($\tau$) en rechts-bewegende ($\rho$) sectoren, waardoor de partitiefunctie kan worden berekend als een spoor over de ontkoppelde Hamiltonians.
4. Modulaire Analyse: De transformatie-eigenschappen van de partitiefunctie onder modulaire transformaties van de moduli $\tau$ en $\rho$ worden onderzocht. De auteurs maken onderscheid tussen diagonale modulaire transformaties (waarbij $\tau$ en $\rho$ identiek transformeren) en onafhankelijke transformaties.
5. Extensie naar Hogere Genus: Het padintegraal wordt gegeneraliseerd naar willekeurige Riemann-oppervlakken door de Laplacian geassocieerd met de complexe metriek te analyseren en bijdragen te evalueren van nul-modi (perioden over 1-cycli) en niet-nul modi.

Belangrijkste Bijdragen en Resultaten

• Effectieve Actie en Complexe Metriek: De auteurs demonstreren dat de bi-metrische actie voor chirale bosonen reduceert tot een effectieve actie voor een niet-chirale scalar gekoppeld aan een complexe metriek $h$. Dit maakt het gebruik van standaardtechnieken voor niet-chirale scalars mogelijk om chirale systemen te bestuderen.
• Structuur van de Partitiefunctie:
  • Voor een algemene chirale boson op een cirkel of torus hangt de partitiefunctie $Z(\tau, \rho)$ af van beide moduli. In het algemene geval is het een som van termen die niet factoriseren.
  • Voor een rationale torus (waar het kwadrat van de compactificatieradius rationaal is), wordt de partitiefunctie een eindige som van producten van holomorfe functies: $Z(\tau, \rho) = \sum C_{a\bar{b}} \chi_a(\tau) \chi_{\bar{b}}(\rho)$.
  • Cruciaal is dat voor $8k$ chirale bosonen geassocieerd met een even zelfduale rooster (zoals het wortelrooster van $E_8$ of het gewichtsrooster van $Spin(32)/\mathbb{Z}_2$), de partitiefunctie volledig factoriseert in een enkel product: $Z(\tau, \rho) = F(\tau) \tilde{F}(\rho)$.
• Modulaire Invariantie en Anomalieën:
  • De partitiefunctie is getoond invariant onder de diagonale subgroep van de modulaire groep $SL(2, \mathbb{Z})_\tau \times SL(2, \mathbb{Z})_\rho$, overeenkomend met coördinatentransformaties.
  • De auteurs identificeren gravitationele anomalieën geassocieerd met zowel de fysieke metriek $g$ als de schaduwmetriek $\bar{g}$.
  • Ze stellen een mechanisme voor om volledige modulaire invariantie en anomalie-annulering te bereiken door een "schaduw"-sector te introduceren. Specifiek, voor de heterotische snaar (16 chirale bosonen), annuleert de fysieke sector de $g$-anomalie, terwijl een tweede set velden die aan $\bar{g}$ koppelt de $\bar{g}$-anomalie annuleert. Dit resulteert in een totale partitiefunctie die invariant is onder onafhankelijke modulaire transformaties van $\tau$ en $\rho$.
• Toepassing op de Heterotische Snaar: Het formalisme wordt toegepast op de heterotische snaar. Door de fysieke heterotische snaarvelden te koppelen aan $g$ en een schaduw-heterotische snaar aan $\bar{g}$, construeren de auteurs een wereldblad-actie waarvan de kwantisatie modulair invariant is en vrij is van gravitationele anomalieën in beide sectoren. Dit weerspiegelt structuren gevonden in Sen's en andere heterotische snaarveldentheorieën die schaduwsectoren bevatten.
• Hogere Genus: Het padintegraal wordt succesvol uitgebreid naar algemene Riemann-oppervlakken, waarbij de partitiefunctie wordt uitgedrukt in termen van het determinant van de Laplacian op de complexe metriek en theta-functies die de periodematrices van het oppervlak bevatten.

Betekenis
Het artikel beweert dat de bi-metrische formulering een robuust kader biedt voor de kwantisatie van chirale bosonen op willekeurige Riemann-oppervlakken zonder zelfdualiteitsrestricties handmatig op te leggen. Door analytisch te continueren naar complexe metrieken, leiden de auteurs een goed gedefinieerde partitiefunctie af die de schaduwsector op natuurlijke wijze incorporeert. De primaire betekenis ligt in de constructie van een consistente, modulaire invariante theorie voor chirale bosonen op even zelfduale roosters, wat direct toepasbaar is op de heterotische snaar. Het werk suggereert dat de "schaduw"-sector, vaak beschouwd als onfysisch, een noodzakelijke rol speelt bij het annuleren van gravitationele anomalieën en het waarborgen van modulaire invariantie wanneer de theorie wordt geformuleerd op een algemeen twee-dimensionaal manifold met twee metrieken. De resultaten bevestigen dat voor specifieke roosterkeuzes (even zelfduaal), de partitiefunctie elegant factoriseert, wat de constructie van anomalievrije snaartheorieën vergemakkelijkt.