Prima del 1995 le D-brane erano solo condizioni al contorno di Dirichlet. Polchinski (1995) mostrò che le D-brane sono oggetti fisici fondamentali — soluzioni solitoniche esatte della teoria di stringa. La tensione di una Dp-brana:
T_p = 1/((2π)^p g_s l_s^{p+1})
Scala come 1/g_s: le brane sono pesanti a debole accoppiamento. La scoperta di Polchinski completò il quadro delle dualità. Le D-brane hanno carica RR che si accoppia con le forme differenziali di tipo II.
T_p = 1/((2π)^p g_s l^{p+1}_s) (tensione Dp-brana)
Carica: μ_p = T_p (BPS)
D-brane: sorgenti delle forme RR
→ non-perturbative: invisibili a g_s → 0
Consideriamo N D3-brane coincidenti. Le N² stringhe aperte tra le N brane generano una teoria di gauge SU(N) sul worldvolume 3+1D. Il contenuto è precisamente 𝒩=4 SYM. Il bulk lontano rimane piatto con stringhe chiuse (gravitoni). La carica totale è N unità del flusso della 5-forma RR: ∫F₅ = N.
N D3-brane → SU(N) 𝒩=4 SYM in 3+1D
N² stringhe aperte → W-bosoni + scalari + fermioni
Carica RR: ∫_{S⁵} F₅ = N
Bulk: gravitoni in ℝ^{9,1}
Le N D3-brane hanno due descrizioni valide in regimi opposti. Regime A (g_s N ≪ 1): teoria di gauge SU(N) sul worldvolume + stringhe chiuse nel bulk piatto. Regime B (g_s N ≫ 1): la geometria si curva in AdS₅×S⁵ + SUGRA IIB. Entrambe descrivono la stessa fisica.
g_s N ≪ 1: SU(N) 𝒩=4 SYM + bulk piatto
g_s N ≫ 1: AdS₅×S⁵ + SUGRA IIB
Entrambi = N D3-brane coincidenti
→ stessa fisica, regimi diversi
Maldacena (1997) effettuò il limite: α'→0 con U = r/α' fisso. Le due descrizioni si disaccoppiano: (A) 𝒩=4 SYM si separa dalle stringhe chiuse nel bulk. (B) La geometria near-horizon diventa esattamente AdS₅×S⁵, disaccoppiata dal bulk piatto. Maldacena congetturò che le due teorie near-horizon sono equivalenti come teorie complete.
Limite: α'→0, U = r/α' fisso
→ (A) 𝒩=4 SYM puro in ℝ^{3,1}
→ (B) IIB su AdS₅×S⁵ puro
Maldacena: (A) ≡ (B) (congettura)
La congettura di Maldacena (1997): Stringa IIB su AdS₅×S⁵ è esattamente equivalente a 𝒩=4 SYM con gauge SU(N). I parametri si identificano: L⁴/α'² = 4πg_s N = λ = g²_YM N. La costante di stringa g_s = g²_YM/(4π). Il raggio AdS L = λ^{1/4} l_s. N = rango del gauge. La dualità è olografica: 5D con gravità ↔ 4D senza gravità.
{IIB su AdS₅×S⁵} ≡ {𝒩=4 SYM, SU(N)}
L⁴ = 4πg_s N α'²
λ = g²_YM N = g_s N × 4π = (L/l_s)⁴
g_s = g²_YM / (4π)
La congettura esiste in tre versioni. Forte: valida per tutti N e λ — la dualità è esatta per qualunque valore. Intermedia: valida per N→∞ con λ fisso — stringa quantistica classica sul worldsheet. Debole: valida per N→∞ e λ→∞ — SUGRA classica. La versione debole ha il massimo numero di verifiche perché la SUGRA è calcolabile con i metodi ordinari.
FORTE: tutti N, λ (non dimostrata)
INTERMEDIA: N→∞, λ qual. (IIB quantistica)
DEBOLE: N→∞, λ→∞ (SUGRA classica)
SUGRA valida per λ ≫ 1, N ≫ 1
Gubser-Klebanov-Polyakov e Witten (1998) svilupparono le prime verifiche. Le più dirette usano gli operatori BPS (protetti dalla SUSY): le loro dimensioni conformi non ricevono correzioni quantistiche. I multiplet BPS della CFT corrispondono esattamente agli stati SUGRA in AdS₅×S⁵. Lo spettro delle fluttuazioni SUGRA corrisponde allo spettro degli operatori di 𝒩=4 SYM. Le funzioni a 2 e 3 punti degli operatori protetti concordano da entrambi i lati.
Verifica 1: multiplet BPS ↔ stati SUGRA
Verifica 2: ⟨OO⟩_{CFT} ↔ propagatore bulk
Verifica 3: ⟨OOO⟩_{CFT} ↔ vertice cubico AdS
Dimensioni protette: Δ = J (esatto da entrambi)
In quasi tre decenni, la congettura ha superato centinaia di test. (1) Corrispondenza degli spettri di operatori e stati SUGRA. (2) Funzioni di correlazione protette concordanti. (3) Viscosità η/s = ℏ/(4πk_B): limite universale da AdS/CFT, verificato al RHIC. (4) Estensioni a AdS₃/CFT₂, AdS₄/CFT₃, AdS₇/CFT₆. (5) Integrable spin chains compatibili da entrambi i lati. L'articolo di Maldacena è il più citato della fisica (~25.000 citazioni nel 2026).
~25.000 citazioni (2026)
η/s = ℏ/(4πk_B) [KSS bound, verificato RHIC]
Spettro integrabile: coincide da entrambi
Estensioni: AdS₃, AdS₄, AdS₇ tutte verificate