Tvådimensionell konform fältteori

En tvådimensionell konform fältteori är en kvantfältteori på ett euklidiskt tvådimensionellt utrymme, som är invariant under lokala konforma transformationer .

I motsats till andra typer av konforma fältteorier har tvådimensionella konforma fältteorier oändligt dimensionella symmetrialgebror. I vissa fall gör detta att de kan lösas exakt med den konforma bootstrap- metoden.

Noterbara tvådimensionella konforma fältteorier inkluderar minimala modeller , Liouville-teori , masslösa fria bosoniska teorier , Wess-Zumino-Witten-modeller och vissa sigma-modeller .

Grundläggande strukturer

Geometri

Tvådimensionella konforma fältteorier (CFT) definieras på Riemann-ytor , där lokala konforma kartor är holomorfa funktioner . Medan en CFT kan tänkas existera endast på en given Riemann-yta, innebär dess existens på vilken yta som helst förutom sfären dess existens på alla ytor. Med en CFT är det verkligen möjligt att limma två Riemann-ytor där det finns, och få CFT på den limmade ytan. Å andra sidan existerar vissa CFT endast på sfären. Om inte annat anges, anser vi CFT på sfären i den här artikeln.

Symmetrier och integrerbarhet

Givet en lokal komplex koordinat det reella vektorutrymmet för infinitesimala konforma basen , med . (Till exempel, och genererar översättningar.) Avslappning av antagandet att är det komplexa konjugatet av , dvs komplexifierar utrymmet för infinitesimala konforma kartor , får man ett komplext vektorrum med basen .

Med sina naturliga kommutatorer genererar differentialoperatorerna Witt- algebra . Med vanliga kvantmekaniska argument måste konformfältteorins symmetrialgebra vara den centrala förlängningen av Witt-algebra, dvs. Virasoro- algebra , vars generatorer är , plus en central generator. I en given CFT tar den centrala generatorn ett konstant värde , kallat centralladdningen.

Symmetrialgebra är därför produkten av två kopior av Virasoro-algebra: den vänstergående eller holomorfa algebra, med generatorer och den högergående eller antiholomorfa algebra, med generatorer .

I Virasoros universella omslutande algebra, algebra, är det möjligt att konstruera en oändlig uppsättning av ömsesidigt pendlande laddningar. Den första laddningen är den andra laddningen är kvadratisk i Virasoro-generatorer, den tredje laddningen är kubik, etc. Detta visar att två godtyckliga -dimensionell konform fältteori är också ett kvantintegrerbart system .

Rymden av stater

Tillståndsutrymmet , även kallat spektrum , av en CFT, är en representation av produkten av de två Virasoro-algebrerna .

För ett tillstånd som är en egenvektor av och med egenvärdena och ,

  • är den vänstra konforma dimensionen ,
  • är den rätta konforma dimensionen ,
  • är den totala konforma dimensionen eller energin,
  • är det konforma spinnet .

En CFT kallas rationell om dess rum av tillstånd bryts ned i ändligt många irreducerbara representationer av produkten av de två Virasoro-algebrorna.

En CFT kallas diagonal om dess tillståndsrymd är en direkt summa av representationer av typen , där är en oupplöslig representation av den vänstra Virasoro algebra, och är samma representation av den högra Virasoro algebra.

CFT kallas enhetlig om tillståndsutrymmet har en positiv bestämd hermitisk form så att och är självadjoint, och . Detta innebär särskilt att och att den centrala laddningen är reell. Tillståndsrummet är då ett Hilbertrum . Medan enhetlighet är nödvändig för att en CFT ska vara ett korrekt kvantsystem med en probabilistisk tolkning, är många intressanta CFT:er ändå icke-enhetliga, inklusive minimala modeller och Liouville-teori för de flesta tillåtna värden för den centrala laddningen.

Fält och korrelationsfunktioner

Tillståndsfältsöverensstämmelsen är en linjär karta från tillståndsutrymmet till fältutrymmet, som pendlar med verkan av symmetrialgebra .

Speciellt är bilden av ett primärt tillstånd med en representation med lägsta vikt av Virasoro-algebra ett primärt fält så att

Underordnade fält erhålls från primära fält genom att agera med skapande lägen . Degenererade fält motsvarar primära tillstånd för degenererade representationer. Till exempel lyder det degenererade fältet L , på grund av närvaron av en nollvektor i den motsvarande degenererade representationen.

En -punktkorrelationsfunktion är ett tal som beror linjärt på -fält, betecknat som med . I vägintegralformuleringen av konform fältteori definieras korrelationsfunktioner som funktionella integraler. I den konforma bootstrap- metoden definieras korrelationsfunktioner av axiom. I synnerhet antas det att det finns en operatörsproduktexpansion (OPE),

där är en bas för tillståndsutrymmet, och talen kallas OPE-koefficienter. Dessutom antas korrelationsfunktioner vara invarianta under permutationer på fälten, med andra ord antas OPE vara associativ och kommutativ. (OPE kommutativitet innebär inte att OPE-koefficienter är invarianta under , eftersom expandering på fält bryter den symmetrin.)

OPE-kommutativitet innebär att primära fält har heltalskonforma spinn . Ett primärt fält med noll konformt spinn kallas ett diagonalt fält . Det finns också fermioniska CFT: er som inkluderar fermioniska fält med halvheltals konforma spinn som antipendlar. Det finns också parafermioniska CFT: er som inkluderar fält med mer allmänna rationella snurr . Inte bara parafermioner pendlar inte, utan även deras korrelationsfunktioner är flervärdiga.

Toruspartitionsfunktionen är en speciell korrelationsfunktion som enbart beror på spektrumet och inte på OPE-koefficienterna. För en komplex torus med modulen } partitionsfunktionen är

där . Toruspartitionsfunktionen sammanfaller med karaktär , betraktad som en representation av symmetrialgebra.

Kiral konform fältteori

I en tvådimensionell konform fältteori kallas egenskaper kirala om de följer av verkan av en av de två Virasoro-algebrorna. Om tillståndsrymden kan dekomponeras i faktoriserade representationer av produkten av de två Virasoro-algebrorna, så är alla konsekvenser av konform symmetri kirala. Med andra ord kan de två Virasoro-algebrans handlingar studeras separat.

Energi-moment tensor

Beroendet av ett fält på dess position antas bestäms av

Härav följer att OPE

definierar ett lokalt holomorft fält som inte är beroende av Detta fält identifieras med (en komponent av) energi-moment-tensorn . I synnerhet är OPE för energi-moment-tensorn med ett primärt fält

OPE för energi-momentum-tensorn med sig själv är

där är den centrala laddningen. (Denna OPE är ekvivalent med kommuteringsrelationerna för Virasoro-algebra.)

Konforma församlingsidentiteter

Conformal Ward-identiteter är linjära ekvationer som korrelationsfunktioner lyder som en konsekvens av konform symmetri. De kan härledas genom att studera korrelationsfunktioner som involverar insättningar av energi-moment-tensorn. Deras lösningar är konforma block .

Tänk till exempel på konforma församlingsidentiteter på sfären. Låt vara en global komplex koordinat på sfären, sett som Holomorfi av energi-momentum-tensorn vid är ekvivalent med

Dessutom, infogning av i en -punktfunktion för primära fält ger

Från de två sista ekvationerna är det möjligt att härleda lokala avdelningsidentiteter som uttrycker -punktsfunktioner för efterkommande fält i termer av -punktsfunktioner för primära fält. Dessutom är det möjligt att härleda tre differentialekvationer för vilken -punktsfunktion som helst för primära fält, kallade globala konforma avdelningsidentiteter :

Dessa identiteter bestämmer hur två- och trepunktsfunktioner beror på

där de obestämda proportionalitetskoefficienterna är funktioner av

BPZ-ekvationer

En korrelationsfunktion som involverar ett degenererat fält uppfyller en linjär partiell differentialekvation som kallas en Belavin–Polyakov–Zamolodchikov-ekvation efter Alexander Belavin , Alexander Polyakov och Alexander Zamolodchikov . Ordningen för denna ekvation är nivån på nollvektorn i den motsvarande degenererade representationen.

Ett trivialt exempel är BPZ-ekvationen i ordning ett

som följer av

Det första icke-triviala exemplet involverar ett degenererat fält med en försvinnande nollvektor på nivå två,

där är relaterad till den centrala laddningen med

Då lyder en -punktsfunktion av och andra primära fält:

En BPZ-ekvation av ordningen för en korrelationsfunktion som involverar det degenererade fältet kan härledas från försvinnandet av nollvektorn och den lokala Ward identiteter . Tack vare globala avdelningsidentiteter kan fyrapunktsfunktioner skrivas i termer av en variabel istället för fyra, och BPZ-ekvationer för fyrapunktsfunktioner kan reduceras till vanliga differentialekvationer.

Fusion regler

I en OPE som involverar ett degenererat fält, begränsar försvinnandet av nollvektorn (plus konform symmetri) vilka primära fält som kan visas. De resulterande begränsningarna kallas fusionsregler . Använd momentum så att

istället för den konforma dimensionen för parametrisering av primära fält, är fusionsreglerna

särskilt

Alternativt har fusionsregler en algebraisk definition i termer av en associativ fusionsprodukt av representationer av Virasoro-algebra vid en given central laddning. Fusionsprodukten skiljer sig från tensorprodukten av representationer. (I en tensorprodukt lägger de centrala laddningarna till.) I vissa ändliga fall leder detta till strukturen av en fusionskategori .

En konform fältteori är kvasirationell är fusionsprodukten av två oupplösliga representationer är en summa av ändligt många oupplösliga representationer. Till exempel generaliserade minimalmodeller kvasirationella utan att vara rationella.

Konform bootstrap

Den konforma bootstrap- metoden består i att definiera och lösa CFT:er med enbart symmetri- och konsistensantaganden, genom att reducera alla korrelationsfunktioner till kombinationer av strukturkonstanter och konforma block. I två dimensioner leder denna metod till exakta lösningar av vissa CFT, och till klassificeringar av rationella teorier.

Strukturkonstanter

Låt vara ett vänster- och högerprimärt fält med vänster- och högerkonforma dimensioner och . Enligt den vänstra och högra globala församlingsidentiteten är trepunktsfunktioner av sådana fält av typen

där -oberoende tal kallas en trepunktsstrukturkonstant . För att trepunktsfunktionen ska vara enkelvärdig måste de primära fältens vänster- och högerkonforma dimensioner följa

Detta villkor är uppfyllt av bosonisk ( och fermionisk ( ) fält. Den bryts dock av parafermioniska fält ( korrelation Funktioner är därför inte ensvärda på Riemann-sfären.

Trepunktsstrukturkonstanter förekommer också i OPE,

Bidragen från efterkommande fält, betecknade med prickarna, bestäms helt av konform symmetri.

Konforma block

Vilken korrelationsfunktion som helst kan skrivas som en linjär kombination av konforma block : funktioner som bestäms av konform symmetri och märks av representationer av symmetrialgebra. Koefficienterna för den linjära kombinationen är produkter av strukturkonstanter.

I tvådimensionell CFT faktoriseras symmetrialgebra till två kopior av Virasoro-algebra, och ett konformt block som involverar primära fält har en holomorf faktorisering : det är en produkt av en lokalt holomorf faktor som bestäms av den vänsterförflyttade Virasoro algebra, och en lokalt antiholomorf faktor som bestäms av den högergående Virasoro-algebra. Dessa faktorer kallas i sig konforma block.

Till exempel, att använda OPE för de två första fälten i en fyrapunktsfunktion av primära fält ger

där är ett s-kanals fyrapunkts konformt block . Fyrpunktskonforma block är komplicerade funktioner som effektivt kan beräknas med hjälp av Alexei Zamolodchikovs rekursionsrelationer. Om ett av de fyra fälten är degenererat, så följer de motsvarande konforma blocken BPZ-ekvationer. Om särskilt ett av de fyra fälten är , så kan motsvarande konforma block skrivas i termer av den hypergeometriska funktionen .

Som först förklarades av Witten, kan utrymmet av konforma block av en tvådimensionell CFT identifieras med kvant-Hilbert-utrymmet i en 2+1-dimensionell Chern-Simons-teori , vilket är ett exempel på en topologisk fältteori . Detta samband har varit mycket fruktbart i teorin om den fraktionerade kvanthalleffekten .

Konforma bootstrap-ekvationer

När en korrelationsfunktion kan skrivas i termer av konforma block på flera olika sätt, ger likheten mellan de resulterande uttrycken begränsningar på tillståndsutrymmet och på trepunktsstrukturkonstanter. Dessa begränsningar kallas de konforma bootstrap-ekvationerna . Medan Ward-identiteterna är linjära ekvationer för korrelationsfunktioner, beror de konforma bootstrap-ekvationerna icke-linjärt på trepunktsstrukturkonstanterna.

Till exempel kan en fyrpunktsfunktion skrivas i termer av konforma block på tre olikvärdiga sätt, motsvarande användning av OPEs ( s-kanal ), ( t-kanal ) eller ( u-kanal ). Likheten mellan de tre resulterande uttrycken kallas korsningssymmetri för fyrpunktsfunktionen och är ekvivalent med associativiteten hos OPE.

Till exempel är toruspartitionsfunktionen invariant under inverkan av den modulära gruppen på torusmodulen, motsvarande . Denna invarians är en begränsning av staternas utrymme. Studiet av modulära invarianta torus-partitionsfunktioner kallas ibland den modulära bootstrap .

Konsistensen av en CFT på sfären motsvarar korsningssymmetri för fyrpunktsfunktionen. Konsistensen av en CFT på alla Riemann-ytor kräver också modulär invarians av torus enpunktsfunktion. Modulär invarians av toruspartitionsfunktionen är därför varken nödvändig eller tillräcklig för att en CFT ska existera. Det har dock studerats i stor omfattning i rationella CFT, eftersom karaktärer av representationer är enklare än andra typer av konforma block, såsom sfäriska fyrapunkts konforma block.

Exempel

Minimala modeller

En minimal modell är en CFT vars spektrum är byggt från ändligt många irreducerbara representationer av Virasoro-algebra. Minimala modeller finns bara för särskilda värden på den centrala laddningen,

Det finns en ADE-klassificering av minimala modeller. I synnerhet är A-seriens minimalmodell med den centrala laddningen en diagonal CFT vars spektrum är byggt från degenererar lägsta viktrepresentationer av Virasoro-algebra. Dessa degenererade representationer är märkta av par av heltal som bildar Kac-tabellen ,

Till exempel beskriver A-seriens minimalmodell med spinn- och energikorrelatorer för de två -dimensionell kritisk Ising-modell .

Liouville teori

För alla är Liouville-teorin en diagonal CFT vars spektrum är byggt från Verma-moduler med konforma dimensioner

Liouville-teorin har lösts, i den meningen att dess trepunktsstrukturkonstanter är explicit kända. Liouville-teorin har tillämpningar på strängteori och tvådimensionell kvantgravitation.

Utökade symmetrialgebror

I vissa CFT är symmetrialgebra inte bara Virasoro-algebra, utan en associativ algebra (dvs inte nödvändigtvis en Lie-algebra) som innehåller Virasoro-algebra. Spektrumet sönderdelas sedan i representationer av den algebra, och begreppen diagonala och rationella CFTs definieras med avseende på den algebra.

Masslösa gratis bosoniska teorier

I två dimensioner är masslösa fria bosoniska teorier konformt invarianta. Deras symmetrialgebra är den affina Lie-algebra byggd från den abelska, ranka ett Lie-algebra. Fusionsprodukten av två representationer av denna symmetrialgebra ger bara en representation, och detta gör korrelationsfunktionerna mycket enkla.

Att se minimala modeller och Liouville-teori som störda fria bosoniska teorier leder till Coulomb-gasmetoden för att beräkna deras korrelationsfunktioner. Dessutom, för finns det en enparameterfamilj av fria bosoniska teorier med oändliga diskreta spektrum, som beskriver kompakterade fria bosoner , där parametern är kompaktifieringsradien.

Wess–Zumino–Witten modeller

Givet en Lie-grupp är motsvarande Wess–Zumino–Witten-modell en CFT vars symmetrialgebra är den affina Lie-algebra byggd från Lie-algebra av Om är kompakt, så är denna CFT rationell, dess centralladdning tar diskreta värden och dess spektrum är känt.

Superkonforma fältteorier

Symmetrialgebra för en supersymmetrisk CFT är en super Virasoro algebra , eller en större algebra. Supersymmetriska CFT:er är särskilt relevanta för supersträngteori.

Teorier baserade på W-algebror

W-algebror är naturliga förlängningar av Virasoro-algebra. CFTs baserade på W-algebror inkluderar generaliseringar av minimalmodeller och Liouville-teori, respektive kallade W-minimalmodeller och konforma Toda-teorier . Konforma Toda-teorier är mer komplicerade än Liouville-teorin, och mindre väl förstådda.

Sigma modeller

I två dimensioner är klassiska sigmamodeller konformt invarianta, men endast vissa målförgreningar leder till kvantsigmamodeller som är konformt invarianta. Exempel på sådana grenrör inkluderar toruser och Calabi-Yau grenrör .

Logaritmiska konforma fältteorier

Logaritmiska konforma fältteorier är tvådimensionella CFT:er så att verkan av Virasoro-algebrageneratorn på spektrumet inte är diagonaliserbar. Speciellt kan spektrumet inte byggas enbart från representationer med lägsta vikt . Som en konsekvens kan korrelationsfunktionernas beroende av fältens positioner vara logaritmiskt. Detta står i kontrast till det kraftliknande beroendet av två- och trepunktsfunktionerna som är associerade med representationer med lägst vikt.

Kritisk Q-state Potts modell

Den kritiska -tillstånd Potts-modellen eller kritiska slumpmässiga klustermodellen är en konform fältteori som generaliserar och förenar den kritiska Ising-modellen , Potts-modellen och perkolation . Modellen har en parameter , som måste vara heltal i Potts-modellen, men som kan ta vilket komplext värde som helst i den slumpmässiga klustermodellen. Denna parameter är relaterad till den centrala laddningen med

Specialvärden för inkluderar:

Relaterad statistisk modell
Enhetligt spännande träd
Perkolering
Ising modell
Tricritical Ising-modell
Tre-stats Potts modell
Trikritisk Potts-modell med tre tillstånd
Ashkin-Teller modell

Den kända toruspartitionsfunktionen antyder att modellen är icke-rationell med ett diskret spektrum.

Vidare läsning