Pith. Sign in

REVIEW

Toric Geometry, Sasaki-Einstein Manifolds and a New Infinite Class of AdS/CFT Duals

PaperPDF from arXiv

data files

ReviewThe objections and verdict, as JSON Paper breakdownThe authors' claims, conditions and measurements, as JSON Signed receiptProof this review has not been altered
X Bluesky LinkedIn Reddit Hacker News
Dario Martelli, James Sparks

High Energy Physics - Theory · Submitted 26 Nov 2004 · 47 references

Pith's verdict: The toric geometry is done properly and checked twice; the infinite-class dual claim in the abstract runs ahead of the explicit construction in §8, but the geometric core is solid.

T0 · AI review

How this review was made: An AI referee (selfhosted/deepseek-v4.1-flash) read the paper on October 29, 2026 and answered a fixed list of questions about it. T0 is the starting level every paper gets. The levels describe how deeply Pith has checked the paper, never the authors.

  1. T0 AI review An AI read the paper and answered a fixed list of questions.
  2. T1 Audit Automatic checks that the references and files the paper relies on exist and match.
  3. T2 Compute The paper's code or calculations re-run with the same results.
  4. T3 Formal statement The claims written out in a formal math language a computer can read.
  5. T4 Proof Those claims proved, and the proof checked by computer.

How Pith checks papers →

· 2 major objections · 6 minor · Ask about this paper · The compiled record · Read the full review →
Challenge this review Comment (0) Read on arXiv ↗
Cite ▾
arXiv IDhep-th/0411238 (version 5)
Pith IDKPRTAF53, Pith's permanent record of this paper and its review
CitationDario Martelli, James Sparks. "Toric Geometry, Sasaki-Einstein Manifolds and a New Infinite Class of AdS/CFT Duals." arXiv:hep-th/0411238 (2004). https://pith.science/paper/KPRTAF53
Cite this reviewBibTeX for Pith's review of this paper
Claim paper

Why Pith says this

Highlight any text to comment on it.

Referee report

How Pith checks papers → · Full audit of this paper →

The paper

The paper claims

The paper argues that the Calabi–Yau cones over the Sasaki–Einstein manifolds $Y^{p,q}$ are exactly the Kähler quotients $C^4//U(1)$ with charges $(p,p,-p+q,-p-q)$, which hands each member of the family a toric diagram and a candidate $SU(N

The reading

A family of explicit five-dimensional Sasaki–Einstein metrics $Y^{p,q}$ on $S^2$ times $S^3$, labelled by two coprime integers $q

What carries the argument

The load-bearing device is the moment cone together with the Delzant construction for symplectic toric cones. The torus $T^3$ of isometries is Hamiltonian with respect to the cone's Kähler form, so its image is a strictly convex rational polyhedral cone in $mathbb{R}^3$; the outward primitive normals to its four facets encode which circle collapses where. A theorem of Lerman says a good such cone is realised as the symplectic quotient of $C^d$ by a torus, with charges given by the integer kernel of the map sending standard basis vectors to the normals. That turns the metric problem into a linear $\sigma$ model problem, and the toric diagram — the normals projected to the plane $e_1=1$ — then feeds the toric quiver algorithm. The second device is the volume formula: for a Sasaki–Einstein $Y$, the central charge ratio $a_Y/a_{S^5}$ equals $mathrm{vol}(S^5)/mathrm{vol}(Y)$, so a metric computation becomes a field-theory prediction.

Extended reading notes

Core claim

The central claim is an identification: the Calabi–Yau cone over $Y^{p,q}$ is the same symplectic toric cone as the Kähler quotient $C^4//U(1)$ with charge vector $(p,p,-p+q,-p-q)$. The authors reach it by integrating the Kähler form of the cone to get an explicit moment map, identifying the four edges of its image as the loci where a two-torus collapses, and reading off four outward primitive normals $v_1=[1,0,0]$, $v_2=[1,-2,-p+q]$, $v_3=[1,-1,-p]$, $v_4=[1,-1,0]$ whose integer kernel is precisely that charge vector. Because the normals span $mathbb{Z}^3$, the cone is good and the quotient is smooth, matching $pi_1(Y^{p,q})=0$ and $pi_2(Y^{p,q})=mathbb{Z}$. Projecting the normals onto the plane $e_1=1$ gives a lattice polygon with vertices $(0,0)$, $(1,0)$, $(p,p)$ and $(p-1,p-1)$-type positions, of area $p$ for every $q$ at fixed $p$, which can always be placed inside the triangle of $C^3/mathbb{Z}_{p+1} times mathbb{Z}_{p+1}$. The authors conclude that each $Y^{p,q}$ is AdS/CFT dual to an IR fixed point of a toric quiver gauge theory with gauge group $SU(N)^{2p}$, obtained by partial toric crepant resolution of that orbifold. The one case checked in detail, $p=2,q=1$, identifies $Y^{2,1}$ as an irregular Sasaki–Einstein metric on the horizon of the complex cone over $dP_1$, and reproduces the a-maximisation central charge and two baryon R-charges exactly.

Load-bearing premise

The claim of an infinite class of duals rests on applying the toric quiver algorithm to each diagram, but the paper builds those quivers and superpotentials only for $p=2,q=1$ and explicitly defers the general case to future work, so the general-$p$ duality is asserted from the algorithm's existence rather than demonstrated.

Editorial extensions

If this is right

  • Every $Y^{p,q}$ has a toric diagram lying inside the triangle of $C^3/mathbb{Z}_{p+1} times mathbb{Z}_{p+1}$, so each cone is a partial toric crepant resolution of that single orbifold, with $q$ sliding one vertex along the hypotenuse.
  • At fixed $p$ the diagram has area $p$ and $p-1$ interior lattice points, so the dual quiver has $2p$ nodes and there are $p$ Kähler parameters, corresponding to $p$ collapsed two-spheres at the singular point.
  • The two calibrated divisors $y=y_1$ and $y=y_2$, cones over the Lens spaces $S^3/mathbb{Z}_{p+q}$ and $S^3/mathbb{Z}_{p-q}$, give closed-form predictions for two families of baryon R-charges, equations (8.6), which reduce at $p=2,q=1$ to $-3+sqrt{13}$ and $(-17+5sqrt{13})/3$.
  • $Y^{2,1}$ supplies an explicit irregular Sasaki–Einstein metric on the horizon of the complex cone over the first del Pezzo surface, which explains how $dP_1$ can have a Sasaki–Einstein horizon despite admitting no Kähler–Einstein metric.
  • The predicted central charge $(13sqrt{13}+46)/(12 cdot 2^7) approx 1/7.7427$ of the $S^5$ value agrees with the a-maximisation result for the $dP_1$ quiver, so the geometry reproduces the exact IR data of a known $N=1$ theory.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

  • Because the four facet normals and the charge vector are uniform in $p$ and $q$, the whole infinite family should be reachable from one combinatorial template; a reader could test this by generating the polygon for, say, $(p,q)=(3,1)$ and $(3,2)$ and checking that the two differ only by which interior point is retained as a blow-up mode.
  • The generic irrationality of the Reeb vector means most members have no $U(1)_R$ symmetry, so these geometries are a concrete setting for $N=1$ superconformal theories whose R-charges are irrational algebraic numbers — a feature that should show up directly in the gauge-invariant spectrum of any quiver built for them.
  • Since the volume is monotonic in $q$ at fixed $p$ and bounded by the $T^{1,1}/mathbb{Z}_p$ and $(S^5/mathbb{Z}_2)/mathbb{Z}_p$ values, the family is ordered by central charge. If a-maximisation on the general quivers reproduces that ordering across all $q$, it would be a check on the entire infinite family rather than on a single point.
  • The explicit non-Kähler, non-Einstein metric the authors write on $F_1$ by quotienting $Y^{2,1}$ along the complex-cone direction suggests a general recipe: quotienting $Y^{p,q}$ along the $U(1)$ that rotates the cone direction should give explicit metrics on the corresponding toric surfaces, which could be compared against known extremal Kähler metrics.
Original abstract

Recently an infinite family of explicit Sasaki-Einstein metrics Y^{p,q} on S^2 x S^3 has been discovered, where p and q are two coprime positive integers, with q<p. These give rise to a corresponding family of Calabi-Yau cones, which moreover are toric. Aided by several recent results in toric geometry, we show that these are Kahler quotients C^4//U(1), namely the vacua of gauged linear sigma models with charges (p,p,-p+q,-p-q), thereby generalising the conifold, which is p=1,q=0. We present the corresponding toric diagrams and show that these may be embedded in the toric diagram for the orbifold C^3/Z_{p+1}xZ_{p+1} for all q<p with fixed p. We hence find that the Y^{p,q} manifolds are AdS/CFT dual to an infinite class of N=1 superconformal field theories arising as IR fixed points of toric quiver gauge theories with gauge group SU(N)^{2p}. As a non-trivial example, we show that Y^{2,1} is an explicit irregular Sasaki-Einstein metric on the horizon of the complex cone over the first del Pezzo surface. The dual quiver gauge theory has already been constructed for this case and hence we can predict the exact central charge of this theory at its IR fixed point using the AdS/CFT correspondence. The value we obtain is a quadratic irrational number and, remarkably, agrees with a recent purely field theoretic calculation using a-maximisation.

The compiled record

The paper's own sentences, arranged, kept beside the review and separate from it. Each label is drawn from a closed vocabulary; the number beside it is the probability the classifier gave that label. Numbers in the tables are the authors', checked by code. No sentence in this record was written by a model.

Compiled by classifier-1.13-20260917 via OpenRouter, question bank abstract-p1-20260923, 2026-09-23: 1 request, 6,578 input tokens, $0.0003 reported.

What the abstract itself states, as probabilities: claims first 0.08 · states limitation 0.10 · human participants 0.01 · controlled comparison 0.04 · randomized assignment 0.01 · states quantitative result 0.53 · compares with prior results 0.91 · mentions code or data availability 0.02.

The abstract, sentence by sentence

arXiv listing abstract v5. Results and the main claim are underlined; .

Recently an infinite family of explicit Sasaki-Einstein metrics Y^{p,q} on S^2 x S^3 has been discovered, where p and q are two coprime positive integers, with q<p. These give rise to a corresponding family of Calabi-Yau cones, which moreover are toric. Aided by several recent results in toric geometry, we show that these are Kahler quotients C^4//U(1), namely the vacua of gauged linear sigma models with charges (p,p,-p+q,-p-q), thereby generalising the conifold, which is p=1,q=0. We present the corresponding toric diagrams and show that these may be embedded in the toric diagram for the orbifold C^3/Z_{p+1}xZ_{p+1} for all q<p with fixed p. We hence find that the Y^{p,q} manifolds are AdS/CFT dual to an infinite class of N=1 superconformal field theories arising as IR fixed points of toric quiver gauge theories with gauge group SU(N)^{2p}. As a non-trivial example, we show that Y^{2,1} is an explicit irregular Sasaki-Einstein metric on the horizon of the complex cone over the first del Pezzo surface. The dual quiver gauge theory has already been constructed for this case and hence we can predict the exact central charge of this theory at its IR fixed point using the AdS/CFT correspondence. The value we obtain is a quadratic irrational number and, remarkably, agrees with a recent purely field theoretic calculation using a-maximisation.

background contribution method result interpretation main claim

What the classifier reports for each sentence. The number is the probability it gave the label.
#sentencerolethe authors' own workstates the main conclusionstrength
s0 Recently an infinite family of explicit Sasaki-Einstein metrics Y^{p,q} on S^2 x S^3 has been discovered, where p and q are two coprime positive integers, with q<p. background 0.98 0.08 0.08 asserted 1.00
s1 These give rise to a corresponding family of Calabi-Yau cones, which moreover are toric. result 0.73 0.29 0.05 asserted 1.00
s2 Aided by several recent results in toric geometry, we show that these are Kahler quotients C^4//U(1), namely the vacua of gauged linear sigma models with charges (p,p,-p+q,-p-q), thereby generalising the conifold, which is p=1,q=0. contribution 0.61 0.91 0.11 asserted 1.00
s3 We present the corresponding toric diagrams and show that these may be embedded in the toric diagram for the orbifold C^3/Z_{p+1}xZ_{p+1} for all q<p with fixed p. result 0.73 0.93 0.06 hedged possibility 0.69
s4 We hence find that the Y^{p,q} manifolds are AdS/CFT dual to an infinite class of N=1 superconformal field theories arising as IR fixed points of toric quiver gauge theories with gauge group SU(N)^{2p}. result 0.77 0.93 0.75 asserted 1.00
s5 As a non-trivial example, we show that Y^{2,1} is an explicit irregular Sasaki-Einstein metric on the horizon of the complex cone over the first del Pezzo surface. result 0.73 0.91 0.05 asserted 1.00
s6 The dual quiver gauge theory has already been constructed for this case and hence we can predict the exact central charge of this theory at its IR fixed point using the AdS/CFT correspondence. contribution 0.41 0.57 0.06 asserted 0.95
s7 The value we obtain is a quadratic irrational number and, remarkably, agrees with a recent purely field theoretic calculation using a-maximisation. result 0.98 0.87 0.09 asserted 1.00

What kind of paper the classifier reports this is: theoretical result 1.00 · evidence from proof or derivation 1.00.

What was examined, and what was not

sources read
  • arXiv listing abstract v5
not examined
  • full text
  • figures and tables
  • references and citing sentences
  • relations to other papers
levels run
  • P abstract
not run
  • S sections
  • T body sentences
  • C citations
  • R cross-paper relations

Every quoted sentence on this record is the authors'. Every label is from Pith's closed vocabulary, with the probability shown beside it. Every number in the measurements table is the authors', checked by code. Record as JSON

Figures
Figure 1. Toric diagram of Y 2,1 embedded in the orbifold C 3/Z3 × Z3. of these polygons are equal to p, independently of q. Indeed, for fixed p, varying q just slides the vertex V1 up and down the hypotenuse of the triangle that defines the orbifold C 3/Zp+1 × Zp+1. Note that for (p, q) = (2, 1) the toric diagram is the same as that for the complex cone (canonical line bundle) over the first del Pezzo surface, as we discuss in detail in the following section
Figure 2. Toric diagrams of Y 3,2 and Y 3,1 embedded in the orbifold C 3/Z4 × Z4. Let us also remark that the number of points inside the polygon is precisely p − 1. Each point corresponds to a normal vector to a plane in R 3 . The total number of Fayet–Iliopoulos parameters (K¨ahler parameters) is (4−3)+p−1 = p, and by varying these one moves the planes in their normal directions so that they no longer intersect the origin. By assigning generic values one completely resolves the conical singularity. Indeed, these parameters roughly control the size of CP1 s. We thus learn that the Calabi
Figure 3. Let us briefly recall the notation of these diagrams. The n
Figure 4. Toric diagram of the conifold embedded in the orbifold

Figures reproduced from arXiv:hep-th/0411238 by the authors.

References
How later papers used it

94 later papers cite it

Evidence: substantial. 81 of the citing papers share no author with it, and 10 of those carry a confident label from Pith's citation classifier.

Pith read 28 of the 202 citing sentences, choosing only those whose citation markers point at this paper alone, and wrote the paraphrases from them. The summary, the counts, the evidence level, the links and the quotes come from code; the summary counts the papers listed below. A later paper is listed under a label when Pith's citation classifier gives one of its sentences that label at probability 0.8 or more (0.95 for support), Pith's reading finds that the citing paper itself did it, and a second check confirms the paraphrase against the sentence. This section lists uses only. It does not list criticism or disagreement, so their absence here says nothing about how the paper has been received. Papers that share an author with this one are listed apart, under "By the same authors". A quote is the citing authors' own sentence, shown when their paper's licence is CC BY, CC BY-SA or CC0. JSON

Uses its method or tool 4 of 13 papers with this label · 2 by the same authors

By the same authors

  • Computed the toric and linear sigma model descriptions of Y^{p,k}(P^2) and Y^{p,k}(P^1 x P^1) using the techniques described in this paper.

    Notes on toric Sasaki-Einstein seven-manifolds and AdS_4/CFT_3 (2008) (same authors) · 0.99 · paraphrased: the licence does not allow quoting

  • Following their arguments, we take as a basis of an effective torus action[We exchanged $e_1$ and $e_2$ with respect to [ref] in order to stick to our notation of counter-clockwise ordered normal vectors.] [equation] where $V_1$ generates the rotations of the two-sphere about the equator with weight one, hence $V_1=∂_ϕ$, and $V_2$ the rotations of the $S^1$ fibre, also with weight one, hence $V_2=∂_ν$, where we introduced the new radial coordinate $ν=Ω/2$, with period $2π$.

    Branes wrapped on orbifolds and their gravitational blocks (2022) (same authors) · Hirzebruch $𝔽_1$ · 0.81

Uses its data or values 1 of 2 papers with this label
Compares with it 2 of 5 papers with this label

  • Noted that its own Reeb vector differs by a factor of 2/3 from the one in another work and in this paper.

    Half BPS states in AdS_5 x Y^{p,q} (2007) · 0.93 · paraphrased: the licence does not allow quoting

  • Compared with this paper and verified that the results obtained for the metric cone of a Sasaki-Einstein manifold can be applied to calculate the special Killing forms in its particular case.

    Special Killing forms on toric Sasaki-Einstein manifolds (2014) · 0.97 · paraphrased: the licence does not allow quoting

How the literature uses it

92 arXiv papers cite this in 198 sentences

Each citing sentence is taken from the citing paper's LaTeX source and typed by Pith's classifier. A label appears at probability 0.8 or more (0.95 for support), a contest at 0.7 or more; the quoted words are the citing authors'. How each label was checked · JSON

Papers citing it · 105 sentences without a confident label

Builds on it 1 paper
Uses its method or tool 13 papers
Uses its data or values 2 papers
Compares with it 5 papers
  • Notice that our Reeb vector differs by a factor of 2/3 from the one in [ref] , [ref] .

    Half BPS states in AdS_5 x Y^{p,q} · $R$-charge and Reeb vector · 0.93

  • Now, comparing for instance with [ref] , it is easy to verify that [equation] The above results, obtained in the general case of the metric cone of a Sasaki-Einstein manifold, can be now applied to calculate the special Killing forms in our particular case.

    Special Killing forms on toric Sasaki-Einstein manifolds · An application: the spaces $Y^p,q$ · 0.97

  • From [ref] the R-charges are R[ℬ_Σ_i]= 2 πN ∫_Σ_i^4 Δ 9/4^3/2 (Σ_i)/9 (SE_5)= Nπ/3 ∫_Σ_i(Σ_i)/(SE_5)=R^4d[ℬ_Σ_i] , where we have used [ref] to compare with the corresponding 4d R-charge.

    F-theory and AdS_3/CFT_2 (2,0) · R-charges · 0.98

Cites it as background 59 papers
  • We now turn our attention to the $Y^p,q$ quiver gauge theories [ref] and the dual interpretation of the Ricci-flat Kähler partial resolutions of $C(Y^p,q)$ described in the previous two sections.

    Baryonic branches and resolutions of Ricci-flat Kahler cones · Baryonic branches of $Y^p,q$ quiver theories · 0.96

  • The superconformal quiver gauge theories dual to $Y^p,q$ spaces were first constructed in [ref] generalising the specific case of $Y^2,1$ [ref] , and this was later further generalised to include the dual quivers for all $L^a,b,c$ spaces [ref] .

    Cascading Quivers from Decaying D-branes · Seiberg Duality in Quiver Gauge Theories · 0.90

  • For concreteness, let us focus on the toric case, and more specifically on the class of SE$_5$ known as $Y^p,q$, which have been extensively studied in the literature [ref] and their metrics are known.

    The giant graviton expansion in AdS$_5\times$SE$_5$ · The gravity side · 0.93

Discussion

Disagree with the review, or know something it missed? Leave a comment, highlight any passage above to comment on it, or challenge this review formally.