Skip to content

Wilson Loops and Fundamental Strings

Local single-trace operators are not the only observables in a gauge theory. Gauge theories also have line operators: observables supported on curves rather than points. The most important example is the Wilson loop. It measures the holonomy of the gauge connection around a contour CC, and in many gauge theories it is the cleanest diagnostic of confinement, screening, heavy-probe forces, and phases of gauge dynamics.

In AdS/CFT, the Wilson loop has a beautifully geometric dual:

A Wilson loop in the fundamental representation is computed, at strong coupling and large NN, by an open fundamental string whose worldsheet ends on the loop at the AdS boundary.

Schematically,

W(C)exp ⁣[SNGren(ΣC)],ΣC=C.\langle W(C)\rangle \simeq \exp\!\left[-S_{\mathrm{NG}}^{\mathrm{ren}}(\Sigma_C)\right], \qquad \partial \Sigma_C=C.

Here ΣC\Sigma_C is a two-dimensional string worldsheet in the bulk, SNGrenS_{\mathrm{NG}}^{\mathrm{ren}} is the renormalized Nambu-Goto action, and the boundary condition ΣC=C\partial\Sigma_C=C means that the endpoint of the open string traces out the curve CC on the conformal boundary.

A Wilson loop on the boundary is dual to a fundamental string worldsheet ending on the loop.

A fundamental Wilson loop W(C)W(C) is represented holographically by an open F1 worldsheet ΣC\Sigma_C ending on the boundary contour CC. In the classical string limit, W(C)\langle W(C)\rangle is dominated by the renormalized minimal area of ΣC\Sigma_C.

This page develops the dictionary. The next page uses it to compute the heavy-quark potential from a U-shaped string worldsheet.

Let A=AμdxμA=A_\mu dx^\mu be a gauge field and let RR be a representation of the gauge group. The Wilson loop 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. The trace is essential. The parallel transporter around a closed curve transforms by conjugation under a gauge transformation, and the trace removes that conjugation.

For a path parametrized by xμ(τ)x^\mu(\tau), this is

WR(C)=1dimRTrRPexp ⁣(idτx˙μ(τ)Aμ(x(τ))).W_R(C) = \frac{1}{\dim R}\, \operatorname{Tr}_R\, \mathcal P \exp\!\left(i\int d\tau\,\dot x^\mu(\tau) A_\mu(x(\tau))\right).

The most useful physical interpretation is that WR(C)W_R(C) is the phase factor acquired by an infinitely heavy external probe in representation RR whose worldline is CC. This is why Wilson loops are so sensitive to confinement: they ask how expensive it is to insert heavy color sources.

For a rectangular Euclidean loop with temporal extent TT and spatial separation RR,

C=[0,T]×[0,R],C = [0,T]\times [0,R],

the large-TT behavior defines the static potential between a heavy quark and antiquark:

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

Thus a Wilson loop is both an operator and a measuring device. It measures the free energy of external color sources.

Area law, perimeter law, and what Wilson loops diagnose

Section titled “Area law, perimeter law, and what Wilson loops diagnose”

In a confining gauge theory, a large rectangular Wilson loop in the fundamental representation often obeys an area law,

logW(C)σArea(C),\log \langle W(C)\rangle \sim -\sigma\,\mathrm{Area}(C),

where σ\sigma is the confining string tension. For a rectangle, this gives

V(R)σR.V(R)\sim \sigma R.

In a Coulomb phase, one instead expects a potential of the form V(R)1/RV(R)\sim -1/R in four dimensions. In a screened phase with dynamical fundamental matter, the Wilson loop may fail to show an asymptotic area law because the external flux tube can break by pair creation.

For this course, the crucial distinction is the following:

Boundary behaviorPhysical interpretationTypical potential
Area lawconfinement of external fundamental probesV(R)σRV(R)\sim \sigma R
Coulombic behaviorconformal or weakly screened interactionV(R)1/RV(R)\sim -1/R
Perimeter/screened behaviorstring breaking or deconfinementV(R)V(R) saturates or is screened

The vacuum of four-dimensional N=4\mathcal N=4 SYM is conformal, so it does not confine. The holographic Wilson loop in vacuum AdS5×S5\mathrm{AdS}_5\times S^5 gives a strong-coupling Coulomb potential,

V(R)λR,V(R) \propto -\frac{\sqrt\lambda}{R},

not a linear potential. Confining behavior appears in other geometries, for example those with an IR wall, a cigar cap, or a shrinking cycle that prevents the string from sliding indefinitely into the deep bulk.

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”

In N=4\mathcal N=4 SYM, the Wilson operator naturally dual to a fundamental string is not merely the ordinary gauge-field holonomy. The supersymmetric line operator also couples to the six adjoint scalars ΦI\Phi_I, I=1,,6I=1,\ldots,6:

W(C,n)=1NTrPexp ⁣[dτ(ix˙μAμ(x(τ))+x˙nI(τ)ΦI(x(τ)))].W(C,n) = \frac{1}{N}\operatorname{Tr}\,\mathcal P \exp\!\left[ \int d\tau\, \left( i\dot x^\mu A_\mu(x(\tau)) + |\dot x|\,n^I(\tau)\Phi_I(x(\tau)) \right) \right].

Here nI(τ)n^I(\tau) is a unit vector on S5S^5,

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

This scalar coupling is not ornamental. It is required by the D3-brane origin of the probe. A heavy external quark can be engineered by separating one D3-brane from a stack of NN D3-branes. The massive open string stretched between the separated brane and the stack becomes a heavy WW-boson in the fundamental of the unbroken U(N)U(N). Its worldline coupling includes both the gauge field and the scalar fields that describe transverse brane positions.

A straight line with constant nIn^I preserves half of the supercharges. A circle with constant nIn^I is also half-BPS after the conformal map from the line to the circle, but its expectation value is not equal to one because the conformal transformation changes the regularization by an anomaly-like finite term.

The internal vector nI(τ)n^I(\tau) has a direct bulk meaning: it specifies where the string endpoint sits on the S5S^5 as it moves along the boundary curve. Thus the full boundary condition for a string in AdS5×S5\mathrm{AdS}_5\times S^5 is not just

Xμ(τ,z=0)=xμ(τ),X^\mu(\tau,z=0)=x^\mu(\tau),

but also, schematically,

YI(τ,z=0)=nI(τ)Y^I(\tau,z=0)=n^I(\tau)

for the internal S5S^5 direction.

The D-brane origin of the canonical correspondence explains the Wilson-loop dictionary almost without calculation.

On the gauge-theory side, a fundamental Wilson loop inserts an infinitely heavy external quark. On the string-theory side, a fundamental quark is the endpoint of a fundamental open string ending on the D3-branes. After the near-horizon limit, the D3-brane stack is replaced by AdS5×S5\mathrm{AdS}_5\times S^5, and the endpoint of the string is pushed to the AdS boundary. The string itself remains as a macroscopic object stretching into the bulk.

The dictionary is therefore:

CFT / gauge-theory objectBulk object
Fundamental Wilson loop W(C)W_\square(C)Fundamental string worldsheet ending on CC
Heavy external quarkEndpoint of an F1 string at the boundary
Curve xμ(τ)x^\mu(\tau)Boundary condition for AdS embedding coordinates
Scalar coupling nI(τ)n^I(\tau) in N=4\mathcal N=4 SYMBoundary condition on S5S^5 position
Strong-coupling saddleClassical minimal worldsheet
Perimeter divergenceInfinite rest mass of external quark

The word “external” matters. In pure N=4\mathcal N=4 SYM there are no dynamical fundamental quarks. The Wilson loop is a probe operator, not the worldline of a dynamical field already present in the Lagrangian. Dynamical flavor degrees of freedom require additional flavor branes, a topic that appears later.

The string action and the strong-coupling limit

Section titled “The string action and the strong-coupling limit”

At leading order in the classical string limit, the relevant action is the Nambu-Goto action

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

where the induced worldsheet metric is

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

For a Euclidean Wilson loop, the worldsheet is Euclidean and dethab\det h_{ab} is positive. For a Lorentzian Wilson line, one must use the appropriate Lorentzian string action and real-time prescription.

In the canonical duality,

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

so a typical classical string action scales as

SNGλ.S_{\mathrm{NG}} \sim \sqrt\lambda.

This explains a famous qualitative feature of holographic Wilson loops: at strong ‘t Hooft coupling, the exponent is proportional to λ\sqrt\lambda, not to λ\lambda.

The saddle-point approximation is controlled by large λ\lambda:

λ1L2α1,\lambda\gg 1 \quad\Longrightarrow\quad \frac{L^2}{\alpha'}\gg 1,

so the string worldsheet is governed by classical geometry. Quantum fluctuations of the worldsheet give corrections of order λ0\lambda^0 in the exponent, while α\alpha' corrections to the target-space geometry give inverse powers of λ1/2\lambda^{1/2} or λ3/2\lambda^{3/2} depending on the observable and background. String loop effects are controlled by gsλ/Ng_s\sim \lambda/N and are suppressed in the planar large-NN limit.

Thus the cleanest version of the formula is

W(C)=open string worldsheetsΣ=Cexp[Sstring(Σ)]exp[SNGren(Σcl)]\langle W_\square(C)\rangle = \sum_{\substack{\text{open string worldsheets}\\ \partial\Sigma=C}} \exp[-S_{\mathrm{string}}(\Sigma)] \quad\longrightarrow\quad \exp[-S_{\mathrm{NG}}^{\mathrm{ren}}(\Sigma_{\mathrm{cl}})]

when N1N\gg 1 and λ1\lambda\gg 1.

Boundary divergence and quark-mass subtraction

Section titled “Boundary divergence and quark-mass subtraction”

A string that ends at the AdS boundary has infinite area. This is not a bug; it is the bulk version of the infinite mass of an external quark.

Near the boundary of Euclidean AdS,

ds2=L2z2(dz2+dxμdxμ),ds^2 = \frac{L^2}{z^2} \left(dz^2+dx^\mu dx_\mu\right),

consider a straight Wilson line of Euclidean length TT. The dual string is the vertical surface

x0=τ,z=σ,xi=0.x^0=\tau, \qquad z=\sigma, \qquad x^i=0.

The induced metric is

dsΣ2=L2z2(dτ2+dz2),ds^2_\Sigma = \frac{L^2}{z^2}(d\tau^2+dz^2),

so the bare action with cutoff z=ϵz=\epsilon is

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

The divergence is proportional to the length of the boundary contour:

Sdiv=λ2πLength(C)ϵ.S_{\mathrm{div}} = \frac{\sqrt\lambda}{2\pi}\frac{\mathrm{Length}(C)}{\epsilon}.

This is interpreted as the infinite rest mass of the heavy quark. The renormalized string action subtracts it:

SNGren=limϵ0(SNGbareλ2πLength(C)ϵ),S_{\mathrm{NG}}^{\mathrm{ren}} = \lim_{\epsilon\to 0} \left( S_{\mathrm{NG}}^{\mathrm{bare}} - \frac{\sqrt\lambda}{2\pi}\frac{\mathrm{Length}(C)}{\epsilon} \right),

up to finite scheme choices. For the half-BPS straight line in N=4\mathcal N=4 SYM, the standard convention gives

SNGren=0,Wline=1.S_{\mathrm{NG}}^{\mathrm{ren}}=0, \qquad \langle W_{\mathrm{line}}\rangle=1.

This normalization is physically natural because the straight BPS external quark has no force acting on it in the vacuum.

The circular Wilson loop is the simplest nontrivial closed contour. Let the boundary curve be a circle of radius aa in a Euclidean plane:

r2=(x1)2+(x2)2=a2,z=0.r^2=(x^1)^2+(x^2)^2=a^2, \qquad z=0.

In Euclidean AdS, the corresponding classical worldsheet is a hemisphere,

r2+z2=a2.r^2+z^2=a^2.

One convenient parametrization is

z=acosθ,r=asinθ,φ=φ,z=a\cos\theta, \qquad r=a\sin\theta, \qquad \varphi=\varphi,

with 0θ<π/20\leq\theta<\pi/2. The induced metric is that of Euclidean AdS2_2 with radius LL:

dsΣ2=L2cos2θ(dθ2+sin2θdφ2).ds^2_\Sigma = \frac{L^2}{\cos^2\theta} \left(d\theta^2+\sin^2\theta\,d\varphi^2\right).

The bare area diverges near θ=π/2\theta=\pi/2. After subtracting the perimeter divergence, the renormalized action is

SNGren=λ.S_{\mathrm{NG}}^{\mathrm{ren}}=-\sqrt\lambda.

Therefore the classical string prediction is

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

This result is one of the cleanest examples where the strong-coupling string saddle matches a quantity that can also be studied very precisely on the gauge-theory side. In the planar limit, the half-BPS circular Wilson loop is captured by a Gaussian matrix model, whose strong-coupling asymptotics reproduce the same exponential behavior, with computable prefactors.

The circle and the straight line are related by a conformal transformation, so why are their expectation values different? The answer is that the line has an infrared divergence while the circle has a finite scale. The regularization and conformal map do not commute innocently. The difference is a finite anomaly-like effect, and holographically it appears as the finite part of the renormalized worldsheet area.

Preview: the rectangular loop and the heavy-quark potential

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

For the rectangular loop, the worldsheet has two nearly vertical pieces ending on the quark and antiquark worldlines and a smooth U-shaped bottom that connects them in the bulk. In pure AdS, conformal invariance fixes the potential to have the form

V(R)=κλR,V(R) = -\frac{\kappa\sqrt\lambda}{R},

where the classical string calculation gives

κ=4π2Γ(1/4)4.\kappa = \frac{4\pi^2}{\Gamma(1/4)^4}.

The next page derives this result. For now, notice the structure:

  • the 1/R1/R dependence follows from conformal invariance;
  • the λ\sqrt\lambda coefficient follows from the string tension in AdS units;
  • the numerical constant follows from solving the minimal surface problem;
  • the perimeter divergences from the two vertical string pieces must be subtracted.

In confining holographic backgrounds, the same rectangular-loop calculation changes qualitatively. If the geometry has an effective IR bottom where the string can sit, the large-RR worldsheet consists of two vertical pieces plus a long horizontal segment at the bottom. Then

V(R)TeffR,V(R) \sim T_{\mathrm{eff}}R,

where TeffT_{\mathrm{eff}} is the effective string tension evaluated at the IR wall or cap. Thus the Wilson-loop prescription naturally converts geometric IR structure into confinement diagnostics.

Which bulk object for which line operator?

Section titled “Which bulk object for which line operator?”

The fundamental string is only the first entry in a larger line-operator dictionary.

Boundary line operatorBulk description
Fundamental Wilson loop WW_\squareF1 string
Fundamental ‘t Hooft loopD1 string
Wilson-‘t Hooft loop with charges (p,q)(p,q)(p,q)(p,q) string
Large-rank antisymmetric Wilson loopD5-brane with electric flux
Large-rank symmetric Wilson loopD3-brane with electric flux
Surface/defect generalizationsHigher-dimensional branes

The reason is simple: different line operators carry different electric and magnetic charges under the gauge theory, and the bulk has different extended objects carrying the corresponding string charges. The full story is tied to S-duality, brane polarization, representation theory, and boundary conditions for higher-form symmetries. Those refinements belong later in the course. For this page, the key lesson is:

fundamental electric probefundamental string endpoint.\text{fundamental electric probe} \quad\longleftrightarrow\quad \text{fundamental string endpoint}.

It is tempting to summarize the prescription as “compute the area of a surface.” That is true in the strict classical Nambu-Goto approximation, but several qualifications matter in real calculations.

First, the surface is embedded in the full ten-dimensional geometry when the internal space is relevant. For supersymmetric Wilson loops in N=4\mathcal N=4 SYM, the S5S^5 boundary condition encodes the scalar coupling.

Second, the action may contain more than the Nambu-Goto area. A fundamental string also has a coupling to the NS-NS two-form,

SB=i2παΣB2S_B = \frac{i}{2\pi\alpha'} \int_\Sigma B_2

in Euclidean signature. This vanishes in the simplest AdS5×S5\mathrm{AdS}_5\times S^5 examples with B2=0B_2=0, but it matters in more general backgrounds.

Third, the saddle may not be unique. When several classical worldsheets end on the same contour, the leading contribution comes from the saddle with smallest renormalized action, but subdominant saddles can signal phase transitions. The Gross-Ooguri transition for correlators of Wilson loops is a classic example: connected and disconnected minimal surfaces compete.

Fourth, the boundary divergence must be removed consistently. The subtraction is analogous in spirit to holographic renormalization for fields, but now the divergent object is a string worldsheet area rather than a bulk field action.

Fifth, the ordinary Wilson loop and the supersymmetric Maldacena-Wilson loop have different ultraviolet properties. The scalar coupling can cancel divergences and preserve supersymmetry for special contours. Without it, cusps, intersections, and sharp corners generate additional divergences controlled by cusp anomalous dimensions.

A modern viewpoint treats a Wilson line not merely as an observable but as a defect CFT supported on the line. A straight Wilson line in a CFT preserves a subgroup of the conformal group. For a line in dd Euclidean dimensions, the preserved spacetime symmetry is

SO(1,2)×SO(d1),SO(1,2)\times SO(d-1),

where SO(1,2)SO(1,2) is the conformal group along the line and SO(d1)SO(d-1) rotates the transverse directions. In N=4\mathcal N=4 SYM, a half-BPS Wilson line also preserves part of the R-symmetry and supersymmetry.

From the bulk point of view, the straight string worldsheet is an AdS2\mathrm{AdS}_2 subspace inside AdS5\mathrm{AdS}_5. Fluctuations of the string worldsheet are dual to defect operators living on the Wilson line. This line-defect perspective is extremely useful for precision tests: one can study displacement operators, Bremsstrahlung functions, cusp anomalous dimensions, and defect OPE data.

The first lesson, however, is already visible at the classical level. A line defect in the CFT carves out a two-dimensional worldsheet in the bulk.

Validity of the classical Wilson-loop prescription

Section titled “Validity of the classical Wilson-loop prescription”

For the formula

W(C)exp[SNGren(ΣC)]\langle W_\square(C)\rangle \simeq \exp[-S_{\mathrm{NG}}^{\mathrm{ren}}(\Sigma_C)]

to be quantitatively reliable, several assumptions are normally being made:

AssumptionBulk meaningBoundary meaning
N1N\gg 1suppress string loops and backreactionplanar limit
λ1\lambda\gg 1suppress worldsheet α\alpha' correctionsstrong ‘t Hooft coupling
probe approximationignore backreaction of the F1 stringone external quark, not O(N2)O(N^2) matter
smooth contourno cusp/intersection divergences beyond perimeter termcontrolled line defect
fixed representationfundamental representation, not large-rank representationF1 rather than D-brane saddle
specified internal couplingboundary condition on S5S^5scalar coupling fixed

This table is worth taking seriously. Many incorrect uses of holographic Wilson loops come from silently applying the fundamental-string formula outside its regime.

Mistake 1: Treating the Wilson loop as a local operator. A Wilson loop is supported on a curve. It creates a line defect or heavy external probe. Its bulk dual is an extended worldsheet, not a pointlike field.

Mistake 2: Forgetting the scalar coupling in N=4\mathcal N=4 SYM. The string dual of the standard supersymmetric Wilson loop is the Maldacena-Wilson loop with scalar coupling. The ordinary gauge-field Wilson loop is a different operator.

Mistake 3: Interpreting the string endpoint as a dynamical quark. In N=4\mathcal N=4 SYM without flavor branes, the fundamental Wilson loop is an external probe. Dynamical fundamental matter requires extra ingredients.

Mistake 4: Ignoring the perimeter divergence. A string ending at the AdS boundary has infinite area. The divergence is the infinite mass of the external quark and must be subtracted.

Mistake 5: Assuming Wilson loops always show confinement. Vacuum N=4\mathcal N=4 SYM is conformal. Its heavy-quark potential is Coulombic, not linear.

Mistake 6: Confusing representation with string type. A fundamental Wilson loop is an F1 string. Magnetic and dyonic line operators involve D1 or (p,q)(p,q) strings; large-rank Wilson loops are often described by D-branes.

Exercise 1: Gauge invariance of a closed Wilson loop

Section titled “Exercise 1: Gauge invariance of a closed Wilson loop”

Let

U(C)=Pexp ⁣(iCA)U(C)=\mathcal P\exp\!\left(i\oint_C A\right)

be the holonomy around a closed curve based at x0x_0. Under a gauge transformation g(x)g(x), show that

U(C)g(x0)U(C)g(x0)1.U(C)\to g(x_0)U(C)g(x_0)^{-1}.

Conclude that TrU(C)\operatorname{Tr}U(C) is gauge invariant.

Solution

For an open path from xix_i to xfx_f, the parallel transporter transforms as

U(xf,xi)g(xf)U(xf,xi)g(xi)1.U(x_f,x_i)\to g(x_f)U(x_f,x_i)g(x_i)^{-1}.

A closed loop has xf=xi=x0x_f=x_i=x_0, so

U(C)g(x0)U(C)g(x0)1.U(C)\to g(x_0)U(C)g(x_0)^{-1}.

Taking the trace removes the conjugation:

Tr[g(x0)U(C)g(x0)1]=TrU(C).\operatorname{Tr}\bigl[g(x_0)U(C)g(x_0)^{-1}\bigr] = \operatorname{Tr}U(C).

Thus the traced Wilson loop is gauge invariant.

Exercise 2: Extracting the static potential

Section titled “Exercise 2: Extracting the static potential”

Suppose a rectangular Euclidean Wilson loop has large-TT behavior

W(T,R)exp[TV(R)+O(T0)].\langle W(T,R)\rangle \sim \exp[-T V(R)+O(T^0)].

Show that

V(R)=limT1TlogW(T,R).V(R) = -\lim_{T\to\infty}\frac{1}{T}\log\langle W(T,R)\rangle.
Solution

Taking the logarithm gives

logW(T,R)=TV(R)+O(T0).\log\langle W(T,R)\rangle = -T V(R)+O(T^0).

Divide by TT:

1TlogW(T,R)=V(R)+O(T1).\frac{1}{T}\log\langle W(T,R)\rangle = -V(R)+O(T^{-1}).

Taking TT\to\infty removes the subleading term and gives

V(R)=limT1TlogW(T,R).V(R) = -\lim_{T\to\infty}\frac{1}{T}\log\langle W(T,R)\rangle.

Exercise 3: Why the exponent scales as λ\sqrt\lambda

Section titled “Exercise 3: Why the exponent scales as λ\sqrt\lambdaλ​”

Using

SNG=12παd2σdeth,GMN=L2G^MN,S_{\mathrm{NG}} = \frac{1}{2\pi\alpha'}\int d^2\sigma\sqrt{\det h}, \qquad G_{MN}=L^2\widehat G_{MN},

and

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

show that a classical string worldsheet action in AdS5×S5\mathrm{AdS}_5\times S^5 has the form

SNG=λAS_{\mathrm{NG}} = \sqrt\lambda\,\mathcal A

up to a conventional factor of 2π2\pi, where A\mathcal A is a dimensionless area functional.

Solution

If GMN=L2G^MNG_{MN}=L^2\widehat G_{MN}, then the induced metric is

hab=L2h^ab.h_{ab}=L^2\widehat h_{ab}.

For a two-dimensional worldsheet,

deth=L2deth^.\sqrt{\det h}=L^2\sqrt{\det\widehat h}.

Therefore

SNG=L22παd2σdeth^=λ2πd2σdeth^.S_{\mathrm{NG}} = \frac{L^2}{2\pi\alpha'} \int d^2\sigma\sqrt{\det\widehat h} = \frac{\sqrt\lambda}{2\pi} \int d^2\sigma\sqrt{\det\widehat h}.

Defining

A=12πd2σdeth^,\mathcal A = \frac{1}{2\pi} \int d^2\sigma\sqrt{\det\widehat h},

we obtain

SNG=λA.S_{\mathrm{NG}}=\sqrt\lambda\,\mathcal A.

Exercise 4: Perimeter divergence of a straight string

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

Consider the vertical string dual to a straight Wilson line of Euclidean length TT in Poincaré AdS,

ds2=L2z2(dz2+dt2+dx2).ds^2 = \frac{L^2}{z^2}(dz^2+dt^2+d\mathbf x^2).

Use the embedding t=τt=\tau, z=σz=\sigma, x=0\mathbf x=0 to show that

SNGbare=λ2πTϵ+finiteS_{\mathrm{NG}}^{\mathrm{bare}} = \frac{\sqrt\lambda}{2\pi}\frac{T}{\epsilon}+\text{finite}

with cutoff z=ϵz=\epsilon.

Solution

The induced metric is

hττ=L2z2,hzz=L2z2,hτz=0.h_{\tau\tau}=\frac{L^2}{z^2}, \qquad h_{zz}=\frac{L^2}{z^2}, \qquad h_{\tau z}=0.

Hence

deth=L2z2.\sqrt{\det h}=\frac{L^2}{z^2}.

The Nambu-Goto action is

SNGbare=12πα0TdτϵzIRdzL2z2.S_{\mathrm{NG}}^{\mathrm{bare}} = \frac{1}{2\pi\alpha'} \int_0^T d\tau\int_\epsilon^{z_{\mathrm{IR}}} dz\,\frac{L^2}{z^2}.

The integral gives

SNGbare=L22παT(1ϵ1zIR)=λ2πTϵ+finite.S_{\mathrm{NG}}^{\mathrm{bare}} = \frac{L^2}{2\pi\alpha'}T \left(\frac{1}{\epsilon}-\frac{1}{z_{\mathrm{IR}}}\right) = \frac{\sqrt\lambda}{2\pi}\frac{T}{\epsilon}+\text{finite}.

The divergent term is proportional to the length TT of the boundary line and is interpreted as the infinite external-quark mass.

Exercise 5: The hemisphere ending on a circle

Section titled “Exercise 5: The hemisphere ending on a circle”

Show that the surface

r2+z2=a2r^2+z^2=a^2

ends on a circle of radius aa at the AdS boundary z=0z=0. Explain why conformal invariance implies that the finite part of the circular Wilson loop cannot depend on aa.

Solution

At the boundary z=0z=0, the equation becomes

r2=a2,r^2=a^2,

which is a circle of radius aa. The only scale in the boundary contour is aa. In a conformal theory, a dimensionless normalized expectation value of a smooth circular loop cannot depend on the absolute value of aa after the local perimeter divergence is subtracted. Therefore the finite part of the renormalized action is a pure number times λ\sqrt\lambda, independent of aa.

Indeed, the explicit classical string computation gives

SNGren=λ,S_{\mathrm{NG}}^{\mathrm{ren}}=-\sqrt\lambda,

so

Wcircleeλ,\langle W_{\mathrm{circle}}\rangle\sim e^{\sqrt\lambda},

with no dependence on the radius.