$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 duality is maximally supersymmetric: the internal space is the round sphere, the field theory is four-dimensional super-Yang—Mills, and the R-symmetry is . The next natural question is what survives when the internal space is not but another Einstein five-manifold.
A particularly elegant answer is obtained from the conifold. Its base is the five-dimensional Sasaki—Einstein space
and type IIB string theory on is dual to the Klebanov—Witten superconformal gauge theory,
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 and its base
Section titled “The conifold and its base”The conifold is the hypersurface in
Equivalently, after a linear change of variables, arrange four complex coordinates into a matrix
This second form makes the symmetry transparent: one rotates the row index and the other rotates the column index.
The conifold is a cone,
where is the angular space at fixed radius. A useful coordinate system for the standard Einstein metric is
with
The two pairs and parametrize two copies of , while is a circle fiber twisted over both spheres. Topologically,
The Sasaki—Einstein space is a fibration over . The fiber coordinate becomes the geometric origin of the symmetry in the dual SCFT.
The metric is normalized so that
on . This is the same normalization used for a unit-radius in . The cone over an Einstein five-manifold with this normalization is Ricci-flat. More specifically, the cone over is Calabi—Yau: is Sasaki—Einstein.
That last sentence is the geometric reason this background preserves four-dimensional supersymmetry. For comparison,
while
The near-horizon background
Section titled “The near-horizon background”Place D3-branes at the conifold singularity. The near-horizon limit gives type IIB string theory on
with units of self-dual five-form flux through ,
The ten-dimensional metric takes the form
where the radius is fixed by flux quantization. Since
one finds
This is the analogue of for . The curvature is small in string units when , and string loops are suppressed when , equivalently at large with large effective ‘t Hooft coupling.
For any Einstein space in an solution, the leading large- central charge is governed by the inverse volume of :
Thus for ,
at leading order in . The smaller volume of compared with gives a larger central charge for the same five-form flux .
The same number follows directly from the anomaly formula. At large , the two gauginos contribute fermions of R-charge . The four bifundamental chiral multiplets contain fermions of R-charge
with components. Hence
and
Using
one obtains
Thus the inverse volume of computes the same protected anomaly as the strongly coupled quiver theory.
The Klebanov—Witten quiver
Section titled “The Klebanov—Witten quiver”The dual field theory is a four-dimensional quiver gauge theory. Up to decoupled Abelian factors, the gauge group is
There are four chiral superfields:
The form a doublet under a flavor symmetry , and the form a doublet under another flavor symmetry . The full continuous global symmetry is
The baryonic symmetry assigns opposite charges to and . In the gravity dual it comes from reducing the Ramond—Ramond four-form on the nontrivial three-cycle of .
The Klebanov—Witten theory has two gauge nodes and two arrows in each direction. The quartic superpotential is forced by the flavor symmetry and by .
The superpotential is
The assignment at the superconformal fixed point is
For a chiral primary operator in a four-dimensional SCFT,
Therefore the elementary chiral superfields have
This is not a contradiction with the four-dimensional scalar unitarity bound, because and are not gauge-invariant local operators. The simplest gauge-invariant chiral fields are bilinears such as , with dimension .
The superpotential has R-charge
so 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 become ordinary complex numbers. The gauge-invariant coordinates are
The matrix has rank one, so
This is precisely the conifold. Thus a single D3-brane probes the space whose near-horizon geometry we used on the gravity side. For D3-branes, the mesonic branch is roughly the symmetric product
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 chiral ring and mesonic operators
Section titled “The chiral ring and mesonic operators”The most important single-trace mesonic chiral primaries are
with the indices symmetrized and the indices symmetrized. The F-term relations following from remove antisymmetric combinations and leave the representation
under . The R-charge and dimension are
The first few cases are worth spelling out:
| operator | representation | ||
|---|---|---|---|
At large , single-trace operators correspond to single-particle supergravity states. Multi-trace products correspond to multi-particle states in .
Harmonic analysis on
Section titled “Harmonic analysis on T1,1T^{1,1}T1,1”The isometry group of is
Scalar harmonics are labeled by quantum numbers
where and are and spins, and is the charge in the convention used for the dual CFT. A harmonic has angular dependence of the schematic form along the fiber. The allowed values obey the usual weight constraints: must be an allowed magnetic quantum number inside both spin- and spin- representations, so in particular
For the unit-radius metric above, the scalar Laplacian eigenvalue is
with
If a ten-dimensional minimally coupled scalar is expanded in such harmonics, the corresponding five-dimensional field has
and hence
This formula already displays an important difference between and . On , scalar harmonics have eigenvalues , so is simple. On , 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.
Scalar harmonics on are labeled by . The protected mesonic chiral primaries live on the special line .
The chiral-primary line is
Set . Then
Therefore
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
This precisely matches the chiral-ring result
The appearance of the shifted branch is not an ad hoc trick; it is the gravitational expression of superconformal shortening.
The full Kaluza—Klein spectrum in words
Section titled “The full Kaluza—Klein spectrum in words”The full spectrum on 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 gives towers of five-dimensional fields of different spins. Because the internal space has only supersymmetry, these fields assemble into four-dimensional superconformal multiplets.
The practical dictionary is:
| gravity side | CFT side |
|---|---|
| isometry | flavor symmetry acting on and |
| Reeb fiber | superconformal |
| scalar harmonics | operators in representation |
| shortened KK multiplets | protected chiral or conserved multiplets |
| generic KK multiplets | unprotected operators with strong-coupling dimensions |
| wrapped D3-branes on | baryonic determinant operators |
A useful mental model is this: the spherical harmonics on are replaced by coset harmonics on . The representation labels are no longer just labels; they are labels of the smaller symmetry group . The price of reduced symmetry is a less rigid spectrum. The reward is a much more general mechanism for constructing holographic SCFTs.
Baryons and wrapped D3-branes
Section titled “Baryons and wrapped D3-branes”The topology
has a nontrivial three-cycle. A D3-brane wrapped on this becomes a particle in , and its dual is a baryonic operator. In the gauge theory, schematic baryons are determinant-like operators such as
and similarly for . Since each or has dimension , these baryons have
The same scaling is obtained from the mass of a D3-brane wrapped on the minimal inside ,
This is one of the most beautiful non-mesonic checks of the correspondence: topology of the internal space becomes baryonic operator physics.
Comparison with
Section titled “Comparison with S5S^5S5”It is helpful to put the two most important examples side by side.
| feature | ||
|---|---|---|
| cone | conifold | |
| dual CFT | SYM | Klebanov—Witten theory |
| gauge group | ||
| matter | three adjoint chirals | bifundamentals |
| global symmetry | ||
| internal volume | ||
| leading central charge | ||
| protected mesons | ||
| generic dimensions | highly constrained by maximal SUSY | often irrational at strong coupling |
The conceptual move from to 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 , the AdS radius sets the strong-coupling expansion, and Kaluza—Klein modes become local operators.
Final perspective
Section titled “Final perspective”The Klebanov—Witten example is the doorway to a large world of holographic quiver gauge theories. Replacing by more general Sasaki—Einstein spaces gives new 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:
For , 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.
Exercises
Section titled “Exercises”Exercise 1. The contact one-form of
Section titled “Exercise 1. The contact one-form of T1,1T^{1,1}T1,1”Define
Compute and explain why the metric can be viewed as a circle fibration over .
Solution
Taking the exterior derivative gives
The two terms are the volume forms on the two unit two-spheres. Thus the circle is not a trivial product circle; it is twisted over both factors. The metric separates into a fiber contribution plus a base contribution,
up to the normalization already included in . This is the geometric origin of viewing as a bundle over .
Exercise 2. The chiral line in the scalar spectrum
Section titled “Exercise 2. The chiral line in the scalar spectrum”Starting from
set and . Show that
Then explain why the short-multiplet branch gives .
Solution
Substitution gives
Thus
The relevant shortened supergravity branch has
Therefore
This matches the chiral primary , whose R-charge is and whose dimension is .
Exercise 3. The conifold from one D3-brane
Section titled “Exercise 3. The conifold from one D3-brane”For , take and to be complex numbers. Define . Prove that obeys the conifold equation .
Solution
The matrix
is the outer product of the column vector and the row vector . It therefore has rank at most one. A matrix has rank at most one exactly when its determinant vanishes:
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 and the chiral-primary relation to show that the quartic superpotential is marginal.
Solution
Each chiral superfield has
The superpotential term contains four chiral superfields, so its operator dimension is
In four-dimensional superspace, has dimension , so a superpotential operator of dimension gives a four-dimensional marginal interaction. Equivalently, the superpotential must carry R-charge , and indeed
Exercise 5. The baryon dimension
Section titled “Exercise 5. The baryon dimension”A baryonic operator made from copies of one field has the schematic form . Using , compute its dimension. Why is this naturally of order ?
Solution
The determinant operator contains elementary chiral fields. Its dimension is therefore
This is of order , 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 , while the AdS radius and flux relation convert the wrapped-brane mass into a conformal dimension proportional to .
Exercise 6. Central charge from the volume of
Section titled “Exercise 6. Central charge from the volume of T1,1T^{1,1}T1,1”Use
and to compute the leading large- central charge of the Klebanov—Witten theory.
Solution
Substituting the volume gives
Canceling ,
This agrees with the large- field-theory anomaly calculation using two vector multiplets and four bifundamental chiral multiplets with .
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 . Compute and the corresponding . Is the answer rational?
Solution
For ,
The minimally coupled scalar formula gives
This particular example happens to be rational. But this is accidental. For example, with ,
so
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.