Virasoro Conformal Blocks in 2D CFT

• Virasoro conformal blocks are holomorphic building blocks in 2D conformal field theory defined via power series expansions using the Virasoro algebra.
• They employ recursive techniques like Zamolodchikov recursions and explicit expansions on spheres and tori to compute correlation functions.
• They reveal deep connections to modular transformations, holographic dualities, and integrable structures, critical for bootstrap and Liouville theory.

Virasoro conformal blocks are the holomorphic building blocks of correlation functions in two-dimensional conformal field theories, corresponding to solutions of Virasoro Ward identities and defined as power series via the Virasoro algebra. They are characterized by their behavior under degeneration of the underlying Riemann surface, where the problem reduces recursively to three-point blocks fixed by symmetry, and they are central to the conformal bootstrap, Liouville theory, AGT, AdS$_3$/CFT$_2$, and several integrable and isomonodromic frameworks (Eberhardt, 2023, Ghosal et al., 2020).

1. Definition and basic analytic structure

For the four-punctured sphere, a Virasoro conformal block admits an explicit descendant expansion in which the intermediate representation is fixed and the coefficients are determined by Virasoro three-point matrix elements and the inverse Kac matrix. For the one-point torus, the block is defined as the graded trace over a Verma module with internal dimension $\Delta$ and external primary of dimension $\Delta_e$ (Eberhardt, 2023, Nemkov, 2016).

A basic analytic feature is that, as a function of the internal dimension, the block has only simple poles at the Virasoro Kac zeros

$$\Delta_{r,s}=\frac{Q^2}{4}-\left(\frac{r b+s b^{-1}}{2}\right)^2,\qquad r,s\ge 1,$$

with residues determined by lower blocks. In the toric case this structure is encoded by Zamolodchikov’s formula, and the same pole-and-residue pattern reappears in the modular kernel associated with modular transformations (Nemkov, 2016).

The modern Hilbert-space viewpoint refines this analytic picture. Normalizable Virasoro conformal blocks with all internal weights above threshold form a Dirac delta-normalizable basis, and the corresponding Hilbert space is naturally isomorphic to an $L^2$-space over the continuous internal momenta. This perspective makes the closure of the space of blocks under crossing and mapping-class-group operations manifest (Eberhardt, 2023).

2. Recursive constructions and explicit expansions

A central computational tool is Zamolodchikov recursion. One standard form treats the block as a meromorphic function of the central charge $c$, with poles at degenerate values and residues expressed through blocks with shifted internal weights. Another form uses the elliptic variable $q$ and recurses in the exchanged dimension $h_p$, as in

$$H(c,h_i,h_p,q)=1+\sum_{m,n\ge 1}(16q)^{mn}\frac{\hat R_{mn}(c,h_i)}{h_p-h_{p,mn}(c)}\,H(c,h_i,h_{p,mn}+mn,q),$$

which underlies efficient sphere and torus computations (Perlmutter, 2015, Cardona, 2020).

For four-point blocks on the sphere, three closed-form expansions are available for arbitrary operator dimensions and central charge. One is a decomposition into hypergeometric global $_2$0 blocks with explicit coefficients at arbitrary level; another is an elliptic expansion in the nome $_2$1; and a third is a sum over semiclassical Virasoro blocks in the heavy-light regime. In both the global and semiclassical representations, the $_2$2 expansion can be extracted systematically (Perlmutter, 2015).

At large $_2$3, heavy-light computations admit a refined recursion in which the heavy-light block itself serves as the seed rather than the ordinary global block. For higher-point cases, c-recursion generalizes these methods: in the five-point heavy-light setting it provides explicit boundary expressions that agree with the corresponding bulk worldline construction (Fitzpatrick et al., 2015, Belavin et al., 2017).

3. Semiclassical regimes and asymptotic limits

A long-standing conjecture states that Virasoro conformal blocks exponentiate in the semiclassical limit $_2$4 with ratios $_2$5 and $_2$6 held fixed: $_2$7 A direct proof was given for four-point blocks on the sphere using the oscillator formulation of the Virasoro algebra, and a later extension established the statement, as a formal power series, for higher-point and higher-genus non-vacuum blocks in arbitrary channels. A recurrent misconception is that exponentiation had already been proved in full generality; the available proofs distinguish the non-vacuum case from the vacuum case, which remains subtle in the oscillator formalism because of null-state structure (Besken et al., 2019, Gerbershagen et al., 16 Jun 2026).

In the heavy-light limit, two operators have dimensions scaling with $_2$8 and produce a classical background, while the remaining operators stay light. In one large-$_2$9 construction, the coupling of the stress tensor to heavy operators is absorbed by a background metric through

$\Delta$0

so that the Virasoro block in the original background becomes a global conformal block in the $\Delta$1-coordinates, up to Jacobian prefactors. When $\Delta$2, the parameter $\Delta$3 is related to the BTZ Hawking temperature by $\Delta$4, yielding the thermal behavior of heavy-light correlators (Fitzpatrick et al., 2015).

Another important asymptotic regime is large exchange dimension. For $\Delta$5 much larger than the external dimensions and the central charge, the recursion simplifies drastically. In the equal-external-dimension case, the nontrivial elliptic factor obeys

$\Delta$6

with

$\Delta$7

This leading large-$\Delta$8 correction is governed by the Eisenstein series $\Delta$9, and for both the torus one-point block and the sphere four-point block each order in the $\Delta_e$0 expansion can be written as a polynomial in Eisenstein series, yielding a quasimodular organization of the heavy-intermediate regime (Cardona, 2020, Das et al., 2020).

For multipoint sphere blocks in the comb channel, WKB analysis of the classical BPZ equation provides large-intermediate-dimension asymptotics. These asymptotics pass nontrivial checks, including agreement with known exact expressions for five-point blocks in special cases and with the usual series expansion computed using AGT, and they suggest a route toward elliptic-type recursion beyond four points (Artemev et al., 9 Mar 2026).

4. Crossing, modularity, and analytic continuation

Crossing transformations of Virasoro conformal blocks can be bootstrapped from first principles by emphasizing the Hilbert-space structure of the space of blocks. In this framework, crossing kernels act as unitary integral transforms between delta-normalizable bases associated with different pants decompositions, and the Moore-Seiberg consistency relations become transparent. The resulting mapping-class-group action is unitary, projective, and faithful, and the difference equations derived from degenerate representations, together with symmetry constraints, fix the crossing kernel uniquely (Eberhardt, 2023).

On the torus, modular transformations act linearly on conformal blocks through an integral kernel. For the one-point toric block, the modular kernel inherits the same analytic structure in the internal dimension as the block itself: its poles are again at Kac zeros, and its residues satisfy the same recursive pattern implied by Zamolodchikov’s formula. Explicit formulas in terms of the double gamma function $\Delta_e$1 and double sine function $\Delta_e$2 exhibit how the poles are concentrated in a normalization factor while the remaining series part stays regular (Nemkov, 2016).

Analytic continuation to irregular singularities introduces a Stokes phenomenon. Confluent conformal blocks of the second kind are constructed as confluent limits of crossing transformations of ordinary four-point Virasoro blocks, and sector-dependent Stokes transformations are realized as explicit integral operators. In the BPZ limit these objects reduce to the solutions and Stokes matrices of the confluent BPZ equation, showing that the infinite-dimensional Virasoro setting retains the same sectoral analytic structure familiar from ordinary differential equations with irregular singularities (Lenells et al., 2020).

5. Geometric and holographic realizations

Heavy-light Virasoro blocks admit a direct AdS$\Delta_e$3 worldline description. In the semiclassical limit, the $\Delta_e$4-point heavy-light block equals the action of $\Delta_e$5 probe particles propagating in a conical-defect or BTZ background produced by the two heavy operators. A perturbative method relaxes earlier restrictions on internal dimensions and yields explicit agreement between the bulk worldline action and the boundary block computed by c-recursion, including the five-point case with unequal intermediate dimensions (Belavin et al., 2017).

Classical vacuum blocks also control fully backreacted multi-centered AdS$\Delta_e$6 geometries. In a stationary ansatz with pointlike masses moving on helical geodesics, the Einstein equations reduce to a Liouville equation on the disk with Zamolodchikov-Zamolodchikov boundary condition. The remaining accessory parameters are fixed by an $\Delta_e$7 monodromy problem, and that monodromy problem is solved by a vacuum classical Virasoro block in a specific $\Delta_e$8-point sphere channel. In this way, classical blocks supply the data needed to reconstruct multi-centered asymptotically AdS$\Delta_e$9 solutions (Hulík et al., 2016).

A complementary bulk description uses Chern-Simons Wilson line networks. At leading large $$\Delta_{r,s}=\frac{Q^2}{4}-\left(\frac{r b+s b^{-1}}{2}\right)^2,\qquad r,s\ge 1,$$0, open Wilson line networks compute conformal blocks, while $$\Delta_{r,s}=\frac{Q^2}{4}-\left(\frac{r b+s b^{-1}}{2}\right)^2,\qquad r,s\ge 1,$$1 corrections arise from loop diagrams involving current insertions along the lines. A regularization prescription based on regulated current correlators, parameter renormalization, and Ward-identity constraints yields the identity Virasoro block up to order $$\Delta_{r,s}=\frac{Q^2}{4}-\left(\frac{r b+s b^{-1}}{2}\right)^2,\qquad r,s\ge 1,$$2, general light-light blocks, and heavy-light correlators; the same framework extends to $$\Delta_{r,s}=\frac{Q^2}{4}-\left(\frac{r b+s b^{-1}}{2}\right)^2,\qquad r,s\ge 1,$$3 blocks (Hikida et al., 2018).

6. Integrable structures, deformations, and alternative constructions

When Virasoro conformal blocks contain only second-order degenerate fields, they satisfy second-order differential equations that can be identified with the trigonometric Calogero-Sutherland Hamiltonian. A generalized duality exchanges the two types of second-order degenerate fields, and the corresponding excited states are organized by pairs of partitions in the Virasoro case and by $$\Delta_{r,s}=\frac{Q^2}{4}-\left(\frac{r b+s b^{-1}}{2}\right)^2,\qquad r,s\ge 1,$$4-tuples of partitions in $$\Delta_{r,s}=\frac{Q^2}{4}-\left(\frac{r b+s b^{-1}}{2}\right)^2,\qquad r,s\ge 1,$$5 theories. After adjoining a $$\Delta_{r,s}=\frac{Q^2}{4}-\left(\frac{r b+s b^{-1}}{2}\right)^2,\qquad r,s\ge 1,$$6 field, the resulting integrals of motion coincide with those appearing in Liouville-theory constructions related to the AGT conjecture (Estienne et al., 2011).

The Dotsenko-Fateev representation gives another integrable realization in the classical regime. For certain multipoint sphere blocks in the comb channel, the classical block is obtained from the critical value of the Dotsenko-Fateev matrix-model action, and the saddle-point equations for the screening charges take the form of Bethe equations for rational Gaudin or Richardson-Gaudin models. This identifies classical Virasoro blocks with on-shell data of an associated integrable system (Piatek et al., 2021).

Deformations of the Virasoro algebra replace differential equations by difference equations. For $$\Delta_{r,s}=\frac{Q^2}{4}-\left(\frac{r b+s b^{-1}}{2}\right)^2,\qquad r,s\ge 1,$$7-deformed Virasoro blocks, whenever one external representation is degenerate the block satisfies an explicit non-stationary difference equation in the variable of the degenerate insertion. In the Nekrasov-Shatashvili limit $$\Delta_{r,s}=\frac{Q^2}{4}-\left(\frac{r b+s b^{-1}}{2}\right)^2,\qquad r,s\ge 1,$$8 this becomes a stationary difference Schrödinger equation, and in the limit $$\Delta_{r,s}=\frac{Q^2}{4}-\left(\frac{r b+s b^{-1}}{2}\right)^2,\qquad r,s\ge 1,$$9 it reduces to the classical BPZ differential equation. In a special case with three degenerate modules, the block reduces to a Macdonald polynomial and the difference equation becomes the standard Macdonald or Ruijsenaars-Schneider equation (Shakirov, 2021).

Irregular singularities require irregular vertex operators and irregular conformal blocks. Precise definitions of two types of irregular vertex operators lead to irregular Virasoro blocks with up to two irregular singular points, including expansions directly at the irregular singularities. These expansions in turn produce conjectural series for the tau functions of the fifth and fourth Painlevé equations, extending the regular-singularity conformal-block technology to the wild case (Nagoya, 2015).

Several nonstandard constructions enlarge the analytic toolkit. For Liouville theory on the torus with $L^2$0, a probabilistic construction based on Gaussian multiplicative chaos yields an analytic function whose power-series expansion coincides with the one-point toric Virasoro block, providing a non-perturbative representation with implications for analytic continuation and modular symmetry (Ghosal et al., 2020). At $L^2$1, a nonabelianization map relates Virasoro blocks on a Riemann surface $L^2$2 to Heisenberg blocks on a branched double cover $L^2$3 determined by a spectral network, producing fermionic and regularized Fredholm-determinant formulas and intertwining the action of Verlinde loop operators (Hao et al., 2024).