Hello! Welcome back to our exploration of bosonic string theory.
In our last lesson, we took a major step by showing that the classical dynamics of a bosonic string can be described by a two-dimensional conformal field theory on its worldsheet. By fixing the conformal gauge, the complicated Polyakov action simplified to that of free, massless scalar fields, , subject to the classical Virasoro constraints, .
Today, we will quantize this system. This is where the true power and subtlety of the theory emerge. Our primary goals are to:
- Identify the worldsheet CFT for the bosonic string: We will formalize the quantization of the scalar fields and their corresponding oscillator modes.
- Derive the critical dimension from Virasoro constraints: We will see how promoting the classical constraints to quantum conditions on physical states is a highly non-trivial step. The requirement of a consistent, unitary quantum theory—one without negative-probability "ghost" states—will force the spacetime dimension to be a specific value, .
This lesson connects directly to your background in QFT, particularly gauge fixing and the emergence of anomalies, and will provide a concrete physical motivation for the abstract structure of the Virasoro algebra we've previously encountered.
1. The Worldsheet CFT: A Theory of Free Bosons
As we established, after fixing the conformal gauge, the string worldsheet theory is described by the action for free, massless scalar fields:
where are the worldsheet coordinates and are spacetime indices. The equation of motion is the 2D wave equation, .
The general solution for a closed string can be decomposed into left-moving and right-moving waves, which are then expanded into Fourier modes.
Lecture Notes on - String Theory
To begin, let's review the mode expansion of the string coordinates and the classical constraints. The following sections from Kevin Zhou's lecture notes provide a concise summary.
Please read section 3.1, starting from 'Next, we write down the mode expansion' (page 45) to the end of the section (page 47). Focus on: The mode expansions for X^μ(τ, σ) in terms of left-moving (˜α_n^μ) and right-moving (α_n^μ) oscillators. How the classical constraints T_++ = 0 and T_-- = 0 are expressed as an infinite set of constraints on the Fourier modes, L_m = 0 and ˜L_m = 0. The definition of the Virasoro generators L_m and ˜L_m as quadratic expressions in the oscillators. The interpretation of the L_0 = 0 constraint as the classical mass-shell condition.
This CFT is our object of study. The fields are the fundamental fields of the CFT. The oscillators and will become the creation and annihilation operators of our quantum theory.
2. Old Covariant Quantization and the Virasoro Algebra
We now quantize the theory using the "old covariant quantization" method, which is analogous to the Gupta-Bleuler quantization of QED you are familiar with. The key steps are:
- Promote the Poisson brackets for the oscillator modes to commutators.
- Represent these operators on a Fock space.
- Impose the classical constraints as conditions on the physical states of the Hilbert space.
This last step is where the subtleties arise.
The Quantum Virasoro Algebra
Upon quantization, the become operators satisfying:
The operators for are annihilation operators, and for are creation operators.
The classical Virasoro generators are now operators. However, for , this definition is ill-defined due to an ordering ambiguity of non-commuting operators. We must normal-order it by placing all creation operators to the left of annihilation operators. This procedure introduces an undetermined constant, , called the normal-ordering constant or intercept.
This ordering issue has a profound effect on the algebra of the generators. While the classical generators form the Witt algebra, the quantum operators obey the Virasoro algebra, which is a central extension of the Witt algebra:
The new term is the central charge, and for our CFT of free bosons, it turns out that .
Lecture Notes on - String Theory
The following section of Zhou's notes details this quantization procedure, the emergence of the Virasoro algebra, and the problem of negative-norm states ('ghosts').
Please read the first part of section 3.2 'Old Covariant Quantization' (pages 47-49). Focus on: The commutation relations for the oscillator modes. The definition of the Fock space, built by acting with creation operators on a vacuum state |0, p⟩. The ordering ambiguity in L_0 and the introduction of the normal-ordering constant a. The emergence of the Virasoro algebra with its central term c/12(...) where c=D. The 'ghost' problem: how the timelike oscillators α_n^0 can create states with negative norm.
3. Physical States and the Critical Dimension
Because the Virasoro algebra is not trivial, we cannot impose as operator equations. Instead, we impose weaker conditions on the physical states :
- for
- And identical conditions for the tilded operators, .
The condition gives the quantum mass-shell condition. For a state at oscillator level , the mass-squared is:
The condition implies , which is known as the level-matching condition.
The No-Ghost Theorem
The central challenge is the presence of "ghosts"—negative-norm states created by the timelike oscillators , which violate the unitarity of the theory. The Virasoro constraints must be powerful enough to ensure that for any physical process, these ghosts decouple and are never produced as final states.
A careful analysis, known as the Goddard-Thorn no-ghost theorem, reveals that the spectrum of physical states is free of ghosts if and only if:
- The spacetime dimension is .
- The normal-ordering constant is .
Let's unpack why this happens.
Lecture Notes on - String Theory
The rest of section 3.2 in Zhou's notes sketches the logic behind this remarkable result. It explains how the Virasoro constraints are used to eliminate unphysical states and how this procedure only works consistently in a specific dimension.
Please read the remainder of section 3.2 (pages 49-51). Pay attention to: The physical state conditions L_n|phys⟩ = 0 (n>0) and (L_0 - a)|phys⟩ = 0. The concept of spurious and null states, which are states that are orthogonal to all physical states and are decoupled from physical processes. How the consistency of this decoupling procedure for states at oscillator levels 1 and 2 leads to the conditions a=1 and D=26.
The core of the argument is that in with , the gauge symmetry generated by the Virasoro algebra is exceptionally large. It creates a vast number of "null states"—states that are both physical () and spurious (orthogonal to all physical states). These null states have zero norm and decouple from all physical amplitudes, effectively acting as pure gauge degrees of freedom. Their existence is crucial for projecting out all the negative-norm ghost states. In any other dimension, this perfect cancellation fails, and ghosts remain in the physical spectrum.
The video below provides a more detailed, calculation-oriented derivation of the Virasoro algebra and the physical state conditions. While the notes give the conceptual overview, the video shows the machinery in action.
Covariant (Dirac method) Bosonic String Quantization | String Theory
This video provides a detailed, step-by-step derivation of the Virasoro algebra and then applies the physical state conditions. It's an excellent companion to the notes if you wish to see the calculations explicitly.
You can watch two key segments: Derivation of the Virasoro Algebra (35:14 - 41:09): This segment explicitly computes the [L_n, L_m] commutator and shows how the central term arises from normal ordering. Physical State Conditions and D=26 (41:09 - 50:50): This part applies the quantum constraints L_n|phys⟩=0 and introduces the theorem that fixes a=1 and D=26. It also discusses the resulting particle spectrum (tachyon, graviton, etc.), which we will explore further in later lessons.
Test your understanding!
With the critical dimension result , what is the mass of the lowest-lying string state (the vacuum state , which has oscillator level )? What does this imply about the stability of the bosonic string theory vacuum?
Show answer
Using the mass-shell formula , we set and . This gives:
A state with negative mass-squared is a tachyon. The presence of a tachyon indicates an instability in the theory, suggesting that the vacuum state we expanded around is not the true, stable ground state. This is a famous problem of bosonic string theory.
Conclusion
We have now fully identified the worldsheet theory of the bosonic string as a 2D CFT with central charge , and we have seen its most dramatic consequence.
Key Takeaways:
- The worldsheet CFT for the bosonic string consists of free scalar fields, whose quantization leads to a Fock space built by oscillator operators .
- The classical Virasoro constraints become quantum conditions on physical states. Due to operator ordering, the algebra of the Virasoro generators is centrally extended, becoming the Virasoro algebra with central charge .
- The physical states must be annihilated by for and satisfy the mass-shell condition .
- The requirement that the theory be unitary (free of negative-norm "ghost" states) is only satisfied if the spacetime dimension is and the normal ordering constant (intercept) is .
This result is a cornerstone of string theory. It demonstrates how a seemingly simple theoretical model, when subjected to the strict demands of quantum consistency, can make a definite and surprising prediction about the structure of spacetime itself.
Preview of the Next Lesson:
Now that we have established the rules for physical states, our next step is to understand how to represent these states—the tachyon, the massless states like the graviton, etc.—within the framework of the 2D worldsheet CFT. This will lead us to the concept of vertex operators and the powerful state-operator correspondence, a central pillar of conformal field theory.