In mathematics, the Virasoro algebra (named after the physicist Miguel Angel Virasoro) is a complex Lie algebra, the unique central extension of the Witt algebra. It is widely used in two-dimensional conformal field theory and in string theory.
Highest weight representationsEdit
A highest weight representation of the Virasoro algebra is a representation generated by a primary state: a vector such that
where the number h called the conformal dimension or conformal weight of .
A highest weight representation is spanned by eigenstates of . The eigenvalues take the form , where the integer is called the level of the corresponding eigenstate.
More precisely, a highest weight representation is spanned by -eigenstates of the type with and , whose levels are . Any state whose level is not zero is called a descendant state of .
For any pair of complex numbers h and c, the Verma module is the largest possible highest weight representation. (The same letter c is used for both the element c of the Virasoro algebra and its eigenvalue in a representation.)
The states with and form a basis of the Verma module. The Verma module is indecomposable, and for generic values of h and c it is also irreducible. When it is reducible, there exist other highest weight representations with these values of h and c, called degenerate representations, which are cosets of the Verma module. In particular, the unique irreducible highest weight representation with these values of h and c is the quotient of the Verma module by its maximal submodule.
A Verma module is irreducible if and only if it has no singular vectors.
A singular vector or null vector of a highest weight representation is a state that is both descendent and primary.
A sufficient condition for the Verma module to have a singular vector at the level is for some positive integers such that , with
In particular, , and the reducible Verma module has a singular vector at the level . Then , and the corresponding reducible Verma module has a singular vector at the level .
This condition for the existence of a singular vector at the level is not necessary. In particular, there is a singular vector at the level if with and . This singular vector is now a descendent of another singular vector at the level . This type of singular vectors can however only exist if the central charge is of the type
Hermitian form and unitarityEdit
A highest weight representation with a real value of has a unique Hermitian form such that the adjoint of is , and the norm of the primary state is one. The representation is called unitary if that Hermitian form is positive definite. Since any singular vector has zero norm, all unitary highest weight representations are irreducible.
The Gram determinant of a basis of the level is given by the Kac determinant formula,
where the function p(N) is the partition function, and AN is a positive constant that does not depend on or . The Kac determinant formula was stated by V. Kac (1978), and its first published proof was given by Feigin and Fuks (1984).
The irreducible highest weight representation with values h and c is unitary if and only if either c ≥ 1 and h ≥ 0, or
and h is one of the values
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, 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 algebras) to show that they are sufficient.
The character of a representation of the Virasoro algebra is the function
The character of the Verma module is
where is the Dedekind eta function.
For any and for , the Verma module is reducible due to the existence of a singular vector at level . This singular vector generates a submodule, which is isomorphic to the Verma module . The quotient of by this submodule is irreducible if does not have other singular vectors, and its character is
Let with and coprime, and and . (Then is in the Kac table of the corresponding minimal model). The Verma module has infinitely many singular vectors, and is therefore reducible with infinitely many submodules. This Verma module has an irreducible quotient by its largest nontrivial submodule. (The spectrums of minimal models are built from such irreducible representations.) The character of the irreducible quotient is
This expression is an infinite sum because the submodules and have a nontrivial intersection, which is itself a complicated submodule.
Conformal field theoryEdit
In two dimensions, the algebra of local conformal transformations is made of two copies of the Witt algebra. It follows that the symmetry algebra of two-dimensional conformal field theory is the Virasoro algebra. Technically, the conformal bootstrap approach to two-dimensional CFT relies on Virasoro conformal blocks, special functions that include and generalize the characters of representations of the Virasoro algebra.
Since the Virasoro algebra comprises the generators of the conformal group of the worldsheet, the stress tensor in string theory 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 theory, cannot be applied to all the states in the theory, but rather only on the physical states (compare Gupta–Bleuler formalism).
Super Virasoro algebrasEdit
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, now involving Grassmann numbers. There are further extensions of these algebras with more supersymmetry, such as the N = 2 superconformal algebra.
W-algebras are associative algebras which contain the Virasoro algebra, and which play an important role in two-dimensional conformal field theory. Among W-algebras, the Virasoro algebra has the particularity of being a Lie algebra.
Affine Lie algebrasEdit
The Virasoro algebra is a subalgebra of the universal enveloping algebra of any affine Lie algebra, as shown by the Sugawara construction. In this sense, affine Lie algebras are extensions of the Virasoro algebra.
Meromorphic vector fields on Riemann surfacesEdit
The Virasoro algebra is a central extension of the Lie algebra of meromorphic vector fields with two poles on a genus 0 Riemann surface. On a higher-genus compact Riemann surface, the Lie algebra of meromorphic vector fields with two poles also has a central extension, which is a generalization of the Virasoro algebra. This can be further generalized to supermanifolds.
Vertex Virasoro algebra and conformal Virasoro algebraEdit
The Witt algebra (the Virasoro algebra without the central extension) was discovered by É. 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 D. B. Fuchs (1968). Virasoro (1970) wrote down some operators generating the Virasoro algebra (later known as the Virasoro operators) 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).
- M. A. Virasoro (1970). "Subsidiary conditions and ghosts in dual-resonance models". Physical Review D. 1 (10): 2933–2936. Bibcode:1970PhRvD...1.2933V. doi:10.1103/PhysRevD.1.2933.
- Fairlie, D. B.; Nuyts, J.; Zachos, C. K. (1988). "A presentation for the Virasoro and super-Virasoro algebras". Communications in Mathematical Physics. 117 (4): 595. Bibcode:1988CMaPh.117..595F. doi:10.1007/BF01218387.
- Uretsky, J. L. (1989). "Redundancy of conditions for a Virasoro algebra". Communications in Mathematical Physics. 122 (1): 171–173. Bibcode:1989CMaPh.122..171U. doi:10.1007/BF01221412.
- P. Di Francesco, P. Mathieu, and D. Sénéchal, Conformal Field Theory, 1997, ISBN 0-387-94785-X.
- Krichever, I. M.; Novikov, S.P. (1987). "Algebras of Virasoro type, Riemann surfaces and structures of the theory of solitons". Funkts. Anal. Appl. 21 (2): 46–63. doi:10.1007/BF01078026.
- Rabin, J. M. (1995). "Super elliptic curves". Journal of Geometry and Physics. 15 (3): 252–280. arXiv:hep-th/9302105. Bibcode:1995JGP....15..252R. doi:10.1016/0393-0440(94)00012-S.
- Alexander Belavin, Alexander Polyakov and Alexander Zamolodchikov (1984). "Infinite conformal symmetry in two-dimensional quantum field theory". Nuclear Physics B. 241 (2): 333–380. Bibcode:1984NuPhB.241..333B. doi:10.1016/0550-3213(84)90052-X.
- R. E. Block (1966). "On the Mills–Seligman axioms for Lie algebras of classical type". Transactions of the American Mathematical Society. 121 (2): 378–392. doi:10.1090/S0002-9947-1966-0188356-3. JSTOR 1994485.
- R. C. Brower; C. B. Thorn (1971). "Eliminating spurious states from the dual resonance model". Nuclear Physics B. 31 (1): 163–182. Bibcode:1971NuPhB..31..163B. doi:10.1016/0550-3213(71)90452-4..
- E. Cartan (1909). "Les groupes de transformations continus, infinis, simples". Annales Scientifiques de l'École Normale Supérieure. 26: 93–161. doi:10.24033/asens.603. 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
- Friedan, D., Qiu, Z. and Shenker, S. (1984). "Conformal invariance, unitarity and critical exponents in two dimensions". Physical Review Letters. 52 (18): 1575–1578. Bibcode:1984PhRvL..52.1575F. doi:10.1103/PhysRevLett.52.1575.CS1 maint: multiple names: authors list (link).
- 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
- P. Goddard, A. Kent & D. Olive (1986). "Unitary representations of the Virasoro and super-Virasoro algebras". Communications in Mathematical Physics. 103 (1): 105–119. Bibcode:1986CMaPh.103..105G. doi:10.1007/BF01464283. MR 0826859. Zbl 0588.17014..
- Iohara, Kenji; Koga, Yoshiyuki (2011), Representation theory of the Virasoro algebra, Springer Monographs in Mathematics, London: Springer-Verlag London Ltd., doi:10.1007/978-0-85729-160-8, ISBN 978-0-85729-159-2, MR 2744610
- A. Kent (1991). "Singular vectors of the Virasoro algebra". Physics Letters B. 273 (1–2): 56–62. arXiv:hep-th/9204097. Bibcode:1991PhLB..273...56K. doi:10.1016/0370-2693(91)90553-3.
- Victor Kac (2001) , "Virasoro algebra", Encyclopedia of Mathematics, EMS Press
- V. G. Kac, "Highest weight representations of infinite dimensional Lie algebras", Proc. Internat. Congress Mathematicians (Helsinki, 1978), pp.299-304
- V. G. Kac, A. K. Raina, Bombay lectures on highest weight representations, World Sci. (1987) ISBN 9971-5-0395-6.
- Dobrev, V. K. (1986). "Multiplet classification of the indecomposable highest weight modules over the Neveu-Schwarz and Ramond superalgebras". Lett. Math. Phys. 11 (3): 225–234. Bibcode:1986LMaPh..11..225D. doi:10.1007/bf00400220. & correction: ibid. 13 (1987) 260.
- 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.
- Antony Wassermann (2010). "Lecture notes on Kac-Moody and Virasoro algebras". arXiv:1004.1287 [math.RT].
- Antony Wassermann (2010). "Direct proofs of the Feigin-Fuchs character formula for unitary representations of the Virasoro algebra". arXiv:1012.6003 [math.RT].