AdS/CFT Correspondence: N=4 SYM and String Theory in AdS

1. The Players: Identifying the Dual Theories

The correspondence connects two seemingly disparate theories. Let's meet them.

The Gauge Theory: $\mathcal{N}=4$ Super Yang-Mills (SYM)

On one side of the duality, we have a very specific four-dimensional quantum field theory: $\mathcal{N}=4$ Super Yang-Mills theory with gauge group $SU(N)$.

Your background in QFT and supersymmetry will be valuable here. This theory is characterized by its high degree of symmetry:

• Field Content: Its fields all transform in the adjoint representation of the $SU(N)$ gauge group. The content consists of:
  • 1 gauge field ($A_\mu$)
  • 6 real scalar fields ($\phi_i$)
  • 4 Weyl fermions ($\psi_a$)
• Maximal Supersymmetry: It possesses 16 real supercharges, the maximum possible for a 4D gauge theory. This is where the "$\mathcal{N}=4$" comes from.
• Conformal Invariance: Remarkably, the beta function of this theory is exactly zero to all orders in perturbation theory. This means its coupling constant does not run with energy; the theory is scale-invariant, and in fact, conformally invariant, at the full quantum level.

These properties make $\mathcal{N}=4$ SYM a uniquely tractable model. It is often called the "hydrogen atom of quantum field theory" because, despite its complexity, its high symmetry allows for exact computations that are impossible in more realistic theories like QCD.

The theory has two key parameters:

1. The rank of the gauge group, $N$.
2. The Yang-Mills coupling constant, $g_{YM}$.

As we saw, these combine into the 't Hooft coupling, $\lambda = g_{YM}^2 N$, which governs the dynamics in the planar (large $N$) limit.

The Gravity Side: Type IIB String Theory on $AdS_5 \times S^5$

On the other side of the duality is a theory of quantum gravity. As anticipated in the last lesson, this theory emerges from considering the gravitational backreaction of a stack of $N$ D3-branes.

The key step is the near-horizon limit. A stack of D3-branes creates a gravitational potential, or "throat". Far from the branes, spacetime is the flat 10-dimensional spacetime of Type IIB string theory. However, if we zoom into the region very close to the branes (the "bottom" of the throat), the geometry transforms into something quite different. The low-energy dynamics in this near-horizon region decouple from the physics in the far, flat region.

This near-horizon geometry is found to be $AdS_5 \times S^5$: a direct product of 5-dimensional Anti-de Sitter space and a 5-dimensional sphere. The full theory of quantum gravity in this 10D spacetime is Type IIB string theory.

2. The Maldacena Conjecture

Having identified the players, we can now state the conjecture precisely.

The Maldacena Conjecture (AdS/CFT Correspondence):
Type IIB string theory on the 10-dimensional spacetime $AdS_5 \times S^5$ is completely equivalent, or "dual," to $\mathcal{N}=4$ $SU(N)$ Super Yang-Mills theory on 4-dimensional flat spacetime.

This is a breathtaking statement. It claims that these two theories, which live in different numbers of dimensions and seem to describe entirely different physics (one with gravity, one without), are just two different descriptions of the same underlying reality. Everything one can ask about one theory can, in principle, be answered by a calculation in the other.

To make this equivalence concrete, we need a "dictionary" to translate between the parameters of the two theories.

Let's summarize the dictionary you just read about. The two string theory parameters, the string coupling $g_s$ and the radius $R$ of the $AdS_5$ and $S^5$ in units of the string length $l_s = \sqrt{\alpha'}$, are related to the two gauge theory parameters, $N$ and $\lambda$, as follows:

This parameter map is the quantitative heart of the duality. It immediately reveals the correspondence's power as a strong/weak duality.

Consider the limit where we can approximate the full string theory by its low-energy effective action, classical supergravity (SUGRA). This requires:

1. Weak string coupling to suppress quantum loop corrections: $g_s \ll 1$.
2. Large spacetime curvature radius compared to the string length to suppress stringy oscillations: $R/l_s \gg 1$.

Using our dictionary, these conditions translate directly into the gauge theory parameters:

1. $g_s \ll 1 \implies \lambda / N \ll 1$. Since we are interested in large N, this is generally satisfied.
2. $R/l_s \gg 1 \implies \lambda \gg 1$.

So, the regime where the gravity theory is simple (classical supergravity) is the regime where the gauge theory is at large N and strong 't Hooft coupling ($\lambda \gg 1$). This is precisely the regime where standard perturbative QFT techniques fail, making the duality an invaluable computational tool.

3. The Holographic Dictionary: A First Look

The statement of equivalence and the parameter map form the foundation. But to perform calculations, we need a more detailed dictionary that maps operators and observables. This is provided by the Gubser-Klebanov-Polyakov-Witten (GKPW) prescription.

The general idea, which we've seen before, is that for every gauge-invariant operator $\mathcal{O}(x)$ in the CFT, there is a corresponding field $\phi(x,z)$ in the AdS bulk (where $z$ is the extra radial dimension of AdS). The correspondence then states:

On the left, we have the generating functional of correlation functions in the CFT, where $\phi_0(x)$ acts as a source for the operator $\mathcal{O}$. On the right, we have the partition function of the string theory in AdS, with the boundary value of the bulk field $\phi$ fixed to be the source $\phi_0$.

In the classical gravity limit ($N \to \infty, \lambda \to \infty$), the string partition function is dominated by the on-shell supergravity action, $S_{SUGRA}$, so the relation simplifies to:

where $\phi_{cl}$ is the classical solution to the bulk equations of motion with the boundary condition $\phi_{cl}(x, z \to 0) = \phi_0(x)$. This provides a concrete algorithm: to compute CFT correlation functions at strong coupling, we solve classical field equations in AdS!

This mapping between operators and fields is a cornerstone of the correspondence. A remarkable non-trivial check is to match the spectrum of states. The Kaluza-Klein (KK) compactification of Type IIB supergravity on the $S^5$ factor gives rise to an infinite tower of massive fields in $AdS_5$. It turns out that this tower of bulk supergravity states precisely matches the spectrum of a special class of "protected" operators in $\mathcal{N}=4$ SYM, known as chiral primary operators. These are operators whose dimensions are fixed by supersymmetry and do not receive quantum corrections, even at strong coupling. The perfect match between the KK masses (related to CFT dimensions via $\Delta(\Delta-4) = m^2 R^2$) and the known dimensions of these operators was one of the first and most powerful quantitative checks of the conjecture.

Conclusion

We have now formally stated the most famous example of gauge/gravity duality, a concrete realization of the holographic principle.

Key Takeaways:

• The AdS/CFT Conjecture: $\mathcal{N}=4$ $SU(N)$ SYM theory in 4D is dual to Type IIB string theory on $AdS_5 \times S^5$.
• This equivalence arises from a decoupling limit applied to a stack of $N$ D3-branes, which have two equivalent descriptions.
• The duality is a strong/weak duality: the computationally easy regime of one theory (classical gravity) corresponds to the computationally hard regime of the other (strongly coupled QFT).
• The parameter map is key: $g_s = \lambda / (4\pi N)$ and $(R/l_s)^4 = \lambda$. Classical gravity is valid for $N \to \infty$ and $\lambda \to \infty$.
• The GKPW prescription provides a dictionary for computing CFT correlation functions by solving classical equations of motion in AdS.

Next Lesson Preview:

So far, we have motivated the correspondence and stated it precisely. The first, most immediate check one can perform is to see if the symmetries match. In the next lesson, we will delve into the geometry of Anti-de Sitter space and show that its isometry group, $SO(4,2)$, is precisely the conformal group of the 4D boundary theory, providing a beautiful geometric foundation for the duality.