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
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
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
- 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.
The abstract, sentence by sentence
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
| # | sentence | role | the authors' own work | states the main conclusion | strength |
|---|---|---|---|---|---|
| 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 was examined, and what was not
- arXiv listing abstract v3
- full text
- figures and tables
- references and citing sentences
- relations to other papers
- P abstract
- S sections
- T body sentences
- C citations
- R cross-paper relations
Figures
Figures reproduced from arXiv:hep-th/0503183 by the authors.
References
How later papers used it
122 later papers cite it
2 later papers by other authors are listed below: 2 used its method or tool.
Uses its method or tool 2 of 31 papers with this label
-
Used this paper's method in a simple computation to obtain an equation with constants.
Toric data, Killing forms and complete integrability of geodesics in Sasaki-Einstein spaces $Y^{p,q}$ (2015) · 0.80 · paraphrased: the licence does not allow quoting
-
Applied this paper's volume minimization to find the Reeb vector and the volume of the Sasaki-Einstein base.
Holographic spectral functions for Sasaki-Einstein 5-manifolds (2026) · 0.99 · paraphrased: the licence does not allow quoting
How the literature uses it
121 arXiv papers cite this in 360 sentences
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
-
We have the correspondence [equation] The corresponding Kähler metric on the cone $C(M)$ is constructed using the symplectic potential $G$ [ref] .
Toric data, Killing forms and complete integrability of geodesics in Sasaki-Einstein spaces $Y^{p,q}$ · Symplectic potential and complex coordinates · 0.91
-
The approach we take in order to achieve our goal basically relies on the interplay between symplectic and complex coordinates on toric manifolds [ref] .
Toric data and Killing forms on homogeneous Sasaki-Einstein manifold $T^{1,1}$ · Introduction · 1.00
-
Applying the volume minimization [ref] , the Reeb vector is numerically determined as [equation] and [equation] The R-charges of the chiral multiplet fields are evaluated as [equation] where [equation]
Holographic spectral functions for Sasaki-Einstein 5-manifolds · $AdS_5×Y_PdP_4b$ · 0.98
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
-
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
-
A geometric dual of $a-$maximization for local toric Calabi-Yau threefolds was found by Martelli, Sparks, and Yau [ref] .
Equivalence of A-Maximization and Volume Minimization · Volume Minimization · 0.83
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.