Toric Volume Form in Kähler & Calabi–Yau Geometry

• Toric Volume Form is the natural volume measure on the link of a toric Kähler or Calabi–Yau cone, defined via a contact one-form and a transverse Kähler form.
• It reduces complex geometric integrals into Euclidean polytope volumes using master volume functionals that depend on the Reeb vector and Kähler class parameters.
• Recent advancements like closed-form facet-sum formulas and machine-learning approximations highlight its pivotal role in holography and geometric extremization.

In toric Kähler and toric Calabi–Yau geometry, the natural volume form on the link $Y_{2n+1}$ of a cone $C(Y_{2n+1})$ is

$\eta \wedge \omega^n / n!,$

where $\eta$ is the contact $1$-form and $\omega$ is the transverse Kähler form. Its integral defines a “master volume” $\mathcal V(b;\lambda)$ depending on the Reeb vector $b$ and transverse Kähler class parameters $\lambda_a$, while in the toric Calabi–Yau $3$-fold case it specializes to a volume functional $C(Y_{2n+1})$0 on Sasaki–Einstein $C(Y_{2n+1})$1-manifolds. These constructions are central both to geometric extremization and to holography: for toric Calabi–Yau $C(Y_{2n+1})$2-folds, the minimum volume of the Sasaki–Einstein base is inversely proportional to the central charge of the corresponding $C(Y_{2n+1})$3 superconformal field theories, and recent work has also produced explicit machine-learning-regularized approximations for that minimum volume in terms of toric-diagram invariants (Gauntlett et al., 2019, Choi et al., 2023).

1. Geometric setting of the toric volume form

Let $C(Y_{2n+1})$4 be a Gorenstein toric Kähler cone of complex dimension $C(Y_{2n+1})$5, with link $C(Y_{2n+1})$6. The geometry carries a $C(Y_{2n+1})$7-action generated by angular coordinates $C(Y_{2n+1})$8, $C(Y_{2n+1})$9, and a Reeb vector

$\eta \wedge \omega^n / n!,$0

with $\eta \wedge \omega^n / n!,$1 in the interior of the dual cone. Moment-map coordinates are introduced as

$\eta \wedge \omega^n / n!,$2

where $\eta \wedge \omega^n / n!,$3 satisfies $\eta \wedge \omega^n / n!,$4 and $\eta \wedge \omega^n / n!,$5 (Gauntlett et al., 2019).

The toric cone is the polyhedral cone

$\eta \wedge \omega^n / n!,$6

with inward-pointing primitive facet normals $\eta \wedge \omega^n / n!,$7. The link at $\eta \wedge \omega^n / n!,$8 projects to a compact polytope obtained by intersecting $\eta \wedge \omega^n / n!,$9 with the Reeb hyperplane

$\eta$0

After deforming the transverse Kähler class by parameters $\eta$1, the relevant polytope becomes

$\eta$2

or equivalently

$\eta$3

with $\eta$4 (Gauntlett et al., 2019).

The Kähler deformation is encoded by

$\eta$5

where the $\eta$6 form a basis of invariant $\eta$7-cycles on $\eta$8 lifting the toric divisors. Three linear relations among the $\eta$9, coming from $1$0, imply that only $1$1 of them are independent (Gauntlett et al., 2019).

2. Integral, polytope, and facet-sum realizations

The master volume is defined by

$1$2

In symplectic $1$3 coordinates one has

$1$4

and integrating out the $1$5 angles yields

$1$6

Thus the toric volume form reduces the computation of $1$7 to Euclidean polytope volume (Gauntlett et al., 2019).

An equivalent description uses a symplectic potential $1$8 on the cone: $1$9 In this description one can show directly that $\omega$0 is proportional to $\omega$1 (Gauntlett et al., 2019).

A closed-form expression is obtained by triangulating $\omega$2 into simplices. The resulting “facet-sum” formula expresses $\omega$3 as a sum over facets and cyclically labelled vertices, with determinants built from $\omega$4 and the $\omega$5. The same quantity can also be written more compactly in terms of triple-intersection numbers

$\omega$6

so that

$\omega$7

In the special case $\omega$8 for all $\omega$9, these expressions simplify to the well-known toric Sasaki volume formula (Gauntlett et al., 2019).

3. Toric Calabi–Yau $\mathcal V(b;\lambda)$0-folds and the Hilbert-series volume functional

For any non-compact toric Calabi–Yau three-fold $\mathcal V(b;\lambda)$1, $\mathcal V(b;\lambda)$2 is the affine cone over a five-dimensional Sasaki–Einstein manifold $\mathcal V(b;\lambda)$3, and the volume of $\mathcal V(b;\lambda)$4 can be written in closed form as a rational function of the Reeb vector $\mathcal V(b;\lambda)$5. In practice one often fixes the normalization $\mathcal V(b;\lambda)$6, so that $\mathcal V(b;\lambda)$7 lives in the interior of the toric diagram $\mathcal V(b;\lambda)$8 at height $\mathcal V(b;\lambda)$9 (Choi et al., 2023).

Two standard approaches to compute the volume function $b$0 are the Duistermaat–Heckman formula or equivariant index, and the Hilbert series of $b$1 (Choi et al., 2023). If $b$2 admits a fine triangulation into $b$3 unimodular triangles $b$4, each with outward-pointing normal vectors

$b$5

the Hilbert series is

$b$6

where $b$7. The volume function is extracted as

$b$8

and takes the explicit form

$b$9

with the normalization $\lambda_a$0 (Choi et al., 2023).

This specialization exhibits the toric volume form in a particularly computable way: combinatorial data of a triangulated toric diagram determine a rational function of the Reeb vector, and the geometric problem becomes one of extremization inside the Reeb cone.

4. Extremization, derivatives, and holographic role

The minimum-volume problem is

$\lambda_a$1

For a Sasaki–Einstein metric, one fixes

$\lambda_a$2

then minimizes $\lambda_a$3 over $\lambda_a$4 in the Reeb cone subject to $\lambda_a$5 (Gauntlett et al., 2019). In the toric Calabi–Yau $\lambda_a$6-fold setting, the minimum volume of the Sasaki–Einstein base is inversely proportional to the central charge of the corresponding $\lambda_a$7 superconformal field theories under the AdS/CFT correspondence (Choi et al., 2023).

Derivatives of the master volume encode additional geometric data. One has

$\lambda_a$8

which gives the volume of the toric divisor $\lambda_a$9, while

$3$0

and $3$1 are obtained by varying the Reeb hyperplane $3$2 (Gauntlett et al., 2019). These derivatives enter directly into geometric extremization and flux-quantization constraints.

For “GK” AdS$3$3 or AdS$3$4 geometries, one extremizes a suitable functional $3$5, built from linear combinations of $3$6 and $3$7, subject to linear flux constraints such as $3$8. In applications to black-hole entropy or $3$9-extremization, one uses these derivatives to impose flux-quantization and transversality constraints and then extremizes the remaining variables. The gauge-invariance identity

$C(Y_{2n+1})$00

shows that $C(Y_{2n+1})$01, $C(Y_{2n+1})$02, and $C(Y_{2n+1})$03 depend only on $C(Y_{2n+1})$04 independent combinations of the $C(Y_{2n+1})$05 (Gauntlett et al., 2019).

5. Toric-diagram invariants and machine-learning regularization

For toric Calabi–Yau $C(Y_{2n+1})$06-folds, the data of the toric diagram $C(Y_{2n+1})$07 can be encoded in integer-valued geometric invariants. These include the area

$C(Y_{2n+1})$08

computed in $C(Y_{2n+1})$09 by Pick’s theorem, where $C(Y_{2n+1})$10 is the number of interior lattice points and $C(Y_{2n+1})$11 is the number of boundary lattice points; the number of vertices $C(Y_{2n+1})$12; and, for any positive integer $C(Y_{2n+1})$13, the $C(Y_{2n+1})$14-enlarged polytope

$C(Y_{2n+1})$15

with interior and boundary lattice counts $C(Y_{2n+1})$16 and $C(Y_{2n+1})$17. In particular, $C(Y_{2n+1})$18 grows roughly like $C(Y_{2n+1})$19 but carries global shape information beyond $C(Y_{2n+1})$20 (Choi et al., 2023).

Instead of minimizing the exact Hilbert-series volume each time, one can approximate the inverse minimum volume

$C(Y_{2n+1})$21

as a linear combination of features $C(Y_{2n+1})$22,

$C(Y_{2n+1})$23

fitted by minimizing the ordinary least-squares loss

$C(Y_{2n+1})$24

over a dataset $C(Y_{2n+1})$25 of toric diagrams. Sparsity is then imposed through the $C(Y_{2n+1})$26-penalized loss

$C(Y_{2n+1})$27

with hyperparameter $C(Y_{2n+1})$28 chosen to maximize

$C(Y_{2n+1})$29

where $C(Y_{2n+1})$30 is the coefficient of determination and $C(Y_{2n+1})$31 is the number of nonzero coefficients (Choi et al., 2023).

After training on four large datasets of toric diagrams, up to $C(Y_{2n+1})$32 examples, the best compromise was obtained by $C(Y_{2n+1})$33-regularized logarithmic regression using only three features,

$C(Y_{2n+1})$34

with

$C(Y_{2n+1})$35

For the largest training set $C(Y_{2n+1})$36, the coefficients are

$C(Y_{2n+1})$37

so that

$C(Y_{2n+1})$38

or equivalently

$C(Y_{2n+1})$39

This yields a closed-form approximation involving only three toric-diagram invariants (Choi et al., 2023).

6. Interpretation, accuracy, and scope

The exponents in the three-feature approximation admit a geometric interpretation. The factor $C(Y_{2n+1})$40 reflects that “barycentric” Reeb vectors tend to spread weight uniformly across the $C(Y_{2n+1})$41 triangles in the triangulation. The factor $C(Y_{2n+1})$42 reflects that corners of $C(Y_{2n+1})$43 contribute slightly more to the singularity of the volume integral, hence more vertices $C(Y_{2n+1})$44 lower the volume. The factor $C(Y_{2n+1})$45 reflects that the interior lattice structure of the three-times enlarged diagram $C(Y_{2n+1})$46 refines subleading shape information about $C(Y_{2n+1})$47, such as holes or indentations, which still has a small effect on $C(Y_{2n+1})$48 (Choi et al., 2023).

On the largest test set $C(Y_{2n+1})$49, approximately $C(Y_{2n+1})$50 toric diagrams, this three-parameter formula achieves $C(Y_{2n+1})$51, with average relative error

$C(Y_{2n+1})$52

and standard deviation $C(Y_{2n+1})$53. For the smaller box $C(Y_{2n+1})$54, the error falls to $C(Y_{2n+1})$55 with $C(Y_{2n+1})$56 (Choi et al., 2023).

These results separate two levels of description. The master-volume and Hilbert-series formulas give exact combinatorial expressions for toric volumes in terms of $C(Y_{2n+1})$57, $C(Y_{2n+1})$58, and toric data (Gauntlett et al., 2019, Choi et al., 2023). The machine-learning-regularized expression gives a compact and interpretable approximation to the minimized volume $C(Y_{2n+1})$59 in terms of a small set of toric invariants (Choi et al., 2023). A plausible implication is that the toric volume form occupies a productive intermediate position between differential geometry and combinatorics: it is sufficiently rigid to admit exact polyhedral formulas, but sufficiently structured that low-dimensional invariant summaries can approximate extremal quantities with high accuracy.