Pith. Sign in

REVIEW

Sasaki-Einstein Manifolds and Volume Minimisation

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, Shing-Tung Yau

High Energy Physics - Theory · Submitted 3 Mar 2006 · 70 references

Pith's verdict: Landmark non-toric volume minimisation paper whose headline algebraicity theorem has a real, partially acknowledged gap in the extension to irregular Reeb vectors.

T0 · AI review

How this review was made: An AI referee (deepseek-v4-flash) read the paper on August 28, 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 · 4 minor · Ask about this paper · The compiled record · Read the full review →
Challenge this review Comment (0) Read on arXiv ↗
Cite ▾
arXiv IDhep-th/0603021 (version 5)
Pith IDPHCN2PVS, Pith's permanent record of this paper and its review
CitationDario Martelli, James Sparks, Shing-Tung Yau. "Sasaki-Einstein Manifolds and Volume Minimisation." arXiv:hep-th/0603021 (2006). https://pith.science/paper/PHCN2PVS
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

Every Sasaki-Einstein manifold has algebraic normalised volume.

The reading

The paper sets out to show that the Einstein-Hilbert action on a Sasakian link is exactly the volume functional, and that this volume depends only on the Reeb vector field, not on the remaining metric degrees of freedom. Using Duistermaat-Heckman localisation on an equivariant orbifold resolution of the Calabi-Yau cone, it derives an explicit formula for the normalised volume $V(b)=\operatorname{vol}[L]/\operatorname{vol}[S^{2n-1}]$ as a rational function of $b$ with rational coefficients. Since the Reeb vector field of a Sasaki-Einstein metric is an isolated critical point of this function, its components are algebraic numbers, and so is the normalised volume. In complex dimension three this is the geometric counterpart of a-maximisation in four-dimensional superconformal field theories, and it also shows that the variational problem sets the Futaki invariant of the transverse space to zero.

What carries the argument

The central object is the Reeb vector field $\xi = J(r\partial/\partial r)$ on the Kähler cone, whose components $b_i$ parameterise the interior $C_0$ of the Reeb cone. The volume functional $V(b)$ is the Einstein-Hilbert action once the holomorphic $(n,0)$-form is normalised to degree $n$, and $V$ depends only on $b$. The workhorse is the localisation formula, which evaluates $V(b)$ by summing Duistermaat-Heckman contributions over the connected components $F$ of the fixed-point set on any equivariant orbifold resolution; each contribution is built from the torus weights $u_\lambda$ and Chern classes $c_a(E_\lambda)$ of the normal bundle, divided by the orbifold order $d_F$.

Extended reading notes

Core claim

The central discovery is that the normalised volume of any Sasakian link is given by a localisation formula, $V(b)=\sum_{\{F\}}\frac{1}{d_F}\int_F \prod_{\lambda}(b,u_\lambda)^{-n_\lambda}[\sum_{a\geq0} c_a(E_\lambda)(b,u_\lambda)^{-a}]^{-1}$, in which each connected component $F$ of the fixed-point set of the torus action on an equivariant orbifold resolution contributes a rational function of the Reeb vector components $b_i$. The weights $u_\lambda$ and Chern classes $c_a(E_\lambda)$ are rational data, so $V(b)$ is a rational function with rational coefficients. At a Sasaki-Einstein critical point the derivative conditions are polynomial equations with rational coefficients, and the critical point is isolated, so $b^*$ is an algebraic vector and $V(b^*)$ is an algebraic number. The same volume function is recovered as the leading pole of the equivariant index that counts holomorphic functions on the cone, and its first derivative is the Futaki invariant of the transverse Kähler orbifold.

Load-bearing premise

The localisation calculation assumes that for every Reeb vector field the singular cone can be smoothed by a one-parameter family of torus-invariant Kähler metrics on an equivariant orbifold resolution that degenerates back to the cone; the paper states that it assumes there is no obstruction to constructing this family.

Editorial extensions

If this is right

  • For any Sasaki-Einstein manifold, the ratio $\operatorname{vol}[L]/\operatorname{vol}[S^{2n-1}]$ is algebraic, so the volume cannot be transcendental or require transcendental Reeb parameters.
  • In complex dimension three, geometric volume minimisation reproduces a-maximisation: the critical Reeb vector field is the exact R-symmetry and the central charge $a$ is inversely proportional to the critical volume.
  • The critical Reeb vector field is unique on the convex polytope $\Sigma$, so a Sasaki-Einstein metric in the given family determines its Reeb vector field uniquely.
  • The variational problem automatically imposes the vanishing of the Futaki invariant of the transverse orbifold, so the existence of a Sasaki-Einstein metric forces this classical obstruction to vanish.
  • Volumes can be computed from topological fixed-point data alone, without writing the metric, either by the localisation formula or by taking the leading pole of the equivariant index.

Reading between the lines

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

  • The paper's degree-rank conjecture, $\deg(L)=(n-1)^{\operatorname{rank}(L)-1}$, can be tested on new infinite families: rank-two five-manifolds should have quadratic-irrational normalised volumes, and a rank-three example should have degree four.
  • The equivariant index character carries more information than the volume; its subleading terms in $t$ are holomorphic invariants that could define higher trial central charges or refine the AdS/CFT dictionary.
  • One could use the off-shell volume functional as an existence probe: if the unique critical point of $V$ on $\Sigma$ fails to produce a transverse Kähler-Einstein metric, the failure would pinpoint the obstruction in non-toric settings.
  • The localisation idea may extend to Sasakian metrics with a single Reeb isometry instead of a torus, although the fixed-point data would be less tractable.
Original abstract

We study a variational problem whose critical point determines the Reeb vector field for a Sasaki-Einstein manifold. This extends our previous work on Sasakian geometry by lifting the condition that the manifolds are toric. We show that the Einstein-Hilbert action, restricted to a space of Sasakian metrics on a link L in a Calabi-Yau cone X, is the volume functional, which in fact is a function on the space of Reeb vector fields. We relate this function both to the Duistermaat-Heckman formula and also to a limit of a certain equivariant index on X that counts holomorphic functions. Both formulae may be evaluated by localisation. This leads to a general formula for the volume function in terms of topological fixed point data. As a result we prove that the volume of a Sasaki-Einstein manifold, relative to that of the round sphere, is always an algebraic number. In complex dimension n=3 these results provide, via AdS/CFT, the geometric counterpart of a-maximisation in four dimensional superconformal field theories. We also show that our variational problem dynamically sets to zero the Futaki invariant of the transverse space, the latter being an obstruction to the existence of a Kahler-Einstein metric.

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,936 input tokens, $0.0003 reported.

What the abstract itself states, as probabilities: claims first 0.07 · states limitation 0.18 · human participants 0.01 · controlled comparison 0.12 · randomized assignment 0.01 · states quantitative result 0.36 · compares with prior results 0.81 · mentions code or data availability 0.01.

The abstract, sentence by sentence

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

We study a variational problem whose critical point determines the Reeb vector field for a Sasaki-Einstein manifold. This extends our previous work on Sasakian geometry by lifting the condition that the manifolds are toric. We show that the Einstein-Hilbert action, restricted to a space of Sasakian metrics on a link L in a Calabi-Yau cone X, is the volume functional, which in fact is a function on the space of Reeb vector fields. We relate this function both to the Duistermaat-Heckman formula and also to a limit of a certain equivariant index on X that counts holomorphic functions. Both formulae may be evaluated by localisation. This leads to a general formula for the volume function in terms of topological fixed point data. As a result we prove that the volume of a Sasaki-Einstein manifold, relative to that of the round sphere, is always an algebraic number. In complex dimension n=3 these results provide, via AdS/CFT, the geometric counterpart of a-maximisation in four dimensional superconformal field theories. We also show that our variational problem dynamically sets to zero the Futaki invariant of the transverse space, the latter being an obstruction to the existence of a Kahler-Einstein metric.

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 study a variational problem whose critical point determines the Reeb vector field for a Sasaki-Einstein manifold. contribution 0.96 0.90 0.09 asserted 0.99
s1 This extends our previous work on Sasakian geometry by lifting the condition that the manifolds are toric. contribution 0.46 0.43 0.03 asserted 0.98
s2 We show that the Einstein-Hilbert action, restricted to a space of Sasakian metrics on a link L in a Calabi-Yau cone X, is the volume functional, which in fact is a function on the space of Reeb vector fields. result 0.56 0.93 0.13 asserted 1.00
s3 We relate this function both to the Duistermaat-Heckman formula and also to a limit of a certain equivariant index on X that counts holomorphic functions. contribution 0.70 0.85 0.05 asserted 1.00
s4 Both formulae may be evaluated by localisation. method 0.99 0.47 0.02 hedged possibility 0.98
s5 This leads to a general formula for the volume function in terms of topological fixed point data. result 0.70 0.93 0.11 asserted 1.00
s6 As a result we prove that the volume of a Sasaki-Einstein manifold, relative to that of the round sphere, is always an algebraic number. result 1.00 0.94 0.42 asserted 1.00
s7 In complex dimension n=3 these results provide, via AdS/CFT, the geometric counterpart of a-maximisation in four dimensional superconformal field theories. interpretation 0.99 0.75 0.10 asserted 0.92
s8 We also show that our variational problem dynamically sets to zero the Futaki invariant of the transverse space, the latter being an obstruction to the existence of a Kahler-Einstein metric. result 0.96 0.94 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 for the conifold. primitive edge vectors for the polyhedral cone are then easily determined to be (0, 1, 0), (1, 0, −1), (1, −1, 0), (0, 0, 1) . (7.27) Each vector has zero dot products with precisely two of the va = (1, wa), and positive dot products with the remaining two. We must now choose a resolution of the cone. There are two choices, related by the flop transition. There are two vertices in each case. First resolution: We choose the following resolution: p1 : u (1) 1 = (0, 1, 0), u (1) 2 = (0, 0, 1), u (1) 3 = (1, −1, −1) p2 : u (2) 1 = (1, −1, 0), u (2
Figure 2. A small resolution of the conifold. The fixed point formula thus gives C(q, X) = X pα Y 3 i=1 1 1 − q u (α) i = 1 (1 − q2)(1 − q3)(1 − q1q −1 2 q −1 3 ) + 1 (1 − q1q −1 2 )(1 − q1q −1 3 )(1 − q −1 1 q2q3) = 1 − q1 (1 − q2)(1 − q3)(1 − q1q −1 2 )(1 − q1q −1 3 ) . (7.29) This is the general result for the character44. We may now set q = exp(−tb) and take the limit V (b) = limt→0 t 3 C(e −tb, X) = b1 b2b3(b1 − b2)(b1 − b3) . (7.30) This indeed correctly reproduces the result of [22] for the volume. Second resolution: The other small resolution
Figure 3. The other small resolution of the conifold.
Figure 4. Toric diagram for the complex cone over dP1. to be (1, 1, 0), (1, 1, −1), (1, −1, −1), (1, −1, 2) . (7.33) We resolve the cone by simply blowing up the del Pezzo surface, corresponding to including the interior point w = (0, 0). This leads to four vertices, with edges: p1 : u (1) 1 = (1, 1, 0), u (1) 2 = (0, 0, −1), u (1) 3 = (0, −1, 1) p2 : u (2) 1 = (1, 1, −1), u (2) 2 = (0, 0, 1), u (2) 3 = (0, −1, 0) p3 : u (3) 1 = (1, −1, −1), u (3) 2 = (0, 0, 1), u (3) 3 = (0, 1, 0) p4 : u (4) 1 = (1, −1, 2), u (4) 2 = (0, 0, −1), u (4) 3 = (0, 1, −1) . (7.34) The fixed
Figure 5. Canonical bundle over dP1. where the numerator is given by N(q) = 1 + q1 + q1q3 + q1q −1 3 + q1q −1 2 + q1q −1 2 q3 −q 2 1 (1 + q1 + q2 + q3 + q −1 3 + q2q −1 3 ) . (7.36) Either by taking a limit of this expression, or else using (7.26) directly, one obtains V (b) = limt→0 t 3 C(e −tb, X) = 2(4b1 + 2b2 − b3) (b1 + b2)(b1 − b2 + 2b3)(b1 − b2 − b3)(b1 + b2 − b3) . (7.37) This is indeed correct, although we have chosen a different basis from that of [22]. Note also that, setting b3 = 0, we recover the formula (5.42) derived earlier without using toric geometry. 7.4.3 The second del…
Figure 6. Toric diagram for the complex cone over dP2. This is the blow–up of the first del Pezzo surface, introducing an exceptional divisor corresponding to w5. The outward primitive edge vectors for the polyhedral cone are 67
Figure 7. Canonical bundle over dP2. Rather than give the full character, we simply state the result for the volume: V (b) = 7b 2 1 + 2b1b2 + 2b1b3 − b 2 2 − b 2 3 + 2b2b3 (b1 + b2)(b1 + b2 − b3)(b1 − b2 − b3)(b1 − b2 + b3)(b1 + b3) . (7.40) Setting b1 = 3, it is straightforward to determine that the critical point, inside the Reeb cone, lies at b∗2 = b∗3 = −57 + 9√ 33 16 (7.41) and that the volume at the critical point is V (b∗) = 59 + 11√ 33 486 . (7.42) 68
Figure 8. Toric diagram for Y 5,3 . vectors for the polyhedral cone are then easily determined to be (0, p − q, −p + q + 1), (p, q, −1 − q), (p, −p, p − 1), (0, 0, 1) . (7.43) We now partially resolve the cone by blowing up the Fano corresponding to the interior point45 w = (1, 1). This leads to a non–compact polytope P ⊂ R 3 with four vertices, with outward–pointing edge vectors: p1 : u (1) 1 = (0, p − q, −p + q + 1), u (1) 2 = (0, −1, 1), u (1) 3 = (1, −p + q + 1, p − q − 2) p2 : (p − 1)u (2) 1 = (p, q, −1 − q), (p − 1)u (2) 2 = (−1, p − q − 1, −p + q + 2), (p − 1)u (2) 3 = (0,
Figure 9. Partially resolved polytope P for Y 5,3 . includes the inverse orders 1/dp at each vertex p as a multiplicative factor. This is straightforward to compute: V (b) = X pA,A=1,...,4 1 dpA Y 3 i=1 1 (b, u(A) i ) = p [p(p − q)b1 + q(p − q)b2 + q(2 − p + q)b3] b3(pb1 − pb2 + (p − 1)b3)((p − q)b2 + (1 − p + q)b3)(pb1 + qb2 − (1 + q)b3) which is indeed the correct expression [22]. Acknowledgments We would like to thank S. Benvenuti, D. Goldfeld, P. A. Grassi, A. Hanany, J. F. Morales and R. Thomas for interesting discussions. D. M. and J. F. S would also like to thank the Insti

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

References
How later papers used it

134 later papers cite it

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

Pith read 19 of the 371 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

Builds on it 2 of 9 papers with this label · 2 by the same authors

By the same authors

  • Proved the analogous result to this paper, that the action for bosonic supergravity fields restricted to generalized Sasakian structures equals the contact volume and depends only on the Reeb vector field.

    Generalized Geometry in AdS/CFT and Volume Minimization (2010) (same authors) · 0.93 · paraphrased: the licence does not allow quoting

  • Generalized some arguments that first appeared in this paper to prove its claim.

    Toric geometry and the dual of $c$-extremization (2018) (same authors) · 0.92 · paraphrased: the licence does not allow quoting

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

By the same authors

How the literature uses it

130 arXiv papers cite this in 351 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 · 246 sentences without a confident label

Contests it 1 paper
Builds on it 9 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

  • Equipped with this definition of generalized Sasakian geometry, we then proved in section [ref] the analogous result to [ref] : the action for the bosonic supergravity fields is equal, when restricted to a space of generalized Sasakian structures, to the underlying contact volume, and thus depends only on the Reeb vector field.

    Generalized Geometry in AdS/CFT and Volume Minimization · Conclusion and outlook · 0.93

  • 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

Uses its method or tool 23 papers
Uses its data or values 1 paper
  • For these Sasaki-Einstein spaces the quantities $a$ and $Vol(M_7)$ introduced above, and therefore $γ$ and $c$, are known explicitly [ref] : a = ∑_i w_i - d/4 , Vol(M_7) = π^4 a^4 d/3 ∏_i w_i .

    Landscape of superconducting membranes · Examples of Sasaki-Einstein manifolds: Brieskorn-Pham links · 0.95

Compares with it 10 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

  • Of course, this result reproduces that in [ref] , but here we have used only contact geometry.

    Generalized Geometry in AdS/CFT and Volume Minimization · The contact volume functional · 0.87

Cites it as support 1 paper
  • In fact, using toric geometry and dimer technology, it is possible to show that there exists a one to one correspondence between the integer points inside $σ^*$ and the mesonic operators in the dual field theory, modulo F-term constraints [ref] .

    Master Space and Hilbert Series for N=1 Field Theories · The Mesonic Chiral Ring · 0.97

Cites it as background 31 papers
  • In their seminal work [ref] , Martelli, Sparks and Yau (MSY) introduced a method for computing a fully refined HS for a toric CY$_3$ from a triangulation of its toric diagram.

    A Hilbert Series for Generalized Toric Polygons · Introduction · 0.80

  • The geometric dual of $a$-maximization was derived in [ref] for AdS$_5×$SE$_5$ geometries and the geometric dual of $c$-extremization was found in [ref] for so called “GK" geometries [ref] .

    On Type IIA AdS$_3$ solutions and massive GK geometries · Introduction · 0.92

  • In this section, we briefly summarize this property following the exposition and notation of [ref] .

    Calabi-Yau Volumes and Reflexive Polytopes · The Calabi-Yau Cone $$ and Sasaki-Einstein Base $Y$ · 0.90

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.