|
|
| Line 1: |
Line 1: |
| {{Group theory sidebar}}
| |
|
| |
|
| In [[mathematics]], the '''Virasoro algebra''' (named after the physicist [[Miguel Ángel Virasoro (physicist)|Miguel Angel Virasoro]]) is a complex [[Lie algebra]], given as a [[Group extension|central extension]] of the complex polynomial vector fields on the [[circle]], and is widely used in [[conformal field theory]] and [[string theory]].
| |
|
| |
|
| == Definition ==
| | Grateful to meet you! My current name is Eusebio Ledbetter. To drive is a complete thing that I'm totally addicted to. South Carolina is where my home is and We all don't plan on shifting it. I used to be unemployed but at this instant I am a cashier but the promotion definitely comes. I'm not good at [http://Statigr.am/tag/web+design web design] but you might choose to to check my website: http://[http://Www.Twitpic.com/tag/prometeu.net prometeu.net]<br><br>Stop by my web site [http://prometeu.net clash of clans cheats android] |
| | |
| The '''Virasoro algebra''' is [[linear span|spanned]] by elements <math>L_n</math> for <math>n\in\mathbb{Z}</math> and <math>c</math> with <math>L_n + L_{-n}</math>, <math>\quad i(L_n -L_{-n})</math> and <math>c</math> being real elements. Here the central element <math>c</math> is the '''[[central charge]]'''.
| |
| | |
| The algebra satisfies <math>[c,L_n]=0</math> and <math>[L_m,L_n]=(m-n)L_{m+n}+\frac{c}{12}(m^3-m)\delta_{m+n,0}</math>. The factor of 1/12 is merely a matter of convention.
| |
| | |
| The Virasoro algebra is a [[central extension (mathematics)|central extension]] of the
| |
| (complex) [[Witt algebra]] of complex polynomial vector fields on the circle. The Lie algebra of real polynomial vector fields on the circle is a dense subalgebra of the Lie algebra of diffeomorphisms of the circle.
| |
| | |
| The Virasoro algebra is obeyed by the [[stress tensor]] in [[string theory]], since it comprises the generators of the conformal group of the [[worldsheet]], obeys the commutation relations of (two copies of) the Virasoro algebra. This is because the conformal group decomposes into separate diffeomorphisms of the forward and back lightcones. Diffeomorphism invariance of the worldsheet implies additionally that the stress tensor vanishes. This is known as the [[Virasoro constraint]], and in the [[Quantum mechanics|quantum theory]], cannot be applied to all the states in the theory, but rather only on the physical states (compare [[Gupta-Bleuler quantization]]).
| |
| | |
| ==Representation theory==
| |
| A '''lowest weight representation''' of the Virasoro algebra is a representation generated by a vector
| |
| <math>v</math> that is killed by <math>L_i</math> for <math>i\geq 1</math>, and is an eigenvector of <math>L_0</math> and <math>c</math>. The letters <math>h</math> and <math>c</math> are usually used for the eigenvalues of <math>L_0</math> and <math>c</math> on <math>v</math>. (The same letter <math>c</math> is used for both the element <math>c</math> of the Virasoro algebra and its eigenvalue.) For every pair of complex numbers <math>h</math> and <math>c</math> there is a unique irreducible lowest weight representation with these eigenvalues.
| |
| | |
| A lowest weight representation is called '''unitary''' if it has a positive definite inner product such that
| |
| the adjoint of <math>L_n</math> is <math>L_{-n}</math>. | |
| The irreducible lowest weight representation with eigenvalues ''h'' and ''c'' is unitary if and only if either ''c''≥1 and ''h''≥0, or ''c'' is one of the values
| |
| :<math> c = 1-{6\over m(m+1)} = 0,\quad 1/2,\quad 7/10,\quad 4/5,\quad 6/7,\quad 25/28, \ldots</math> | |
| for ''m'' = 2, 3, 4, .... and ''h'' is one of the values
| |
| :<math> h = h_{r,s}(c) = {((m+1)r-ms)^2-1 \over 4m(m+1)}</math>
| |
| for ''r'' = 1, 2, 3, ..., ''m''−1 and ''s''= 1, 2, 3, ..., ''r''.
| |
| [[Daniel Friedan]], Zongan Qiu, and [[Stephen Shenker]] (1984) showed that these conditions are necessary, and [[Peter Goddard (physicist)|Peter Goddard]], [[Adrian Kent]] and [[David Olive]] (1986) used the [[coset construction]] or [[GKO construction]] (identifying unitary representations of the Virasoro algebra within tensor products of unitary representations of affine [[Kac-Moody algebra]]s) to show that they are sufficient. The unitary irreducible lowest weight representations with ''c'' < 1 are called the '''discrete series representations''' of the Virasoro algebra. These are special cases of the representations with ''m'' = ''q''/(''p''−''q''), 0<''r''<''q'', 0< ''s''<''p'' for ''p'' and ''q'' coprime integers and ''r'' and ''s'' integers, called the '''minimal models''' and first studied in Belavin et al. (1984).
| |
| | |
| The first few discrete series representations are given by:
| |
| *''m'' = 2: ''c'' = 0, ''h'' = 0. The trivial representation.
| |
| *''m'' = 3: ''c'' = 1/2, ''h'' = 0, 1/16, 1/2. These 3 representations are related to the [[Ising model]]
| |
| *''m'' = 4: ''c'' = 7/10. ''h'' = 0, 3/80, 1/10, 7/16, 3/5, 3/2. These 6 representations are related to the tri critical [[Ising model]].
| |
| *''m'' = 5: ''c'' = 4/5. There are 10 representations, which are related to the 3-state [[Potts model]].
| |
| *''m'' = 6: ''c'' = 6/7. There are 15 representations, which are related to the tri critical 3-state [[Potts model]].
| |
| | |
| The lowest weight representations that are not irreducible can be read off from the '''Kac determinant formula''',
| |
| which states that the determinant of the invariant inner product on the degree ''h''+''N'' piece of the lowest weight module with eigenvalues ''c'' and ''h'' is given by
| |
| | |
| :<math> A_N\prod_{1\le r,s\le N}(h-h_{r,s}(c))^{p(N-rs)}</math>
| |
| | |
| which was stated by [[V. Kac]] (1978), (see also Kac and Raina 1987) and whose first published proof was given by Feigin and Fuks (1984). (The function ''p''(''N'') is the [[partition function (number theory)|partition function]], and ''A''<sub>''N''</sub> is some constant.) The reducible highest weight representations are the representations with ''h'' and ''c'' given in terms of ''m'', ''c'', and ''h'' by the formulas above, except that ''m'' is not restricted to be an integer ≥ 2 and may be any number other than 0 and 1, and ''r'' and ''s'' may be any positive integers. This result was used by Feigin and Fuks to find the characters of all irreducible lowest weight representations.
| |
| | |
| ==Generalizations==
| |
| There are two supersymmetric N=1 extensions of the Virasoro algebra, called the [[Neveu-Schwarz algebra]] and the [[Ramond algebra]]. Their theory is similar to that of the Virasoro algebra. There are further extensions of these algebras with more supersymmetry, such as the [[N = 2 superconformal algebra]].
| |
| | |
| The Virasoro algebra is a central extension of the Lie algebra of meromorphic vector fields on a genus 0 Riemann surface that are holomorphic except at two fixed points.
| |
| I.V. Krichever and S.P. Novikov (1987) found a central extension of the Lie algebra of meromorphic vector fields on a higher genus compact Riemann surface that are holomorphic except at two fixed points, and M. Schlichenmaier (1993) extended this to the case of more than two points.
| |
| | |
| The Virasoro algebra also has [[Vertex Operator Algebra|vertex algebraic]] and [[Lie conformal algebra|conformal algebraic]] counterparts, which basically come from arranging all the basis elements into generating series and working with single objects. Unsurprisingly these are called the vertex Virasoro and conformal Virasoro algebras respectively.
| |
| | |
| ==History==
| |
| The Witt algebra (the Virasoro algebra without the central extension) was discovered by [[E. Cartan]] (1909). Its analogues over finite fields were studied by [[E. Witt]] in about the 1930s. The central extension of the Witt algebra that gives the Virasoro algebra was first found (in characteristic ''p''>0) by [[R. E. Block]] (1966, page 381) and independently rediscovered (in characteristic 0) by [[I. M. Gelfand]] and {{ill|de|Dmitry Fuchs{{!}}D. B. Fuchs|Dmitry Borisovich Fuchs}} (1968). Virasoro (1970) wrote down some operators generating the Virasoso algebra while studying dual resonance models, though he did not find the central extension. The central extension giving the Virasoro algebra was rediscovered in physics shortly after by J. H. Weis, according to Brower and Thorn (1971, footnote on page 167).
| |
| | |
| ==See also==
| |
| *[[Witt algebra]]
| |
| *[[Heisenberg algebra]]
| |
| *[[WZW model]]
| |
| *[[conformal field theory]]
| |
| *[[Goddard–Thorn theorem]]
| |
| *[[Lie conformal algebra]]
| |
| | |
| ==References==
| |
| *{{cite journal |author=[[Alexander Belavin]], [[Alexander Markovich Polyakov|Alexander Polyakov]] and [[Alexander Zamolodchikov]] |year=1984 |title=Infinite conformal symmetry in two-dimensional quantum field theory |journal=[[Nuclear Physics B]] |volume=241 |pages=333–380 |doi=10.1016/0550-3213(84)90052-X |issue=2|bibcode = 1984NuPhB.241..333B }}
| |
| *{{cite journal |author=R. E. Block |year=1966 |title=On the Mills–Seligman axioms for Lie algebras of classical type |journal=[[Transactions of the American Mathethematical Society]] |volume=121 |pages=378–392 |jstor=1994485 |doi=10.1090/S0002-9947-1966-0188356-3 |issue=2}}
| |
| *{{cite journal |author=R. C. Brower, C. B. Thorn |year=1971 |title=Eliminating spurious states from the dual resonance model |journal=[[Nuclear Physics B]] |volume=31 |pages=163–182 |doi=10.1016/0550-3213(71)90452-4|bibcode = 1971NuPhB..31..163B }}.
| |
| *{{cite journal |author=E. Cartan |year=1909 |title=Les groupes de transformations continus, infinis, simples |journal=Annals of Sci Ecole Normale Supérieur |volume=26 |pages=93–161 |jfm=40.0193.02}}
| |
| *B.L. Feigin, D.B. Fuchs, ''Verma modules over the Virasoro algebra'' L.D. Faddeev (ed.) A.A. Mal'tsev (ed.), Topology. Proc. Internat. Topol. Conf. Leningrad 1982, Lect. notes in math., 1060, Springer (1984) pp. 230–245
| |
| *{{cite journal |author=Friedan, D., Qiu, Z. and Shenker, S. |year=1984 |title=Conformal invariance, unitarity and critical exponents in two dimensions |journal=[[Physical Review Letters]] |volume=52 |pages=1575–1578 |doi=10.1103/PhysRevLett.52.1575 |issue=18|bibcode = 1984PhRvL..52.1575F }}.
| |
| *[[I.M. Gelfand|I.M. Gel'fand]], D.B. Fuchs, ''The cohomology of the Lie algebra of vector fields in a circle'' Funct. Anal. Appl., 2 (1968) pp. 342–343 Funkts. Anal. i Prilozh., 2 : 4 (1968) pp. 92–93
| |
| *{{cite journal |author=P. Goddard, A. Kent and D. Olive |year=1986 |title=Unitary representations of the Virasoro and super-Virasoro algebras |journal=[[Communications in Mathematical Physics]] |volume=103 |issue=1 |pages=105–119 |mr=0826859 |zbl=0588.17014 |doi=10.1007/BF01464283|bibcode = 1986CMaPh.103..105G }}.
| |
| *{{Citation | last1=Iohara | first1=Kenji | last2=Koga | first2=Yoshiyuki | title=Representation theory of the Virasoro algebra | publisher=Springer-Verlag London Ltd. | location=London | series=Springer Monographs in Mathematics | isbn=978-0-85729-159-2 | doi=10.1007/978-0-85729-160-8 | mr=2744610 | year=2011}}
| |
| *{{cite journal |author=A. Kent |year=1991 |title=Singular vectors of the Virasoro algebra |journal=[[Physics Letters B]] |volume=273 |issue=1–2 |pages=56–62 |doi=10.1016/0370-2693(91)90553-3|arxiv = hep-th/9204097 |bibcode = 1991PhLB..273...56K }}
| |
| * {{springer|author=Victor Kac|title=Virasoro algebra|id=v/v096710}}
| |
| *V.G. Kac, ''Highest weight representations of infinite dimensional Lie algebras'', Proc. Internat. Congress Mathematicians (Helsinki, 1978),
| |
| *V.G. Kac, A.K. Raina, ''Bombay lectures on highest weight representations'', World Sci. (1987) ISBN 9971-5-0395-6.
| |
| *V.K. Dobrev, ''Multiplet classification of the indecomposable highest weight modules over the Neveu-Schwarz and Ramond superalgebras'', Lett. Math. Phys. '''11''' (1986) 225-234 & correction: ibid. '''13''' (1987) 260.
| |
| *I.M. Krichever, S.P. Novikov, ''Algebras of Virasoro type, Riemann surfaces and structures of the theory of solitons'', Funkts. Anal. Appl., 21:2 (1987) p. 46–63.
| |
| *V.K. Dobrev, ''Characters of the irreducible highest weight modules over the Virasoro and super-Virasoro algebras'', Suppl. [[Rendiconti del Circolo Matematico di Palermo]], Serie II, Numero 14 (1987) 25-42.
| |
| *M. Schlichenmaier, ''Differential operator algebras on compact Riemann surfaces'' H.-D. Doebner (ed.) V.K. Dobrev (ed.) A.G Ushveridze (ed.), Generalized Symmetries in Physics, Clausthal 1993, World Sci. (1994) p. 425–435
| |
| *{{cite journal|author=M. A. Virasoro |year=1970 |title=Subsidiary conditions and ghosts in dual-resonance models |journal=[[Physical Review D]] |volume=1 |issue=10 |pages=2933|doi=10.1103/PhysRevD.1.2933|bibcode = 1970PhRvD...1.2933V }}
| |
| *{{cite arxiv|author=A. J. Wassermann |title=Lecture notes on Kac-Moody and Virasoro algebras |eprint=1004.1287|class=math.RT|year=2010}}
| |
| *{{cite arxiv|first=A. J. |last= Wassermann|title=Direct proofs of the Feigin-Fuchs character formula for unitary representations of the Virasoro algebra|eprint=1012.6003|year=2010|class=math.RT}}
| |
| | |
| [[Category:Conformal field theory]]
| |
| [[Category:Lie algebras]]
| |