Skip to content

$AdS_5 \times T^{1,1}$ and the Klebanov--Witten Spectrum

The last stop in this course is the first truly non-spherical example of AdS/CFT. The original AdS5×S5AdS_5\times S^5 duality is maximally supersymmetric: the internal space is the round sphere, the field theory is four-dimensional N=4\mathcal N=4 super-Yang—Mills, and the R-symmetry is SO(6)SU(4)SO(6)\simeq SU(4). The next natural question is what survives when the internal space is not S5S^5 but another Einstein five-manifold.

A particularly elegant answer is obtained from the conifold. Its base is the five-dimensional Sasaki—Einstein space

T1,1=SU(2)×SU(2)U(1),T^{1,1}={SU(2)\times SU(2)\over U(1)},

and type IIB string theory on AdS5×T1,1AdS_5\times T^{1,1} is dual to the Klebanov—Witten N=1\mathcal N=1 superconformal gauge theory,

type IIB on AdS5×T1,1N=1 SCFT with gauge group SU(N)×SU(N).\text{type IIB on }AdS_5\times T^{1,1} \quad\Longleftrightarrow\quad \mathcal N=1\text{ SCFT with gauge group }SU(N)\times SU(N).

This example teaches three lessons at once. First, the geometry of the internal space becomes the global symmetry and operator spectrum of the CFT. Second, less supersymmetry allows generic operator dimensions to be irrational at strong coupling, while chiral primaries remain protected. Third, D-branes at singularities naturally produce quiver gauge theories.

The conifold is the hypersurface in C4\mathbb C^4

C={(z1,z2,z3,z4):z12+z22+z32+z42=0}.\mathcal C=\{(z_1,z_2,z_3,z_4):z_1^2+z_2^2+z_3^2+z_4^2=0\}.

Equivalently, after a linear change of variables, arrange four complex coordinates into a 2×22\times2 matrix

Z=(z11z12z21z22),detZ=0.Z=\begin{pmatrix} z_{11}&z_{12}\\ z_{21}&z_{22} \end{pmatrix}, \qquad \det Z=0.

This second form makes the SU(2)×SU(2)SU(2)\times SU(2) symmetry transparent: one SU(2)SU(2) rotates the row index and the other rotates the column index.

The conifold is a cone,

ds62=dr2+r2dsT1,12,ds^2_6=dr^2+r^2ds^2_{T^{1,1}},

where T1,1T^{1,1} is the angular space at fixed radius. A useful coordinate system for the standard Einstein metric is

dsT1,12=19(dψ+cosθ1dϕ1+cosθ2dϕ2)2+16a=12(dθa2+sin2θadϕa2),ds^2_{T^{1,1}} ={1\over9}\bigl(d\psi+\cos\theta_1d\phi_1+\cos\theta_2d\phi_2\bigr)^2 +{1\over6}\sum_{a=1}^2 \bigl(d\theta_a^2+\sin^2\theta_a d\phi_a^2\bigr),

with

0θaπ,0ϕa<2π,0ψ<4π.0\leq \theta_a\leq \pi, \qquad 0\leq \phi_a<2\pi, \qquad 0\leq \psi<4\pi.

The two pairs (θ1,ϕ1)(\theta_1,\phi_1) and (θ2,ϕ2)(\theta_2,\phi_2) parametrize two copies of S2S^2, while ψ\psi is a circle fiber twisted over both spheres. Topologically,

T1,1S2×S3.T^{1,1}\simeq S^2\times S^3.

T11 as a U(1) bundle over two two-spheres

The Sasaki—Einstein space T1,1T^{1,1} is a U(1)U(1) fibration over S2×S2S^2\times S^2. The fiber coordinate ψ\psi becomes the geometric origin of the U(1)RU(1)_R symmetry in the dual SCFT.

The metric is normalized so that

Rmn=4gmnR_{mn}=4g_{mn}

on T1,1T^{1,1}. This is the same normalization used for a unit-radius S5S^5 in AdS5×S5AdS_5\times S^5. The cone over an Einstein five-manifold with this normalization is Ricci-flat. More specifically, the cone over T1,1T^{1,1} is Calabi—Yau: T1,1T^{1,1} is Sasaki—Einstein.

That last sentence is the geometric reason this background preserves four-dimensional N=1\mathcal N=1 supersymmetry. For comparison,

S5has cone C3and gives N=4,S^5\quad\text{has cone }\mathbb C^3 \quad\text{and gives }\mathcal N=4,

while

T1,1has cone the conifoldand gives N=1.T^{1,1}\quad\text{has cone the conifold} \quad\text{and gives }\mathcal N=1.

Place NN D3-branes at the conifold singularity. The near-horizon limit gives type IIB string theory on

AdS5×T1,1AdS_5\times T^{1,1}

with NN units of self-dual five-form flux through T1,1T^{1,1},

1(4π2α)2T1,1F5=N.{1\over (4\pi^2\alpha')^2}\int_{T^{1,1}}F_5=N.

The ten-dimensional metric takes the form

ds102=R2(dsAdS52+dsT1,12),ds^2_{10}=R^2\left(ds^2_{AdS_5}+ds^2_{T^{1,1}}\right),

where the radius is fixed by flux quantization. Since

Vol(T1,1)=16π327,\operatorname{Vol}(T^{1,1})={16\pi^3\over27},

one finds

R4=274πgsNα2.R^4={27\over4}\pi g_sN\alpha'^2.

This is the analogue of R4=4πgsNα2R^4=4\pi g_sN\alpha'^2 for S5S^5. The curvature is small in string units when gsN1g_sN\gg1, and string loops are suppressed when gs1g_s\ll1, equivalently at large NN with large effective ‘t Hooft coupling.

For any Einstein space X5X_5 in an AdS5×X5AdS_5\times X_5 solution, the leading large-NN central charge is governed by the inverse volume of X5X_5:

a=c=π34Vol(X5)N2.a=c={\pi^3\over4\operatorname{Vol}(X_5)}N^2.

Thus for X5=T1,1X_5=T^{1,1},

a=c=2764N2a=c={27\over64}N^2

at leading order in NN. The smaller volume of T1,1T^{1,1} compared with S5S^5 gives a larger central charge for the same five-form flux NN.

The same number follows directly from the N=1\mathcal N=1 anomaly formula. At large NN, the two gauginos contribute 2N22N^2 fermions of R-charge 11. The four bifundamental chiral multiplets contain fermions of R-charge

Rψ=RΦ1=12,R_\psi=R_\Phi-1=-{1\over2},

with 4N24N^2 components. Hence

TrR=2N2+4N2(12)=0,\operatorname{Tr}R=2N^2+4N^2\left(-{1\over2}\right)=0,

and

TrR3=2N2+4N2(12)3=32N2.\operatorname{Tr}R^3=2N^2+4N^2\left(-{1\over2}\right)^3={3\over2}N^2.

Using

a=332(3TrR3TrR),c=132(9TrR35TrR),a={3\over32}\left(3\operatorname{Tr}R^3-\operatorname{Tr}R\right), \qquad c={1\over32}\left(9\operatorname{Tr}R^3-5\operatorname{Tr}R\right),

one obtains

a=c=2764N2.a=c={27\over64}N^2.

Thus the inverse volume of T1,1T^{1,1} computes the same protected anomaly as the strongly coupled quiver theory.

The dual field theory is a four-dimensional N=1\mathcal N=1 quiver gauge theory. Up to decoupled Abelian factors, the gauge group is

SU(N)1×SU(N)2.SU(N)_1\times SU(N)_2.

There are four chiral superfields:

A1,A2:(N,N),B1,B2:(N,N).A_1,A_2: (\mathbf N,\overline{\mathbf N}), \qquad B_1,B_2: (\overline{\mathbf N},\mathbf N).

The AiA_i form a doublet under a flavor symmetry SU(2)ASU(2)_A, and the BjB_j form a doublet under another flavor symmetry SU(2)BSU(2)_B. The full continuous global symmetry is

SU(2)A×SU(2)B×U(1)R×U(1)B.SU(2)_A\times SU(2)_B\times U(1)_R\times U(1)_B.

The baryonic symmetry U(1)BU(1)_B assigns opposite charges to AA and BB. In the gravity dual it comes from reducing the Ramond—Ramond four-form on the nontrivial three-cycle of T1,1T^{1,1}.

The Klebanov-Witten quiver with two gauge nodes and four bifundamental fields

The Klebanov—Witten theory has two gauge nodes and two arrows in each direction. The quartic superpotential is forced by the SU(2)A×SU(2)BSU(2)_A\times SU(2)_B flavor symmetry and by U(1)RU(1)_R.

The superpotential is

W=hϵikϵjlTr(AiBjAkBl).W=h\,\epsilon^{ik}\epsilon^{jl} \operatorname{Tr}(A_iB_jA_kB_l).

The U(1)RU(1)_R assignment at the superconformal fixed point is

R(Ai)=R(Bj)=12.R(A_i)=R(B_j)={1\over2}.

For a chiral primary operator in a four-dimensional N=1\mathcal N=1 SCFT,

Δ=32R.\Delta={3\over2}R.

Therefore the elementary chiral superfields have

Δ(Ai)=Δ(Bj)=34.\Delta(A_i)=\Delta(B_j)={3\over4}.

This is not a contradiction with the four-dimensional scalar unitarity bound, because AiA_i and BjB_j are not gauge-invariant local operators. The simplest gauge-invariant chiral fields are bilinears such as Tr(AiBj)\operatorname{Tr}(A_iB_j), with dimension 3/23/2.

The superpotential has R-charge

R(W)=412=2,R(W)=4\cdot {1\over2}=2,

so d2θW\int d^2\theta\,W is classically compatible with superconformal symmetry. At the interacting fixed point the anomalous dimensions are such that the NSVZ beta functions vanish for both gauge groups.

The conifold as the moduli space of one brane

Section titled “The conifold as the moduli space of one brane”

For one D3-brane, the non-Abelian structure disappears and Ai,BjA_i,B_j become ordinary complex numbers. The gauge-invariant coordinates are

zij=AiBj.z_{ij}=A_iB_j.

The matrix zijz_{ij} has rank one, so

detz=z11z22z12z21=0.\det z= z_{11}z_{22}-z_{12}z_{21}=0.

This is precisely the conifold. Thus a single D3-brane probes the space whose near-horizon geometry we used on the gravity side. For NN D3-branes, the mesonic branch is roughly the symmetric product

SymN(C),\operatorname{Sym}^N(\mathcal C),

up to the usual subtleties of non-Abelian gauge theory, coincident branes, and baryonic branches.

This matching is one of the cleanest ways to remember the quiver. The four bifundamental fields are not arbitrary matter: their gauge-invariant products are the coordinates of the conifold.

The most important single-trace mesonic chiral primaries are

Ok=Tr(Ai1Bj1Ai2Bj2AikBjk),\mathcal O_k= \operatorname{Tr}(A_{i_1}B_{j_1}A_{i_2}B_{j_2}\cdots A_{i_k}B_{j_k}),

with the ii indices symmetrized and the jj indices symmetrized. The F-term relations following from WW remove antisymmetric combinations and leave the representation

(k2,k2)\left({k\over2},{k\over2}\right)

under SU(2)A×SU(2)BSU(2)_A\times SU(2)_B. The R-charge and dimension are

R(Ok)=k,Δ(Ok)=3k2.R(\mathcal O_k)=k, \qquad \Delta(\mathcal O_k)={3k\over2}.

The first few cases are worth spelling out:

operatorSU(2)A×SU(2)BSU(2)_A\times SU(2)_B representationRRΔ\Delta
Tr(AiBj)\operatorname{Tr}(A_iB_j)(12,12)({1\over2},{1\over2})113/23/2
Tr(A(i1B(j1Ai2)Bj2))\operatorname{Tr}(A_{(i_1}B_{(j_1}A_{i_2)}B_{j_2)})(1,1)(1,1)2233
Tr(A(i1B(j1Ai2Bj2Ai3)Bj3))\operatorname{Tr}(A_{(i_1}B_{(j_1}A_{i_2}B_{j_2}A_{i_3)}B_{j_3)})(32,32)({3\over2},{3\over2})339/29/2

At large NN, single-trace operators correspond to single-particle supergravity states. Multi-trace products correspond to multi-particle states in AdS5AdS_5.

The isometry group of T1,1T^{1,1} is

SU(2)A×SU(2)B×U(1)R.SU(2)_A\times SU(2)_B\times U(1)_R.

Scalar harmonics are labeled by quantum numbers

(j,l,r),(j,l,r),

where jj and ll are SU(2)ASU(2)_A and SU(2)BSU(2)_B spins, and rr is the U(1)RU(1)_R charge in the convention used for the dual CFT. A harmonic has angular dependence of the schematic form eirψ/2e^{ir\psi/2} along the U(1)U(1) fiber. The allowed values obey the usual weight constraints: r/2r/2 must be an allowed magnetic quantum number inside both spin-jj and spin-ll representations, so in particular

r2j,r2l.|r|\leq 2j, \qquad |r|\leq 2l.

For the unit-radius metric above, the scalar Laplacian eigenvalue is

T1,12Yjlr=H0(j,l,r)Yjlr,-\nabla^2_{T^{1,1}}Y_{jlr}=H_0(j,l,r)Y_{jlr},

with

H0(j,l,r)=6[j(j+1)+l(l+1)r28].H_0(j,l,r)=6\left[j(j+1)+l(l+1)-{r^2\over8}\right].

If a ten-dimensional minimally coupled scalar is expanded in such harmonics, the corresponding five-dimensional field has

m2R2=H0(j,l,r),m^2R^2=H_0(j,l,r),

and hence

Δ=2+4+H0(j,l,r).\Delta=2+\sqrt{4+H_0(j,l,r)}.

This formula already displays an important difference between T1,1T^{1,1} and S5S^5. On S5S^5, scalar harmonics have eigenvalues k(k+4)k(k+4), so 4+k(k+4)=k+2\sqrt{4+k(k+4)}=k+2 is simple. On T1,1T^{1,1}, generic quantum numbers give square roots of non-square numbers. Generic dimensions are irrational at strong coupling.

That is not a pathology. In an interacting CFT, unprotected operator dimensions need not be rational. The rational dimensions are selected by shortening conditions.

Harmonics on T11 and the chiral-primary line

Scalar harmonics on T1,1T^{1,1} are labeled by (j,l,r)(j,l,r). The protected mesonic chiral primaries live on the special line j=l=r/2j=l=r/2.

The chiral-primary line is

j=l=r2.j=l={r\over2}.

Set r=kr=k. Then

H0(k2,k2,k)=6[2k2(k2+1)k28]=9k24+6k.\begin{aligned} H_0\left({k\over2},{k\over2},k\right) &=6\left[2\,{k\over2}\left({k\over2}+1\right)-{k^2\over8}\right]\\ &={9k^2\over4}+6k. \end{aligned}

Therefore

H0+4=(3k2+2)2.H_0+4=\left({3k\over2}+2\right)^2.

In the Kaluza—Klein reduction, the scalar harmonics occur not only in minimally coupled scalars but also in coupled systems involving metric fluctuations and the Ramond—Ramond four-form. Diagonalizing those coupled modes gives a short-multiplet branch with

Δ=2+H0+4=3k2.\Delta=-2+\sqrt{H_0+4}={3k\over2}.

This precisely matches the chiral-ring result

Δ(Ok)=3k2.\Delta(\mathcal O_k)={3k\over2}.

The appearance of the shifted branch is not an ad hoc trick; it is the gravitational expression of superconformal shortening.

The full spectrum on AdS5×T1,1AdS_5\times T^{1,1} is much richer than the scalar Laplacian formula. Type IIB supergravity contains the metric, dilaton, axion, two two-forms, and the self-dual four-form. Expanding all of these fields on T1,1T^{1,1} gives towers of five-dimensional fields of different spins. Because the internal space has only N=1\mathcal N=1 supersymmetry, these fields assemble into four-dimensional N=1\mathcal N=1 superconformal multiplets.

The practical dictionary is:

gravity sideCFT side
isometry SU(2)A×SU(2)BSU(2)_A\times SU(2)_Bflavor symmetry acting on AiA_i and BjB_j
Reeb U(1)U(1) fibersuperconformal U(1)RU(1)_R
scalar harmonics YjlrY_{jlr}operators in representation (j,l)r(j,l)_r
shortened KK multipletsprotected chiral or conserved multiplets
generic KK multipletsunprotected operators with strong-coupling dimensions
wrapped D3-branes on S3T1,1S^3\subset T^{1,1}baryonic determinant operators

A useful mental model is this: the spherical harmonics on S5S^5 are replaced by coset harmonics on T1,1T^{1,1}. The representation labels are no longer just SO(6)SO(6) labels; they are labels of the smaller symmetry group SU(2)A×SU(2)B×U(1)RSU(2)_A\times SU(2)_B\times U(1)_R. The price of reduced symmetry is a less rigid spectrum. The reward is a much more general mechanism for constructing holographic SCFTs.

The topology

T1,1S2×S3T^{1,1}\simeq S^2\times S^3

has a nontrivial three-cycle. A D3-brane wrapped on this S3S^3 becomes a particle in AdS5AdS_5, and its dual is a baryonic operator. In the gauge theory, schematic baryons are determinant-like operators such as

BAϵα1αNϵβ1βN(Ai)α1β1(Ai)αNβN,\mathcal B_A\sim \epsilon_{\alpha_1\cdots\alpha_N} \epsilon^{\beta_1\cdots\beta_N} (A_i)^{\alpha_1}{}_{\beta_1} \cdots (A_i)^{\alpha_N}{}_{\beta_N},

and similarly for BjB_j. Since each AA or BB has dimension 3/43/4, these baryons have

Δ(BA)=Δ(BB)=3N4.\Delta(\mathcal B_A)=\Delta(\mathcal B_B)={3N\over4}.

The same scaling is obtained from the mass of a D3-brane wrapped on the minimal S3S^3 inside T1,1T^{1,1},

Δ=mR.\Delta=mR.

This is one of the most beautiful non-mesonic checks of the correspondence: topology of the internal space becomes baryonic operator physics.

It is helpful to put the two most important AdS5AdS_5 examples side by side.

featureAdS5×S5AdS_5\times S^5AdS5×T1,1AdS_5\times T^{1,1}
coneC3\mathbb C^3conifold detz=0\det z=0
dual CFTN=4\mathcal N=4 SYMN=1\mathcal N=1 Klebanov—Witten theory
gauge groupSU(N)SU(N)SU(N)×SU(N)SU(N)\times SU(N)
matterthree adjoint chiralsbifundamentals Ai,BjA_i,B_j
global symmetrySU(4)RSU(4)_RSU(2)A×SU(2)B×U(1)R×U(1)BSU(2)_A\times SU(2)_B\times U(1)_R\times U(1)_B
internal volumeπ3\pi^316π3/2716\pi^3/27
leading central chargeN2/4N^2/427N2/6427N^2/64
protected mesonsTrΦ(i1Φik)\operatorname{Tr}\Phi^{(i_1}\cdots\Phi^{i_k)}Tr(A(i1B(j1Aik)Bjk))\operatorname{Tr}(A_{(i_1}B_{(j_1}\cdots A_{i_k)}B_{j_k)})
generic dimensionshighly constrained by maximal SUSYoften irrational at strong coupling

The conceptual move from S5S^5 to T1,1T^{1,1} is enormous. The internal space is no longer a round sphere, but the logic of holography remains the same: geometry organizes the spectrum, flux sets NN, the AdS radius sets the strong-coupling expansion, and Kaluza—Klein modes become local operators.

The Klebanov—Witten example is the doorway to a large world of holographic quiver gauge theories. Replacing T1,1T^{1,1} by more general Sasaki—Einstein spaces X5X_5 gives new N=1\mathcal N=1 SCFTs. Adding fractional branes leads to cascading gauge theories and warped deformed conifolds. Adding flavor branes introduces fundamental matter. Studying wrapped branes reveals baryons, domain walls, defects, and confinement mechanisms.

The essential lesson is already visible here:

Calabi–Yau cone geometryquiver SCFT data\boxed{ \text{Calabi--Yau cone geometry} \quad\Longleftrightarrow\quad \text{quiver SCFT data} }

For T1,1T^{1,1}, that dictionary is unusually explicit. The metric knows the global symmetry, the Laplacian knows the operator representations, the conifold equation knows the moduli space, and the chiral ring knows the protected Kaluza—Klein spectrum.

Exercise 1. The contact one-form of T1,1T^{1,1}

Section titled “Exercise 1. The contact one-form of T1,1T^{1,1}T1,1”

Define

η=13(dψ+cosθ1dϕ1+cosθ2dϕ2).\eta={1\over3}\bigl(d\psi+ \cos\theta_1d\phi_1+\cos\theta_2d\phi_2\bigr).

Compute dηd\eta and explain why the metric can be viewed as a circle fibration over S2×S2S^2\times S^2.

Solution

Taking the exterior derivative gives

dη=13(sinθ1dθ1dϕ1+sinθ2dθ2dϕ2).d\eta=-{1\over3}\left( \sin\theta_1d\theta_1\wedge d\phi_1+ \sin\theta_2d\theta_2\wedge d\phi_2 \right).

The two terms are the volume forms on the two unit two-spheres. Thus the ψ\psi circle is not a trivial product circle; it is twisted over both S2S^2 factors. The metric separates into a fiber contribution plus a base contribution,

dsT1,12=η2+16a=12(dθa2+sin2θadϕa2),ds^2_{T^{1,1}}=\eta^2+{1\over6}\sum_{a=1}^{2} \bigl(d\theta_a^2+\sin^2\theta_a d\phi_a^2\bigr),

up to the normalization already included in η\eta. This is the geometric origin of viewing T1,1T^{1,1} as a U(1)U(1) bundle over S2×S2S^2\times S^2.

Exercise 2. The chiral line in the scalar spectrum

Section titled “Exercise 2. The chiral line in the scalar spectrum”

Starting from

H0(j,l,r)=6[j(j+1)+l(l+1)r28],H_0(j,l,r)=6\left[j(j+1)+l(l+1)-{r^2\over8}\right],

set j=l=k/2j=l=k/2 and r=kr=k. Show that

H0+4=(3k2+2)2.H_0+4=\left({3k\over2}+2\right)^2.

Then explain why the short-multiplet branch gives Δ=3k/2\Delta=3k/2.

Solution

Substitution gives

H0=6[2k2(k2+1)k28]=6[k22+kk28]=6[3k28+k]=9k24+6k.\begin{aligned} H_0 &=6\left[2\cdot {k\over2}\left({k\over2}+1\right)-{k^2\over8}\right]\\ &=6\left[{k^2\over2}+k-{k^2\over8}\right]\\ &=6\left[{3k^2\over8}+k\right]\\ &={9k^2\over4}+6k. \end{aligned}

Thus

H0+4=9k24+6k+4=(3k2+2)2.H_0+4={9k^2\over4}+6k+4 =\left({3k\over2}+2\right)^2.

The relevant shortened supergravity branch has

Δ=2+H0+4.\Delta=-2+\sqrt{H_0+4}.

Therefore

Δ=2+(3k2+2)=3k2.\Delta=-2+\left({3k\over2}+2\right)={3k\over2}.

This matches the chiral primary Tr(AB)k\operatorname{Tr}(AB)^k, whose R-charge is kk and whose dimension is 3k/23k/2.

Exercise 3. The conifold from one D3-brane

Section titled “Exercise 3. The conifold from one D3-brane”

For N=1N=1, take AiA_i and BjB_j to be complex numbers. Define zij=AiBjz_{ij}=A_iB_j. Prove that zijz_{ij} obeys the conifold equation detz=0\det z=0.

Solution

The matrix

z=(A1B1A1B2A2B1A2B2)z=\begin{pmatrix} A_1B_1&A_1B_2\\ A_2B_1&A_2B_2 \end{pmatrix}

is the outer product of the column vector (A1,A2)T(A_1,A_2)^T and the row vector (B1,B2)(B_1,B_2). It therefore has rank at most one. A 2×22\times2 matrix has rank at most one exactly when its determinant vanishes:

detz=(A1B1)(A2B2)(A1B2)(A2B1)=0.\det z=(A_1B_1)(A_2B_2)-(A_1B_2)(A_2B_1)=0.

Thus the gauge-invariant coordinates of one probe brane satisfy the conifold equation.

Exercise 4. Marginality of the quartic superpotential

Section titled “Exercise 4. Marginality of the quartic superpotential”

Use R(Ai)=R(Bj)=1/2R(A_i)=R(B_j)=1/2 and the N=1\mathcal N=1 chiral-primary relation Δ=3R/2\Delta=3R/2 to show that the quartic superpotential is marginal.

Solution

Each chiral superfield has

Δ(Ai)=Δ(Bj)=3212=34.\Delta(A_i)=\Delta(B_j)={3\over2}\cdot {1\over2}={3\over4}.

The superpotential term contains four chiral superfields, so its operator dimension is

434=3.4\cdot {3\over4}=3.

In four-dimensional N=1\mathcal N=1 superspace, d2θ\int d^2\theta has dimension 11, so a superpotential operator of dimension 33 gives a four-dimensional marginal interaction. Equivalently, the superpotential must carry R-charge 22, and indeed

R(W)=412=2.R(W)=4\cdot {1\over2}=2.

A baryonic operator made from NN copies of one AA field has the schematic form detA\det A. Using Δ(A)=3/4\Delta(A)=3/4, compute its dimension. Why is this naturally of order NN?

Solution

The determinant operator contains NN elementary chiral fields. Its dimension is therefore

Δ(detA)=NΔ(A)=3N4.\Delta(\det A)=N\Delta(A)={3N\over4}.

This is of order NN, not order one, so it is too heavy to be a perturbative supergravity Kaluza—Klein mode. In the dual string theory it is a wrapped D3-brane state. The D3-brane tension scales as 1/gs1/g_s, while the AdS radius and flux relation convert the wrapped-brane mass into a conformal dimension proportional to NN.

Exercise 6. Central charge from the volume of T1,1T^{1,1}

Section titled “Exercise 6. Central charge from the volume of T1,1T^{1,1}T1,1”

Use

a=c=π34Vol(X5)N2a=c={\pi^3\over4\operatorname{Vol}(X_5)}N^2

and Vol(T1,1)=16π3/27\operatorname{Vol}(T^{1,1})=16\pi^3/27 to compute the leading large-NN central charge of the Klebanov—Witten theory.

Solution

Substituting the volume gives

a=c=π3416π3/27N2.a=c={\pi^3\over4\cdot 16\pi^3/27}N^2.

Canceling π3\pi^3,

a=c=2764N2.a=c={27\over64}N^2.

This agrees with the large-NN field-theory anomaly calculation using two vector multiplets and four bifundamental chiral multiplets with R(A)=R(B)=1/2R(A)=R(B)=1/2.

Exercise 7. Why irrational dimensions are expected

Section titled “Exercise 7. Why irrational dimensions are expected”

Consider a minimally coupled scalar mode with quantum numbers (j,l,r)=(1,0,0)(j,l,r)=(1,0,0). Compute H0H_0 and the corresponding Δ=2+4+H0\Delta=2+\sqrt{4+H_0}. Is the answer rational?

Solution

For (j,l,r)=(1,0,0)(j,l,r)=(1,0,0),

H0=6[1(1+1)+008]=12.H_0=6\left[1(1+1)+0-{0\over8}\right]=12.

The minimally coupled scalar formula gives

Δ=2+4+12=2+4=6.\Delta=2+\sqrt{4+12}=2+4=6.

This particular example happens to be rational. But this is accidental. For example, with (j,l,r)=(1,1,0)(j,l,r)=(1,1,0),

H0=6(2+2)=24,H_0=6(2+2)=24,

so

Δ=2+28=2+27,\Delta=2+\sqrt{28}=2+2\sqrt7,

which is irrational. Generic nonprotected dimensions in an interacting CFT are not expected to be rational. Protected chiral operators are special because superconformal shortening fixes their dimensions by their R-charges.