Logo
ScienceStack
Table of Contents
Fetching ...
Sign In

From the Conformal Anomaly to the Virasoro Algebra

Sid Maibach, Eveliina Peltola

TL;DR

The article develops a geometric realization of the conformal anomaly in terms of real determinant line bundles and uses sewing along the semigroup of annuli to produce central extensions of the diffeomorphism group and of complex boundary deformations. The central result identifies the Lie algebra cocycle of the real-determinant extension with the imaginary part of the Gel'fand–Fuks cocycle, while showing the real-case extension is trivial on the circle diffeomorphism algebra; the cocycle is given explicitly by $\gamma_{\mathbf{c}}(v,w) = \frac{\mathbf{c}}{24\pi} \Im \int_0^{2\pi} v'(\theta) w''(\theta) \, d\theta$. The framework connects to loop Loewner energy and suggests universality of the real determinant line bundle in the geometry of conformal and planar random structures, with potential ties to Malliavin–Kontsevich–Suhov measures and geometric quantization of moduli spaces. Overall, the work provides accessible, concrete computations that illuminate how the Virasoro algebra emerges from foundational conformal-anomaly data and outlines a universal, real-modular-functor perspective on conformal field theory in two dimensions.

Abstract

The conformal anomaly and the Virasoro algebra are fundamental aspects of 2D conformal field theory and conformally covariant models in planar random geometry. In this article, we explicitly derive the Virasoro algebra from an axiomatization of the conformal anomaly in terms of real determinant lines, one-dimensional vector spaces associated to Riemann surfaces with analytically parametrized boundary components. Here, analytical orientation-preserving diffeomorphisms and deformations of the circle naturally act on the boundary components. We introduce a sewing operation on the real determinant lines over the semigroup of annuli, which then induces central extensions of the diffeomorphism group, as well as of the complex deformations. Our main theorem shows that on the one hand, the cocycle associated to the central extension of diffeomorphisms is trivial, while on the other hand, the Lie algebra cocycle associated to the central extension of complex deformations is nontrivial, yielding the imaginary part of the Gel'fand-Fuks cocycle. We thus answer a question, partly negatively and partly affirmatively, discussed by Andre Henriques and Dylan Thurston in 2011. The proof uses concrete computations, which we aim to be accessible to a wide audience. We also show an explicit relation to loop Loewner energy, anticipating the real determinant lines to be pertinent to locally conformally covariant (Malliavin-Kontsevich-Suhov) measures on curves and loops, as well as to Kähler geometry and geometric quantization of moduli spaces of Riemann surfaces. Inherently, the conformal anomaly and real determinant line bundles are expected to be universal, following a classification of modular functors.

From the Conformal Anomaly to the Virasoro Algebra

TL;DR

The article develops a geometric realization of the conformal anomaly in terms of real determinant line bundles and uses sewing along the semigroup of annuli to produce central extensions of the diffeomorphism group and of complex boundary deformations. The central result identifies the Lie algebra cocycle of the real-determinant extension with the imaginary part of the Gel'fand–Fuks cocycle, while showing the real-case extension is trivial on the circle diffeomorphism algebra; the cocycle is given explicitly by . The framework connects to loop Loewner energy and suggests universality of the real determinant line bundle in the geometry of conformal and planar random structures, with potential ties to Malliavin–Kontsevich–Suhov measures and geometric quantization of moduli spaces. Overall, the work provides accessible, concrete computations that illuminate how the Virasoro algebra emerges from foundational conformal-anomaly data and outlines a universal, real-modular-functor perspective on conformal field theory in two dimensions.

Abstract

The conformal anomaly and the Virasoro algebra are fundamental aspects of 2D conformal field theory and conformally covariant models in planar random geometry. In this article, we explicitly derive the Virasoro algebra from an axiomatization of the conformal anomaly in terms of real determinant lines, one-dimensional vector spaces associated to Riemann surfaces with analytically parametrized boundary components. Here, analytical orientation-preserving diffeomorphisms and deformations of the circle naturally act on the boundary components. We introduce a sewing operation on the real determinant lines over the semigroup of annuli, which then induces central extensions of the diffeomorphism group, as well as of the complex deformations. Our main theorem shows that on the one hand, the cocycle associated to the central extension of diffeomorphisms is trivial, while on the other hand, the Lie algebra cocycle associated to the central extension of complex deformations is nontrivial, yielding the imaginary part of the Gel'fand-Fuks cocycle. We thus answer a question, partly negatively and partly affirmatively, discussed by Andre Henriques and Dylan Thurston in 2011. The proof uses concrete computations, which we aim to be accessible to a wide audience. We also show an explicit relation to loop Loewner energy, anticipating the real determinant lines to be pertinent to locally conformally covariant (Malliavin-Kontsevich-Suhov) measures on curves and loops, as well as to Kähler geometry and geometric quantization of moduli spaces of Riemann surfaces. Inherently, the conformal anomaly and real determinant line bundles are expected to be universal, following a classification of modular functors.
Paper Structure (19 sections, 21 theorems, 160 equations, 5 figures)

This paper contains 19 sections, 21 theorems, 160 equations, 5 figures.

Table of Contents

  1. Introduction
  2. Conformal anomaly and central extensions
  3. Main results: Identification of the cocycle
  4. Remarks on modular functors and universality
  5. Preliminaries
  6. Diffeomorphisms and complex deformations of the circle
  7. Cocycles and the Virasoro algebra
  8. Cylinders with analytical boundary parametrizations
  9. The semigroup of cylinders and uniformization
  10. Properties of the conformal anomaly
  11. Real determinant lines
  12. Definitions and sewing isomorphisms
  13. Comments on general moduli spaces and Laplacian determinants
  14. The central extension
  15. Computation of the Lie algebra cocycle
  16. ...and 4 more sections

Key Result

Theorem 1.1

The Lie algebra of the central extension $\mathop{\mathrm{Det}}\nolimits_{\mathbb{R}_{+}}^{\mathbf{c}}(\mathop{\mathrm{{Def}_{\mathbb{C}}(S^1)}}\nolimits)$, $\mathbf{c} \in \mathbb{R}$, with respect to the section $\hat{\mu}^\mathbf{c}(\phi)$ defined in eq:diffglobalsection, is given by the cocycle It vanishes for $v, w \in \mathop{\mathrm{\mathfrak{X}^{\mathrm{an}}_{\mathbb{R}}(S^1)}}\nolimits$

Figures (5)

  • Figure 2.1: This illustrated commutative diagram shows, on the one hand, the compatibility requirement \ref{['diag:isomorphisms']} that the isomorphism ${\operatorname{I}_{C}^{A}}$ of cylinders satisfies. On the other hand, it depicts the sewing operation, see Lemma \ref{['lem:conformal_atlas']}.
  • Figure 4.1: The decomposition of $\mathbb{A}$ in Equation \ref{['eq:decompa']}.
  • Figure 4.2: The decomposition of $\mathbb{A} \, { \mathrel{\mathop{*}\limits_{ \hbox{\ex@ ${1}$}}}} \, \phi_t$ in Equation \ref{['eq:decompa1']}.
  • Figure 4.3: The hatched areas show where the cut-off functions ${\chi_{2}}(x)$, ${\varrho_t}(z)$, and ${\chi_{1}}(x)$ are transitioning from value $1$ (below the area) to value $0$ (above the area). The isomorphism between ${U}$ and ${V_t}$ is the map that relates ${\varrho_t}$ to ${\chi_{1}}$ in Equation \ref{['eq:interbab']}. The dashed lines are the bounds for the hatched areas as in Equation \ref{['eq:support_bounds']}. Note that the bounds are chosen such that even when $\mathbb{A} \, { \mathrel{\mathop{*}\limits_{ \hbox{\ex@ ${1}$}}}} \, \phi_t$ and $\mathbb{A}$ are respectively deformed into $\mathbb{A} \, { \mathrel{\mathop{*}\limits_{ \hbox{\ex@ ${1}$}}}} \, \phi_t \psi_s$ and $\mathbb{A} \, { \mathrel{\mathop{*}\limits_{ \hbox{\ex@ ${1}$}}}} \, \psi_s$, the hatched areas do not intersect the boundaries of ${V_t} \, { \mathrel{\mathop{*}\limits_{ \hbox{\ex@ ${1}$}}}} \, \psi_s$ and $U \, { \mathrel{\mathop{*}\limits_{ \hbox{\ex@ ${1}$}}}} \, \psi_s$ respectively.
  • Figure 4.4: If a set of metrics is compatible with the decompositions as in Figures \ref{['fig:decompositions']} & \ref{['fig:decompositions2']}, then the multiplication isomorphism \ref{['eq:change_ann_iso']} sends the vectors in the determinant lines induced by these metrics to each other without any additional factors. For the middle isomorphism $\operatorname{I}^{U}_{V, \psi_s}$, this is due to Lemma \ref{['lemma:nofactor_metrics']}.

Theorems & Definitions (54)

  • Theorem 1.1
  • Remark 1.2
  • Remark 1.3
  • Remark 1.4
  • Corollary 1.5
  • Proposition 2.1
  • proof
  • Remark 2.2
  • Definition 2.3
  • Remark 2.4
  • ...and 44 more