Skip to content

Wilson Loops

Most of the dictionary so far has involved local operators. A scalar operator O(x)\mathcal O(x) is dual to a bulk scalar field, a current Ji(x)J^i(x) is dual to a bulk gauge field, and the stress tensor Tij(x)T^{ij}(x) is dual to the metric. Wilson loops are different. They are nonlocal operators: instead of asking what happens at one point, they ask how the gauge field transports color around a curve.

In gauge theory, Wilson loops are among the cleanest probes of confinement, screening, external heavy quarks, and the geometry of strongly coupled gauge dynamics. In holography they are also among the most vivid examples of the stringy origin of the correspondence. The dual of a Wilson loop is not a supergravity field. It is a string worldsheet.

The schematic dictionary is

W[C]exp[Sstring,ren(ΣC)]\boxed{ \langle W[C]\rangle \simeq \exp\left[-S_{\rm string,ren}(\Sigma_C)\right] }

where ΣC\Sigma_C is a string worldsheet in the bulk whose boundary is the curve CC at the conformal boundary of AdS:

ΣC=C.\partial \Sigma_C = C .

At large NN and large ‘t Hooft coupling λ\lambda, the dominant worldsheet is a classical minimal surface. This is the first place in the course where the literal string in string theory becomes unavoidable.

Wilson loops from string worldsheets in AdS

A Wilson loop W[C]W[C] is a nonlocal boundary observable. In the classical string limit its expectation value is controlled by a bulk fundamental-string worldsheet ΣC\Sigma_C ending on the boundary curve CC. For a rectangular loop, the connected U-shaped surface computes the heavy quark–antiquark potential.

This page explains the basic prescription, derives the strong-coupling Coulomb potential in the canonical AdS5_5/CFT4_4 example, and clarifies what Wilson loops are and are not measuring.

For an ordinary gauge field Aμ=AμaTaA_\mu=A_\mu^a T^a, the Wilson loop in representation RR along a closed curve CC is

WR[C]=1dimRTrRPexp(iCAμdxμ),W_R[C] = \frac{1}{\dim R} \operatorname{Tr}_R\, \mathcal P\exp\left(i\oint_C A_\mu dx^\mu\right),

where P\mathcal P denotes path ordering. Under a gauge transformation, the holonomy around a closed loop transforms by conjugation, so its trace is gauge invariant.

For a rectangular loop with temporal extent TT and spatial separation \ell, the large-TT behavior defines a static quark–antiquark potential:

W(,T)exp[TV()]T\langle W(\ell,T)\rangle \sim \exp[-T V(\ell)] \qquad T\to\infty

in Euclidean signature. In a confining theory one expects

V()σat large ,V(\ell)\sim \sigma \, \ell \qquad \text{at large }\ell,

with string tension σ\sigma. In a conformal theory, dimensional analysis instead requires

V()1V(\ell)\propto \frac{1}{\ell}

up to a dimensionless function of couplings.

The Wilson loop is therefore a clean diagnostic of whether color sources are confined, screened, or Coulombic. Holography turns this diagnostic into a problem about a string worldsheet.

The Maldacena–Wilson loop in N=4\mathcal N=4 SYM

Section titled “The Maldacena–Wilson loop in N=4\mathcal N=4N=4 SYM”

The canonical supersymmetric loop in N=4\mathcal N=4 SYM is not only the holonomy of AμA_\mu. The theory also has six adjoint scalar fields ΦI\Phi_I, with I=1,,6I=1,\ldots,6. A locally supersymmetric Wilson loop couples to both the gauge field and the scalars:

W[C,n]=1NTrPexp[Cds(iAμ(x)x˙μ+x˙nI(s)ΦI(x))],W[C,n] = \frac{1}{N} \operatorname{Tr}\, \mathcal P \exp\left[ \oint_C ds\left( i A_\mu(x)\dot x^\mu + |\dot x|\, n^I(s)\Phi_I(x) \right) \right],

where nI(s)n^I(s) is a unit vector on S5S^5:

nInI=1.n^I n^I = 1.

This scalar coupling is not a decorative detail. It tells the bulk string where to sit on the S5S^5. A choice of nIn^I selects a point, or more generally a path, in the internal sphere.

For a straight supersymmetric line or a circular half-BPS loop, the scalar coupling is essential. The loop without scalar coupling is also an interesting gauge-theory observable, but the simplest fundamental-string prescription in AdS5×S5_5\times S^5 naturally computes the Maldacena–Wilson loop.

A Wilson loop in the fundamental representation is dual to a fundamental string ending on the boundary contour CC. In Euclidean signature the classical worldsheet action is the Nambu–Goto action

SNG=12παΣCd2σdethab,S_{\rm NG} = \frac{1}{2\pi\alpha'} \int_{\Sigma_C} d^2\sigma\, \sqrt{\det h_{ab}},

where habh_{ab} is the induced metric on the worldsheet:

hab=GMN(X)aXMbXN.h_{ab} = G_{MN}(X)\, \partial_a X^M\partial_b X^N.

The leading saddle approximation gives

W[C]exp[SNG,ren(C)].\langle W[C]\rangle \approx \exp[-S_{\rm NG,ren}(C)] .

In AdS5×S5_5\times S^5,

L2α=λ,\frac{L^2}{\alpha'} = \sqrt\lambda,

so the action of a surface with AdS-scale area is of order λ\sqrt\lambda. This explains a famous nonperturbative feature: at strong coupling, Wilson-loop exponents often scale as λ\sqrt\lambda, not as λ\lambda.

The word “renormalized” is important. A string that reaches the AdS boundary has infinite area. Physically, this divergence is the infinite rest mass of an external quark. One must regulate near z=0z=0 and subtract local boundary counterterms, or equivalently subtract the areas of reference straight strings when computing an energy difference.

The prescription is therefore more precisely

Sstring,ren=limϵ0(SNGzϵ+Sbdyz=ϵ).S_{\rm string,ren} = \lim_{\epsilon\to0} \left( S_{\rm NG}^{z\ge \epsilon} + S_{\rm bdy}^{z=\epsilon} \right).

The boundary term depends on the precise loop and on the choice of variables, but its role is universal: remove the local divergence attached to the boundary contour.

Consider Euclidean Poincaré AdS5_5:

ds2=L2z2(dz2+dτ2+dx2).ds^2 = \frac{L^2}{z^2} \left(dz^2+d\tau^2+d\vec x^2\right).

A straight Wilson line along Euclidean time is represented by a vertical string at fixed spatial position:

τ=σ0,z=σ1,x=constant.\tau = \sigma^0, \qquad z=\sigma^1, \qquad \vec x=\text{constant}.

The induced metric is

habdσadσb=L2z2(dτ2+dz2),h_{ab}d\sigma^a d\sigma^b = \frac{L^2}{z^2}(d\tau^2+dz^2),

so the regulated action over time interval TT is

Sstraight=12πα0TdτϵzIRdzL2z2=λ2πT(1ϵ1zIR).S_{\rm straight} = \frac{1}{2\pi\alpha'} \int_0^T d\tau\int_\epsilon^{z_{\rm IR}} dz\,\frac{L^2}{z^2} = \frac{\sqrt\lambda}{2\pi} T\left(\frac{1}{\epsilon}-\frac{1}{z_{\rm IR}}\right).

The 1/ϵ1/\epsilon divergence is the heavy-quark mass divergence. It is local on the boundary line and is removed by the Wilson-line renormalization. For a supersymmetric straight line in the vacuum, the renormalized expectation value is conventionally normalized to one:

Wline=1.\langle W_{\rm line}\rangle = 1.

This is a useful calibration. The connected quark–antiquark worldsheet will be compared with two disconnected straight strings.

The rectangular loop and the heavy-quark potential

Section titled “The rectangular loop and the heavy-quark potential”

Now compute the potential between an external quark and antiquark separated by distance \ell in strongly coupled N=4\mathcal N=4 SYM. Take a rectangular loop with long Euclidean time extent TT and spatial endpoints at

x=±2.x=\pm \frac{\ell}{2}.

Use static gauge

τ=t,σ=x,z=z(x).\tau = t, \qquad \sigma=x, \qquad z=z(x).

The Nambu–Goto action becomes

SNG=TL22πα/2/2dx1+z(x)2z(x)2=Tλ2π/2/2dx1+z2z2.S_{\rm NG} = \frac{T L^2}{2\pi\alpha'} \int_{-\ell/2}^{\ell/2} dx\, \frac{\sqrt{1+z'(x)^2}}{z(x)^2} = \frac{T\sqrt\lambda}{2\pi} \int_{-\ell/2}^{\ell/2} dx\, \frac{\sqrt{1+z'^2}}{z^2}.

The surface hangs into the bulk, reaches a maximum depth zz_* at x=0x=0, and returns to the boundary. Since the Lagrangian does not depend explicitly on xx, there is a conserved quantity:

1z21+z2=1z2.\frac{1}{z^2\sqrt{1+z'^2}} = \frac{1}{z_*^2}.

Solving for zz' gives

z2=z4z41.z'^2 = \frac{z_*^4}{z^4}-1.

The separation is therefore

2=0zdzz2z4z4=z01dyy21y4.\frac{\ell}{2} = \int_0^{z_*} dz\,\frac{z^2}{\sqrt{z_*^4-z^4}} = z_*\int_0^1 dy\,\frac{y^2}{\sqrt{1-y^4}}.

The integral evaluates to

01dyy21y4=πΓ(3/4)Γ(1/4).\int_0^1 dy\,\frac{y^2}{\sqrt{1-y^4}} = \sqrt\pi\,\frac{\Gamma(3/4)}{\Gamma(1/4)}.

Thus

=2zπΓ(3/4)Γ(1/4).\ell = 2 z_*\sqrt\pi\,\frac{\Gamma(3/4)}{\Gamma(1/4)}.

After subtracting the two straight-string masses, the renormalized energy is

V()=4π2Γ(1/4)4λ.V(\ell) = -\frac{4\pi^2}{\Gamma(1/4)^4}\, \frac{\sqrt\lambda}{\ell}.

This result is worth staring at. The theory is conformal, so V()V(\ell) must scale as 1/1/\ell. Holography computes the coefficient at strong coupling and large NN. The dependence on λ\sqrt\lambda is nonanalytic from the viewpoint of weak-coupling perturbation theory.

The U-shaped string gives an especially concrete version of the UV/IR relation. Boundary separation \ell is related to the maximum radial depth zz_*:

z.z_* \sim \ell.

Short-distance probes remain near the boundary. Long-distance probes fall deeper into the bulk. This is the same intuition used in holographic RG, now encoded in a minimal surface.

In the vacuum of a conformal theory, the string can hang arbitrarily deep, producing a Coulombic potential at all distances. In a geometry with an IR wall, cap, or horizon, the large-distance behavior can change. For example:

Bulk behaviorWilson-loop behavior
pure AdS throatCoulombic V()1/V(\ell)\sim -1/\ell
confining cap or hard wallarea law at large \ell
black-brane horizonscreening at finite temperature
string breaking allowed by dynamical flavorsconnected string may cease to dominate

This is one reason Wilson loops are so useful: they translate qualitative geometry into qualitative force laws.

The circular half-BPS Wilson loop is another landmark example. For a circle of radius RR on the boundary of Euclidean AdS, the minimal surface is a hemisphere:

z2+r2=R2.z^2+r^2=R^2.

The renormalized classical string action is

Sren=λ,S_{\rm ren}=-\sqrt\lambda,

so the leading strong-coupling behavior is

Wcircleexp(λ).\langle W_{\rm circle}\rangle \sim \exp(\sqrt\lambda).

This sign may look odd at first: Euclidean actions are usually positive. The point is that the divergent area subtraction includes a boundary contribution, and the finite renormalized result can be negative. The circular BPS loop became an important precision test because supersymmetric localization computes it exactly in the gauge theory, including finite-NN and finite-λ\lambda information. In this foundations course, the main lesson is simpler: the same minimal-surface prescription that gives the quark–antiquark potential also computes smooth loop expectation values.

At finite temperature, the dual geometry contains a black brane:

ds2=L2z2(f(z)dτ2+dx2+dz2f(z)),f(z)=1(zzh)d.ds^2 = \frac{L^2}{z^2} \left( f(z)d\tau^2+d\vec x^2+\frac{dz^2}{f(z)} \right), \qquad f(z)=1-\left(\frac{z}{z_h}\right)^d.

The Euclidean time circle has circumference

β=1T.\beta = \frac{1}{T}.

A temporal Wilson loop wrapping the Euclidean thermal circle is the Polyakov loop. In a deconfined plasma, a single string can end on the boundary loop and fall into the horizon. Its renormalized action computes the free energy of an external heavy quark:

PeβFQ.\langle P\rangle \sim e^{-\beta F_Q}.

A rectangular Wilson loop at finite temperature is represented by a connected worldsheet only up to a maximum separation. At large enough separation the dominant configuration becomes two disconnected strings ending on the horizon. This is the holographic picture of color screening in a plasma.

The detailed finite-temperature analysis belongs later in the course, but the qualitative message is already visible: horizons screen external color sources.

Higher representations and other loop operators

Section titled “Higher representations and other loop operators”

The fundamental Wilson loop is dual to a fundamental string. Other nonlocal operators have related but distinct bulk descriptions:

Boundary operatorTypical bulk object
fundamental Wilson loopfundamental string F1
Wilson loop in large symmetric representationD3-brane with electric flux
Wilson loop in large antisymmetric representationD5-brane with electric flux
’t Hooft loopD1-string or magnetic dual object
dyonic loop(p,q)(p,q) string

This table should be read as orientation, not as a universal theorem. The precise object depends on the theory, the representation, supersymmetry, and the background. The key point is that nonlocal line operators often require extended stringy objects, not just supergravity fields.

“A Wilson loop is dual to a bulk gauge field.”

Section titled ““A Wilson loop is dual to a bulk gauge field.””

A conserved current JμJ^\mu is dual to a bulk gauge field AMA_M. A Wilson loop in the fundamental representation is instead dual to a fundamental string worldsheet ending on the boundary loop. The bulk gauge field computes current correlators; the string computes the phase/holonomy observable associated with an external color source.

“The string endpoint is a dynamical quark in the boundary theory.”

Section titled ““The string endpoint is a dynamical quark in the boundary theory.””

In the basic Wilson-loop calculation, the endpoint represents an infinitely heavy external probe, not a dynamical quark field in the original N=4\mathcal N=4 SYM spectrum. Dynamical fundamental matter requires adding flavor branes, which is the subject of the next page.

“The minimal area is finite because the loop is finite.”

Section titled ““The minimal area is finite because the loop is finite.””

No. Any string worldsheet ending at the AdS boundary has a near-boundary area divergence. This is the holographic version of the UV divergence associated with an external heavy source. One must renormalize the worldsheet action.

“The Wilson loop proves confinement in N=4\mathcal N=4 SYM.”

Section titled ““The Wilson loop proves confinement in N=4\mathcal N=4N=4 SYM.””

It does not. The strong-coupling result in the vacuum is Coulombic:

V()λ.V(\ell)\propto -\frac{\sqrt\lambda}{\ell}.

This is exactly what conformal invariance requires. Confinement requires an IR scale and a different bulk geometry, such as a cap-off or hard wall.

“Large NN alone justifies the classical string worldsheet.”

Section titled ““Large NNN alone justifies the classical string worldsheet.””

Large NN suppresses string loops. The classical worldsheet approximation also needs large λ\lambda, because the string tension in AdS units is

TstringL2=λ2π.T_{\rm string}L^2=\frac{\sqrt\lambda}{2\pi}.

For small λ\lambda, the worldsheet is strongly quantum even if NN is large.

Boundary statementBulk statement
fundamental Wilson loop W[C]W[C]fundamental string ending on CC
W[C]\langle W[C]\rangle at large NN, large λ\lambdaeSstring,rene^{-S_{\rm string,ren}}
rectangular loopheavy quark–antiquark potential
scalar coupling nIΦIn^I\Phi_I in N=4\mathcal N=4 SYMendpoint position/path on S5S^5
perimeter divergenceinfinite area of string near boundary
screening at finite temperaturedisconnected strings ending on a horizon
confinement criterionlarge loop dominated by area-law worldsheet

The important conceptual addition is that the holographic dictionary is not limited to local fields. Nonlocal gauge-invariant observables can be dual to extended bulk objects.

Exercise 1: Dimensional analysis of the quark–antiquark potential

Section titled “Exercise 1: Dimensional analysis of the quark–antiquark potential”

Use conformal invariance to determine the functional form of the static potential V()V(\ell) in four-dimensional N=4\mathcal N=4 SYM. What can and cannot be fixed by symmetry?

Solution

The potential has dimensions of energy, so in a conformal theory it must scale as inverse length:

V()=c(λ,N).V(\ell)=\frac{c(\lambda,N)}{\ell}.

Conformal symmetry fixes the 1/1/\ell dependence but not the dimensionless coefficient c(λ,N)c(\lambda,N). Holography at large NN and large λ\lambda gives

c(λ,N)=4π2Γ(1/4)4λ+,c(\lambda,N) = -\frac{4\pi^2}{\Gamma(1/4)^4}\sqrt\lambda +\cdots,

where the ellipsis denotes 1/λ1/\sqrt\lambda and 1/N1/N corrections.

Exercise 2: Derive the first integral for the hanging string

Section titled “Exercise 2: Derive the first integral for the hanging string”

For the Lagrangian

L(z,z)=1+z2z2,\mathcal L(z,z')=\frac{\sqrt{1+z'^2}}{z^2},

show that

1z21+z2=1z2,\frac{1}{z^2\sqrt{1+z'^2}} = \frac{1}{z_*^2},

where zz_* is the maximum radial depth of the string.

Solution

Since L\mathcal L has no explicit xx dependence, the Hamiltonian-like quantity

zLzLz'\frac{\partial\mathcal L}{\partial z'}-\mathcal L

is conserved. We compute

Lz=zz21+z2,\frac{\partial\mathcal L}{\partial z'} = \frac{z'}{z^2\sqrt{1+z'^2}},

so

zLzL=z2z21+z21+z2z2=1z21+z2.z'\frac{\partial\mathcal L}{\partial z'}-\mathcal L = \frac{z'^2}{z^2\sqrt{1+z'^2}} - \frac{\sqrt{1+z'^2}}{z^2} = -\frac{1}{z^2\sqrt{1+z'^2}}.

At the midpoint of the string, z=zz=z_* and z=0z'=0, so the conserved quantity equals 1/z2-1/z_*^2. Hence

1z21+z2=1z2.\frac{1}{z^2\sqrt{1+z'^2}} = \frac{1}{z_*^2}.

Exercise 3: Why does the action scale as λ\sqrt\lambda?

Section titled “Exercise 3: Why does the action scale as λ\sqrt\lambdaλ​?”

Explain why the classical string action in AdS5×S5_5\times S^5 has an overall factor λ\sqrt\lambda.

Solution

The Nambu–Goto action is

SNG=12παd2σdeth.S_{\rm NG}=\frac{1}{2\pi\alpha'}\int d^2\sigma\sqrt{\det h}.

For a worldsheet whose geometry is set by the AdS radius LL, the induced area contains a factor L2L^2. Therefore

SNGL2α.S_{\rm NG}\sim \frac{L^2}{\alpha'}.

In the AdS5_5/CFT4_4 parameter map,

L2α=λ.\frac{L^2}{\alpha'}=\sqrt\lambda.

Thus the classical worldsheet action is of order λ\sqrt\lambda. This is why many strong-coupling Wilson-loop results have the form exp[O(λ)]\exp[-O(\sqrt\lambda)] or exp[+O(λ)]\exp[+O(\sqrt\lambda)] after renormalization.

Exercise 4: Boundary divergence of a straight string

Section titled “Exercise 4: Boundary divergence of a straight string”

Using the straight string result

Sstraight=λ2πT(1ϵ1zIR),S_{\rm straight} = \frac{\sqrt\lambda}{2\pi} T\left(\frac{1}{\epsilon}-\frac{1}{z_{\rm IR}}\right),

identify the divergent contribution to the heavy-quark energy.

Solution

The Euclidean action of a static object over time TT is S=TES=T E. Therefore the divergent contribution to the heavy-quark energy is

Ediv=λ2π1ϵ.E_{\rm div} = \frac{\sqrt\lambda}{2\pi}\frac{1}{\epsilon}.

This is interpreted as the infinite bare mass of an external quark. A renormalized Wilson loop subtracts this local divergence.