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
- P. Di Francesco, P. Mathieu och D. Sénéchal, Conformal Field Theory , Springer-Verlag, New York, 1997. ISBN 0-387-94785-X .
- Conformal Field Theory i String Theory Wiki listar böcker och recensioner.
- Ribault, Sylvain (2014). "Konform fältteori på planet". arXiv : 1406.4290 [ hep-th ].