Skip to main content

Welcome to a Grasp lesson

Create a free account to keep studying and create your own study path.

Lesson 34

Sugawara Construction and Central Charge Calculation

Recommended resources

Hello! Welcome to the fourth lesson in our module on Current Algebras and Wess-Zumino-Witten (WZW) Models.

In our previous lesson, we constructed the WZW action. We saw that by adding the topological Wess-Zumino term to the principal chiral model action, we could engineer a theory with separately conserved holomorphic and anti-holomorphic currents, $J(z)$ and $\bar{J}(\bar{z})$. The modes of these currents generate the affine Kac-Moody algebra we studied earlier.

However, having conserved currents is not sufficient to prove a theory is a Conformal Field Theory. We must also demonstrate the existence of a stress-energy tensor $T(z)$ whose modes generate the Virasoro algebra. Today, we will bridge this gap. We will show how to construct $T(z)$ explicitly from the currents of the affine algebra and, in doing so, compute the central charge $c$ of the WZW model.

This process is known as the Sugawara construction, and it is a cornerstone of WZW theory, explicitly demonstrating that these models are indeed CFTs. Your learning objective for this lesson is to: Relate the stress tensor to the currents via the Sugawara construction and compute the central charge.

1. The Sugawara Ansatz

In a theory with an affine Lie algebra symmetry, we have an infinite set of conserved quantities associated with the currents $J^a(z)$. How does the stress-energy tensor $T(z)$, which generates conformal transformations, relate to these currents?

The Sugawara construction proposes that $T(z)$ is built quadratically from the currents themselves. The most natural guess is an expression of the form:

Let's break this down:

  • $\sum_a$ is a sum over an orthonormal basis of the Lie algebra $\mathfrak{g}$.
  • The $::$ notation denotes normal ordering. As you know from QFT, when we bring two operator-valued fields to the same point, we get singularities. Normal ordering is a procedure to subtract these singularities, leaving a well-defined local operator. In the context of the Operator Product Expansion (OPE), it means we subtract the singular terms.
  • $\gamma$ is a normalization constant. Our first task will be to determine its value by imposing consistency conditions.

For this $T(z)$ to be a valid stress-energy tensor for our CFT, two crucial properties must hold:

  1. The currents $J^a(z)$ must be primary fields of conformal dimension $h=1$ with respect to this $T(z)$.
  2. $T(z)$ must satisfy the Virasoro algebra OPE with itself.

We will now verify these two properties in turn.


2. Making Currents Primary: Fixing $\gamma$

Recall that the OPE between the stress tensor and a primary field $\phi(w)$ of dimension $h$ takes the universal form:

We need our currents $J^a(w)$ to satisfy this with $h=1$. To check this, we must compute the OPE of our $T(z)$ ansatz with $J^b(w)$ and demand it has the correct form. This calculation relies on the fundamental OPE of the affine Lie algebra, which we saw in a previous lesson:

The following reading walks through this calculation. It shows that the OPE $T(z)J^b(w)$ does indeed produce the correct structure for a dimension-1 primary field, and this requirement uniquely fixes the value of $\gamma$.

Wess-Zumino-Witten Models

The lecture notes 'Wess-Zumino-Witten Models' by Lorenz Eberhardt, which we used in the previous lesson, provide a direct and clear derivation of the Sugawara construction. We will first focus on the part of the derivation that fixes the normalization constant of the stress tensor.

Please read section 3.3, 'The Sugawara construction', from the beginning on page 9 up to equation (3.26) on page 11. Focus on how the OPE T(z)J^a(w) is computed and how it leads to the value of the constant γ.

As you saw in the reading, the calculation involves applying Wick's theorem to the expression $:J^a(z)J^a(z): J^b(w)$. A key algebraic identity that appears is:

where $h^\vee$ is the dual Coxeter number of the Lie algebra $\mathfrak{g}$, a characteristic integer associated with the algebra's structure.

By performing the OPE calculation, one arrives at:

Comparing this to the standard form for a dimension-1 primary, we must have $2\gamma(k + h^\vee) = 1$. This fixes our normalization constant:

With this, our stress tensor is fully defined as:


3. Computing the Central Charge

Now that $T(z)$ is properly normalized, we can perform the final and most important check: computing its OPE with itself. This will verify that it generates a Virasoro algebra and will allow us to read off the central charge $c$.

The calculation is conceptually similar to the last one but algebraically more intensive. We need to compute the OPE of $T(z)T(w)$ by applying Wick's theorem to the product of two Sugawara tensors.

Wess-Zumino-Witten Models

We will now continue in the same section of Eberhardt's notes to see the final step of the construction: the calculation of the central charge.

Please continue reading section 3.3, starting from equation (3.27) on page 11 and finishing at equation (3.32). Follow the steps of the T(z)T(w) OPE calculation to see how the central charge emerges.

The calculation yields the standard Virasoro OPE:

where the central charge $c$ is found to be:

This is a beautiful and powerful result. It explicitly shows that a WZW model is a CFT whose central charge is completely determined by the properties of its underlying affine Lie algebra: the level k, the dimension of the group $\text{dim}(\mathfrak{g})$, and the dual Coxeter number $h^\vee$.

Test your understanding! (Computational Practice)

The OPE method is powerful, but it's also insightful to see the same result emerge from the operator formalism of modes. The notes contain an exercise that re-derives the Virasoro algebra and the central charge by computing the commutators of the modes $L_m$ and $J^a_n$.

Work through Exercise 2 on page 11 of the Eberhardt notes. The full solution is provided on pages 11-13. This is an excellent way to practice your computational skills with mode expansions and normal ordering, which you are familiar with from your QFT studies. The goal is to verify these two key relations:

  1. $[L_m, J^a_n] = -n J^a_{m+n}$ (confirming $J^a$ transforms as a weight-1 field)
  2. $[L_m, L_n] = (m-n)L_{m+n} + \frac{c}{12}m(m^2-1)\delta_{m+n,0}$ (confirming the Virasoro algebra and finding $c$).

4. Properties of the WZW Central Charge

Let's briefly examine the formula for the central charge.

Wess-Zumino-Witten Models

The notes provide a concise summary of the properties of this formula for various Lie algebras.

Please read section 3.4, 'The central charge', on page 14. Pay attention to Table 1, which lists the dual Coxeter numbers for common Lie algebras, and the discussion of the bounds on c.

A few key points are worth highlighting:

  • For non-trivial $\mathfrak{g}$ and finite $k$ and $h^\vee$, the central charge is non-zero, confirming these are interacting CFTs (unless $k=0$).
  • For a fixed algebra $\mathfrak{g}$, as the level $k \to \infty$, the central charge approaches $\text{dim}(\mathfrak{g})$. This corresponds to a semi-classical limit.
  • The bound $\text{rank}(\mathfrak{g}) \le c < \text{dim}(\mathfrak{g})$ holds for positive integer k. The lower bound $c = \text{rank}(\mathfrak{g})$ is saturated for simply-laced algebras (A, D, E series) at level $k=1$. These k=1 models are special because they can be described by $\text{rank}(\mathfrak{g})$ free bosons, a result known as the Frenkel-Kac-Segal construction.

For example, for the $\mathfrak{su}(2)_k$ WZW model, we have $\text{dim}(\mathfrak{su}(2))=3$ and $h^\vee=2$. The central charge is:

For $k=1$, we get $c=1$, corresponding to a single free boson. For $k=2$, $c=3/2$, which you may recognize as the central charge of the critical 3-state Potts model or the $\mathcal{N}=1$ superconformal minimal model.


Conclusion

Today, we have demonstrated that any WZW model based on an affine Lie algebra $\hat{\mathfrak{g}}_k$ is a conformal field theory.

Key Takeaways:

  • The Sugawara construction provides an explicit formula for the stress-energy tensor $T(z)$ of a WZW model as a normal-ordered quadratic expression in the currents $J^a(z)$.
  • The normalization of the Sugawara tensor is fixed by requiring the currents to be primary fields of dimension 1. This introduces the dual Coxeter number $h^\vee$ into the expression.
  • The $T(z)T(w)$ OPE confirms that the Sugawara tensor generates a Virasoro algebra, with a central charge given by $c = \frac{k \, \text{dim}(\mathfrak{g})}{k + h^\vee}$.
  • This result solidifies the connection between affine Lie algebras and 2D CFT, showing that the algebraic data ($k, \mathfrak{g}, h^\vee$) directly determines a key physical parameter (c) of the theory.

We have now established the full conformal and affine symmetry structure of WZW models. In our next lesson, we will begin to explore the consequences of this structure by identifying the primary fields of the theory, which correspond to the integrable representations of the affine Lie algebra that we studied previously.