String Theory

The Quest for a Theory of Everything

String theory is a theoretical framework in which the point-like particles of particle physics are replaced by one-dimensional objects called strings. It attempts to describe all fundamental forces and forms of matter in a single, unified theory. String theory potentially provides a quantum theory of gravity and has profoundly influenced our understanding of spacetime, quantum mechanics, and cosmology.

Vibrating Strings

Particles as vibrational modes

Extra Dimensions

Beyond our 4D spacetime

Quantum Gravity

Unifying all forces

Fundamental Concepts

From Points to Strings

In string theory, fundamental objects are not zero-dimensional points but one-dimensional strings:

Closed Strings

Form loops with no endpoints

n=0 (ground) n=1 n=2 n=3 vibration Vibrating Closed String Harmonic modes n = 0, 1, 2, 3, ... Higher n = higher energy/mass

Open Strings

Have two distinct endpoints

n=1 n=2 n=3 Endpoint Endpoint vibration Vibrating Open String Standing wave modes with fixed ends Endpoints can attach to D-branes

Vibrational Modes = Particles

Energy (E/Ms) n=0: Tachyon (m² < 0, unstable in bosonic string) n=1: Massless States Graviton, Dilaton, B-field n=2: Massive Particles Mass proportional to 1/string length n = 3, 4, 5, ... Infinite tower of heavy particles Mass Formulas Bosonic: M² = (n-1)/l_s² Superstring: M² = n/l_s² n = oscillator excitation number l_s = string length scale

String Scale

The fundamental length scale in string theory:

$$\ell_s = \sqrt{\frac{\hbar}{T}} \approx 10^{-35} \text{ m}$$

Where T is the string tension. This is near the Planck length:

$$\ell_P = \sqrt{\frac{\hbar G}{c^3}} \approx 1.6 \times 10^{-35} \text{ m}$$
Length Scales in Physics Planck String Proton Atom 10⁻³⁵ m ~10⁻³⁵ m 10⁻¹⁵ m 10⁻¹⁰ m Length Length Radius Radius ~equal 10²⁰ larger 10⁵ larger

Worldsheet

As a string moves through spacetime, it traces out a two-dimensional surface called a worldsheet:

Point Particle 0-Dimensional Worldline (1D curve) t (time) x
Closed String 1-Dimensional Worldsheet (2D surface) t (time) Parameters: (tau, sigma)

Classical String Theory

String Actions

Nambu-Goto Action

The action for a relativistic string (area of worldsheet):

$$S = -T \int dA = -T \int d\tau d\sigma \sqrt{-\det(h_{ab})}$$

Where $h_{ab}$ is the induced metric on the worldsheet

Minimal Area Principle t = 0 t = T Non-minimal Non-minimal Classical path: Minimal worldsheet area S = -T x Area (Nambu-Goto action)

Polyakov Action

Equivalent formulation with manifest reparametrization invariance:

$$S = -\frac{T}{2} \int d^2\sigma \sqrt{-h} h^{ab} \partial_a X^\mu \partial_b X_\mu$$

Independent worldsheet metric $h_{ab}$

Easier quantization Manifest symmetries

Equations of Motion

The string satisfies the wave equation:

$$\frac{\partial^2 X^\mu}{\partial \tau^2} - \frac{\partial^2 X^\mu}{\partial \sigma^2} = 0$$
Wave Equation Solutions X_L(tau + sigma) X_R(tau - sigma) Superposition X = X_L(tau+sigma) + X_R(tau-sigma) Left-moving Right-moving

Boundary Conditions

Closed Strings

$$X^\mu(\tau, \sigma + 2\pi) = X^\mu(\tau, \sigma)$$

Periodic boundary condition

Periodic Boundary sigma = 0 sigma = 2pi (same point!) X(sigma + 2pi) = X(sigma) String forms closed loop

Open Strings

Neumann BC
$$\frac{\partial X^\mu}{\partial \sigma} = 0$$

Free endpoints

Free Endpoints dX/d(sigma)=0 dX/d(sigma)=0 Endpoints free to oscillate
Dirichlet BC
$$X^\mu = \text{const}$$

Fixed endpoints (D-branes)

Fixed Endpoints D-brane D-brane X = constant at ends Endpoints fixed on D-branes

Quantum String Theory

Light-Cone Quantization

In light-cone gauge, the string oscillator modes satisfy:

Commutation relations:

\[[\alpha^{\mu}_m, \alpha^{\nu}_n] = m \delta_{m+n,0} \eta^{\mu\nu}\]

Virasoro Algebra

Constraints from reparametrization invariance:

\[[L_m, L_n] = (m-n)L_{m+n} + \frac{c}{12} m(m^2-1)\delta_{m+n,0}\]

Where c is the central charge.

Critical Dimension

Quantum consistency (no anomalies) requires:

  • Bosonic string: D = 26
  • Superstring: D = 10

This fixes the spacetime dimension!

String Spectrum

Bosonic string:

  • Tachyon: m² = -1/ℓ_s²
  • Massless: graviton, dilaton, Kalb-Ramond field
  • Massive tower: m² = (n-1)/ℓ_s²

Superstring:

  • No tachyon
  • Massless: supergravity multiplet
  • Massive tower with supersymmetry

Types of String Theories

Bosonic String Theory

26 dimensions required
Contains tachyons (unstable)
No fermions
Mainly of historical interest

Superstring Theories

Five consistent 10-dimensional theories:

Web of String Theory Dualities M-Theory (11 Dimensions) Type I SO(32) gauge Type IIA Non-chiral Type IIB Chiral Heterotic SO(32) Heterotic E8 x E8 S1 circle S1/Z2 orbifold T-duality S-duality S-dual (self) T-duality Dualities: T-duality (R to 1/R) S-duality (g to 1/g) Compactification

Type I

  • Open and closed strings
  • N=1 supersymmetry
  • Gauge group SO(32)
  • Unoriented strings
Open + Closed Strings Closed Open

Type IIA

  • Closed strings only
  • N=2 supersymmetry (non-chiral)
  • Massless fermions of both chiralities
Non-Chiral Fermions L R Both chiralities present

Type IIB

  • Closed strings only
  • N=2 supersymmetry (chiral)
  • Self-dual 4-form field
Chiral Fermions L R Same chirality (both left-handed)

Heterotic SO(32)

  • Closed strings only
  • N=1 supersymmetry
  • Left-moving: superstring
  • Right-moving: bosonic string
Hybrid String 10D Superstring 26D Bosonic Left and right movers different

Heterotic E₈×E₈

  • Closed strings only
  • N=1 supersymmetry
  • Exceptional gauge group
E₈ × E₈

D-Branes

Definition

D-branes are extended objects where open strings can end:

  • Dp-brane: p spatial dimensions
  • Satisfy Dirichlet boundary conditions

Dynamics

DBI Action:

\[S = -T_p \int d^{p+1}\xi \, e^{-\phi} \sqrt{-\det(G + B + 2\pi\alpha' F)}\]

Where:

  • G = induced metric
  • B = Kalb-Ramond field
  • F = electromagnetic field strength

D-Brane Charges

D-branes carry Ramond-Ramond charges:

\[\mu_p = \frac{T_p}{g_s}\]

Where g_s is the string coupling.

T-Duality

Concept

Duality between small and large dimensions:

\[R \leftrightarrow \frac{\alpha'}{R}\]

Transformation Rules

Under T-duality in direction X^9:

  • Type IIA ↔ Type IIB
  • Heterotic SO(32) ↔ Heterotic E₈×E₈
  • Dp-brane → D(p±1)-brane

Winding Modes

T-duality exchanges momentum and winding:

\[p \leftrightarrow w\] \[\frac{n}{R} \leftrightarrow \frac{mR}{\alpha'}\]

S-Duality

Strong-Weak Duality

Relates strong and weak coupling:

\[g_s \leftrightarrow \frac{1}{g_s}\]

Type IIB Self-Duality

Type IIB is self-dual under S-duality:

\[\tau \rightarrow -\frac{1}{\tau}\]

Where $\tau = C_0 + ie^{-\phi}$ (axion-dilaton)

F-Strings and D-Strings

S-duality relates:

  • Fundamental strings (F-strings)
  • D1-branes (D-strings)

M-Theory

Eleven Dimensions

Strong coupling limit of Type IIA:

  • Extra dimension emerges
  • 11D supergravity at low energy

Relations

\[R_{11} = g_s \ell_s\]

Where $R_{11}$ is the radius of the 11th dimension.

M2 and M5 Branes

Extended objects in M-theory:

  • M2-brane: 2 spatial dimensions
  • M5-brane: 5 spatial dimensions

Web of Dualities

All five string theories and M-theory are connected:

\[\text{Type IIA} \leftrightarrow \text{M-theory on } S^1\] \[\text{Type IIB} \leftrightarrow \text{F-theory on } T^2\] \[E_8 \times E_8 \leftrightarrow \text{M-theory on } S^1/\mathbb{Z}_2\]

Compactification

Calabi-Yau Manifolds

To get 4D physics from 10D:

  • Compactify 6 dimensions
  • Calabi-Yau preserves N=1 supersymmetry

Properties:

  • Ricci-flat (R_mn = 0)
  • SU(3) holonomy
  • Complex, Kähler

Moduli

Parameters of compactification:

  • Kähler moduli: Sizes of cycles
  • Complex structure moduli: Shapes
  • Dilaton: String coupling

Flux Compactifications

Adding fluxes stabilizes moduli:

\[\int_{\Sigma} F = n \in \mathbb{Z}\]

This leads to:

  • Moduli stabilization
  • de Sitter vacua
  • Landscape of vacua

AdS/CFT Correspondence

Statement

Equivalence between:

  • Type IIB string theory on AdS₅ × S⁵
  • N=4 Super Yang-Mills in 4D

Dictionary

\[g_{\text{YM}}^2 = g_s\] \[\lambda = g_{\text{YM}}^2 N = \frac{R^4}{\alpha'^2}\]

Where $\lambda$ is the ‘t Hooft coupling.

Applications

  • Strong coupling physics
  • Quantum gravity in AdS
  • Condensed matter systems
  • QCD-like theories

Black Holes in String Theory

Microscopic Entropy

String theory provides microscopic description:

\[S = \frac{A}{4G} = S_{\text{micro}}\]

Counting D-brane bound states reproduces Bekenstein-Hawking entropy.

Fuzzballs

String theory resolution of singularities:

  • Black holes as “fuzzballs”
  • Smooth horizonless geometries
  • Information paradox resolution

Black Hole Correspondence

Small black holes ↔ Elementary strings at high temperature

Cosmological Applications

String Cosmology

Pre-Big Bang scenario:

  • T-duality suggests pre-Bang phase
  • Dilaton-driven inflation

Brane World scenarios:

  • Our universe as a 3-brane
  • Extra dimensions can be large

String Landscape

Vast number of vacua: ~10⁵⁰⁰

  • Different compactifications
  • Different fluxes
  • Anthropic principle debates

Inflation in String Theory

Challenges and proposals:

  • Moduli stabilization required
  • DBI inflation
  • Axion monodromy inflation

Mathematical Structure

Conformal Field Theory

2D CFT on worldsheet:

  • Virasoro algebra
  • Vertex operators
  • BRST quantization

Algebraic Geometry

  • Calabi-Yau manifolds
  • Mirror symmetry
  • Derived categories

Topological String Theory

Simplified versions:

  • A-model: Kähler structure
  • B-model: Complex structure
  • Topological invariants

Experimental Prospects

Direct Tests

Challenging due to high energy scale:

  • String scale ~10¹⁹ GeV
  • Extra dimensions
  • Supersymmetry

Indirect Evidence

  • Supersymmetric particles at LHC
  • Cosmic strings
  • Primordial gravitational waves
  • Black hole physics

Low-Energy Predictions

  • Gauge coupling unification
  • Yukawa couplings
  • Neutrino masses
  • Dark matter candidates

Criticisms and Challenges

Lack of Uniqueness

  • Many consistent vacua
  • No selection principle
  • Landscape vs. Swampland

Predictability

  • Too many parameters
  • Anthropic reasoning
  • Post-dictions vs. predictions

Mathematical Rigor

  • Non-perturbative definition needed
  • Background independence
  • Off-shell formulation

Current Research

Swampland Program

Constraints on effective field theories:

  • Distance conjecture
  • Weak gravity conjecture
  • de Sitter conjecture

Holography

Extensions of AdS/CFT:

  • dS/CFT correspondence
  • Flat space holography
  • Entanglement entropy

Quantum Information

String theory meets quantum information:

  • Error correcting codes
  • Tensor networks
  • Quantum complexity

Amplitudes Program

Modern methods for scattering:

  • Twistor strings
  • Amplituhedron
  • Double copy relations

Graduate-Level Mathematical Formalism

Worldsheet Conformal Field Theory

Polyakov Path Integral

Gauge-fixed action:

\[S = \frac{1}{4\pi\alpha'} \int d^2\sigma \, \partial X^{\mu}\bar{\partial}X_{\mu}\]

In conformal gauge: $h_{ab} = e^{\phi}\eta_{ab}$

Mode expansion:

\[X^{\mu}(z,\bar{z}) = x^{\mu} - \frac{i\alpha'}{2} p^{\mu} \ln|z|^2 + i\sqrt{\frac{\alpha'}{2}} \sum_{n\neq 0} \frac{1}{n}\left[\alpha^{\mu}_n z^{-n} + \tilde{\alpha}^{\mu}_n \bar{z}^{-n}\right]\]

Virasoro algebra:

\[[L_m, L_n] = (m-n)L_{m+n} + \frac{c}{12} m(m^2-1)\delta_{m+n,0}\]

For bosonic string: $c = D$ (spacetime dimensions)

Vertex Operators

Tachyon: $V_T = :e^{ik\cdot X}:$

Graviton/Dilaton/B-field:

\[V^{(1)} = \zeta_{\mu\nu} :(\partial X^{\mu} + ik\cdot\psi\psi^{\mu})e^{ik\cdot X}:\]

Integrated vertex operators:

\[V^{(0)} = \int d^2z \, V^{(1)}(z,\bar{z})\]

BRST Quantization

BRST charge:

\[Q_B = \oint \left(cT + \frac{1}{2}c\partial c + \tilde{c}\bar{T} + \frac{1}{2}\tilde{c}\bar{\partial}\tilde{c}\right)\]
Physical states: $Q_B \phi\rangle = 0$, $ \phi\rangle \neq Q_B \chi\rangle$

Cohomology: $H^*(Q_B)$ gives physical spectrum

Superstring Theory: RNS Formalism

Worldsheet Supersymmetry

RNS action:

\[S = \frac{1}{4\pi\alpha'} \int d^2\sigma \left[\partial_{\alpha}X^{\mu}\partial^{\alpha}X_{\mu} + \psi^{\mu}\rho^{\alpha}\partial_{\alpha}\psi_{\mu}\right]\]

Superconformal algebra:

\[\{G_r, G_s\} = 2L_{r+s} + \frac{c}{2}\left(r^2 - \frac{1}{4}\right)\delta_{r+s,0}\] \[[L_m, G_r] = \left(\frac{m}{2} - r\right)G_{m+r}\]

For superstring: $c = \frac{3D}{2}$

GSO Projection

Fermion number operator:

\[F = (-1)^F \quad \text{with} \quad F = \sum_{r>0} \psi^{-r}\cdot\psi^r\]

GSO projection: Keep states with $(-1)^F = \pm(-1)^{\tilde{F}}$

Spin structures:

  • NS (Neveu-Schwarz): Half-integer modes
  • R (Ramond): Integer modes

Sectors:

  • NS-NS: Bosonic fields (graviton, dilaton, B-field)
  • R-R: Form fields
  • NS-R, R-NS: Fermions

Green-Schwarz Formalism

Spacetime Supersymmetry

GS action:

\[S = -\frac{T}{2} \int d^2\sigma \left[\sqrt{-h} \, h^{ab}\Pi_a^{\mu}\Pi_{b\mu} + \varepsilon^{ab}\Pi_a^{\mu}\bar{\theta}^A\Gamma_{\mu}\partial_b\theta^A\right]\]

Where $\Pi^{\mu} = \partial X^{\mu} - \bar{\theta}^A\Gamma^{\mu}\partial\theta^A$

Kappa symmetry: Gauge symmetry ensuring spacetime SUSY

Light-cone gauge: Manifestly supersymmetric

D-Brane Physics

Boundary Conditions

Neumann: $\partial_n X^{\mu} _{\partial\Sigma} = 0$
Dirichlet: $\partial_t X^{\mu} _{\partial\Sigma} = 0$

T-duality: N $\leftrightarrow$ D boundary conditions

Effective Actions

DBI action expanded:

\[S = -T_p\int d^{p+1}\xi \, e^{-\phi}\left[1 + \frac{(2\pi\alpha')^2}{4} F_{\mu\nu}F^{\mu\nu} + O(F^4)\right]\]

Chern-Simons terms:

\[S_{CS} = \mu_p \int C \wedge e^{2\pi\alpha'F}\]

D-Brane Interactions

Open string spectrum: Gauge fields on worldvolume

Chan-Paton factors: U(N) gauge theory for N coincident branes

Tachyon condensation: Brane annihilation, K-theory classification

M-Theory and Dualities

M-Theory Basics

11D supergravity low-energy limit:

\[S = \frac{1}{2\kappa^2} \int d^{11}x \sqrt{-g} \left[R - \frac{1}{2}|F_4|^2\right] + \frac{1}{6} \int C_3 \wedge F_4 \wedge F_4\]

M2-branes: Membranes with worldvolume theory

M5-branes: 5-branes with self-dual 3-form

Web of Dualities

S-duality: Type IIB self-dual under $g_s \rightarrow 1/g_s$

Complete duality web:

\[\text{M-theory on } S^1 \rightarrow \text{Type IIA}\] \[\text{M-theory on } T^2 \rightarrow \text{Type IIB}\] \[\text{M-theory on } S^1/\mathbb{Z}_2 \rightarrow E_8\times E_8 \text{ heterotic}\]

U-duality: Combines S and T dualities

Compactification

Calabi-Yau Manifolds

Definition: Kähler manifold with SU(n) holonomy

Properties:

  • Ricci-flat: $R_{ij} = 0$
  • Admits covariantly constant spinor
  • $c_1 = 0$

Hodge numbers: $h^{p,q}$ characterize topology

  • $h^{1,1}$: Kähler moduli
  • $h^{2,1}$: Complex structure moduli

Moduli Stabilization

Flux compactifications:

\[W = \int \Omega \wedge (F_3 - \tau H_3)\]

KKLT scenario: All moduli stabilized by fluxes and non-perturbative effects

Large volume scenario: Exponentially large extra dimensions

AdS/CFT Correspondence

Precise Statement

Type IIB on AdS₅×S⁵ ↔ N=4 SYM in 4D

Dictionary:

\[\langle O(x)\rangle_{\text{CFT}} = \frac{\delta S_{\text{gravity}}}{\delta\phi_0(x)}\bigg|_{\phi_0\rightarrow O}\]

Holographic renormalization: Regulate divergences

Generalizations

AdS₃/CFT₂: M-theory on AdS₃×S⁸ ↔ ABJM theory

AdS₂/CFT₁: Near-horizon of extremal black holes

Non-conformal: Dp-branes for p≠3

Black Holes and Entropy

Strominger-Vafa Calculation

D-brane configuration: D1-D5-P system

Microscopic entropy:

\[S_{\text{micro}} = 2\pi\sqrt{N_1 N_5 n}\]

Bekenstein-Hawking:

\[S_{\text{BH}} = \frac{A}{4G} = 2\pi\sqrt{N_1 N_5 n}\]

Perfect agreement!

Attractor Mechanism

Near-horizon geometry: AdS₂×S²

Attractor equations:

\[\frac{\partial V}{\partial z^i}\bigg|_{\text{horizon}} = 0\]

Moduli fixed by charges, independent of asymptotic values

Topological String Theory

A-Model

Action: $\int_{\Sigma} \phi^*(\omega) + {Q, V}$

Observables: Gromov-Witten invariants

Target space: Kähler moduli

B-Model

Holomorphic anomaly equation:

\[\frac{\partial F^{(g)}}{\partial\bar{t}^i} = \frac{1}{2}C^{ijk}_{\bar{i}}\left(D_j D_k F^{(g-1)} + \sum_{h} D_j F^{(h)} D_k F^{(g-h)}\right)\]

Mirror symmetry: A-model(X) = B-model(Y)

Amplitudes and Modern Methods

Scattering Equations

CHY formulation:

\[A_n = \int d\mu_n \, I_L(\sigma)I_R(\sigma)\]

Where $d\mu_n = \prod_i d\sigma_i \, \delta\left(\sum_j \frac{k_j\cdot P_j}{\sigma_i-\sigma_j}\right)$

Ambitwistor Strings

Action: $S = \int P_{\mu} \bar{\partial}X^{\mu}$

Critical dimension: None!

Tree amplitudes: Equivalent to CHY

Swampland Program

Conjectures

Distance conjecture: $\Lambda \sim M_P e^{-\alpha d}$

Weak gravity conjecture: $m \leq qM_P$

de Sitter conjecture: $ \nabla V \geq \frac{cV}{M_P}$

Implications

  • Constraints on inflation
  • No stable dS vacua?
  • Emergence of kinetic terms

Quantum Information in String Theory

Holographic Entanglement Entropy

Ryu-Takayanagi formula:

\[S_A = \frac{\text{Area}(\gamma_A)}{4G_N}\]

Quantum corrections: $S = \langle\text{Area}/4G\rangle + S_{\text{bulk}}$

Complexity

CV conjecture: $C = \frac{V}{GL}$

CA conjecture: $C = \frac{\text{Action}}{\pi\hbar}$

Applications: Black hole interior, firewalls

Modern Computational Tools

import numpy as np
from sympy import symbols, Matrix, simplify

def calabi_yau_metric(z, z_bar, kahler_potential):
    """Compute CY metric from Kähler potential"""
    n = len(z)
    g = Matrix.zeros(n, n)
    
    for i in range(n):
        for j in range(n):
            g[i,j] = kahler_potential.diff(z[i]).diff(z_bar[j])
    
    return g

def yukawa_coupling(omega, A, B, C):
    """Compute Yukawa couplings from holomorphic 3-form"""
    # Y_ABC = ∫_X Ω ∧ ∂_A∂_B∂_C
    return omega.diff(A).diff(B).diff(C)

def gromov_witten_invariant(degree, genus, marked_points):
    """Placeholder for GW invariant calculation"""
    # In practice, use localization or mirror symmetry
    pass

def ads_cft_correlator(operators, positions):
    """Compute correlator using AdS/CFT"""
    # Solve classical equations in AdS
    # Extract boundary behavior
    pass

Research Frontiers

Non-perturbative String Theory

Matrix models: BFSS, IKKT proposals

String field theory: Covariant formulation

Background independence: Emergent spacetime

Quantum Gravity Phenomenology

String cosmology: Trans-Planckian signatures

Black hole information: Fuzzballs vs firewalls

Lorentz violation: Stringy dispersion relations

Mathematical Developments

Topological modular forms: tmf and string theory

Derived categories: D-branes and stability

Moonshine: Connections to sporadic groups

Connections to Experiment

Collider signatures: Extra dimensions, SUSY

Cosmological observations: Primordial gravitational waves

Condensed matter: AdS/CMT applications

References and Further Reading

Classic Textbooks

  1. Polchinski - String Theory (2 volumes)
  2. Green, Schwarz & Witten - Superstring Theory (2 volumes)
  3. Becker, Becker & Schwarz - String Theory and M-Theory
  4. Kiritsis - String Theory in a Nutshell

Advanced Monographs

  1. D’Hoker & Phong - Two-loop superstrings (series)
  2. Hori et al. - Mirror Symmetry
  3. Ammon & Erdmenger - Gauge/Gravity Duality
  4. Vafa & Zaslow - Mirror Symmetry (Clay monograph)

Recent Reviews

  1. Aharony et al. - Large N field theories, string theory and gravity (2000)
  2. Brennan, Carta & Vafa - The string landscape, the swampland, and the missing corner (2017)
  3. Harlow - TASI lectures on the emergence of the bulk in AdS/CFT (2018)
  4. Van Raamsdonk - Building up spacetime with quantum entanglement (2010)

Specialized Topics

  1. Sen - String field theory reviews
  2. Douglas & Nekrasov - Noncommutative field theory (2001)
  3. Berkovits - Pure spinor formalism
  4. Gopakumar & Vafa - Topological strings and large N duality

Future Directions

  1. Non-perturbative formulation
  2. Observable predictions
  3. Quantum gravity phenomenology
  4. Connection to real world physics
  5. Mathematical foundations

String theory remains one of the most active areas of theoretical physics, providing deep insights into quantum gravity, black holes, and the fundamental structure of spacetime. While experimental verification remains elusive, its mathematical richness and conceptual breakthroughs continue to influence many areas of physics and mathematics.

See Also

Foundational Topics: