🔢 mathematics

Conformal blocks of Wess-Zumino-Witten model from its free-field representation

This paper provides a detailed derivation of conformal blocks for $\hat{sl}(2)_k$ and $\hat{sl}(3)_k$ Wess-Zumino-Witten models using their free-field representations, explicitly demonstrating the emergence of global $sl(2)$ and $sl(3)$ symmetries and verifying the Knizhnik-Zamolodchikov equations through double integral expressions.

Original authors: Alexei Morozov, Hasib Sifat

Published 2026-08-17

📖 6 min read🧠 Deep dive

CC BY 4.0

Original authors: Alexei Morozov, Hasib Sifat

Original paper licensed under CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ This is an AI-generated explanation of the paper below. It is not written or endorsed by the authors. For technical accuracy, refer to the original paper. Read full disclaimer

Imagine the universe as a giant, invisible dance floor where particles don't just bump into each other; they perform a complex, choreographed routine governed by strict rules of symmetry. Physicists call this "Conformal Field Theory," a way of studying how things behave when you stretch or shrink the stage they're on without tearing it. One of the most famous dancers on this floor is the Wess-Zumino-Witten (WZW) model. Think of it as a special kind of dance troupe where every move is dictated by an underlying mathematical rhythm called a "Lie algebra."

To understand the dance, scientists need to calculate "correlation functions." In plain English, this is like predicting the odds of seeing two dancers perform a specific move at the same time, or how a group of five dancers will interact when they all start spinning. The paper we are looking at tackles a very specific, tricky version of this problem. It focuses on a method called "free-field realization." Imagine trying to describe a complex, swirling storm. Instead of tracking every single drop of rain and gust of wind (which is incredibly hard), you try to describe the storm using a few simple, straight lines of wind and rain that you know how to calculate. This paper asks: Can we use these simple, straight-line "free fields" to perfectly reconstruct the complex, swirling dance of the WZW model?

The authors, Alexei Morozov and Hasib Sifat, dive deep into this question. They are essentially trying to translate a difficult, abstract language of quantum physics into a more manageable, calculable dialect. They focus on two specific dance troupes: one based on the symmetry of a sphere (called $\hat{sl}(2)_k$ ) and a slightly more complex one based on a more intricate shape (called $\hat{sl}(3)_k$ ). Their goal is to show exactly how to build the "conformal blocks"—the fundamental building blocks of the dance routine—using these simple free fields. They want to prove that if you follow their recipe, you get the exact same answer as if you had solved the notoriously difficult equations (known as Knizhnik-Zamolodchikov equations) that usually govern these dances.

The Paper's Journey: From Simple Lines to Complex Storms

The paper begins by setting the stage with the simpler troupe, the $\hat{sl}(2)_k$ model. The authors explain that to calculate how these particles interact, they use a "bosonization" trick. This is like taking a complex, multi-instrument orchestra and realizing that every sound can actually be broken down into a few simple, pure tones. They introduce "vertex operators," which are the mathematical labels for the dancers. To make the math work, they have to ensure "charge neutrality." Imagine a party where everyone brings a gift. If the total value of all gifts brought in doesn't equal the total value of gifts taken out, the party collapses (the math gives zero). To fix this, the authors introduce "screening charges." Think of these as special "gift exchanges" or "balancing acts" that happen at invisible points on the dance floor to ensure the total balance is zero.

The authors then walk us through calculating the interactions for two, three, and four dancers. They show that for two dancers, it's simple; for four, it gets interesting. They derive a specific formula, known as a Dotsenko-Fateev (DF) integral. You can think of this integral as a recipe for a complex soup. The ingredients are the positions of the dancers, and the "screening charges" are extra ingredients you have to add in specific amounts. The paper demonstrates that if you follow this recipe, you get a result that looks like a "hypergeometric function." In the world of math, these are special, well-known functions that appear in many places, like the way a bell curve appears in statistics. The authors show that for the four-dancer case, their free-field recipe produces exactly these familiar functions, confirming that their method works.

They also check if the dance holds up under "global symmetry." Imagine the whole dance floor is a spinning globe. If you rotate the entire globe, the dance should look the same, just from a different angle. The authors prove that their calculated interactions respect this rule. However, they also find a limit: if you try to rotate each dancer individually by a different amount (a "local" symmetry), the dance breaks. This is a crucial finding; it tells us that while the group moves together beautifully, the individual dancers cannot be twisted independently without breaking the rules of the model.

Next, the paper tackles the more complex troupe: the $\hat{sl}(3)_k$ model. This is like moving from a dance on a flat floor to a dance on a 3D structure. The math gets messier. Instead of one type of "gift exchange" (screening charge), they now need two different types to balance the equation. The authors construct the vertex operators for this new, more complex group and calculate a four-point interaction. The result is a "double integral"—a recipe that requires adding two layers of extra ingredients instead of one.

Here is where the paper gets really exciting. The authors verify that this double-integral recipe actually solves the Knizhnik-Zamolodchikov (KZ) equations. These equations are the "laws of motion" for this specific dance. Usually, solving them is a nightmare. But the authors show that their free-field recipe, which looks like a complicated double integral, is mathematically equivalent to the solution of these laws. They even show how to turn this double integral into a specific type of differential equation, proving that their method is not just a guess, but a rigorous solution.

The paper concludes by looking at the bigger picture. They suggest that if you add even more dancers (moving to 6-point, 8-point, or $n$ -point functions), the math becomes even more complex. The simple "hypergeometric functions" they found for four dancers will likely turn into "generalized hypergeometric integrals." They propose a framework where the number of dancers, the type of dance (the algebra), and the specific moves (the representations) all determine how many "contours" or paths you need to integrate over. They don't solve every single case in this paper, but they provide the map and the compass. They show that the free-field approach is a powerful tool that can handle these complex, multi-dimensional dances, turning abstract algebraic problems into concrete integrals that can be calculated.

In short, Morozov and Sifat have built a bridge. On one side is the abstract, difficult world of Kac-Moody algebras and KZ equations. On the other side is the concrete, calculable world of free fields and integrals. They have walked across that bridge for the simplest and slightly more complex cases, showing that the two sides are indeed connected. They haven't solved the entire universe of these dances, but they have proven that the free-field method is a valid and powerful way to understand the choreography of the WZW model, offering a clear path for future explorers to tackle even more complex routines.

Technical Summary: Conformal Blocks of Wess-Zumino-Witten Model from its Free-Field Representation

Problem Statement
The computation of correlation functions in two-dimensional conformal field theories, specifically the Wess-Zumino-Witten (WZW) model, is a central problem. While these correlators are constrained by the infinite-dimensional current algebra and satisfy the Knizhnik-Zamolodchikov (KZ) equations, explicit calculations of conformal blocks using free-field representations have not been described in full detail in the existing literature. Although the free-field approach (Dotsenko-Fateev formalism) was successfully applied to Virasoro minimal models and later extended to WZW theories, the study of WZW conformal blocks via this method was largely abandoned. Consequently, the explicit relation between free-field integral representations and the solutions to KZ equations, particularly for higher-rank algebras like $\hat{sl}(3)_k$ , remains under-investigated. Furthermore, the global symmetries of the resulting correlators are not always manifest in the free-field formalism.

Methodology
The authors employ the free-field realization (bosonization) of affine Lie algebras to construct conformal blocks. The methodology proceeds through the following steps:

Bosonization: The Kac-Moody currents of $\hat{sl}(2)_k$ and $\hat{sl}(3)_k$ are expressed in terms of free bosonic fields ( $\phi, u, v$ ) and ghost systems ( $W, \chi$ ). This involves Wakimoto's bosonization and a second-level bosonization to fully represent the currents using scalar fields.
Vertex Operator Construction: Primary vertex operators are constructed as exponentials of these free fields. The parameters of these exponentials are determined by requiring specific Operator Product Expansion (OPE) behaviors with the currents (first-order poles for raising/lowering operators and correct residues for Cartan generators).
Charge Neutrality and Screening: To obtain non-vanishing correlators on the sphere, the authors enforce a charge neutrality condition. This necessitates the insertion of "screening charges" (integrals of specific vertex operators) and, in some cases, reflected (dual) vertex operators to cancel the total charge of the free fields.
Dotsenko-Fateev (DF) Integral Derivation: The correlators are reduced to multiple contour integrals over the positions of the screening charges. These integrals are of the hypergeometric type.
Verification: The derived integral representations are verified against the KZ equations. For $\hat{sl}(2)_k$ , the authors demonstrate how the integral solutions reduce to standard Gauss hypergeometric functions ( ${}_2F_1$ ). For $\hat{sl}(3)_k$ , they show that the solutions take the form of double integrals and verify that these satisfy the KZ system.
Symmetry Analysis: The paper analyzes the global $SU(2)$ and $SU(3)$ symmetries of the correlators, demonstrating that while the correlators are invariant under global rotations (provided fusion rules and weight sum conditions are met), local $SU(2)$ symmetry is broken.

Key Results

$\hat{sl}(2)_k$ Model: The authors explicitly derive the two-point, three-point, and four-point correlators. They show that the four-point function corresponds to a Dotsenko-Fateev integral with one screening charge. By expanding the integral, they recover the two independent conformal blocks as solutions to a second-order hypergeometric differential equation, matching the dimension of the KZ solution space. They also establish the conditions for non-vanishing correlators based on fusion rules and charge neutrality.
$\hat{sl}(3)_k$ Model: The paper extends the formalism to rank-2 algebras. It constructs vertex operators for fundamental and anti-fundamental representations and derives the four-point correlator involving two types of screening charges ( $Q_1, Q_2$ ). The resulting expression is a double integral over screening positions. The authors explicitly verify that this double integral satisfies the KZ equations for $\hat{sl}(3)_k$ , noting that the solutions do not appear as ordinary hypergeometric functions but as more complex multiple integrals.
Generalization to Multipoint Correlators: The authors outline the structure for $n$ -point correlators and higher-rank algebras ( $\hat{sl}(N)_k$ ). They argue that the dimension of the solution space corresponds to the number of singlets in the irreducible decomposition of the tensor product of the representations involved. For $n$ -point functions, the conformal blocks are expected to be linear combinations of generalized hypergeometric integrals, rather than simple ${}_2F_1$ functions.
Matrix Model Connection: The integral representations are identified as Penner-type matrix models with logarithmic potentials, connecting the WZW conformal blocks to eigenvalue matrix models.

Significance and Claims
The paper claims to provide the first detailed, explicit calculations of conformal blocks for $\hat{sl}(2)_k$ and $\hat{sl}(3)_k$ WZW models using the free-field representation, filling a gap in the literature where such derivations were previously incomplete. The work serves as a technical step towards curing the lack of explicit derivations for generic WZW conformal blocks and their associated matrix models.

The authors modestly state that this paper is a "step towards curing this situation" and sets the profile for future work. They emphasize that while they have demonstrated the equivalence of the free-field integrals and KZ solutions for low-rank and low-point cases, the general problem of extracting generalized hypergeometric functions from these integrals for arbitrary affine algebras and multipoint correlators remains open. The primary contribution is the establishment of a practical framework (the "path" from bosonization to DF integrals) and the explicit verification of this framework for the simplest non-trivial cases beyond the minimal models. The paper does not propose new experimental applications but aims to provide the necessary technical groundwork for future studies in topological string theory, quantum Langlands programs, and the broader understanding of conformal field theories.

The Paper's Journey: From Simple Lines to Complex Storms

More like this