Pith. Sign in

REVIEW

The Geometric Dual of a-maximisation for Toric Sasaki-Einstein Manifolds

High Energy Physics - Theory · Submitted 24 Mar 2005 · 39 references

Pith's verdict: A clean, correct variational principle that turns the Reeb vector into a convex minimization over toric data; the only real gap is the acknowledged converse, and it doesn't touch the stated claim.

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/0503183 (version 3)
Pith IDN3UTZDVI, Pith's permanent record of this paper and its review
CitationDario Martelli, James Sparks, Shing-Tung Yau. "The Geometric Dual of a-maximisation for Toric Sasaki-Einstein Manifolds." arXiv:hep-th/0503183 (2005). https://pith.science/paper/N3UTZDVI
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
The paper

The paper claims

The Reeb vector of a toric Sasaki–Einstein manifold, and hence its volume, is the unique minimum of a function built only from the cone's toric data.

The reading

Given a toric Calabi–Yau cone, one wants to know the Sasaki–Einstein geometry of its base — but solving the Einstein equations directly is hard, and in most cases the metric is not known. The paper shows that the Reeb vector, the distinguished Killing field that generates the Sasakian structure, can be found by minimising a single explicit function $Z$ on $n$ real variables, where $Z$ is written purely in terms of the primitive inward normals $v_a$ of the cone's facets. Because the volume of the base and the volumes of the toric divisors depend only on the Reeb vector and not on the rest of the metric, this means those volumes can be extracted without ever finding the metric. In complex dimension three the Reeb vector is dual to the R-symmetry of the AdS/CFT gauge theory and the volume is inversely proportional to its $a$ central charge, so the minimisation is a geometric mirror of $a$-maximisation. The authors check the procedure against the conifold, the whole $Y^{p,q}$ family, the suspended pinch point, and the complex cone over the second del Pezzo surface, matching known metrics and known field-theory computations.

What carries the argument

The load-bearing object is the function $Z : C^* → ℝ$, $Z[b] = ∑_a |v_a|^{-1}$ vol$(F_a) - 2n(n-1)$ vol$(Δ_b)$, which in $n=3$ reduces to a rational expression in $b = (x,y,t)$ and the toric normals. Its two ingredients are the facet volumes $|v_a|^{-1}$ vol$(F_a) = (v_{a-1},v_a,v_{a+1}) / [8 (b,v_{a-1},v_a)(b,v_a,v_{a+1})]$ and the polytope volume, which is related to the base volume by vol$(Y) = 2^n (2π)^n$ vol$(Δ)$. The convexity proof is the mechanism that makes the extremisation well posed: writing vol$(Δ_b)$ as an integral of a step function over the cone and differentiating twice turns the Hessian into a positive-semidefinite integral over the characteristic hyperplane, which is positive definite. A byproduct is the identity $b_1 = n$ for every critical point, obtained three independent ways — from regularity of the Monge–Ampère equation, from the Stokes identity $∑_a |v_a|^{-1}$ vol$(F_a) v_a = 2n$ vol$(Δ) b$, and from the Euler scaling of $Z$.

Extended reading notes

Core claim

The central claim is that for a fixed toric Gorenstein singularity the Reeb vector of any Sasaki–Einstein metric on the base is the unique critical point of a function $Z$ that depends only on the toric data. The route is a variational one: restricting the Einstein–Hilbert action of the base to Sasakian metrics, the authors find that the action collapses to a function of the trial Reeb vector $b$ alone, $S[b] = 4$π$∑_a$ vol$(Σ_a) - 4(n-1)^2$ vol$(Y)$, equivalently $Z[b] = (b_1 - (n-1)) 2n$ vol$(Δ_b)$ where $Δ_b$ is the polytope cut out of the cone by the characteristic hyperplane $(b,y) = 1/2$. Sasaki–Einstein metrics are critical points of this action, so the Reeb vector must extremise $Z$. The authors then show that vol$(Δ_b)$ is strictly convex on the interior of the dual cone, with Hessian $2(n+1)|b|∫_H y_i y_j dσ$, so the critical point exists, is unique, and is a global minimum of the reduced function at $b_1 = n$. The value of $Z$ at that minimum, together with the facet volumes, gives the volume of $Y$ and of each toric divisor using only the vectors $v_a$.

Load-bearing premise

The derivation shows that a smooth Sasaki–Einstein metric would have to sit at the minimum of $Z$, but it does not show that the minimum produces a metric: the authors explicitly leave the existence and uniqueness of the homogeneous function $g$ solving the Monge–Ampère equation to future work, and the del Pezzo volume is quoted assuming the metric exists.

Editorial extensions

If this is right

  • The volume of any toric Sasaki–Einstein five-manifold, and the volumes of its toric three-submanifolds, become computable from the toric diagram alone, with no metric ansatz.
  • The procedure reproduces the known Reeb vector and volume of the whole $Y^{p,q}$ family, including the irrational case, from the four normal vectors that define the cone.
  • For the complex cone over the second del Pezzo surface, where no metric is known, the minimisation yields vol$(Y_{dP_2}) = \frac{1}{486}(59 + 11\sqrt{33})\,\pi^3$, matching the value obtained by $a$-maximisation in the dual quiver theory.
  • Because the Reeb vector commutes with all isometries, the minimisation can always be reduced to at most two variables in $n=3$, so $a$-maximisation for toric quiver theories can be carried out over a two-parameter space of flavour symmetries.
  • The construction is stated for any complex dimension $n$, which suggests a three-dimensional field-theory analogue of $a$-maximisation for M-theory backgrounds $AdS_4 × Y_7$.

Reading between the lines

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

  • The method is a necessary-condition engine, not an existence proof: it tells you where the Reeb vector must sit if a smooth Sasaki–Einstein metric exists, and the remaining Monge–Ampère problem for the homogeneous function $g$ is the part that would certify existence. This split is what makes the paper usable as a fast calculator even in cases where existence is open.
  • Since the answer is the root of a polynomial system whose degree grows with the number of facets, the predicted central charges are generically algebraic numbers of degree higher than two; the examples happen to give quadratics, which is a feature of small toric diagrams rather than of the method.
  • A natural cross-check outside the paper's examples: any independent computation of the exact R-charges for a toric quiver whose cone has five or more facets would test whether $Z$-minimisation and $a$-maximisation agree beyond the del Pezzo cases checked here.
  • The same convexity argument applies to volumes of the characteristic polytope for any Reeb-type toric contact manifold, so the minimisation could in principle be repurposed to select canonical Sasakian structures in dimensions where no dual field theory is available.
Original abstract

We show that the Reeb vector, and hence in particular the volume, of a Sasaki-Einstein metric on the base of a toric Calabi-Yau cone of complex dimension n may be computed by minimising a function Z on R^n which depends only on the toric data that defines the singularity. In this way one can extract certain geometric information for a toric Sasaki-Einstein manifold without finding the metric explicitly. For complex dimension n=3 the Reeb vector and the volume correspond to the R-symmetry and the a central charge of the AdS/CFT dual superconformal field theory, respectively. We therefore interpret this extremal problem as the geometric dual of a-maximisation. We illustrate our results with some examples, including the Y^{p,q} singularities and the complex cone over the second del Pezzo surface.

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, 4,370 input tokens, $0.0002 reported.

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

The abstract, sentence by sentence

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

We show that the Reeb vector, and hence in particular the volume, of a Sasaki-Einstein metric on the base of a toric Calabi-Yau cone of complex dimension n may be computed by minimising a function Z on R^n which depends only on the toric data that defines the singularity. In this way one can extract certain geometric information for a toric Sasaki-Einstein manifold without finding the metric explicitly. For complex dimension n=3 the Reeb vector and the volume correspond to the R-symmetry and the a central charge of the AdS/CFT dual superconformal field theory, respectively. We therefore interpret this extremal problem as the geometric dual of a-maximisation. We illustrate our results with some examples, including the Y^{p,q} singularities and the complex cone over the second del Pezzo surface.

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 We show that the Reeb vector, and hence in particular the volume, of a Sasaki-Einstein metric on the base of a toric Calabi-Yau cone of complex dimension n may be computed by minimising a function Z on R^n which depends only on the toric data that defines the singularity. result 0.68 0.94 0.84 asserted 0.82
s1 In this way one can extract certain geometric information for a toric Sasaki-Einstein manifold without finding the metric explicitly. interpretation 0.70 0.64 0.10 hedged possibility 0.72
s2 For complex dimension n=3 the Reeb vector and the volume correspond to the R-symmetry and the a central charge of the AdS/CFT dual superconformal field theory, respectively. interpretation 0.43 0.14 0.09 asserted 1.00
s3 We therefore interpret this extremal problem as the geometric dual of a-maximisation. interpretation 1.00 0.78 0.49 asserted 0.99
s4 We illustrate our results with some examples, including the Y^{p,q} singularities and the complex cone over the second del Pezzo surface. contribution 0.80 0.89 0.03 asserted 0.98

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

What was examined, and what was not

sources read
  • arXiv listing abstract v3
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 for the conifold. Notice that we have listed the normal vectors in the order of the facets of the polyhe￾dral cone. The corresponding 3–submanifolds Σa are four copies of S 3 . The extremal function is computed to be Z[x, y, t] = (x − 2)x 8yt(x − t)(x − y) (3.28) where here, and in the following examples, we set b = (x, y, t). After imposing x = 3 the remaining equations are then easily solved, and it turns out that there is a unique 23
Figure 2. Toric diagram for Y 5,3 . We compute the following function Z[x, y, t] = (x − 2)p(p(p − q)x + q(p − q)y + q(2 − p + q)t) 8t(px − py + (p − 1)t)((p − q)y + (1 − p + q)t)(px + qy − (q + 1)t) . (3.32) Extremising this function is best left to Mathematica. Imposing x = 3, the remaining equations have four solutions on R 3 . However, only one lies within the dual cone C ∗ , as 24
Figure 3. Toric diagram for the SPP. Introducing the gauge–invariant monomials u = Z1Z4, v = Z2Z3, w = Z 2 1Z2, z = Z3Z 2 4 (3.37) we see that an equivalent algebraic description of the singularity is given by the hyper￾surface wz = u 2 v (3.38) 25
Figure 4. Toric diagram for the complex cone over dP2. The five inward pointing normals may be taken to be v1 = [1, 0, 0] , v2 = [1, 0, 1] , v3 = [1, 1, 2] , v4 = [1, 2, 1] , v5 = [1, 1, 0] . (3.46) The extremal function in this basis is Z[x, y, t] = (x − 2)(−t 2 + 2t(x + y) + (3x − y)(x + y)) 8yt(t − x − y)(t + x − y)(t − 3x + y) . (3.47) The extremum that lies inside the dual cone is computed to be bmin =  3, 9 16 (−1 + √ 33), 9 16 (−1 + √ 33) . (3.48) 10Assuming that it exists. 27

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

References
How later papers used it

122 later papers cite it

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

Pith read 16 of the 367 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 2 of 31 papers with this label
How the literature uses it

121 arXiv papers cite this in 360 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 · 245 sentences without a confident label

Builds on it 5 papers
  • In this section we first briefly review the equivalence of $a$-maximization with the volume minimization proposed in [ref] and then we extend it to the equivalence of $c$-extremization with the construction proposed in [ref] for all toric quiver.

    Proving the equivalence of $c$-extremization and its gravitational dual for all toric quivers · $c$-extremization equals its gravity dual for all toric quivers · 0.91

  • Generalizing the works of Martelli, Sparks and Yau [ref] , we relate curvature invariants of $L^5$ to the number of mesonic operators in the CFT by counting the asymptotic number of holomorphic functions on the Calabi-Yau cone over $L^5$.

    Can you hear the shape of dual geometries? · Introduction · 0.95

  • In this paper we have extended the results of [ref] concerning a geometric extremal problem, analogous to volume minimization in Sasakian geometry [ref] , that allows one to calculate key properties of supersymmetric AdS$_3×Y_7$ and AdS$_2×Y_9$ solutions.

    Toric geometry and the dual of ${\cal I}$-extremization · Discussion · 0.99

Uses its method or tool 30 papers
Uses its data or values 1 paper
  • The index is given by ([ref]): [equation] In [ref] the Reeb vector corresponding to the Ricci-flat metric was found via an extremisation procedure to be $b = (3,3/2,3/2)$ and so relabelling fugacities: [equation] the superconformal index $𝒵(ỹ, τ, z_2, z_3 )$ is therefore: [equation] where we have chosen to grade by $D^I$, $∂/∂ϕ_2$ and $∂/∂ϕ_3$.

    Superconformal Quantum Mechanics on K\"ahler Cones · The Conifold · 0.83

Compares with it 9 papers
  • This result can be viewed as the analogue of the geometric dual of $a$-maximization that was presented in [ref] , for the general class of $d=4$, $N=1$ SCFTs which are holographically dual to AdS$_5×SE_5$ solutions of type IIB supergravity, where $SE_5$ is a five-dimensional Sasaki-Einstein manifold.

    A geometric dual of $c$-extremization · Introduction · 0.87

  • As a non-trivial check, we now show that the extremization of $_2 n-1(Δ_a)$ reproduces the correct exact R-symmetry and is consistent with what we know about $a$- and $F$-maximization [ref] and their equivalence with volume minimization [ref] .

    $\mathcal{I}$-Extremization for AdS$_4$ Black Holes: Master Volume, Free Energy, and Baryonic Charges · Comparing with the quantum field theory free energy · 0.89

  • Below we will show that indeed our formulas reduce to combinations of the corresponding toric Sasakian formulas, thus making direct contact with the results of [ref] .

    Toric geometry and the dual of $c$-extremization · The universal twist revisited · 0.88

Cites it as background 32 papers

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.