Virasoro algebra

Virasoro algebra
Name	Virasoro algebra
Type	Lie algebra; central extension
Field	Mathematics, Theoretical physics
Introduced	1970s
Introduced by	Miguel Ángel Virasoro (independently discovered in related contexts by others)
Related	Witt algebra, Conformal field theory, String theory

Virasoro algebra

The Virasoro algebra is an infinite-dimensional complex Lie algebra that arises as the unique nontrivial central extension of the Witt algebra. It encodes the algebra of local conformal transformations on the circle and provides the symmetry algebra of two-dimensional Conformal field theory (CFT), playing a central role in both mathematical physics and the quantization of string worldsheets. In quantum contexts the Virasoro central charge controls anomalies and determines consistent representations and criticality conditions in models such as string theory and two-dimensional statistical systems.

Definition and Mathematical Structure

The Virasoro algebra is generated by modes L_n (n ∈ ℤ) together with a central element c, with Lie brackets [L_m,L_n] = (m-n)L_{m+n} + \tfrac{c}{12} (m^3-m)\delta_{m+n,0}. This presentation is the centrally extended form of the algebra of vector fields on the circle, the Witt algebra. The parameter c is the central charge (or central element) that commutes with all generators and classifies central extensions via Lie algebra cohomology (specifically the second cohomology H^2 of the Witt algebra). The algebra admits a triangular decomposition into positive, negative and Cartan-like parts, facilitating highest-weight representation theory similarly to finite-dimensional semisimple Lie algebras.

Central Extension and Virasoro Generators

The central term arises from the need to represent classical symmetry generators as quantum operators: normal-ordering and regularization produce an anomaly measured by c. The generators L_n may be constructed from modes of a stress–energy tensor T(z) in complex coordinates on the cylinder or plane via the Laurent expansion T(z)=∑ L_n z^{-n-2}. The operator product expansion (OPE) of T(z) with itself yields the Virasoro algebra at the quantum level, T(z)T(w) \sim \frac{c/2}{(z-w)^4} + \frac{2T(w)}{(z-w)^2} + \frac{\partial T(w)}{z-w}. This central extension is fundamental in anomalies for conformal symmetry; in particular the Polyakov action and the quantization of the bosonic string require c=26 for criticality, while superstring constructions involve modified central-charge conditions.

Representation Theory and Verma Modules

Highest-weight representations of the Virasoro algebra are classified by the central charge c and the highest weight (conformal dimension) h. Verma modules are induced modules built from a highest-weight vector annihilated by all L_n with n>0. The structure of singular (null) vectors inside Verma modules determines reducibility and leads to the construction of irreducible highest-weight representations. The Kac determinant formula gives conditions on c and h for the existence of null vectors and is central to the classification of unitary minimal models by Vladimir Kac and Alexander Belavin et al. Characters of irreducible modules transform under the modular group, connecting to modular invariance and constraints on consistent CFTs such as the minimal models classified by discrete (c,h) values.

Role in Two-Dimensional Conformal Field Theory

In two-dimensional CFT the local conformal symmetry is generated by two commuting copies of the Virasoro algebra (holomorphic and antiholomorphic), often denoted L_n and \bar{L}_n. Correlation functions are strongly constrained by Ward identities derived from Virasoro symmetry; the representation content determines operator dimensions and fusion rules. The Virasoro algebra underlies the bootstrap approach pioneered by Belavin, Polyakov and Zamolodchikov in their seminal work on CFT, enabling exact solutions of models such as the Ising model at criticality and other rational CFTs. The connection to vertex operator algebras (VOAs), formalized in the work of Richard Borcherds and others, gives a rigorous algebraic framework tying Virasoro symmetry to algebraic structures used in mathematics and physics.

Applications in String Theory and Quantum Gravity

The Virasoro algebra appears as the algebra of constraints on the worldsheet in bosonic and superstring theories: physical states are required to be annihilated by positive Virasoro modes (the Virasoro constraints), and the central charge determines anomaly cancellation and critical spacetime dimension. The light-cone and covariant quantization schemes both rely on Virasoro symmetry and BRST cohomology methods (see BRST quantization). In theoretical explorations of two-dimensional quantum gravity and holography, Virasoro symmetry features in the boundary dynamics of asymptotically AdS_3 spacetimes via the Brown–Henneaux analysis, connecting classical gravity in three dimensions with a boundary CFT whose symmetry algebra is two copies of Virasoro with central charge proportional to the AdS radius over Newton's constant.

Connections to Quantum Integrable Systems and Statistical Models

Virasoro representations and null-vector differential equations provide exact solvable structures in two-dimensional statistical systems at criticality, including the Ising model, Potts model, and six-vertex model in certain limits. The algebra connects to integrable hierarchies through the appearance of Virasoro constraints in matrix models and intersection theory (e.g., the Witten–Kontsevich tau-function satisfies Virasoro constraints). In quantum integrable systems, relations between Virasoro symmetry, quantum groups (such as U_q(sl_2)), and the Yang–Baxter equation organize exact spectra and correlation functions; likewise the modular bootstrap and thermodynamic Bethe ansatz exploit Virasoro data to compute scaling limits and universal quantities in condensed matter systems.

Category:Conformal field theory Category:String theory Category:Infinite-dimensional Lie algebras