La corrispondenza AdS/CFT non è solo una metafora: è un dizionario preciso che traduce ogni oggetto fisico di una teoria nell'oggetto corrispondente dell'altra. Come un dizionario bilingue, ogni termine in AdS ha il suo equivalente in CFT e viceversa.
La formula fondamentale del dizionario è la prescrizione GKPW (Gubser-Klebanov-Polyakov-Witten, 1998): la funzione di partizione della stringa in AdS con condizione al bordo φ₀ è uguale alla funzione generatrice dei correlatori della CFT con sorgente φ₀.
Z_stringa[AdS, φ₀] = ⟨exp(∫φ₀ O d⁴x)⟩_CFT
bulk: gravità + campi
bordo: operatori quantistici O
φ₀ → sorgente di O
Questa formula è la chiave di volta della dualità: permette di calcolare quantità della CFT (funzioni di correlazione) a partire dalla geometria classica di AdS.
La prima voce del dizionario traduce la massa di un campo scalare nel bulk nella dimensione conforme dell'operatore sul bordo. La relazione è codificata dall'equazione di Klein-Gordon in AdS con curvatura:
Δ(Δ − d) = m²L²
Δ = d/2 + √(d²/4 + m²L²)
m = 0 → Δ = d (campo privo di massa)
m² = −d²/4L² → limite unitario (BF bound)
Dove d è la dimensione del bordo (d=4 per AdS₅), L è il raggio AdS. Notare che masse negative sono ammesse finché m² ≥ −d²/(4L²) (limite di Breitenlöhner-Freedman). Un campo di massa m nel bulk corrisponde a un operatore di dimensione conforme Δ sul bordo — questa è una corrispondenza esatta, verificabile.
Esempio: il gravitone (m=0, spin-2) corrisponde al tensore energia-impulso T_μν (Δ=d, operatore primario conservato).
Il comportamento di un campo scalare φ nelle vicinanze del bordo di AdS ha una struttura universale a due termini. Il modo che diverge è la sorgente dell'operatore nella CFT; il modo che decade è il valore di aspettazione dell'operatore.
φ(r→∞) ~ r^{d-Δ} φ₀(x) + r^{-Δ} ⟨O(x)⟩ + …
φ₀(x) → sorgente dell'operatore O
⟨O(x)⟩ → risposta (VEV dell'operatore)
z = L²/r → coordinata di Poincaré
In coordinate di Poincaré (z→0 al bordo): φ ~ z^{d-Δ} φ₀ + z^Δ ⟨O⟩. La sorgente φ₀ si può scegliere liberamente — corrisponde a deformare la CFT aggiungendo il termine ∫φ₀ O all'azione. Il campo nel bulk "trasporta" questa sorgente dall'interno alla frontiera.
Questo collegamento è preciso: variando l'azione di stringa rispetto alla sorgente φ₀ si ottengono le funzioni di correlazione della CFT.
Il risultato più potente del dizionario: le funzioni di correlazione della CFT (oggetti della teoria quantistica dei campi) si calcolano tramite una semplice prescrizione geometrica in AdS.
⟨O(x₁) O(x₂) … O(xₙ)⟩_CFT
= δⁿ log Z_grav / δφ₀(x₁)…δφ₀(xₙ) |_{φ₀=0}
Propagatore bulk-bordo: K(z,x; x') ~ z^Δ/((z²+|x-x'|²)^Δ)
⟨OO⟩ ~ 1/|x₁-x₂|^{2Δ} (fissato da sim. conf.)
Per calcolare il correlatore a N punti nella CFT fortemente accoppiata, basta risolvere le equazioni del moto classiche in AdS (SUGRA), calcolare l'azione on-shell, e derivare rispetto alle sorgenti. È come calcolare diagrammi di Feynman nel bulk — ma invece dei propagatori QFT, si usano i propagatori geometrici di AdS.
I correlatori a 2 e 3 punti degli operatori protetti dalla SUSY sono stati verificati e concordano con i calcoli diretti in 𝒩=4 SYM — questo è stato il primo test quantitativo della dualità.
Una delle traduzioni più eleganti del dizionario: aggiungere un buco nero di Schwarzschild in AdS corrisponde nella CFT a portare il sistema a temperatura finita. La temperatura di Hawking del buco nero e la temperatura della CFT sono esattamente uguali.
ds² = -(r²/L²-r₀²/r²)dt² + dr²/(r²/L²-r₀²/r²) + r²dΩ²
T_Hawking = (d r₀)/(4πL²) = T_CFT
S_BH = A/(4G_N) = S_termico CFT
r₀ → 0 : T → 0 (stato fondamentale)
La metrica del buco nero planar di AdS descrive la CFT a T>0. L'orizzonte degli eventi corrisponde allo stato termico della CFT. Questo ha avuto applicazioni fenomenologiche importanti: la viscosità del quark-gluon plasma (QGP) del RHIC a T ~ 10¹² K è stata calcolata tramite AdS/CFT con un buco nero corrispondente.
L'entropia termica della CFT è uguale all'entropia di Bekenstein-Hawking del buco nero — una verifica di consistenza fondamentale del dizionario.
Un'altra voce fondamentale del dizionario: i campi di gauge in AdS corrispondono alle correnti conservate nella CFT. Il gravitone (spin 2) corrisponde al tensore energia-impulso T_μν; un campo di gauge U(1) corrisponde a una corrente U(1) conservata J_μ.
Gravitone in AdS ↔ T_μν (conservato, dim. d)
Campo U(1) in AdS ↔ J_μ (corrente conservata)
SU(N) gauge in AdS ↔ corrente non-abeliana J^a_μ
∂_μ J^μ = 0 ↔ invarianza di gauge in AdS
La simmetria di gauge nel bulk corrisponde alla simmetria globale sul bordo. Questo è intuitivo: le simmetrie di gauge del bulk sono ridondanze della descrizione, mentre le simmetrie globali del bordo sono simmetrie fisiche reali con correnti conservate associate.
In 𝒩=4 SYM: il gruppo di R-simmetria SU(4) sul bordo corrisponde ai campi di gauge di SU(4) nel bulk di AdS₅×S⁵, che provengono dalla compattificazione su S⁵.
Le linee di Wilson nella CFT sono osservabili non-locali che misurano la risposta del vuoto a una carica di prova esterna che percorre un loop chiuso C. Sono uno strumento fondamentale per studiare il confinamento nelle teorie di gauge.
⟨W[C]⟩_CFT = e^{−S_stringa[C]}
W[C] = Tr P exp(i∮_C A_μ dx^μ)
S_stringa = area minima in AdS con ∂Σ = C
Potenziale quark-antiquark: V(R) ~ −√λ/R
La prescrizione del dizionario (Maldacena 1998, Rey-Yee 1998): il valore di aspettazione della linea di Wilson ⟨W[C]⟩ nella CFT è uguale all'esponenziale negativo dell'area della superficie minima nel bulk di AdS che ha come bordo il loop C sul bordo. È la stessa struttura della formula di Ryu-Takayanagi per l'entropia di entanglement!
Per un loop rettangolare (quark-antiquark), il calcolo AdS dà il potenziale di Coulomb relativisticamente corretto V(R) ~ −√λ/R — un risultato non-perturbativo difficilissimo da ottenere direttamente in gauge theory.
La caratteristica più potente e più frustrante del dizionario AdS/CFT è che è una dualità forte-debole: quando la CFT è fortemente accoppiata, la descrizione AdS è classica e calcolabile; quando la CFT è debolmente accoppiata, la descrizione AdS è quantistica e difficile.
λ = g²_YM N (accoppiamento di 't Hooft)
λ ≫ 1 (CFT forte) ↔ R⁴/α'² ≫ 1 (SUGRA classica)
λ ≪ 1 (CFT debole) ↔ R⁴/α'² ≪ 1 (stringa quantistica)
→ i calcoli facili da un lato sono difficili dall'altro
Il regalo: permette di calcolare proprietà della CFT fortemente accoppiata — inaccessibili con i metodi perturbativi standard — usando la SUGRA classica. Applicazioni: viscosità del plasma di quark-gluon, transizioni di fase, proprietà termiche dei superconduttori olografici, ecc.
La difficoltà: non si può verificare la dualità nei casi più interessanti perché non si sa come calcolare entrambi i lati contemporaneamente. Le verifiche quantitative sono possibili solo per operatori protetti dalla SUSY (BPS) la cui dimensione non dipende dall'accoppiamento.