Welcome to the fifth lesson in our module on Current Algebras and Wess-Zumino-Witten (WZW) models.
In our last lesson, we completed a crucial step by using the Sugawara construction to build the stress-energy tensor $T(z)$ from the affine currents $J^a(z)$. This established that WZW models are legitimate Conformal Field Theories and gave us a formula for their central charge, $c = \frac{k \, \text{dim}(\mathfrak{g})}{k + h^\vee}$.
Now that we know WZW models possess conformal symmetry, we can analyze their operator content. The most fundamental operators in any CFT are the primary fields, which organize the entire spectrum. Today, our goal is to identify exactly which operators play this role in a WZW model. As you will see, the powerful underlying affine Lie algebra symmetry provides a complete and elegant answer.
Your learning objective is to: Identify the primary fields of a WZW model with integrable representations of the underlying affine Lie algebra.
1. Primary Fields in Theories with Affine Symmetry
In a general CFT, a primary field is defined by its simple transformation property under the Virasoro algebra. However, WZW models have a much larger symmetry algebra: the affine Kac-Moody algebra $\hat{\mathfrak{g}}_k$. It is natural to define the "most fundamental" fields of the theory as those that transform as simply as possible under this larger algebra. These are often called affine primary fields.
An affine primary field $\Phi_\lambda(w)$ is defined by its Operator Product Expansion (OPE) with the affine currents $J^a(z)$:
Here, $t^a_\lambda$ are the matrices that represent the generators of the finite Lie algebra $\mathfrak{g}$ in the representation labeled by $\lambda$.
This OPE definition has a direct translation into the operator formalism. Using the state-operator correspondence, the field $\Phi_\lambda(w)$ corresponds to a state $|\lambda\rangle = \Phi_\lambda(0)|0\rangle$. The condition above is equivalent to $|\lambda\rangle$ being a highest-weight state of the affine algebra $\hat{\mathfrak{g}}_k$. This means:
- It is annihilated by all "raising" operators of the affine algebra:
- It forms a representation of the "horizontal" subalgebra
$\mathfrak{g}$(the zero-modes):
Specifically,$|\lambda\rangle$is a highest-weight state of a representation of$\mathfrak{g}$.
This establishes our first key connection: the primary fields of a WZW model correspond to highest-weight representations of the affine algebra $\hat{\mathfrak{g}}_k$.
The following resource provides a concise summary of this definition, connecting the operator language (highest-weight states) to the OPE language (primary fields).
Please read the first half of section 3.6, 'Representations', on page 17. Focus on the definition of a highest weight state (equation 3.82) and the 'Exercise 4' box, which shows how this definition translates into the OPE form (equation 3.83). You don't need to solve the exercise itself.
2. Conformal Dimension of Primary Fields
A crucial feature of the Sugawara construction is that an affine primary field is automatically a Virasoro primary field. We can compute the conformal dimension $h_\lambda$ of the field $\Phi_\lambda$ by acting on its corresponding state $|\lambda\rangle$ with the $L_0$ operator from the Sugawara construction.
Recall the Sugawara tensor:
The corresponding $L_0$ operator involves a sum over modes of the currents. When we act with $L_0$ on a highest-weight state $|\lambda\rangle$, all terms with $J^a_n$ for $n>0$ annihilate the state. The calculation simplifies dramatically.
Let's turn again to the Eberhardt notes, which present this calculation very clearly.
Please read the short section at the bottom of page 21 that begins with 'Let us compute the conformal weight...' and ends with equation (3.119). This shows how the conformal weight is related to the quadratic Casimir of the $\mathfrak{g}$ representation.
As you saw, the action of $L_0$ on $|\lambda\rangle$ isolates the action of the zero-modes, $\sum_a J^a_0 J^a_0$ which is precisely the quadratic Casimir operator $C_2$ of the Lie algebra $\mathfrak{g}$. The result is a fundamental formula in WZW theory:
Here, $C_2(\lambda)$ is the eigenvalue of the quadratic Casimir for the representation $\lambda$. This beautiful formula directly links the representation theory of $\mathfrak{g}$ (through $C_2(\lambda)$ and $h^\vee$) and $\hat{\mathfrak{g}}_k$ (through k) to the physical data of the CFT (the conformal dimensions $h_\lambda$).
3. The Role of Unitarity: Integrable Representations
So far, it seems that any highest-weight representation of $\mathfrak{g}$ gives rise to a primary field in the WZW model. However, WZW models based on compact Lie groups (like SU(N) or SO(N)) are unitary theories. This imposes a powerful physical constraint: the Hilbert space cannot contain any negative-norm states.
When we construct representations of an affine algebra starting from a highest-weight state $|\lambda\rangle$, we generate a Verma module. These modules can contain null states—states with zero norm. For the representation to be unitary, any potential negative-norm states must be absent. This requirement of unitarity restricts the set of allowed highest-weight representations $\lambda$ for a given level k.
The unitary highest-weight representations of an affine algebra are called integrable highest-weight representations. For a WZW model to be unitary, its spectrum of primary fields must correspond precisely to this set.
The condition for a representation $\lambda$ to be integrable at level $k$ is remarkably simple:
where $\theta$ is the highest root of the Lie algebra $\mathfrak{g}$ and the inner product is the standard one on the weight lattice.
A crucial consequence of this condition is that for any positive integer k, there is only a finite number of representations $\lambda$ that satisfy it. This means the WZW model has a finite number of primary fields. CFTs with this property are known as Rational Conformal Field Theories (RCFTs), and WZW models are the quintessential examples.
The following resources explain how this constraint arises and summarize the result.
First, read the text on page 21 of the Eberhardt notes, surrounding equation (3.116). This section uses the su(2) case to explicitly show how the demand for non-negative norm states leads to a condition on the representation label $\ell$ and the level k ($\ell \le k/2$). This provides the physical reasoning behind the constraint.
Now, for a concise statement of the general principle, please read the following.
Read the first paragraph of the 'Spectrum and Representations' section. It states the general result clearly: the spectrum consists of primary fields associated with integrable highest-weight representations satisfying $(\lambda, heta) \le k$.
4. Example: The SU(2)k WZW Model
Let's make this concrete with the most important example, the $\mathfrak{su}(2)_k$ WZW model.
- Representations of
$\mathfrak{su}(2)$: These are labeled by the spin$j \in \{0, 1/2, 1, 3/2, \dots\}$. - Integrability Condition: For
$\mathfrak{su}(2)$, the condition$\langle \lambda, \theta \rangle \le k$becomes$2j \le k$. - Allowed Primaries: Therefore, for a given integer level
k, the allowed primary fields are those corresponding to spins:
There are$k+1$primary fields in total. - Conformal Dimensions: For
$\mathfrak{su}(2)$, the Casimir is$C_2(j) = j(j+1)$and the dual Coxeter number is$h^\vee = 2$. Plugging this into our formula for the conformal weight gives:
For k=1, the allowed spins are j=0 and j=1/2.
j=0:$h_0=0$(the identity operator).j=1/2:\(h_{1/2} = \frac{1/2(3/2)}{1+2} = 1/4\.
For k=2, the allowed spins are j=0, 1/2, 1.
j=0:$h_0=0$j=1/2:$h_{1/2} = \frac{1/2(3/2)}{2+2} = 3/16$j=1:$h_1 = \frac{1(2)}{2+2} = 1/2$
This provides a complete classification of the primary field content and their scaling dimensions for any $\mathfrak{su}(2)_k$ model.
Test your understanding!
Consider the $\mathfrak{su}(3)_k$ WZW model. The representations of $\mathfrak{su}(3)$ are labeled by two non-negative integers $(\lambda_1, \lambda_2)$. The integrability condition is $\lambda_1 + \lambda_2 \le k$. The quadratic Casimir is given by $C_2(\lambda_1, \lambda_2) = \frac{1}{3}(\lambda_1^2 + \lambda_2^2 + \lambda_1\lambda_2 + 3\lambda_1 + 3\lambda_2)$, and for $\mathfrak{su}(3)$, $h^\vee=3$.
What are the primary fields and their conformal dimensions for the $\mathfrak{su}(3)_1$ WZW model?
Show answer
For k=1, the integrability condition is $\lambda_1 + \lambda_2 \le 1$. Since $\lambda_1, \lambda_2$ must be non-negative integers, there are three possibilities:
(0,0): The trivial (identity) representation.
$C_2(0,0) = 0 \implies h_{(0,0)} = 0$. This is the identity operator.(1,0): The fundamental representation (the quarks).
\(C_2(1,0) = \frac{1}{3}(1+0+0+3+0) = 4/3\.
\(h_{(1,0)} = \frac{C_2(1,0)}{2(k+h^\vee)} = \frac{4/3}{2(1+3)} = \frac{4/3}{8} = 1/6\.(0,1): The anti-fundamental representation (the anti-quarks).
\(C_2(0,1) = \frac{1}{3}(0+1+0+0+3) = 4/3\.
\(h_{(0,1)} = \frac{C_2(0,1)}{2(k+h^\vee)} = \frac{4/3}{8} = 1/6\.
So, the $\mathfrak{su}(3)_1$ model has three primary fields with dimensions $0, 1/6, 1/6$.
Conclusion
Today we have uncovered one of the most elegant features of WZW models. By combining the algebraic structure of the affine algebra with the physical requirement of unitarity, we arrived at a complete classification of the theory's primary fields.
Key Takeaways:
- The primary fields of a WZW model are affine primaries, meaning they transform simply under the affine Kac-Moody algebra
$\hat{\mathfrak{g}}_k$. - These fields correspond to states that are highest-weight states of the affine algebra.
- An affine primary is automatically a Virasoro primary, with a conformal dimension given by
$h_\lambda = \frac{C_2(\lambda)}{2(k + h^\vee)}$. - The requirement of unitarity restricts the allowed highest-weight representations to a finite set known as the integrable highest-weight representations, defined by the condition
$\langle \lambda, \theta \rangle \le k$. - This makes WZW models Rational CFTs, theories with a finite number of primary fields, whose properties are computable from the underlying algebra.
We have now identified the "what" of the WZW operator spectrum. In our next and final lesson of this module, we will address the "how"—how do these primary fields interact? We will see that the affine symmetry is so constraining that it leads to a set of linear differential equations, the Knizhnik-Zamolodchikov (KZ) equations, that govern all correlation functions in the theory.