Hello! Welcome back to our study of two-dimensional conformal field theory.
In our last lesson, we introduced the Kac determinant formula, a powerful tool that precisely determines when a Verma module is reducible. We saw that for specific pairs of central charge and conformal dimension , denoted , the determinant vanishes, signaling the appearance of a null vector at level .
Today, we will take a major step forward. We will combine the mathematical condition of reducibility with the physical requirement of unitarity. This will dramatically constrain the possibilities, leading us to a discrete, solvable series of theories known as the unitary minimal models. A minimal model is a CFT with a finite number of primary fields, which makes them particularly tractable. Our goal is to understand how these models are classified by their central charge and operator content, using the structure we saw emerging last time: the Kac table.
Unitarity and the c < 1 Discrete Series
As we discussed previously, a unitary theory requires the Gram matrix of inner products to be positive semi-definite at every level . This means its determinant must be non-negative:
The Kac determinant formula gives us the zeros of this polynomial. Between these zeros, the determinant is either positive or negative. A careful analysis, first performed by Friedan, Qiu, and Shenker in 1984, showed that for c < 1, the only way to satisfy this condition for all is if (c, h) belongs to a specific discrete set.
To understand this result, let's look at the relevant material.
Aspects of Two-Dimensional Conformal Field Theories
The following section from Xi Yin's lecture notes, 'Aspects of Two-Dimensional Conformal Field Theories', concisely states the result of the unitarity analysis for c < 1. It provides the exact set of allowed (c, h) pairs.
Please read the short subsection under 'Representations of Virasoro algebra' that begins 'For c < 1, one can show that...'. This contains equation (2.20), which is the central result we need.
The result you just read is profound. It tells us that unitary representations of the Virasoro algebra with c < 1 exist only if:
- The central charge takes one of the discrete values:
- For a given , the conformal dimension of a primary field must be one of the values from the Kac formula: where the integers and are restricted to the ranges and .
This discrete series of theories are the unitary minimal models. The integer labels the model.
The Structure of Minimal Models
Why does having a finite number of primaries relate to these specific values of c? The key lies in the concept of multiply degenerate representations.
To get a finite operator algebra that is closed under the Operator Product Expansion (OPE), we need the fusion of any two primary fields to produce only other fields from our finite set. This truncation happens very effectively when representations have more null vectors than the minimum. This occurs when a conformal dimension h happens to satisfy the condition h = h_{r,s} for multiple pairs (r,s).
This requires a special tuning of the central charge. Let's introduce a useful parametrization you may have seen in your self-study of QFT, which is particularly suited to this analysis.
Introduction to two-dimensional conformal field theory
The following text from the notes 'Introduction to two-dimensional conformal field theory' explains how requiring a finite spectrum naturally leads to specific values of the central charge and defines the Kac table.
Please read from the start of Section 4.1 'Diagonal minimal models' up to (and including) equation (4.6). This section introduces the concept that a finite spectrum requires doubly degenerate representations, which in turn forces c to take specific rational forms.
As you've just read, for a representation to be multiply degenerate, we need coincidences of the form (using the notation for conformal dimension from that text). This happens when the parameter (related to ) is a rational number. Let's set for coprime integers . This leads to:
- A central charge
c = 1 - 6(p-q)^2 / (pq) - An identification between conformal dimensions: .
How does this connect to the unitary series c_m? The unitary models correspond to the special case where |p-q| = 1. If we set q = m and p = m+1, we recover the unitary series:
So, the m-th unitary minimal model is also known as the (m+1, m) minimal model.
The Kac Table and Operator Content
For the (p,q) = (m+1, m) minimal model, the complete set of primary operators is labeled by integer pairs (r,s) within a bounded rectangle, called the Kac table.
The operator content of the m-th unitary minimal model is given by the primary fields with dimensions h_{r,s} where 1 \le r \le p-1 = m and 1 \le s \le q-1 = m-1.
Due to the identification h_{r,s} = h_{p-r, q-s} = h_{m+1-r, m-s}, the number of distinct primary operators is roughly half the size of this rectangle: m(m-1)/2.
Let's make this concrete with the most famous example.
Example: The m=3 Minimal Model (Critical Ising Model)
The simplest non-trivial unitary minimal model corresponds to m=3.
- This is the
(p,q) = (4,3)model. - The central charge is
c_3 = 1 - 6/(3 \times 4) = 1/2. This is the CFT that describes a 2D Ising model at its critical temperature. - The primary operators are labeled by
(r,s)with1 \le r \le 3and1 \le s \le 2. This gives a3x2Kac table. - The conformal dimensions are given by
h_{r,s} = \frac{(4r - 3s)^2 - 1}{4 \cdot 3 \cdot 4} = \frac{(4r - 3s)^2 - 1}{48}.
Let's calculate the dimensions for the six pairs in the Kac table:
(r,s)=(1,1):h_{1,1} = ( (4-3)^2 - 1 ) / 48 = 0. This is the identity operatorI.(r,s)=(1,2):h_{1,2} = ( (4-6)^2 - 1 ) / 48 = 3/48 = 1/16. This is the spin operatorσ.(r,s)=(2,1):h_{2,1} = ( (8-3)^2 - 1 ) / 48 = 24/48 = 1/2. This is the energy operatorε.(r,s)=(2,2):h_{2,2} = ( (8-6)^2 - 1 ) / 48 = 3/48 = 1/16. This is the same ash_{1,2}.(r,s)=(3,1):h_{3,1} = ( (12-3)^2 - 1 ) / 48 = 80/48 = 5/3. (Wait, let's use the identityh_{r,s} = h_{4-r, 3-s}).
h_{3,1} = h_{4-3, 3-1} = h_{1,2} = 1/16.(r,s)=(3,2):h_{3,2} = h_{4-3, 3-2} = h_{1,1} = 0.
The Kac table of conformal dimensions looks like this:
s\r |
1 | 2 | 3 |
|---|---|---|---|
| 1 | 0 | 1/2 | 1/16 |
| 2 | 1/16 | 1/2 | 0 |
The set of distinct primary operator dimensions is {0, 1/16, 1/2}. This CFT contains only three primary fields: the identity I, the spin field σ, and the energy field ε. All other states in the theory are their descendants. The finiteness of this spectrum is what makes the model "minimal" and, ultimately, solvable.
This diagram from the notes "Introduction to two-dimensional conformal field theory" shows the Kac table for the (p,q)=(4,3) minimal model, corresponding to c=1/2. The numbers are the conformal dimensions hr,s. Note the symmetry hr,s = h4-r, 3-s, which leads to only three unique dimensions.
Test your understanding!
Consider the next unitary minimal model, with m=4. What is its central charge? How many distinct primary fields does it have?
Show answer
For m=4, we have the (p,q)=(5,4) model.
- The central charge is
c_4 = 1 - 6/(4 \times 5) = 1 - 3/10 = 7/10. This is the CFT for the tricritical Ising model. - The Kac table is a
p-1byq-1rectangle, which is4 \times 3. - The number of distinct primary fields is
(p-1)(q-1)/2 = (4 \times 3) / 2 = 6.
Conclusion
Today we have seen how the physical principle of unitarity acts as a powerful constraint on the mathematical structure of the Virasoro algebra. For c < 1, this leads to a discrete series of physically consistent theories, the unitary minimal models.
Key Takeaways:
- Unitary CFTs with
c < 1only exist for a discrete set of central chargesc_m = 1 - 6/(m(m+1))wherem=2,3,.... - These are called the unitary minimal models and can be labeled by
mor the coprime integer pair(p,q) = (m+1, m). - A minimal model has a finite number of primary fields, whose conformal dimensions
h_{r,s}are given by the Kac formula. - The full operator content of the
m-th model is classified by the Kac table: a grid of(r,s)values with1 \le r \le mand1 \le s \le m-1. - The symmetry
h_{r,s} = h_{m+1-r, m-s}means the number of distinct primary operators ism(m-1)/2. - The
m=3model, withc=1/2and operators of dimension{0, 1/16, 1/2}, describes the critical 2D Ising model.
We have now established the classification of these important theories. The next step is to understand how to compute with them. In our next lesson, we will see how the existence of null vectors, which was the key to this classification, gives us powerful differential equations that correlation functions must obey, paving the way to solving these theories completely.