For over three centuries, physics treated fundamental matter as zero-dimensional point particles tracing one-dimensional worldlines through spacetime. However, point-like interactions at zero distance produce incurable ultraviolet (UV) divergences when quantizing gravity: the perturbative Feynman loop integrals diverge non-renormalizably as (G_N sim [M]^{-2}). String Theory dissolves this ultraviolet catastrophe through an audacious geometric hypothesis: the elementary constituents of nature are not point particles, but one-dimensional vibrating relativistic strings with characteristic length scale (ll_s sim 10^{-35} ext{ m}). In this inaugural treatise of STRING-301, we derive the classical mechanics of relativistic strings from first principles.
1. From the Relativistic Point Particle to the Nambu-Goto Action
Recall that a relativistic point particle of mass (m) moving through (D)-dimensional Minkowski spacetime with metric (ta_{mu
u} = ext{diag}(-1, +1, dots, +1)) traces a 1D worldline (X^mu( au)). Its action is proportional to the proper time along the path:
[
S_{ ext{particle}} = -m int d au , sqrt{-ta_{mu
u} dot{X}^mu dot{X}^
u}
]
As a 1D string propagates through spacetime, it sweeps out a two-dimensional surface known as the Worldsheet, parameterized by timelike coordinate ( au) and spacelike coordinate (sigma in [0, pi]) (for open strings) or (sigma in [0, 2pi)) (for closed strings):
[
X^mu = X^mu( au, sigma) quiv X^mu(sigma^a), quad a in {0, 1} = { au, sigma}
]
By direct geometric analogy with the point particle, Yoichiro Nambu and Tetsuo Goto postulated that the string action must be proportional to the Lorentzian Invariant Area of the worldsheet swept out in target spacetime:
[
S_{ ext{NG}} = -T int d^2sigma , sqrt{-det(g_{ab})} = -rac{1}{2pialpha’} int d^2sigma , sqrt{(dot{X} cdot X’)^2 – (dot{X})^2 (X’)^2}
]
where (g_{ab} quiv partial_a X^mu partial_b X_mu) is the induced worldsheet metric (the pullback of the target spacetime metric), (T) is the String Tension, and (alpha’) is the Regge Slope Parameter, related to the fundamental string length by:
[
T = rac{1}{2pialpha’}, quad ll_s quiv sqrt{alpha’}
]
2. The Polyakov Action and Auxiliary Worldsheet Metrics
While geometrically intuitive, the Nambu-Goto square root non-linearity is hopelessly intractable for path integral quantization. Following Brink, Di Vecchia, Howe, Deser, and Zumino, Alexander Polyakov popularized an equivalent action by introducing an independent, auxiliary two-dimensional worldsheet metric (h_{ab}( au, sigma)) with signature ((-+)):
[
S_P[X, h] = -rac{T}{2} int d^2sigma , sqrt{-h} , h^{ab} partial_a X^mu partial_b X_mu = -rac{1}{4pialpha’} int d^2sigma , sqrt{-h} , h^{ab} partial_a X^mu partial_b X_mu
]
Varying the Polyakov action with respect to (X^mu) produces the covariant two-dimensional wave equation:
[
abla_a
abla^a X^mu = rac{1}{sqrt{-h}} partial_a left( sqrt{-h} , h^{ab} partial_b X^mu
ight) = 0
]
Varying with respect to the auxiliary metric (h^{ab}) yields the condition that the 2D energy-momentum tensor must vanish identically:
[
T_{ab} quiv -rac{2}{T}rac{1}{sqrt{-h}}rac{delta S_P}{delta h^{ab}} = partial_a X^mu partial_b X_mu – rac{1}{2} h_{ab} h^{cd} partial_c X^mu partial_d X_mu = 0
]
Taking the determinant of (T_{ab} = 0) reveals (h_{ab} propto g_{ab}). Substituting this back into (S_P) recovers the Nambu-Goto action exactly, proving classical equivalence.
3. Local Symmetries and the Conformal Gauge
The Polyakov action is invariant under three profound local symmetries:
- Two-Dimensional Diffeomorphisms (( ext{Diff}(Sigma))): Invariance under arbitrary reparametrizations of the worldsheet coordinates:
[
sigma^a o ilde{sigma}^a(sigma)
] - Two-Dimensional Weyl Invariance (( ext{Weyl}(Sigma))): Invariance under local scale transformations of the metric:
[
h_{ab}( au, sigma) o e^{2omega( au, sigma)} h_{ab}( au, sigma)
]
Crucially, Weyl invariance holds strictly in two spacetime dimensions because (sqrt{-h} h^{ab}) transforms as ((e^{2omega})(e^{-2omega}) = 1). - Target Space Poincaré Invariance: Global ( ext{ISO}(1, D-1)) translations and Lorentz boosts of (X^mu).
Because an arbitrary symmetric (2 imes 2) metric tensor (h_{ab}) has 3 independent components, the 2 diffeomorphism parameters and 1 Weyl parameter allow us to completely eliminate all local metric degrees of freedom. We fix the Conformal Gauge:
[
h_{ab}( au, sigma) = e^{2omega( au, sigma)} ta_{ab} xrightarrow{ ext{Weyl}} ta_{ab} = begin{pmatrix} -1 & 0 0 & 1 nd{pmatrix}
]
In conformal gauge, the Polyakov action collapses to a delightfully simple system of (D) massless free scalar fields propagating in flat 2D Minkowski space:
[
S_P = rac{1}{4pialpha’} int d^2sigma left( (dot{X})^2 – (X’)^2
ight)
]
subject to the non-linear constraint that the stress-energy tensor components—the Virasoro Constraints (T_{ au au} = T_{sigmasigma} = rac{1}{2}(dot{X}^2 + X’^2) = 0) and (T_{ ausigma} = dot{X} cdot X’ = 0)—must vanish on physical states.
