Fano Volume in Algebraic Geometry

• Fano volume is defined as the top self-intersection number of the anti-canonical divisor of an n-dimensional Fano variety, indicating its intrinsic geometric and arithmetic complexity.
• It establishes explicit bounds and invariance results that impact K-stability, birational classification, and moduli problems in algebraic geometry.
• Applications extend to toric varieties and convex geometry, linking combinatorial invariants with normalized volumes and stability conditions.

A Fano volume, typically denoted as $\mathrm{vol}_X(-K_X)$ or $(-K_X)^n$ for an $n$-dimensional variety $X$, is the top self-intersection number of the anti-canonical divisor of a Fano or $\mathbb{Q}$-Fano variety. This invariant governs the asymptotic geometric and arithmetic complexity of Fano varieties, directly controlling the growth of the anti-canonical linear series and dictating moduli, boundedness, and stability properties. Explicit volume computations, sharp upper/lower bounds, and invariance results shape the landscape of Fano geometry, birational classification, and K-stability theory.

1. Definitions: Fano Volume and Generalizations

Let $X$ be a normal projective variety of dimension $n$ over an algebraically closed field, with (typically) $-K_X$ ample or big and $\mathbb{Q}$-Cartier.

• The Fano volume is defined as

$$\mathrm{vol}_X(-K_X) = (-K_X)^n = \int_X c_1(-K_X)^n$$

• More generally, for a pair $(X,\Delta)$, the anti-canonical volume is

$\mathrm{vol}_X(-K_X-\Delta) = (-K_X-\Delta)^n$

if $-K_X-\Delta$ is big.

• This coincides asymptotically with the leading term of the Hilbert-Samuel function:

$$h^0(X, \mathcal{O}_X(m(-K_X))) \sim \frac{(-K_X)^n}{n!} m^n, \quad m \gg 1$$

(Fujita, 2015, Kim, 16 Jun 2025).

• For general (possibly non-Cartier) $D$, the volume is

$$\mathrm{vol}_X(D) = \limsup_{k\to\infty} \frac{h^0(X, \mathcal{O}_X(\lfloor kD\rfloor))}{k^n/n!}$$

(Fujita, 2015).

In the toric case, $X$ corresponds to a lattice polytope $P$ and

$(-K_X)^n = n! \mathrm{Vol}_\mathrm{Eucl}(P)$

with various convex-geometric analogues and dualities (Berman et al., 2012, Bäuerle, 2023, Balletti et al., 2016).

2. Fano Volume and Stability: K-stability, Divisorial Stability, and Volume Functions

The Fano volume occupies a central place in K-stability and its slope-type relatives:

• The classical Fujita bound states that for an $n$-dimensional Kähler-Einstein or K-semistable Fano manifold,

$(-K_X)^n \leq (n+1)^n$

with equality if and only if $X \cong \mathbb{P}^n$ (Fujita, 2015, Zhang, 21 Mar 2025, Berman et al., 2012).

• Divisorial stability, introduced by Fujita, uses the volume function $f_D(x) = \mathrm{vol}_X(-K_X - xD)$ for divisors $D$, and defines the divisorial inequality

$$\eta(D) = \mathrm{vol}_X(-K_X) - \int_0^{\tau(D)} \mathrm{vol}_X(-K_X - xD)\,dx$$

where $\tau(D)$ is the pseudo-effective threshold of $-K_X$ against $D$. $(X, -K_X)$ is divisorially stable along $D$ if $\eta(D)>0$; K-stability implies divisorial stability (Fujita, 2015).

In the context of Okounkov bodies, the barycenter provides a convex-geometric obstruction: for K-stable $X$, the first coordinate $b_1$ of the barycenter of the Okounkov body $A(-K_X)$ satisfies $b_1 < 1$ (Fujita, 2015).

In the singular/log generality, optimal bounds tie to normalized volumes of valuations and log canonical thresholds—a Fano volume bound follows from

$$(-K_X)^n \leq (1+1/n)^n (\mathrm{lct}(X; I_Z))^n \cdot \mathrm{mult}_Z(X)$$

for ideals $I_Z$, and further minimization by considering normalized volumes $A_X(v)^n \cdot \mathrm{vol}(v)$ over all valuations $v$ (Liu, 2016).

3. Sharp Volume Bounds, Extremal Examples, and Polyhedral Theory

Many works establish both upper and lower sharp bounds for Fano volumes:

• Upper bounds. In the smooth case, $(n+1)^n$ is sharp; for canonical or terminal Fano varieties, e.g. in dimension 3, $\mathrm{vol}(-K_X) \leq 72$, with equality attained precisely for $X \cong \mathbb{P}(1,1,1,3)$ or $\mathbb{P}(1,1,4,6)$ (Jiang et al., 8 Oct 2025).
• Lower bounds. The minimal possible volume for terminal Fano threefolds is $1/330$, realized uniquely by the weighted hypersurface $X_{66}\subset \mathbb{P}(1,5,6,22,33)$ (Jiang, 2022, Jiang, 2021).
• Toric/Fano simplices. For toric Fano varieties, the combinatorics of dual polytopes, Gorenstein index, and Sylvester sequences give explicit upper and lower bounds, e.g.

$(-K_X)^d \leq 2(s_d - 1)^2$

where $s_d$ is the $d$th Sylvester number; equality is achieved for specific weighted projective spaces and reflexive simplices (Balletti et al., 2016, Bäuerle, 2023).

• Exceptional minimal volume. In any dimension, Totaro constructs exceptional klt Fano hypersurfaces with volumes of the form $(S_n - 1)^{2-2n} x^{n-1} a_n a_{n+1}$ (with $S_n$ the $n$th Sylvester number), conjecturally minimal in each dimension (Totaro, 2022).

Dimension $n$	Sharp Upper Bound $(n+1)^n$	Sharp Lower Bound (Fano 3-folds)
2	$9$	Unique triangle with $\alpha=(3,3,3)$
3	$64$ (smooth), $72$ (canonical)	$1/330$ ($X_{66}\subset\mathbb{P}(1,5,6,22,33)$)

4. Fano Volume in Families and Boundedness Theory

A central principle is invariance and boundedness:

• In families $(X, \Delta) \to S$, if the anti-canonical volume is constant on a Zariski-dense subset of fibers and all such fibers are of Fano type, then the geometric generic fiber is also of Fano type (Kim, 16 Jun 2025).
• In dimension 2, Fano type is open: constancy of volume is automatic if all fibers are Fano type (Kim, 16 Jun 2025).
• For families of bounded Fano type surfaces, the possible volumes form a DCC set (descending chain condition), but without boundedness, volumes need not satisfy DCC (Kim, 16 Jun 2025).

Bounding anti-canonical volumes is a linchpin in the Borisov-Alexeev-Borisov (BAB) conjecture, which predicts bounded families of $\epsilon$-klt Fano varieties. Explicit bounds with sharp dependence on $\epsilon$ have been produced in dimensions 2 and 3—for example,

$\mathrm{vol}_X(-K_X) < 3200 / \epsilon^4$

for $\epsilon$-klt Fano threefolds, with the exponent 4 being optimal (Jiang et al., 2023, Lai, 2012). These analytic and arithmetic dependencies on singularity thresholds reflect the delicate balance of positivity and singularities that the Fano volume measures.

5. CM Volume, Moduli, and Connection to Kähler Geometry

Beyond individual Fano varieties, the notion of volume appears in the study of moduli via the CM line bundle. For a family $f : (X,D) \to B$ of (log) Fano pairs, the CM volume is the degree (top self-intersection) of the descended CM line bundle, with

$$\lambda_{\mathrm{CM},(X,D)} = -\langle L, \dots, L\rangle^{(n+1)}, \quad L = -(K_{X/B} + D)$$

and, for (K-)polystable families, this descends to the K-moduli stack or space (Tambasco, 2020).

Explicit computations for moduli of quartic del Pezzo varieties and log Fano hyperplane arrangements have been carried out, with the CM volume matching the total Weil-Petersson volume of the moduli space (Tambasco, 2020).

6. Volumes, Valuations, and Normalized Volumes in Birational and K-Stability Theory

Fano volume also admits a valuation-theoretic interpretation: for the (affine) cone over a Fano variety, Li and Liu introduce the normalized volume functional on valuations $v$ centered at the vertex,

$$\widehat{\mathrm{vol}}(v) = A_C(v)^n \cdot \mathrm{vol}(v)$$

where $A_C(v)$ is the log discrepancy and $\mathrm{vol}(v)$ is the volume of $v$ (Li et al., 2016).

The minimization of $\widehat{\mathrm{vol}}$ at the canonical (divisorial) valuation $v_0 = \mathrm{ord}_V$ is equivalent to K-semistability of the base variety $V$; this provides an algebraic criterion for K-stability (Li et al., 2016). In analytic frameworks, minimization by the Reeb field realizes the link between Fano volume and volume minimization in Sasaki-Einstein geometry.

7. Fano Volume in Broader Context: Weighted/Restricted Volumes, Quantized Invariants, and Polyhedral Geometry

Recent developments extend the concept to:

• Weighted and restricted volumes for Fano fibrations: Sun-Zhang's theory defines fiberwise volume invariants using Laplace transforms and restricted volumes along valuations, with applications in degenerations, moduli, and analysis of weighted measure functionals (Odaka, 17 Jun 2025).
• Quantized Fano volumes: Instead of only the asymptotic volume, the actual dimensions $h^0(X, -mK_X)$ at each level $m$ form "quantized" volume invariants, which are compared across families for uniform moduli stratification and bounds. These satisfy

$$h^0(X, -mK_X) \leq h^0(\mathbb{P}^n, -mK_{\mathbb{P}^n}) = \binom{m(n+1)+n}{n}$$

for all K-semistable $X$ and $m \gg 0$, with equality again only in the projective space case (Zhang, 21 Mar 2025).

• Convex geometric/toric correspondences: In the toric setting, Fano volumes correspond to lattice polytope invariants, e.g., via Mahler volumes and Sylvester sequences, and Ehrhart's conjecture (Bäuerle, 2023, Balletti et al., 2016).

---

The Fano volume, through its various manifestations—intersection number, asymptotic growth rate, polyhedral or valuation-theoretic invariant—serves as a foundational numerical descriptor of Fano geometry and its moduli, controlling boundedness, extremal behavior, and stability properties across birational and Kähler theoretic regimes.