Calabi-Yau Volumes and Reflexive Polytopes

Yang-Hui He; Rak-Kyeong Seong; Shing-Tung Yau

arXiv:1704.03462·hep-th·April 4, 2018

Calabi-Yau Volumes and Reflexive Polytopes

Yang-Hui He, Rak-Kyeong Seong, Shing-Tung Yau

PDF

TL;DR

This paper investigates the volumes of Calabi-Yau cones derived from reflexive polytopes, providing new bounds and interpretations within the context of toric geometry and the AdS/CFT correspondence.

Contribution

It introduces new volume bounds for Calabi-Yau cones from reflexive polytopes and explores their implications in field theory via the AdS/CFT correspondence.

Findings

01

Calculated minimized volumes for reflexive polytopes up to dimension 4.

02

Conjectured new bounds for Sasaki-Einstein volumes based on topological data.

03

Provided field theory interpretations of geometric volume bounds.

Abstract

We study various geometrical quantities for Calabi-Yau varieties realized as cones over Gorenstein Fano varieties, obtained as toric varieties from reflexive polytopes in various dimensions. Focus is made on reflexive polytopes up to dimension 4 and the minimized volumes of the Sasaki-Einstein base of the corresponding Calabi-Yau cone are calculated. By doing so, we conjecture new bounds for the Sasaki-Einstein volume with respect to various topological quantities of the corresponding toric varieties. We give interpretations about these volume bounds in the context of associated field theories via the AdS/CFT correspondence.

Figures23

Click any figure to enlarge with its caption.

Tables6

$Δ$	:	(reflexive) convex lattice polytope;
		subscript emphasizes dimension: $Δ_{n - 1} \subset ℤ^{n - 1}$
		we distinguish between vertices: the extremal lattice points &
		perimeter points: lattice points (including vertices) lying on edges
$X (Δ_{n - 1})$	:	toric variety corresponding to $Δ_{n - 1}$ ;
		${dim}_{ℂ} X (Δ_{n - 1}) = n - 1$
FRS	:	Fine Stellar Regular triangulation of polytope
$\tilde{X (Δ_{n - 1})}$	:	smooth toric variety (if it exists) obtained from FRS of $Δ$
$Σ (Δ)$	:	(Inner) normal fan associated with $Δ$
$𝒳 = 𝒞_{ℂ} (X (Δ_{n}))$	:	affine Calabi-Yau (complex) cone over $X (Δ_{n - 1})$ ;
		${dim}_{ℂ} 𝒳 = n$
$Y = ℬ_{ℝ} (𝒳)$	:	Sasaki-Einstein manifold, base of $𝒳$ which is real one over $Y$ ;
		${dim}_{ℝ} Y = {dim}_{ℝ} ℬ (𝒞 (X (Δ_{n - 1}))) = 2 n - 1$
$b_{i}$		components of the Reeb vector, $i = 1, \dots, n$ for $𝒳$ ;
		set the last component $b_{n} = n$
$V (b_{i}; Y)$		volume function for $Y$ , also denoted $V (b_{i}; 𝒳)$
$b_{i}^{*}$		the value of the Reeb vector with $b_{n} = n$ which minimizes $V (b_{i}; Y)$
$g (t_{i}; 𝒳)$		multi-graded ( $i = 1, \dots, n$ ) Hilbert series for $𝒳$

Table 2. Table 2: The number of inequivalent reflexive polytopes in different dimensions. The reflexive polytopes all give toric Gorenstein Fano varieties and the regular ones, smooth toric Fano n 𝑛 n -folds.

dimension	1	2	3	4	…
# Reflexive Polytopes	1	16	4319	473,800,776	…
# Regular	1	5	18	124	…

Table 3. Table 3: The various brane configurations for brane tilings and how, under T-duality, they map to D-branes probing affine Calabi-Yau cones in various dimensions. (a) Brane tilings where D5-branes are suspended between a NS5-brane that wraps a holomorphic surface Σ Σ \Sigma . The D5 and NS5-branes meet in a T 2 superscript 𝑇 2 T^{2} inside Σ Σ \Sigma . Under thrice T-duality, the D5-branes are mapped to D3-branes probing CY3; (b) Brane brick models where D4-branes are suspended between a NS5-brane that wraps a holomorphic 3-cycle Σ Σ \Sigma . The D4 and NS5-branes meet in a T 3 superscript 𝑇 3 T^{3} inside Σ Σ \Sigma . Under T-duality, the D4-branes are mapped to D1-branes probing CY4; (c) Brane hyper-brick models where Euclidean D3-branes are suspended between a NS5-brane that wraps a holomorphic 4-cycle Σ Σ \Sigma . The D3 and NS5-branes meet in a T 4 superscript 𝑇 4 T^{4} inside Σ Σ \Sigma . Under T-duality, the D3-branes are mapped to D(-1)-branes probing CY5.

Brane Configuration

T-Duality

D-Brane Probe

a)

	0	1	2	3	4	5	6	7	8	9
D5	$\times$	$\times$	$\times$	$\times$	$\cdot$	$\times$	$\cdot$	$\times$	$\cdot$	$\cdot$
NS5	$\times$	$\times$	$\times$	$\times$	—– $Σ$ —–				$\cdot$	$\cdot$

\overset{2 times}{⟷}

D3

⟂

CY3

b)

	0	1	2	3	4	5	6	7	8	9
D4	$\times$	$\times$	$\cdot$	$\times$	$\cdot$	$\times$	$\cdot$	$\times$	$\cdot$	$\cdot$
NS5	$\times$	$\times$	———– $Σ$ ———–						$\cdot$	$\cdot$

\overset{3 times}{⟷}

D1

⟂

CY4

c)

	0	1	2	3	4	5	6	7	8	9
D3	$\cdot$	$\times$	$\cdot$	$\times$	$\cdot$	$\times$	$\cdot$	$\times$	$\cdot$	$\cdot$
NS5	————— $Σ$ —————								$\cdot$	$\cdot$

\overset{4 times}{⟷}

D(-1)

⟂

CY5

Table 4. Table 4: Volume functions V ( b i ; Y ) 𝑉 subscript 𝑏 𝑖 𝑌 V(b_{i};Y) with their minima for all 16 reflexive toric Calabi-Yau 3-folds, in the order as indicated in Figure 1 . As throughout the paper, b 3 subscript 𝑏 3 b_{3} is set to 3. Some values are given numerically because of their length, the exact algebraic expressions are given in the text.

$#$	$V (b_{i}; 𝒳)$	$b_{1}^{*}$	$b_{2}^{*}$	$V (b_{i}^{*}; Y)$
1	$\frac{9}{(b_{1} - 2 b_{2} - 3) (2 b_{1} - b_{2} + 3) (b_{1} + b_{2} - 3)}$	$0$	$0$	$\frac{1}{3}$
2	$\frac{8}{(b_{1} - 3 b_{2} - 3) (b_{1} - b_{2} + 3) (b_{1} + b_{2} - 3)}$	$- 1$	$0$	$\frac{1}{4}$
3	$- \frac{2 (2 b_{1} + b_{2} - 12)}{(b_{1} - 3) (b_{1} - b_{2} + 3) (b_{1} + b_{2} - 3) (b_{1} + 2 b_{2} + 3)}$	$4 - \sqrt{13}$	$0$	$\frac{1}{324} (46 + 13 \sqrt{13})$
4	$\frac{24}{(- b_{1} - b_{2} + 3) (b_{1} - b_{2} + 3) (- b_{1} + b_{2} + 3) (b_{1} + b_{2} + 3)}$	$0$	$0$	$\frac{8}{27}$
5	$\frac{b_{1} + 4 b_{2} - 21}{(b_{1} + 3) (b_{1} - 2 b_{2} - 3) (b_{2} - 3) (b_{1} + b_{2} - 3)}$	$- 0.831239$	$0.278298$	$0.225143$
6	$- \frac{b_{1}^{2} - 2 b_{2} b_{1} + 6 b_{1} + b_{2}^{2} + 6 b_{2} - 63}{(b_{1} - 3) (3 - b_{2}) (b_{1} - b_{2} - 3) (b_{1} - b_{2} + 3) (b_{1} + b_{2} + 3)}$	$\frac{1}{16} (57 - 9 \sqrt{33})$	$\frac{1}{16} (57 - 9 \sqrt{33})$	$\frac{1}{486} (59 + 11 \sqrt{33})$
7	$\frac{6}{(b_{1} - 2 b_{2} - 3) (b_{1} - b_{2} + 3) (b_{1} + b_{2} - 3)}$	$- 2$	$- 1$	$\frac{1}{6}$
8	$\frac{2 (b_{1} + b_{2} - 9)}{(b_{1} - b_{2} - 3) (b_{2} - 3) (b_{1} + b_{2} - 3) (b_{1} + b_{2} + 3)}$	$- \frac{3}{2} (- 1 + \sqrt{3})$	$\frac{1}{2} (3 - \sqrt{3})$	$\frac{1}{3 \sqrt{3}}$
9	$\frac{2 (b_{2}^{2} + 3 b_{1} - 27)}{(b_{1} + 3) (b_{1} - b_{2} - 3) (b_{2} - 3) (b_{2} + 3) (b_{1} + b_{2} - 3)}$	$6 - 3 \sqrt{5}$	$0$	$\frac{1}{108} (11 + 5 \sqrt{5})$
10	$- \frac{6 (b_{1}^{2} + b_{2} b_{1} + b_{2}^{2} - 27)}{(b_{1} - 3) (b_{1} + 3) (3 - b_{2}) (b_{2} + 3) (b_{1} + b_{2} - 3) (b_{1} + b_{2} + 3)}$	$0$	$0$	$\frac{2}{9}$
11	$\frac{b_{1} + 3 b_{2} - 15}{(b_{1} + 3) (b_{1} - b_{2} - 3) (b_{2} - 3) (b_{1} + b_{2} - 3)}$	$- 0.902531$	$- 0.745444$	$0.157348$
12	$- \frac{- b_{2} b_{1} + 9 b_{1} + 9 b_{2} - 45}{(b_{1} - 3) (b_{1} + 3) (3 - b_{2}) (b_{2} + 3) (b_{1} + b_{2} - 3)}$	$- 0.379079$	$- 0.379079$	$0.176299$
13	$\frac{4}{(b_{1} - 3) (b_{1} - 2 b_{2} - 3) (b_{1} - b_{2} + 3)}$	$- 1$	$0$	$\frac{1}{8}$
14	$\frac{2 (b_{1} + b_{2} - 6)}{(b_{1} - 3) (b_{2} - 3) (b_{1} + b_{2} - 3) (b_{1} + b_{2} + 3)}$	$1 - \frac{\sqrt{7}}{2}$	$1 - \frac{\sqrt{7}}{2}$	$\frac{4}{243} (- 10 + 7 \sqrt{7})$
15	$\frac{12}{(b_{1} - 3) (b_{1} + 3) (b_{1} - b_{2} - 3) (b_{1} - b_{2} + 3)}$	$0$	$0$	$\frac{4}{27}$
16	$\frac{3}{(b_{1} - 3) (b_{1} - b_{2} - 3) (2 b_{1} - b_{2} + 3)}$	$0$	$0$	$\frac{1}{9}$

Table 5. Table 5: Volume functions V ( b i ; Y ) 𝑉 subscript 𝑏 𝑖 𝑌 V(b_{i};Y) with their minima for reflexive toric Calabi-Yau 4-folds that are Abelian orbifolds of ℂ 4 superscript ℂ 4 \mathbb{C}^{4} . (Part 1/2)

#	$V (b_{i}; 𝒳)$	$b_{1}^{*}$	$b_{2}^{*}$	$b_{3}^{*}$	$V (b_{i}^{*}; Y)$
1	$- \frac{64}{(b_{1} + b_{2} - 3 b_{3} - b_{4}) (b_{1} - 3 b_{2} + b_{3} - b_{4}) (b_{1} + b_{2} + b_{3} - b_{4}) (3 b_{1} - b_{2} - b_{3} + b_{4})}$	$0$	$0$	$0$	$1 / 4$
2	$- \frac{54}{(b_{1} + b_{2} - 5 b_{3} - b_{4}) (b_{1} - 2 b_{2} + b_{3} - b_{4}) (b_{1} + b_{2} + b_{3} - b_{4}) (2 b_{1} - b_{2} - b_{3} + b_{4})}$	$- 1$	$- 1$	$0$	$1 / 6$
3	$- \frac{72}{(b_{1} + b_{2} - 5 b_{3} - b_{4}) (b_{1} - 5 b_{2} + b_{3} - b_{4}) (b_{1} + b_{2} + b_{3} - b_{4}) (b_{1} - b_{2} - b_{3} + b_{4})}$	$- 2$	$0$	$0$	$1 / 6$
9	$- \frac{32}{(b_{1} + b_{2} - b_{4}) (3 b_{1} - b_{2} + b_{4}) (b_{1} + b_{2} - 2 b_{3} - b_{4}) (b_{1} - 3 b_{2} + 2 b_{3} - b_{4})}$	$0$	$0$	$0$	$1 / 8$
10	$- \frac{64}{(b_{1} + b_{2} - 7 b_{3} - b_{4}) (b_{1} - 3 b_{2} + b_{3} - b_{4}) (b_{1} + b_{2} + b_{3} - b_{4}) (b_{1} - b_{2} - b_{3} + b_{4})}$	$- 3$	$- 1$	$0$	$1 / 8$
32	$- \frac{50}{(b_{1} + b_{2} - 4 b_{3} - b_{4}) (b_{1} - 4 b_{2} + b_{3} - b_{4}) (b_{1} + b_{2} + b_{3} - b_{4}) (b_{1} - b_{2} - b_{3} + b_{4})}$	$- 4$	$- 1$	$- 1$	$1 / 10$
86	$- \frac{36}{(b_{1} + b_{2} - b_{4}) (b_{1} - b_{2} + b_{4}) (b_{1} + b_{2} - 3 b_{3} - b_{4}) (b_{1} - 5 b_{2} + 3 b_{3} - b_{4})}$	$- 2$	$0$	$0$	$1 / 12$
87	$- \frac{24}{(b_{1} + b_{2} - b_{4}) (2 b_{1} - b_{2} + b_{4}) (b_{1} + b_{2} - 2 b_{3} - b_{4}) (b_{1} - 3 b_{2} + 2 b_{3} - b_{4})}$	$- 1$	$- 1$	$- 1$	$1 / 12$
88	$- \frac{36}{(b_{1} + b_{2} - 3 b_{3} - b_{4}) (b_{1} - 2 b_{2} + b_{3} - b_{4}) (b_{1} + b_{2} + b_{3} - b_{4}) (2 b_{1} - b_{2} - b_{3} + b_{4})}$	$- 3$	$- 3$	$- 2$	$1 / 12$
89	$- \frac{72}{(b_{1} + b_{2} - 11 b_{3} - b_{4}) (b_{1} - 2 b_{2} + b_{3} - b_{4}) (b_{1} + b_{2} + b_{3} - b_{4}) (b_{1} - b_{2} - b_{3} + b_{4})}$	$- 5$	$- 3$	$0$	$1 / 12$
90	$- \frac{48}{(b_{1} + b_{2} - 5 b_{3} - b_{4}) (b_{1} - 3 b_{2} + b_{3} - b_{4}) (b_{1} + b_{2} + b_{3} - b_{4}) (b_{1} - b_{2} - b_{3} + b_{4})}$	$- 5$	$- 2$	$- 1$	$1 / 12$
428	$- \frac{16}{(b_{1} - b_{4}) (b_{1} - 2 b_{2} - b_{4}) (b_{1} - 2 b_{3} - b_{4}) (3 b_{1} - 2 b_{2} - 2 b_{3} + b_{4})}$	$0$	$0$	$0$	$1 / 16$
429	$- \frac{32}{(b_{1} + b_{2} - b_{4}) (b_{1} - b_{2} + b_{4}) (b_{1} + b_{2} - 4 b_{3} - b_{4}) (b_{1} - 3 b_{2} + 2 b_{3} - b_{4})}$	$- 3$	$- 1$	$0$	$1 / 16$
430	$- \frac{16}{(b_{1} + b_{2} - b_{4}) (3 b_{1} - b_{2} + b_{4}) (b_{1} + b_{2} - b_{3} - b_{4}) (b_{1} - 3 b_{2} + b_{3} - b_{4})}$	$0$	$0$	$0$	$1 / 16$
431	$- \frac{32}{(b_{1} - 3 b_{2} - b_{4}) (b_{1} + b_{2} - b_{4}) (b_{1} + b_{2} - 4 b_{3} - b_{4}) (b_{1} - b_{2} - b_{3} + b_{4})}$	$- 3$	$- 1$	$0$	$1 / 16$
432	$- \frac{32}{(b_{1} - 7 b_{3} - b_{4}) (b_{1} + b_{3} - b_{4}) (b_{1} - 2 b_{2} + b_{3} - b_{4}) (b_{1} - b_{2} - b_{3} + b_{4})}$	$- 4$	$- 2$	$0$	$1 / 16$
742	$- \frac{24}{(b_{1} + b_{2} - b_{4}) (b_{1} - b_{2} + b_{4}) (b_{1} + b_{2} - 2 b_{3} - b_{4}) (b_{1} - 5 b_{2} + 2 b_{3} - b_{4})}$	$- 2$	$0$	$0$	$1 / 18$
743	$- \frac{18}{(b_{1} + b_{2} - b_{4}) (2 b_{1} - b_{2} + b_{4}) (b_{1} + b_{2} - 2 b_{3} - b_{4}) (b_{1} - 2 b_{2} + b_{3} - b_{4})}$	$- 1$	$- 1$	$0$	$1 / 18$
744	$\frac{18}{(b_{1} + b_{2} - 3 b_{3} - b_{4}) (b_{1} + b_{2} - b_{3} - b_{4}) (b_{1} - 2 b_{2} + b_{3} - b_{4}) (- 2 b_{1} + b_{2} + b_{3} - b_{4})}$	$- 1$	$- 1$	$0$	$1 / 18$
745	$- \frac{18}{(b_{1} - 5 b_{3} - b_{4}) (b_{1} + b_{3} - b_{4}) (b_{1} - b_{2} + b_{3} - b_{4}) (2 b_{1} - b_{2} - b_{3} + b_{4})}$	$- 2$	$- 3$	$0$	$1 / 18$
746	$- \frac{54}{(b_{1} + b_{2} - 8 b_{3} - b_{4}) (b_{1} - 2 b_{2} + b_{3} - b_{4}) (b_{1} + b_{2} + b_{3} - b_{4}) (b_{1} - b_{2} - b_{3} + b_{4})}$	$- 8$	$- 5$	$- 1$	$1 / 18$
1115	$- \frac{40}{(b_{1} + b_{2} - 4 b_{3} - b_{4}) (b_{1} - 3 b_{2} + b_{3} - b_{4}) (b_{1} + b_{2} + b_{3} - b_{4}) (b_{1} - b_{2} - b_{3} + b_{4})}$	$- 9$	$- 4$	$- 3$	$1 / 20$
1944	$- \frac{18}{(b_{1} - b_{4}) (b_{1} - 3 b_{2} - b_{4}) (b_{1} - 3 b_{3} - b_{4}) (b_{1} - b_{2} - b_{3} + b_{4})}$	$- 2$	$0$	$0$	$1 / 24$
1945	$- \frac{24}{(b_{1} + b_{2} - b_{4}) (b_{1} - b_{2} + b_{4}) (b_{1} + b_{2} - 3 b_{3} - b_{4}) (b_{1} - 3 b_{2} + 2 b_{3} - b_{4})}$	$- 5$	$- 3$	$- 2$	$1 / 24$
1946	$- \frac{12}{(b_{1} + b_{2} - b_{4}) (2 b_{1} - b_{2} + b_{4}) (b_{1} + b_{2} - b_{3} - b_{4}) (b_{1} - 3 b_{2} + b_{3} - b_{4})}$	$- 1$	$- 1$	$- 2$	$1 / 24$
1947	$- \frac{36}{(b_{1} - 2 b_{2} - b_{4}) (b_{1} + b_{2} - b_{4}) (b_{1} + b_{2} - 6 b_{3} - b_{4}) (b_{1} - b_{2} - b_{3} + b_{4})}$	$- 5$	$- 3$	$0$	$1 / 24$

Table 6. Table 6: Volume functions V ( b i ; Y ) 𝑉 subscript 𝑏 𝑖 𝑌 V(b_{i};Y) with their minima for reflexive toric Calabi-Yau 4-folds that are Abelian orbifolds of ℂ 4 superscript ℂ 4 \mathbb{C}^{4} . (Part 2/2)

#	$V (b_{i}; 𝒳)$	$b_{1}^{*}$	$b_{2}^{*}$	$b_{3}^{*}$	$V (b_{i}^{*}; Y)$
1948	$- \frac{24}{(b_{1} - 3 b_{2} - b_{4}) (b_{1} + b_{2} - b_{4}) (b_{1} + b_{2} - 3 b_{3} - b_{4}) (b_{1} - b_{2} - b_{3} + b_{4})}$	$- 6$	$- 2$	$- 2$	$1 / 24$
1949	$- \frac{24}{(b_{1} - 5 b_{3} - b_{4}) (b_{1} + b_{3} - b_{4}) (b_{1} - 2 b_{2} + b_{3} - b_{4}) (b_{1} - b_{2} - b_{3} + b_{4})}$	$- 7$	$- 4$	$- 1$	$1 / 24$
1950	$- \frac{48}{(b_{1} + b_{2} - 7 b_{3} - b_{4}) (b_{1} - 2 b_{2} + b_{3} - b_{4}) (b_{1} + b_{2} + b_{3} - b_{4}) (b_{1} - b_{2} - b_{3} + b_{4})}$	$- 11$	$- 7$	$- 2$	$1 / 24$
3039	$- \frac{30}{(b_{1} - 2 b_{2} - b_{4}) (b_{1} + b_{2} - b_{4}) (b_{1} + b_{2} - 5 b_{3} - b_{4}) (b_{1} - b_{2} - b_{3} + b_{4})}$	$- 7$	$- 4$	$- 1$	$1 / 30$
3313	$- \frac{16}{(b_{1} + b_{2} - b_{4}) (b_{1} - b_{2} + b_{4}) (b_{1} + b_{2} - 2 b_{3} - b_{4}) (b_{1} - 3 b_{2} + b_{3} - b_{4})}$	$- 3$	$- 1$	$0$	$1 / 32$
3314	$- \frac{8}{(b_{1} - b_{4}) (b_{1} - 2 b_{2} - b_{4}) (b_{1} - b_{3} - b_{4}) (3 b_{1} - 2 b_{2} - b_{3} + b_{4})}$	$0$	$0$	$0$	$1 / 32$
3315	$- \frac{16}{(b_{1} - b_{2} + b_{4}) (b_{1} + b_{2} - 3 b_{3} - b_{4}) (b_{1} + b_{2} - b_{3} - b_{4}) (b_{1} - 3 b_{2} + 2 b_{3} - b_{4})}$	$- 3$	$- 1$	$0$	$1 / 32$
3316	$- \frac{16}{(b_{1} - b_{4}) (b_{1} - 2 b_{2} - b_{4}) (b_{1} - 4 b_{3} - b_{4}) (b_{1} - b_{2} - b_{3} + b_{4})}$	$- 4$	$- 2$	$0$	$1 / 32$
3726	$- \frac{24}{(b_{1} + b_{2} - b_{4}) (b_{1} - b_{2} + b_{4}) (b_{1} + b_{2} - 4 b_{3} - b_{4}) (b_{1} - 2 b_{2} + b_{3} - b_{4})}$	$- 5$	$- 3$	$0$	$1 / 36$
3727	$- \frac{12}{(b_{1} + b_{2} - b_{4}) (b_{1} - b_{2} + b_{4}) (b_{1} + b_{2} - b_{3} - b_{4}) (b_{1} - 5 b_{2} + b_{3} - b_{4})}$	$- 2$	$0$	$0$	$1 / 36$
3728	$\frac{12}{(b_{1} - 3 b_{3} - b_{4}) (b_{1} + b_{3} - b_{4}) (b_{1} - b_{2} + b_{3} - b_{4}) (- 2 b_{1} + b_{2} + b_{3} - b_{4})}$	$- 6$	$- 9$	$- 2$	$1 / 36$
3994	$- \frac{20}{(b_{1} - 4 b_{3} - b_{4}) (b_{1} + b_{3} - b_{4}) (b_{1} - 2 b_{2} + b_{3} - b_{4}) (b_{1} - b_{2} - b_{3} + b_{4})}$	$- 13$	$- 8$	$- 3$	$1 / 40$
4081	$- \frac{42}{(b_{1} + b_{2} - 6 b_{3} - b_{4}) (b_{1} - 2 b_{2} + b_{3} - b_{4}) (b_{1} + b_{2} + b_{3} - b_{4}) (b_{1} - b_{2} - b_{3} + b_{4})}$	$- 20$	$- 13$	$- 5$	$1 / 42$
4229	$- \frac{12}{(b_{1} - b_{4}) (b_{1} - 2 b_{2} - b_{4}) (b_{1} - 3 b_{3} - b_{4}) (b_{1} - b_{2} - b_{3} + b_{4})}$	$- 8$	$- 4$	$- 2$	$1 / 48$
4230	$- \frac{24}{(b_{1} - 2 b_{2} - b_{4}) (b_{1} + b_{2} - b_{4}) (b_{1} + b_{2} - 4 b_{3} - b_{4}) (b_{1} - b_{2} - b_{3} + b_{4})}$	$- 13$	$- 7$	$- 4$	$1 / 48$
4256	$- \frac{10}{(b_{1} + b_{2} - b_{4}) (b_{1} - b_{2} + b_{4}) (b_{1} + b_{2} - b_{3} - b_{4}) (b_{1} - 4 b_{2} + b_{3} - b_{4})}$	$- 4$	$- 2$	$- 5$	$1 / 50$
4282	$\frac{6}{(b_{1} - b_{4}) (b_{1} - b_{2} - b_{4}) (b_{1} - 2 b_{3} - b_{4}) (- 2 b_{1} + b_{2} + b_{3} - b_{4})}$	$- 2$	$- 3$	$- 5$	$1 / 54$
4283	$- \frac{18}{(b_{1} + b_{2} - b_{4}) (b_{1} - b_{2} + b_{4}) (b_{1} + b_{2} - 3 b_{3} - b_{4}) (b_{1} - 2 b_{2} + b_{3} - b_{4})}$	$- 8$	$- 6$	$- 3$	$1 / 54$
4312	$\frac{4}{(b_{1} - b_{4}) (b_{1} - b_{2} - b_{4}) (b_{1} - b_{3} - b_{4}) (- 3 b_{1} + b_{2} + b_{3} - b_{4})}$	$0$	$0$	$0$	$1 / 64$
4313	$- \frac{8}{(b_{1} - b_{4}) (b_{1} - b_{2} + b_{4}) (b_{1} - 2 b_{3} - b_{4}) (b_{1} - 2 b_{2} + b_{3} - b_{4})}$	$- 4$	$- 2$	$0$	$1 / 64$
4318	$- \frac{6}{(b_{1} - b_{4}) (b_{1} - b_{2} + b_{4}) (b_{1} - b_{3} - b_{4}) (b_{1} - 3 b_{2} + b_{3} - b_{4})}$	$- 2$	$0$	$0$	$1 / 72$
4319	$- \frac{12}{(b_{1} - b_{2} + b_{4}) (b_{1} + b_{2} - 3 b_{3} - b_{4}) (b_{1} + b_{2} - b_{3} - b_{4}) (b_{1} - 2 b_{2} + b_{3} - b_{4})}$	$- 5$	$- 3$	$0$	$1 / 72$

Equations156

\mbox D u a l p o l y t o p e : Δ^{\circ} = {\underline{v} \in Z^{n} ∣ \underline{m} \cdot \underline{v} \geq - 1 \forall \underline{m} \in Δ} .

\mbox D u a l p o l y t o p e : Δ^{\circ} = {\underline{v} \in Z^{n} ∣ \underline{m} \cdot \underline{v} \geq - 1 \forall \underline{m} \in Δ} .

Σ = {pos (F) : F \in Faces (Δ)},

Σ = {pos (F) : F \in Faces (Δ)},

pos (F) = {i \sum λ_{i} \underline{v}_{i} : \underline{v}_{i} \in F, λ_{i} \geq 0} .

pos (F) = {i \sum λ_{i} \underline{v}_{i} : \underline{v}_{i} \in F, λ_{i} \geq 0} .

0 = \underline{m} \in Δ \sum C_{\underline{m}} ρ = 1 \prod k x_{ρ}^{(\underline{m} \cdot \underline{v_{ρ}}) + 1},

0 = \underline{m} \in Δ \sum C_{\underline{m}} ρ = 1 \prod k x_{ρ}^{(\underline{m} \cdot \underline{v_{ρ}}) + 1},

σ = {u_{i} \sum λ_{i} \underline{u}_{i} ∣ λ_{u_{i}} \geq 0} \subset N_{R} := N \otimes_{Z} R .

σ = {u_{i} \sum λ_{i} \underline{u}_{i} ∣ λ_{u_{i}} \geq 0} \subset N_{R} := N \otimes_{Z} R .

σ^{\lor} = {\underline{m} \in M_{R} ∣ \underline{m} \cdot \underline{u} \geq 0 \forall u \in σ} .

σ^{\lor} = {\underline{m} \in M_{R} ∣ \underline{m} \cdot \underline{u} \geq 0 \forall u \in σ} .

X_{n + 1} ≃ \mbox S p ec_{Max} (C [σ^{\lor} \cap M]) .

X_{n + 1} ≃ \mbox S p ec_{Max} (C [σ^{\lor} \cap M]) .

\displaystyle b_{2k-1}=0~{},~{}\qquad b_{2k}=\sum^{n}_{i=k}(-1)^{i-k}\left(\begin{array}[]{c}i\\ k\end{array}\right)d_{n_{i}}~{},~{}

\displaystyle b_{2k-1}=0~{},~{}\qquad b_{2k}=\sum^{n}_{i=k}(-1)^{i-k}\left(\begin{array}[]{c}i\\ k\end{array}\right)d_{n_{i}}~{},~{}

χ (X (Δ)) = d_{n} .

χ (X (Δ)) = d_{n} .

χ (X (Δ_{2})) = p = (Δ_{2} \cap Z^{2}) - 1 .

χ (X (Δ_{2})) = p = (Δ_{2} \cap Z^{2}) - 1 .

A (Δ_{2}) = i + \frac{p}{2} - 1,

A (Δ_{2}) = i + \frac{p}{2} - 1,

L (Δ; t) := \mbox n u mb er o f l a tt i ce p o in t so f {t Δ} \cap Z^{n}

L (Δ; t) := \mbox n u mb er o f l a tt i ce p o in t so f {t Δ} \cap Z^{n}

L (Δ; t) = \mbox V o l (Δ) t^{n} + \dots + χ_{Δ} .

L (Δ; t) = \mbox V o l (Δ) t^{n} + \dots + χ_{Δ} .

χ (X (Δ_{3}))

χ (X (Δ_{3}))

= 2# (Δ_{3} \cap Z^{3}) - 6 = 2 p - 4,

M_{2} := X (Δ_{2}); C (M_{2}) = \int_{M_{2}} c_{1} (M_{2})^{2}, χ (M_{2}) = \int_{M_{2}} c_{2} (M_{2}) .

M_{2} := X (Δ_{2}); C (M_{2}) = \int_{M_{2}} c_{1} (M_{2})^{2}, χ (M_{2}) = \int_{M_{2}} c_{2} (M_{2}) .

\Big{(}C(M_{2}),\chi(M_{2})\Big{)}=(p^{\circ},p)

\Big{(}C(M_{2}),\chi(M_{2})\Big{)}=(p^{\circ},p)

C := \int_{M_{3}} c_{1} (M_{3})^{3}, T = \int_{M_{3}} Td_{3} (M_{3}) = \frac{1}{24} c_{1} (M_{3}) c_{2} (M_{3}), χ = \int_{M_{3}} c_{3} (M_{3})

C := \int_{M_{3}} c_{1} (M_{3})^{3}, T = \int_{M_{3}} Td_{3} (M_{3}) = \frac{1}{24} c_{1} (M_{3}) c_{2} (M_{3}), χ = \int_{M_{3}} c_{3} (M_{3})

g (t; X) = i = 0 \sum \infty dim_{C} (X_{i}) t^{i},

g (t; X) = i = 0 \sum \infty dim_{C} (X_{i}) t^{i},

\displaystyle\framebox{$g(t_{1},\dots,t_{n};{\cal X})=\sum\limits_{i=1}^{r}\prod\limits_{j=1}^{n}(1-\vec{t}^{~{}\vec{u}_{i,j}})^{-1}$}~{}.~{}

\displaystyle\framebox{$g(t_{1},\dots,t_{n};{\cal X})=\sum\limits_{i=1}^{r}\prod\limits_{j=1}^{n}(1-\vec{t}^{~{}\vec{u}_{i,j}})^{-1}$}~{}.~{}

C^{3} / Z_{3}

C^{3} / Z_{3}

C^{5} / Z_{5}

C^{3} / Z_{3}

C^{3} / Z_{3}

C^{4} / Z_{4}

C^{5} / Z_{5}

g (t_{i}; C^{3} / Z_{3})

g (t_{i}; C^{3} / Z_{3})

g (t_{i}; C^{4} / Z_{4})

g (t_{i}; C^{5} / Z_{5})

g (t; C^{3} / Z_{3})

g (t; C^{3} / Z_{3})

g (t; C^{4} / Z_{4})

g (t; C^{5} / Z_{5})

d s^{2} (X) = d r^{2} + r^{2} d s^{2} (Y),

d s^{2} (X) = d r^{2} + r^{2} d s^{2} (Y),

ω = - \frac{1}{2} d (r^{2} η) = \frac{1}{2} i \partial \overline{\partial} r^{2} .

ω = - \frac{1}{2} d (r^{2} η) = \frac{1}{2} i \partial \overline{\partial} r^{2} .

K := I (r \frac{\partial}{\partial r}) .

K := I (r \frac{\partial}{\partial r}) .

Peer Reviews

No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.

Videos

No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.

Full text

UUITP-10/17

Calabi-Yau Volumes and Reflexive Polytopes

Yang-Hui He1, Rak-Kyeong Seong2, Shing-Tung Yau3

[TABLE]

Abstract

We study various geometrical quantities for Calabi-Yau varieties realized as cones over Gorenstein Fano varieties, obtained as toric varieties from reflexive polytopes in various dimensions. Focus is made on reflexive polytopes up to dimension 4 and the minimized volumes of the Sasaki-Einstein base of the corresponding Calabi-Yau cone are calculated. By doing so, we conjecture new bounds for the Sasaki-Einstein volume with respect to various topological quantities of the corresponding toric varieties. We give interpretations about these volume bounds in the context of associated field theories via the AdS/CFT correspondence.

1 Introduction
2 Preliminaries
2.1 The Reflexive Polytope $\Delta$
2.2 The Toric Variety $X(\Delta)$
2.3 Classification of $\Delta_{n}$
2.4 Calabi-Yau Constructions
2.5 Connection to Quiver Gauge Theories
3 Topological Quantities of $X(\Delta)$
3.1 Triangulations and the Euler Number
3.2 Chern Numbers
3.2.1 Dimension 2: Reflexive Polygons
3.2.2 Dimension 3: Reflexive Polyhedra
4 Hilbert Series and Volume Functions
4.1 Hilbert series
4.1.1 Hilbert Series from Toric Geometry
4.1.2 Hilbert Series for $\mathbb{C}^{n}/\mathbb{Z}_{n}$
4.2 The Calabi-Yau Cone ${\cal X}$ and Sasaki-Einstein Base $Y$
4.3 The Volume Function
4.3.1 Volume Functions for $\mathbb{C}^{n}/\mathbb{Z}_{n}$
4.4 Volume Minimization
4.4.1 AdS/CFT and $a$ -maximization
4.4.2 Volume Minimization is $a$ -maximization
4.4.3 Towards a Classification of Calabi-Yau Volumes
5 Minimum Volumes for CYn
5.1 Volume Minimum versus Topological Invariants
5.1.1 Calabi-Yau 3-fold Cones
5.1.2 Calabi-Yau 4-fold Cones
5.1.3 Calabi-Yau 5-fold Cones and a General Bound
5.2 Bounds on Minimum Volume
5.2.1 Identifying the Maximum
5.2.2 Minimum Volume and Chern Numbers
6 Discussions
A Algorithmic Implementations
B Minimum Volumes for Reflexive CY3
C Minimum Volumes for Abelian Orbifolds of $\mathbb{C}^{4}$
D Enveloping Curves for $V(b_{i}^{*};Y)$
D.1 Envelop for $V(b_{i}^{*};Y)\chi(\widetilde{X(\Delta)})$
D.2 Maximum of $V(b_{i}^{*};Y)$
E Dual Reflexive Polytopes

1 Introduction

Whereas there has been a multitude of constructions for Calabi-Yau varieties over the years, both compact and non-compact, by far the largest number thereof have been realized with toric geometry as the point d’appui. The combinatorial nature of toric varieties, in translating the relevant geometric quantities to manipulations on lattice polytopes, renders them particularly useful in systematically constructing and studying Calabi-Yau varieties and related phenomena in string theory and mathematics.

Compact smooth Calabi-Yau $(n-1)$ -folds have been constructed [1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12] as hypersurfaces corresponding to the anti-canonical divisor within a $n$ -dimensional toric variety coming from a reflexive polytope. The result was an impressive list of at least half a billion smooth, compact Calabi-Yau 3-folds. These, when plotted in terms of their Hodge numbers $h^{1,1}-h^{2,1}$ against $h^{1,1}+h^{2,1}$ , gave rise to the famous funnel shape with left-right symmetry signifying mirror symmetry [13, 7].

Parallel to constructions of compact smooth Calabi-Yau $(n-1)$ -folds, toric varieties also played a significant role in the construction of non-compact Calabi-Yau varieties. A non-compact Calabi-Yau $n$ -fold $\mathcal{X}$ of complex dimension $n$ can be realized as an affine cone over a complex base $X$ , of complex dimension $n-1$ . By far the largest class of these affine Calabi-Yau $n$ -folds is when the base is a toric variety $X(\Delta)$ , from an $(n-1)$ -dimension polytope $\Delta$ . A key fact is that $\mathcal{X}$ itself is a real cone over a compact, smooth Sasaki-Einstein manifold $Y$ of real dimension $2n-1$ .

In string theory, the discovery of the AdS/CFT correspondence on $AdS_{5}\times S^{5}$ [14], later generalized to $AdS_{5}\times Y$ [15, 16], has led to considerable interest in Sasaki-Einstein 5-manifolds $Y$ and the non-compact Calabi-Yau $3$ -fold cone over $Y$ . The dual field theory is a $4d$ $\mathcal{N}=1$ superconformal field theory on the worldvolume of a stack of D3-branes probing the Calabi-Yau singularity [14, 17, 18]. A large class of examples was obtained by identifying the $4d$ $\mathcal{N}=1$ worldvolume theories corresponding to the probed Calabi-Yau 3-folds, which were initially constructed from known toric varieties such as $T^{1,1}$ and the del Pezzos cones. Infinite families of theories corresponding to Sasaki-Einstein manifolds such as the class of $Y_{p,q}$ [19, 20], $L_{p,q,r}$ [21, 22] and $X_{p,q}$ [23] manifolds followed giving a comprehensive picture over the correspondence between $4d$ $\mathcal{N}=1$ supersymmetric theories and toric non-compact Calabi-Yau 3-folds.

This development culminated in a Type IIB brane configuration of D5-branes suspended between a NS5-brane wrapping a holomorphic surface $\Sigma$ , which realizes the $4d$ $\mathcal{N}=1$ supersymmetric theories and encodes its vacuum moduli space given by the probed toric Calabi-Yau 3-fold. These brane configurations, T-dual to the D3-branes probing the toric Calabi-Yau 3-fold, can be represented by a bipartite periodic graph on a 2-torus and are known as brane tilings [24, 25]. Brane tilings describe for every toric Calabi-Yau 3-fold the corresponding $4d$ $\mathcal{N}=1$ theory, including theories that are related by Seiberg duality.

A parallel story was with regards to the volume of the Sasaki-Einstein 5-manifold $Y$ , which is related to the central charge $a$ -function of the $4d$ $\mathcal{N}=1$ theory via the AdS/CFT correspondence [26, 27]. In [28], it was shown that minimizing the volume of the Sasaki-Einstein manifold determines its Reeb vector, which in turn showed that volume minimization is the geometric dual of a-maximization [29]. Following this work, [30] found a general formula for the volume function using an equivariant index on the Calabi-Yau cone over $Y$ , which counts holomorphic functions. This index is the Hilbert series of the Calabi-Yau and has been used in different contexts to count gauge invariant operators of supersymmetric gauge theories [31, 32]. In [30], the Hilbert series and consequently the volume function was obtained using a localization formula relying on the toric data coming from the cone over the Sasaki-Einstein 5-manifold. This volume formula, which essentially depends only on the topological fixed point data encoded in the toric geometry of the Calabi-Yau cone, showed that the minimized volume of the Sasaki-Einstein 5-manifold is always an algebraic number representing the geometric counterpart of the maximized $a$ -function.

Thus inspired, it is natural to ask how the minimum volume for toric non-compact Calabi-Yau manifolds behaves in dimension other than 3. In particular, we focus on toric Calabi-Yau $n$ -folds whose toric diagram is a $(n-1)$ -dimensional reflexive polytope in $\mathbb{Z}^{n-1}$ . Such polytopes have been fully classified up to dimension $4$ by [1, 7, 8, 3, 4, 5], providing a finite set of toric Calabi-Yau $n$ -folds for which we can calculate the volume of the corresponding Sasaki-Einstein base. By computing the volume minima for such a large set of Sasaki-Einstein manifolds as bases of the toric Calabi-Yau $n$ -folds, we gain a compendious understanding of its distribution. When compared to topological quantities of the corresponding toric variety, such as the Chern numbers and the Euler number, we remarkably observe that the distribution of the volume minima is not at all random.

We identify bounds of the volume minima determined by topological quantities of the toric variety, which in turn shed light on the properties of the corresponding supersymmetric gauge theories living on the probe branes at the associated Calabi-Yau singularity. This not only provides new insights into the properties of the $4d$ $\mathcal{N}=1$ worldvolume theories on probe D3-branes at Calabi-Yau 3-folds singularities and their corresponding brane tiling constructions, but also sheds light on more recent developments regarding $3d$ $\mathcal{N}=2$ worldvolume theories on probe M2-branes [33, 34, 35, 36] and $2d$ $(0,2)$ worldvolume theories on probe D1-branes [37, 38, 39, 40, 41] at toric Calabi-Yau 4-folds as well as $0d$ supersymmetric matrix models living on Euclidean D(-1)-branes at toric Calabi-Yau 5-folds [42]. In the case of $4d$ $\mathcal{N}=1$ theories related to toric Calabi-Yau 3-folds, we re-interpret the volume bounds as bounds on the central charge $a$ in the $4d$ theory [29, 43, 44]. We make a similar connection to the free energy $F$ for $3d$ $\mathcal{N}=2$ theories living on M2-branes probing toric Calabi-Yau 4-folds [45, 46].

The paper is organized as follows. Section §2 overviews the construction of both compact and non-compact Calabi-Yau manifolds with a review on reflexive polytopes and toric varieties. The section also summarizes how non-compact toric Calabi-Yaus are related to supersymmetric gauge theories in different dimensions. In section §3, we give a summary of topological quantities related to toric varieties such as the Euler and Chern numbers. By doing so, we present combinatorial formulae that simplify the computation of these topological quantities from the toric variety. Section §4 gives the construction of non-compact toric Calabi-Yau cones over Sasaki-Einstein manifolds and the computation of Hilbert series of the cone, adhering to the notation of [30] which related an equivariant index on the Calabi-Yau cone with the volume function of the Sasaki-Einstein base manifold. At the end of the section, we explain volume minimization and how it relates to $a$ -maximization for $4d$ $\mathcal{N}=1$ supersymmetric gauge theories. The method of computing this volume from the Hilbert series and Reeb vector, which in turn is exacted from the polytope data, is described in an algorithmic fashion.

Finally, section §5 summarizes our results for volume minima for Sasaki-Einstein manifolds related to toric Calabi-Yau 3, 4 and 5-folds with reflexive toric diagrams. We plot the volume minima against topological quantities of the corresponding toric varieties and arrive at lower and upper bounds for the volume minima. These in the context of toric Calabi-Yau 3-folds and 4-folds with reflexive polygons as toric diagrams can be re-interpreted as bounds on the central charge $a$ -function and the Free energy $F$ of the corresponding $4d$ $\mathcal{N}=1$ and $3d$ $\mathcal{N}=2$ theories, respectively. The appendices summarize the implementations used to efficiently compute the minimum volumes, including tables with explicit values for volume minima for the reflexive toric Calabi-Yau cases considered.

Nomenclature

2 Preliminaries

We begin with some preliminaries in both the mathematics and the physics, expanding on the nomenclature summarized above. First, we introduce the concept of reflexive polytopes and explain why they have become so central in the construction of Calabi-Yau varieties. Next, we focus on the affine Calabi-Yau varieties constructed therefrom and summarize their connection to quiver gauge theories.

Reflexive polygons and more generally reflexive polytopes have appeared both in the context of compact and non-compact Calabi-Yau manifolds. Batyrev-Borisov [1, 2] first studied reflexive polyhedra $\Delta_{n}$ in $n$ dimensions in order to construct families of smooth Calabi-Yau hypersurfaces that are compactification in projective toric varieties given by $\Delta$ . This allowed for the construction of dual families of compact $(n-1)$ -dimensional Calabi-Yau varieties as hypersurfaces. This duality is none other than mirror symmetry [7, 3, 4, 5].

Furthermore, as we will illustrate in section §2.5, non-compact toric Calabi-Yau $n$ -folds have been studied more recently in the context of supersymmetric quiver gauge theories in various dimensions as worldvolume theories of probe D $(9-2n)$ -branes. These non-compact Calabi-Yau $n$ -folds can be thought of as rational polyhedral cones generated by the vertices of a convex polytope $\Delta_{n-1}$ in $n-1$ dimensions. A finite class of such non-compact Calabi-Yau $n$ -folds can be generated in every dimension when the convex polytope is taken to be reflexive. For example, in 2 dimensions, there are exactly 16 reflexive polygons as shown in Figure 1 which give rise to 16 non-compact toric Calabi-Yau 3-folds. For these, the full list of corresponding $4d$ $\mathcal{N}=1$ supersymmetric quiver gauge theories and of the corresponding brane tilings was classified in [47].

From the work on mirror symmetry for compact Calabi-Yau manifolds [1, 2, 7, 3, 4, 5] and the work on brane tilings for non-compact Calabi-Yau varieties [24, 25, 48], we see that reflexive polytopes are at the crux of studying Calabi-Yau geometry, offering a plenitude of new insights. In this paper, we will focus exclusively on non-compact Calabi-Yau cones and the reader is referred to a careful exposition of the geometry and combinatorics of lattice polytopes in this context in [49] as well as an excellent rudimentary treatment in [50, 51].

2.1 The Reflexive Polytope $\Delta$

Let $\Delta$ be a convex lattice polytope in $\mathbb{Z}^{n}$ , which we can think of either as

a collection of vertices (dimension 0), each of which is a $n$ -vector with integer entries, each pair of neighboring vertices defines an edge (dimension 1), each triple, a face (dimension 2), etc., and each $n-1$ -tuple, a facet (dimension $n-1$ or codimension 1); or as 2. 2.

a list of linear inequalities with integer coefficients, each of which slices a facet defined by the hyperplane.

We will only consider those polytopes containing the origin $(0,\ldots,0)$ as their unique interior point and define the dual polytope $\Delta^{\circ}$ (sometimes also called the polar polytope) to $\Delta$ as all vectors in $\mathbb{Z}^{n}$ whose inner product with all interior points of $\Delta$ is greater than or equal to $-1$ :

[TABLE]

The $-1$ is a vestige of definition (2) of $\Delta$ , since any hyperplane not passing the origin can be brought to the form $\sum\limits_{i}c_{i}x_{i}=-1$ . In general, while the polar dual of a lattice polytope may have vertices with rational entries, the case where they are all integer vectors is certainly special and interesting. Consequently, we have that

Definition 2.1

A convex lattice polytope $\Delta$ is reflexive if its dual polytope $\Delta^{\circ}$ is also a lattice polytope.

Indeed, the symmetry of this definition means that the dual polytope $\Delta^{\circ}$ is also reflexive. In particular, the origin is always a point in both and is, in fact, the the unique interior point. Furthermore, we refer to any $\Delta=\Delta^{\circ}$ as self-dual or self-reflexive.

2.2 The Toric Variety $X(\Delta)$

Given a lattice polytope $\Delta_{n}$ , it is standard to construct a compact toric variety $X(\Delta_{n})$ of complex dimension $n$ (cf. [52] and an excellent recent textbook [53]). Briefly, one constructs the (inner) normal fan $\Sigma(\Delta)$ consisting of cones whose apex is an interior point - which can be chosen to be the origin - with rays extending to the vertices of each face. That is, $\Sigma(\Delta)$ is constructed from $\Delta$ as the positive hull of the $n$ -cone over the faces $F$ of $\Delta$ as follows

[TABLE]

where

[TABLE]

We can think of $\Delta_{n}$ as the fan of $n$ -cones subtended from the apex at the origin to the proper faces of $\Delta$ , where the origin is always a point in our reflexive $\Delta$ .

From the fan $\Sigma$ , the construction of the compact toric variety $X(\Sigma)$ follows the standard treatment of [52], with each cone giving an affine patch. The resulting variety $X(\Sigma)$ is not guaranteed to be smooth. In order to ensure smoothness, we need a notion of regularity.

Definition 2.2

The polytope $\Delta_{n}$ and the fan $\Sigma(\Delta_{n})$ are called regular if every cone in the fan has generators that form part of a $\mathbb{Z}$ -basis.

One way to check this is to ensure that the determinant of all $n$ -tuples of generators of each cone is $\pm 1$ . Note that each generator/ray of the cone is an integer $n$ -vector but the number of such generators will always be $\geq n$ . We need to choose all possible $n$ -tuples and compute the determinant. The key result we will need is that (cf. [53]):

Theorem 2.3

The toric variety $X(\Delta_{n})$ is smooth iff $\Delta_{n}$ is regular.

The above discussions hold for any convex lattice polytope. Henceforth, we will concentrate only on reflexive polytopes $\Delta$ with a single internal lattice point, viz., the origin. According to [49], we have:

Theorem 2.4

Any reflexive polytope $\Delta$ corresponds to a Gorenstein toric Fano variety $X(\Delta)$ .

Note that $X(\Delta)$ is in general singular and as we will see the smooth ones are very rare and we will need to perform desingularization. Indeed, when $\Delta_{n}$ is regular, $X(\Delta_{n})$ is a smooth toric Fano $n$ -fold and it is a manifold of positive curvature [1, 54, 55, 8]. In the general case, by Gorenstein Fano [49] we mean that $X(\Delta)$ is a normal toric variety whose anticanonical divisor is ample and Cartier.

2.3 Classification of $\Delta_{n}$

Clearly, two polytopes are equivalent if there is a $GL(n;\mathbb{Z})$ matrix relating the vertices of one to the other. The classification of $GL(2;\mathbb{Z})$ -inequivalent reflexive polytopes is a non-trivial story. In dimension 2, there are only 16 such objects and are known classically (cf. [50]). We illustrate these in Figure 1, where the polygons have been organized judiciously: the area increases as one goes up and the number of extremal vertices increases as one goes right. The middle 4 are self-dual while the other dual pairs are drawn mirror-symmetrically about this middle line. Moreover, the 16 include the 5 toric diagrams for the smooth toric Fano 2-folds, viz., the toric del Pezzo surfaces: $\mathbb{P}^{2}$ , $\mathbb{F}_{0}=\mathbb{P}^{1}\times\mathbb{P}^{1}$ , as well as $\mathbb{P}^{2}$ blown up at up to 3 generic points, which are shown, respectively, as numbers 1, 4, 3, 6, 10 in the figure. The remaining 11 are singular but Gorenstein and include orbifolds which can be resolved. The naming of these polytopes refers to the Calabi-Yau cone ${\cal X}={\cal C}(X(\Delta))$ ; for example, number 16 is the $\mathbb{Z}_{3}\times\mathbb{Z}_{3}$ orbifold of $\mathbb{C}^{3}$ . There is a slight abuse of notation, which context will make clear, that $dP_{n}$ refers both to the $n$ -th del Pezzo surface and the affine Calabi-Yau cone over it.

In dimension 3, there is already a multitude of reflexive polyhedra. The classification of these was undertaken in [4] and 4319 were found of which only 18 are smooth, corresponding to the 18 smooth Fano toric threefolds [1]. Of course, it is impossible to draw all 4319 polyhedra here. For reference, we draw the 18 smooth cases in Figure 2. Moreover, there are 79 which are self-dual. In the figure and hence forth, the blue labels and identification numbers of the reflexive polyhedra follow the labeling order 111 Beware that in SAGE, the index of lists begin with 0, thus to access the SAGE data, one actually uses index $0,\ldots,4318$ . of the Sage [56] database, $1,\ldots,4319$ . We refer the reader to appendix A for further discussions on SAGE implementations.

In dimension 4, the number of reflexive $\Delta_{4}$ increases dramatically to $473,800,776$ , the fruit of a tour-de-force computer search by [3, 5]; of these, 124 give smooth Fano toric 4-folds (and have been explored in the context of heterotic string theory in [57]). In general, it is known that the number of inequivalent reflexive polytopes up to $GL(2;\mathbb{Z})$ in each dimension is finite but above $n=4$ , the number is not known. We summarize the remarkable sequence in Table 2 (cf. [58]).

2.4 Calabi-Yau Constructions

Stemming from a reflexive polytope are two Calabi-Yau constructions:

The theorem of Batyrev-Borisov [1, 2] and the consequent constructions of Kreuzer-Skarke [3, 4, 5, 6] is the fact that to a reflexive $\Delta_{n}$ , one can associate a smooth Calabi-Yau $(n-1)$ -fold ${\cal X}_{n-1}$ given by the vanishing set of the polynomial 222 The famous quintic in $\mathbb{P}^{4}$ , for instance, is thus realized in the toric variety $\mathbb{P}^{4}$ as follows. We have $x_{1,\ldots,5}$ as the (homogeneous) coordinates of $\mathbb{P}^{4}$ and can think of the reflexive polytope $\Delta$ as having vertices $\underline{m}_{1}=(-1,-1,-1,-1)$ , $\underline{m}_{2}=(~{}4,-1,-1,-1)$ , $\underline{m}_{3}=(-1,~{}4,-1,-1)$ , $\underline{m}_{4}=(-1,-1,~{}4,-1)$ , and $\underline{m}_{5}=(-1,-1,-1,~{}4)$ as well as all the points interior to these extremal points, including, for example, $(0,0,0,0)$ . The dual polytope $\Delta^{\circ}$ is easily checked to have vertices $\underline{v}_{1}=(1,0,0,0)$ , $\underline{v}_{2}=(0,1,0,0)$ , $\underline{v}_{3}=(0,0,1,0)$ , $\underline{v}_{4}=(0,0,0,1)$ , and $\underline{v}_{5}=(-1,-1,-1,-1)$ . Thus each lattice point $\mathbb{m}\in\Delta$ contributes a quintic monomial in the coordinates $x_{1,\ldots,5}$ to the defining polynomial.

[TABLE]

where $C_{\underline{m}}\in\mathbb{C}$ are numerical coefficients parametrizing the complex structure of ${\cal X}_{n-1}$ , the dot being the usual vector dot-product, $x_{\rho=1,\ldots,k}$ are the projective coordinates of $X(\Delta)$ and $\underline{v}_{\rho=1,\ldots,k}$ are the vertices of $\Delta^{\circ}$ ( $k$ being the number of vertices of $\Delta^{\circ}$ , or equivalently, the number of facets in the original polytope $\Delta$ ). 2. 2.

Alternatively, we can think of the vertices of $\Delta$ as generating a rational polyhedral cone $\sigma$ with the apex at the origin as discussed in (2.3). That is, while our reflexive polytope lives in $\mathbb{Z}^{n}$ , we shall take a point $(0,0,\ldots,0)\in\mathbb{Z}^{n+1}=:N$ and consider the cone generated by the vectors $\underline{u}_{i}$ from this apex to the vertices of $\Delta$ :

[TABLE]

The dual cone then lives in $M_{\mathbb{R}}:=M\otimes_{\mathbb{Z}}\mathbb{R}$ with $M:=\hom(N,\mathbb{Z})$ , as

[TABLE]

Subsequently, we can define an affine algebraic variety ${\cal X}_{n+1}$ associated to this data by taking the maximal spectrum of the group algebra generated by the lattice points which the dual cone covers in $M$ :

[TABLE]

The fact that in $N$ the end-points of the vector generators of the cone are co-hyperplanar ensures that ${\cal X}_{n+1}$ is a Gorenstein singularity, and thus admits a resolution to a Calabi-Yau manifold.

We summarize the above two constructions in Figure 3. While there has been a host of activity following Batyrev-Borisov and Kreuzer-Skarke in studying the distribution of the topological quantities of compact Calabi-Yau hypersurfaces [6, 59, 60, 61, 62, 63, 64, 11, 12, 9, 10], in this paper we will be exclusively concerned with the arrow to the right in the figure and study the affine Calabi-Yau $(n+1)$ -fold ${\cal X}$ , as a complex cone over the Gorenstein Fano variety $X(\Delta_{n})$ where $\Delta_{n}$ is reflexive. For convenience, we will use $\Delta_{n-1}$ so that ${\cal X}$ is of complex dimension $n$ . A key fact is that ${\cal X}$ is itself a real cone over a Sasaki-Einstein manifold $Y$ of (real) dimension $2n-1$ . We will study in detail the volumes of these manifolds in relation to the various topological quantities of $X(\Delta)$ and find surprising patterns.

2.5 Connection to Quiver Gauge Theories

For the last two decades, remarkable progress both in string theory and mathematics has been achieved in connection to the AdS/CFT correspondence [14]. Maldacena’s discovery that $4d$ $\mathcal{N}=4$ supersymmetric Yang-Mills theory relates to string theory on $AdS_{5}\times S^{5}$ led to numerous discoveries related to conformal field theories and the associated geometries. Soon after the discovery, it was realized [15, 16] that the correspondence extends to theories with less supersymmetry. When one replaces the $S^{5}$ sphere with a Sasaki-Einstein 5-manifold $Y$ , the supersymmetry is broken down to $\mathcal{N}=1$ . A large class of examples was born: $4d$ $\mathcal{N}=1$ superconformal field theories corresponding to IIB string theory in an $AdS_{5}\times Y$ background. Classes of Sasaki-Einstein 5-manifolds such as $Y^{p,q}$ and $L^{p,q,r}$ provide a rich set of theories to study the correspondence.

These $4d$ $\mathcal{N}=1$ theories can be thought of as worldvolume theories living on D3-branes that probe a Calabi-Yau 3-fold singularity. If the Calabi-Yau 3-fold is toric, the $4d$ $\mathcal{N}=1$ theories can be described in terms of a bipartite periodic graph on a 2-torus known as dimers [65, 66] and brane tilings [24, 25, 48]. These bipartite graphs represent a type IIB brane configuration of D5-branes suspended between a NS5-brane that wraps a holomorphic surface $\Sigma$ originating from the toric geometry. The Newton polynomial $P(x,y)$ of the toric diagram coming from the probed toric Calabi-Yau 3-fold defines the holomorphic surface $\Sigma:P(x,y)=0$ . This IIB brane configuration is T-dual to the probe D3-branes at the Calabi-Yau singularity. Table 3, part (a) summarizes the type IIB brane configuration. Brane tilings provide a natural geometric interpretation of gauge theory phenomena such as Seiberg duality in $4d$ [67, 68, 25].

Non-compact toric Calabi-Yau 4-folds attracted much interest in relation to M-theory. When M2-branes probe a toric Calabi-Yau 4-fold, the worldvolume theory of the M2-branes is described by a $3d$ $\mathcal{N}=2$ Chern-Simons theory [69, 70, 33]. The probed Calabi-Yau 4-folds have a base which is a Sasaki-Einstein 7-manifold [71]. A generalized brane tiling that encodes the levels of the $3d$ $\mathcal{N}=2$ Chern-Simons theories was proposed in [35, 36].

More recently, toric Calabi-Yau 4-folds appeared in the context of brane brick models and $2d$ $(0,2)$ quiver gauge theories [37, 38, 39]. When D1-branes probe a toric Calabi-Yau 4-fold singularity, the worldvolume theory on the D1-branes is a $2d$ $(0,2)$ theory. Brane brick models are brane configurations consisting of D4-branes suspended between a NS5-brane that wraps a holomorphic 3-cycle $\Sigma$ . This holomorphic 3-cycle derives from the zero locus of the Newton polynomial of the toric diagram characterizing the toric Calabi-Yau 4-fold. The brane configuration is summarized in Table 3, part (b). In [72], brane brick models were used to provide a brane realization of the recently discovered correspondence between $2d$ $(0,2)$ theories known as Gadde-Gukov-Putrov triality [73].

In [42], it was argued from the perspective of the Hori-Vafa mirror of a Calabi-Yau $n$ -fold [74], that there exists a natural generalization of Seiberg duality in $4d$ and Gadde-Gukov-Putrov triality in $2d$ for theories in $0d$ . A new correspondence, called quadrality, relates different $0d$ $\mathcal{N}=1$ gauged matrix models that arise as worldvolume theories of D(-1)-branes probing non-compact toric Calabi-Yau 5-folds. The brane realization is known as brane hyper-brick models [42]; cf. Table 3, part (c).

In summary, toric Calabi-Yau $n$ -folds have appeared in connection to quiver gauge theories in various dimensions. From this panorama of correspondences, it is tempting to ask whether there are any further geometrical features of Calabi-Yau $n$ -folds that can teach us more about quiver gauge theories in various dimensions. In order to search for these properties, we restrict ourselves to toric Calabi-Yau $n$ -folds that exist in every dimension $n\geq 1$ , namely the ones which arise from reflexive polytopes: ${\cal X}_{n}={\cal C}(X(\Delta_{n-1}))$ . This class of toric Calabi-Yau $n$ -folds is by far the largest family studied in the literature and is a suitable sample set for our analysis in this paper.

Our strategy is to study the connection between the topology and metric geometry of the Calabi-Yau variety ${\cal X}$ . The toric geometry of the base $X(\Delta)$ – the compact toric Gorenstein Fano $(n-1)$ -fold – will furnish us with the convenience of extracting the topological data while the Sasaki-Einstein geometry of the base $Y$ will give us the relevant metrical information.

3 Topological Quantities of $X(\Delta)$

We begin by concentrating on the compact toric variety $X(\Delta)$ . These, as discussed in sections §2.2 and §2.4, can be constructed from a reflexive lattice polytope $\Delta$ . The following section describes topological quantities that can be computed from $\Delta$ such as the Euler number and Chern classes333 Note that we are not studying the orbifold or stringy topological quantities associated to the singular variety as has been done in [75, 76, 77].

of the complete resolution $\widetilde{X(\Delta)}$ .

3.1 Triangulations and the Euler Number

For the case when the toric variety $X(\Delta)$ is smooth, it is straightforward to compute its Betti numbers from standard formulae [52]. Unfortunately, as mentioned in section §2.2, when $\Delta$ is reflexive, the corresponding toric varieties $X(\Delta)$ are not guaranteed to be smooth. In fact, only a tiny fraction of the reflexive polytopes actually give directly smooth $X(\Delta)$ corresponding to the regular polytopes, as we saw in Table 2.

We are therefore compelled to consider resolutions under triangulations of $\Delta$ . We concentrate on triangulations of $\Delta$ which guarantee that each cone in $\Delta$ is regular. For reflexive polytopes $\Delta$ , we consider a special type of triangulation known as FRS triangulations [11]. FRS stands for the following:

•

Fine: all lattice points of $\Delta$ are involved in the triangulation;

•

Regular: as discussed in Theorem 2.3, ensures that $\Delta$ is regular and $X(\Delta)$ is smooth;

•

Star: the origin, which is taken to be the interior lattice point of the polytope $\Delta$ , is the apex of all the triangulated cones.

We point out that our requirement of regular is actually stronger than was used in [11] and leave a detailed discussion of this as well as algorithmic implementation to appendix §A. Note that for regularity to hold, the generators of the simplicial cones should give determinants $\pm 1$ .

Under FRS triangulation of $\Delta$ , we achieve a complete resolution $\widetilde{X(\Delta)}$ whose $n$ -cones are all regular. Note that all cones in $\widetilde{X(\Delta)}$ under the FRS triangulation of a reflexive polytope $\Delta$ are not only regular but also simplicial. The FRS triangulation of a reflexive polytope can be obtained using a simple but efficient trick from [10, 78, 11]. One first ignores the single interior point that forms the origin of all the simplicial cones and applies a triangulation of the boundary points of the polytope. When one then adds lines from the boundary triangles to the origin at the interior point, one obtains the simplicial cones that form the FRS triangulation of $\Delta$ .

Now, it is an important result [1, 49] that

Theorem 3.5

For $n\leq 3$ , any $n$ -dimensional Gorenstein toric Fano variety admits a coherent crepant resolution.

What this means is that our 16 polygons and 4319 polyhedra all have FRS triangulations that completely resolve the singularity, as we can explicitly see case by case. However, for higher dimensions, we are no longer guaranteed that a smooth $\widetilde{X(\Delta_{n\geq 4})}$ actually exists. Henceforth, for $n=4$ , we will restrict to cases where a complete desingularization is possible.

Under regularity and smoothness, the Betti numbers $b_{i}$ and the Euler number $\chi$ can be readily obtained combinatorially [52, 53]:

Theorem 3.6

After performing FRS triangulation $\widetilde{\Delta_{n}}$ on the reflexive polytope $\Delta_{n}$ , the smooth, compact toric Fano $n$ -fold $\widetilde{X(\Delta_{n})}$ has Betti numbers

[TABLE]

where $k=0,1,\dots,n$ and $d_{j}$ is the number of $j$ -dimensional cones in $\widetilde{\Delta}$ . In particular, the Euler number is

[TABLE]

The above formula in fact even further simplifies for reflexive polytopes in dimensions $n=2,3$ . For $n=2$ , the number of facets in $\widetilde{X(\Delta)}$ is simply given by the number of perimeter lattice points, $p$ . Note that we distinguish between vertices and perimeter lattice points. Take the example of reflexive polygon number 16 in Figure 1, which has 3 vertices and 9 perimeter lattice points. Hence, we have that

Corollary 3.7

For all 16 reflexive polygons $\Delta$ in dimension 2, the smooth toric variety $\widetilde{X(\Delta)}$ corresponding to the complete desingularization by FRS triangulation, has Euler number equal to the number of perimeter lattice points, which is in turn the total number of lattice points of $\Delta$ minus 1 (for the unique interior lattice point):

[TABLE]

Remark:

One can equally arrive at this by Pick’s formula, that for convex polygons $\Delta_{2}$ , the area $A$ is given by

[TABLE]

where $i$ is the number of interior lattice points, and $p$ , that of perimeter (or boundary) lattice points. Here $i=1$ , corresponding to the origin and an FRS triangulation means each of the triangles formed by neighboring points on the perimeter is of area $1/2$ , hence the number of faces is just $p$ .

It is of course helpful to have the topological quantities as simply as the $n=2$ case for higher dimensions. However, generalizing Pick’s formula for higher dimensions is not so straightforward. The standard method is via Ehrhart polynomials [53, 79].

Theorem 3.8 (Ehrhart)

The generating function in $t\in\mathbb{Z}$ for an $n$ -dimensional polytope $\Delta$ is defined as

[TABLE]

where $t\Delta$ is simply $\Delta$ dilated by a factor of $t$ . Then for $t\in\mathbb{N}$ , $L(\Delta;t)$ is a polynomial in $t$ known as the Ehrhart polynomial with expansion

[TABLE]

Thus $L(\Delta;t)$ has its leading term capturing the volume of the polytope and its constant, the combinatorial Euler number $\chi_{\Delta}$ . Note that $\chi_{\Delta}$ has nothing to do with the algebro-geometric Euler number $\chi(\widetilde{X(\Delta)})$ . For $n=2$ , the above reduces to Pick’s formula. For $n=3$ , because in a FRS triangulation each tetrahedron is of volume $\frac{1}{3!}$ , the number of tetrahedra is simply $\text{Vol}(\Delta_{3})/(1/3!)=6\mbox{Vol}(\Delta_{3})$ . As a result, we find that the Euler number is linear in the number of total integer points in $\Delta_{3}$ and that in particular, it is twice the latter subtracted by 6:

Corollary 3.9

For all the 4319 reflexive polyhedra in dimension $n=3$ , the Euler number of the complete resolution $\widetilde{X(\Delta_{3})}$ is

[TABLE]

where $Vol(\Delta_{3})$ is the leading term in the Ehrhart polynomial, giving the volume of the polytope and $\#(\Delta_{3}\cap\mathbb{Z}^{3})$ is the number of lattice points in the polytope.

In the last step, analogous to the dimension 2 case, we define $p$ as the number of “perimeter” points which includes the vertices as well as any lattice points living on any edge or any face of $\Delta_{3}$ , since there is only a single interior point.

We will make use of these topological results for toric $2$ , $3$ and $4$ -folds in the following sections.

3.2 Chern Numbers

Having studied the Euler characteristic, we now turn to the Chern classes.

3.2.1 Dimension 2: Reflexive Polygons

In dimension 2, there are two numbers, customarily called the Chern numbers, which can be obtained naturally by integration over the toric 2-fold. Again, to ensure smoothness and compactness so that the Chern classes are well-defined, we work over the complete resolution $M_{2}:=\widetilde{X(\Delta_{2})}$ :

[TABLE]

The integral over the surface of the top Chern class is, of course, none other than the Euler characteristic. By direct computation, we readily find that $C$ is simply the number of perimeter lattice points of the polar dual of $\Delta$ . This can be thought of as a version of Batyrev’s mirror symmetry for Fano 2-folds:

Proposition 3.10

For the 16 reflexive polygons in dimension 2, the two independent Chern numbers of the complete resolution $M_{2}:=\widetilde{X(\Delta_{2})}$ are

[TABLE]

where $p$ and $p^{\circ}$ are the number of lattice points on the perimeter of respectively $\Delta$ and the polar dual $\Delta^{\circ}$ .

3.2.2 Dimension 3: Reflexive Polyhedra

In this subsection, we move onto the reflexive polyhedra in dimension 3. We have the smooth Fano variety $M_{3}:=\widetilde{X(\Delta_{3})}$ from the FRS triangulation of $\Delta_{3}$ . We can now form three natural integrals from the Chern classes $c_{i}(M_{3})\in H^{2i}(M_{3};\mathbb{Z})$ , viz., $\int_{M_{3}}c_{1}(M_{3})^{3}$ , $\int_{M_{3}}c_{1}(M_{3})c_{2}(M_{3})$ and $\int_{M_{3}}c_{3}(M_{3})\in\mathbb{Z}$ . We can easily see that these are independent and are the only three non-trivially-vanishing classes which can be integrated over the Fano threefold to produce an integer. Again the third integral is the Euler characteristic, as discussed in Corollary 3.9 and it remains to study the first two integrals.

We can quite efficiently compute these quantities. First off, the second integral is equal to 24 for all 4319 reflexive polytopes in $n=3$ , by direct computation [56]. The remaining two Chern numbers $C:=\int_{M_{3}}c_{1}(M_{3})^{3}$ and $\chi$ , on the other hand, are intricately related and we show the plot between them in Figure 4. We see many bands of vertical lines and to ensure these are not due to any round-off errors, we also plot against the reciprocal of the Euler characteristic. Inspired by Proposition 3.10, we compute this pair of Chern numbers for the dual pairs of reflexive polytopes explicitly and find that they are indeed reversed under “mirror symmetry”. Recalling further that the top (3rd) Todd class ${\rm Td}_{3}(M_{3})=\frac{1}{24}c_{1}(M_{3})c_{2}(M_{3})$ , we summarize these results in

Proposition 3.11

Defining the 3 independent Chern numbers

[TABLE]

for the complete resolution $M_{3}:=\widetilde{X(\Delta_{3})}$ for the reflexive polyhedron $\Delta_{3}$ in dimension 3, we have that

•

$T=1$ * for all 4319 cases;*

•

$(C,\chi)=\Big{(}2\#(\Delta_{3}^{\circ}\cap\mathbb{Z}^{3})-6,\quad 2\#(\Delta_{3}\cap\mathbb{Z}^{3})-6\Big{)}=(2p^{\circ}-4,\ 2p-4)$ **

where $\Delta^{\circ}$ is the polar dual polyhedron, and $p$ and $p^{\circ}$ are the number of perimeters lattice points of $\Delta_{3}$ and $\Delta_{3}^{\circ}$ respectively.

As before, the perimeter points include the vertices as well as any lattice points living on any edge or any face of $\Delta_{3}$ . Therefore, we see that once again, while the middle Chern number remains fixed here at 1, the bottom and top Chern numbers are reversed for polar dual pairs.

4 Hilbert Series and Volume Functions

One of the most important quantities which characterize an algebraic variety $X$ is the Hilbert series.444Note, however, that the Hilbert series is not a topological invariant and does depend on embedding and choice of grading for the coordinate ring for $X$ . It has been used in numerous ways to enumerate operators in a chiral ring and to study the geometric structure they form. As part of the plethystic program [31, 32], Hilbert series has been used extensively to address the problem of counting gauge invariant operators and of characterizing moduli spaces of various different supersymmetric gauge theories.

We will be concentrating on a specific application [28, 30, 80] of the Hilbert series in relation to the volume of the Sasaki-Einstein base $Y$ of the toric Calabi-Yau cone ${\cal X}={\cal C}(X(\Delta))$ . Let us first refresh our memory on the Hilbert series and thence explore the connection between Hilbert series and the volume function of a Sasaki-Einstein manifold.

4.1 Hilbert series

For a projective variety $X$ over which ${\cal X}$ is a cone, realized as an affine variety in $\mathbb{C}^{k}$ , the Hilbert series is the generating function for the dimension of the graded pieces of the coordinate ring $\mathbb{C}[x_{1},...,x_{k}]/\left<f_{i}\right>$ where $f_{i}$ are the defining polynomials of $X$ :

[TABLE]

which is always a rational function. Here, the $i$ -th graded piece $X_{i}$ can be thought of as the number of algebraically independent degree $i$ polynomials on the variety $X$ . $t$ keeps track of the degree $i$ . For multi-graded rings with pieces $X_{\vec{i}}$ and grading $\vec{i}=(i_{1},\dots,i_{k})$ , the Hilbert series takes the form $g(t_{1},\dots,t_{k};{\cal X})=\sum\limits_{\vec{i}=0}^{\infty}\dim_{\mathbb{C}}(X_{\vec{i}})t_{1}^{i_{1}}\dots t_{k}^{i_{k}}$ . Note that the Hilbert series can appear in two kinds, with as many $t$ variables as the ambient space as given above, or being fewer, as the dimension of ${\cal X}$ ; we will use the latter below.

If the variety ${\cal X}$ corresponds to the chiral ring of a supersymmetric gauge theory, the Hilbert series can be thought of as the generating function of gauge invariant operators on the chiral ring. The grading can be chosen as such that fugacities $t_{1}^{i_{1}},\dots,t_{k}^{i_{k}}$ count charges of the operators under the full global symmetry of the supersymmetric gauge theory. Finally, if the variety $X$ is toric, the Hilbert series can be conveniently obtained from the toric diagram itself as explained in the ensuing subsection.

4.1.1 Hilbert Series from Toric Geometry

When the affine variety is toric, the corresponding Hilbert series can be computed directly from the toric diagram [28, 31]. As discussed in section §2.4, the affine toric Calabi-Yau $n$ -fold ${\cal X}$ can be defined as a cone over a compact Sasaki-Einstein manifold of real dimension $2n-1$ . The toric diagram of ${\cal X}$ is a convex reflexive lattice polytope of (real) dimension $n-1$ , being effectively dimension one less because of the Calabi-Yau condition which ensures that the endpoints of the generators of the cone are co-hyperplanar.

For $n=3,4$ , our toric diagrams $\Delta_{2,3}$ admit at least one FRS triangulation in terms of $(n-1)$ -simplices and for $n=5$ , we will only consider those which do have such a triangulation. From an FRS triangulation, one can construct a graph-dual, which for Calabi-Yau 3-folds is known as a $(p,q)$ -web diagram. Figure 5 illustrates dual web-diagrams with the corresponding toric diagrams for $\mathbb{C}^{3}/\mathbb{Z}_{3}$ .

In general, we have that [28, 30]

Theorem 4.12

The Hilbert series of the toric Calabi-Yau $n$ -fold cone ${\cal X}$ (and that of a toric variety $\widetilde{X(\Delta_{n-1})}$ ) is succinctly obtained from the triangulation of $\Delta_{n-1}$ as follows

[TABLE]

Here, the index $i=1,\dots,r$ runs over the $n-1$ -dimensional simplices in the FRS triangulation and $j=1,\dots,n$ runs over the faces of each such simplex. Each $\vec{u}_{i,j}$ is an integer $n$ -vector, being the outer normal to the $j$ -th face of the fan associated to $i$ -th simplex. $\vec{t}^{~{}\vec{u}_{i,j}}:=\prod\limits_{a=1}^{n}t_{a}^{u_{i,j}(a)}$ multiplied over the $a$ -th component of $\vec{u}$ .

Note that we introduced an $n$ -dimensional origin $(0,0,\ldots,0)$ which is distance 1 away from the hyperplane of the $(n-1)$ -dimensional toric diagram. This sets the $n$ -th coordinate of each vector $\vec{u}_{i,j}$ to be 1. The grading of the Hilbert series in terms of $\vec{t}$ is such that each fugacity $t_{a}$ corresponds to the $a$ -th coordinate of the $\vec{u}_{i,j}$ . We emphasize the fact that all subsequent discussions on volume functions are independent of (1) the $GL(n;\mathbb{Z})$ equivalence in the definition of the toric diagram and (2) the different FRS triangulations.

4.1.2 Hilbert Series for $\mathbb{C}^{n}/\mathbb{Z}_{n}$

Let us consider a few examples of Hilbert series obtained from toric diagrams of toric Calabi-Yau $n$ -folds. We consider here Abelian orbifolds of the form $\mathbb{C}^{n}/\mathbb{Z}_{n}$ with orbifold action $(1,\dots,1)$ for $n=3,4,5$ . The coordinates for vertices in the toric diagram are

[TABLE]

Above, the coordinates of the vertices include the $n$ -th coordinate, which will become important in the discussion that follows. We label the points in the toric diagrams from $1,\dots,n$ in the order they are listed in (4.25). Following this labelling, the unique triangulations of these diagrams can be summarized in terms of the points in the toric diagram as follows (called incidence data):

[TABLE]

Following (4.15), we find the Hilbert series for $\mathbb{C}^{3}/\mathbb{Z}_{3}$ , $\mathbb{C}^{4}/\mathbb{Z}_{4}$ and $\mathbb{C}^{5}/\mathbb{Z}_{5}$ ,

[TABLE]

By setting $t_{1},\dots,t_{d-1}=1$ and $t_{d}=t$ , the above Hilbert series can be unrefined to give

[TABLE]

Notice that the numerators of the rational functions in (4.1.2) are all palindromic. According to Stanley [81], this indicates that the corresponding variety of the Hilbert series is Calabi-Yau (Gorenstein).

4.2 The Calabi-Yau Cone ${\cal X}$ and Sasaki-Einstein Base $Y$

The Hilbert series as computed above, exploiting the relation between the affine variety ${\cal X}$ and the compact real manifold $Y$ , has an extraordinary manifestation as a normalized volume. In this section, we briefly summarize this property following the exposition and notation of [28, 30].

Consider a Kähler cone ${\cal X}$ which has complex dimension $n$ with Kähler form $\omega$ . The metric on the cone takes the form

[TABLE]

where $Y={\cal X}|_{r=1}$ is the Sasakian base manifold over which ${\cal X}$ is a real cone. The Kähler form $\omega$ can be written, for $\eta$ a global one-form on $Y$ , as

[TABLE]

Now, $Y$ has a Killing vector field $K$ called the Reeb vector, defined, for the complex structure $\mathcal{I}$ on ${\cal X}$ , as

[TABLE]

As discussed in section §2.4, we require the Calabi-Yau cone ${\cal X}$ to be toric, meaning that we have a torus action $\mathbb{T}^{n}$ that leaves the Kähler form $\omega$ invariant. We take $\partial/\partial\phi_{i}$ to be the generators of the torus action and $\phi$ to be the angular coordinates of the action with $\phi\sim\phi+2\pi$ . The torus action is integrable and allows for the introduction of symplectic coordinates $y_{i}$ defined as

[TABLE]

with $\langle~{},~{}\rangle$ the usual bilinear pairing between forms and vector fields. Using these symplectic coordinates, the Kähler cone can be expressed as a torus fibration over a convex rational polyhedral cone of the form

[TABLE]

where the linear function $l_{a}(y)$ is defined in terms of the inner product $(~{},~{})$ between $y$ and $v_{a}$ which are the inward pointing normal vectors to the $d$ facets of the polyhedral cone. This cone $\sigma$ is precisely the rational polyhedral cone discussed in (2.5).

In terms of the symplectic and angular coordinates, the Kähler form on ${\cal X}$ is

[TABLE]

and the Kähler metric on ${\cal X}$ becomes

[TABLE]

where $G^{ij}$ is the inverse of $G_{ij}:=\partial_{i}\partial_{j}G$ for some symplectic potential $G$ . This potential $G$ not only determines the metric but also relates to the complex structure on ${\cal X}$ as $\mathcal{I}=\left[\begin{array}[]{cc}0&-G^{ij}\\ G_{ij}&0\end{array}\right]~{}.~{}$ Combining the expression of the complex structure and the original expression of the Killing vector field in (4.38), we can write

[TABLE]

where $b\in\mathbb{R}^{n}$ and $b_{i}$ are the components of the Reeb vector. They relate to the symplectic potential as follows

[TABLE]

and under the canonical form of the metric can be directly related to the vectors $v^{a}$ as $b^{\text{can}}=\sum_{a}v^{a}$ .

The Reeb vector has the following norm

[TABLE]

which can be used to show that the base of the cone ${\cal X}$ at $r=1$ defines a hyperplane

[TABLE]

This hyperplane intersects $\sigma$ in (4.40) to form a polytope $\Delta$ , which is precisely what we called the toric diagram. Note that the Reeb vector is always in the interior of the polytope $\Delta$ and is chosen such that along the hyperplane in (4.46), one of its components is set to

[TABLE]

So far, everything described applies to general Kähler cones in the case of ${\cal X}$ being Calabi-Yau, i.e. a toric Gorenstein singularity. Because of this, the normal vectors $v_{a}$ after some $GL(n,\mathbb{Z})$ transformation can be taken to be

[TABLE]

where $w_{a}\in\mathbb{Z}^{n-1}$ . These are precisely the normal vectors that are used in the computation of the Hilbert series in (4.15), when each simplex in the triangulation of the toric diagram is taken to be a polyhedral cone on its own right. Note also that the vectors $w_{a}\in\mathbb{Z}^{n-1}$ are precisely pointing to the vertices of the toric diagram of the Calabi-Yau $n$ -fold.555We can also construct ${\cal X}$ symplectically in terms of a GLSM quotient of $\mathbb{C}^{d}$ . The quotient is taken in terms of integer-valued charges $Q_{a}^{i}$ , where here $i=1,\dots,d-n$ and $a=1,\ldots,d$ , as

$\displaystyle{\cal X}=\left\{(Z_{1},\dots,Z_{d})\in\mathbb{C}^{d}~{}|~{}\sum_{a}Q_{i}^{a}|Z_{a}|^{2}=0\right\}~{},~{}$

(4.49) with $Z_{a=1,\dots,d}$ the coordinates of $\mathbb{C}^{d}$ . Note that the integer-valued charges $Q_{i}^{a}$ of the quotient form a map $Q_{i}^{a}~{}:~{}\mathbb{Z}^{d}\rightarrow\mathbb{Z}^{d-n}$ . The normal vectors form the defining kernel of the map with $\sum_{a}Q_{i}^{a}v_{a}=0$ . Given that ${\cal X}$ is Gorenstein and the normal vectors $v_{a}=(w_{a},1)$ , the charge vectors satisfy $\sum_{a}Q_{i}^{a}=0$ , which is the Calabi-Yau condition of the quotient. Note that since ${\cal X}$ is an affine algebraic variety, the space of holomorphic functions on ${\cal X}$ are elements of a coordinate ring. These elements are counted by a generating function which we have studied in section §4.1 as the Hilbert series of ${\cal X}$ .

As discussed in section §2.4, we will study Calabi-Yau $n$ -folds whose toric diagrams are in addition reflexive.

4.3 The Volume Function

The volume of the Sasaki-Einstein base $Y$ is a strictly convex function that arises from the Einstein-Hilbert action on $Y$ [28, 30]. For a Sasakian metric on $Y$ , the volume takes the general form

[TABLE]

where $\mathrm{d}\mu$ is the Riemannian measure on the cone ${\cal X}$ . It has been shown in [30] that the volume of the base $Y$ is a function of Reeb vector components $b_{i}$ and in relation to the volume of $S^{2n-1}$ ,

[TABLE]

the ratio

[TABLE]

is always an algebraic number, which we define as the volume function. We remark that sometimes we will also denote this by $V(b;{\cal X})$ without ambiguity, though the volume is, of course, always that of the compact base $Y$ .

The volume function can be derived directly from the Hilbert series of the coordinate ring of ${\cal X}$ that was discussed in section §4.1,

[TABLE]

The above limit picks the leading order in $\mu$ in the expansion of the Hilbert series $g(t_{i}=\exp[-\mu b_{i}];{\cal X})$ , which was shown to be related to volume of the Sasaki-Einstein base $Y$ in [28, 30, 82].

4.3.1 Volume Functions for $\mathbb{C}^{n}/\mathbb{Z}_{n}$

Let us take our running example of the Hilbert series that were computed in (4.1.2) for $\mathbb{C}^{n}/\mathbb{Z}_{n}$ with $n=3,4,5$ and calculate the corresponding volume functions. Under the limit in (4.53), the volume function are

[TABLE]

As discussed in (4.47), we take $b_{n}=n$ . Figure 6 shows a $b_{i}$ -plot of the volume function for $\mathbb{C}^{3}/\mathbb{Z}_{3}$ . Here, $\dim_{\mathbb{C}}{\cal X}=3$ so there are three components of the Reeb vector. We set $b_{3}=3$ , and plot $V(b1,b2)$ .

4.4 Volume Minimization

The volume function plays an important role in physics. In this subsection, we briefly review the story of how the AdS/CFT correspondence gives the remarkable statement that minimizing the volume function is the same as maximizing the central charge in the dual conformal field theory for Calabi-Yau 3-folds.

4.4.1 AdS/CFT and $a$ -maximization

As discussed in section §2.5, D3-branes probing Calabi-Yau cones ${\cal X}$ of dimension 3 give rise to $4d$ $\mathcal{N}=1$ supersymmetric gauge theories. It is expected that theories of this class flow at low energies to a superconformal fixed point. The Reeb vector discussed in §4.2 generates the $U(1)$ R-symmetry of the theory and the global R-symmetry is part of the superconformal algebra.

The superconformal R-charges of the theory are determined by a procedure known as $a$ -maximization [29, 43, 44]. It determines the superconformal R-charges uniquely by maximizing the combination of ’t Hooft anomalies which completely determine the central charge of the superconformal field theory in 4 dimensions,

[TABLE]

where for anomaly free theories $\text{Tr}R=0$ . The idea is to write a trial function $a_{\text{trial}}(R_{t})$ in terms of trial R-charges,

[TABLE]

where $F_{i}$ can be thought as charges coming from the global symmetries which are not the R-symmetry in the theory. When the trial function $a_{\text{trial}}(R_{t})$ is maximized, only the superconformal R-charges $R_{0}$ contribute as shown in [29].

When the probed Calabi-Yau 3-fold singularity ${\cal X}$ is toric, it was shown in [43, 44] that the trial $a$ -function takes the form of a cubic function

[TABLE]

where $R_{i}$ are trial R-charges with $\sum_{i}R_{i}=0$ and $\left[u_{i},u_{j}\right]:=\det(u_{i},u_{j})$ . Note that here $u_{i}$ are the vectors associated to the $(p,q)$ -web diagram corresponding to the Calabi-Yau 3-fold toric diagram as illustrated in part (b) of Figure 5. Moreover, $A$ is the area of the toric diagram scaled so that the unit triangle has area $1$ and $C$ is the set of all the unordered pairs of vectors in the $(p,q)$ -web (including non-adjacent ones).

In the context of brane tilings, $a$ -maximization was shown to relate to isoradial embeddings of the bipartite periodic graph on the $2$ -torus [83]. R-charges of bifundamental chiral matter multiplets $R_{i}$ were associated to angles in the bipartite graph,

[TABLE]

as illustrated in Figure 7. The isoradial embedding of the graph determines the correct angles $\theta_{i}$ which in turn relate to the superconformal R-charges $R_{i}$ .

4.4.2 Volume Minimization is $a$ -maximization

The AdS/CFT correspondence relates the central charge $a$ -function with the volume of the Sasaki-Einstein 5-manifold base $Y$ for $4d$ $\mathcal{N}=1$ superconformal field theories as follows [26, 27],

[TABLE]

Whence we can define the normalized $a$ -function

[TABLE]

This reciprocal relationship implies that when the $a$ -function is maximized along the RG-flow, the corresponding value of the volume function is minimized. This is in line with the fact that the Reeb vector generates the $U(1)_{R}$ symmetry and that the volume function $V(b_{i};Y)$ is dependent only on its components $b_{i}$ .

Following our review on volume functions in section §4.3, one can write a trial volume function $V(b_{i};Y)$ dependent on trial Reeb vector components $b_{i}$ such that the Reeb vector $b$ is always in the interior of the cone. As shown in [30], the minimized volume $V(b_{i}^{*};Y)$ identifies the critical Reeb vector $b^{*}$ , which under the volume function in (4.52) results in the volume of the Sasaki-Einstein manifold $Y$ . The process of identifying the critical Reeb vector is also known as $Z$ -minimization [43, 84].

4.4.3 Towards a Classification of Calabi-Yau Volumes

We have discussed $a$ -maximization and volume minimization in the context of type IIB string theory on $AdS_{5}\times Y$ corresponding to $4d$ $\mathcal{N}=1$ superconformal field theories. As discussed in section §2.5, toric Calabi-Yau 4-folds with Sasaki-Einstein 7-manifolds as bases were studied in the context of worldvolume theories of M2-branes probing the Calabi-Yau 4-fold singularity. These were some of the first examples where the AdS4 /CFT3 correspondence was studied systematically. Here, the worldvolume theory on the M2-branes is a $3d$ $\mathcal{N}=2$ superconformal Chern-Simons theory. For these theories, the role of the $a$ -function is played by the supersymmetric free energy on the 3-sphere [85, 86]

[TABLE]

The free energy when extremized was shown to determine the superconformal R-charges of the theory in [87]. Moreover, it was shown in [45, 46] that the free energy can be related in the large $N$ limit to the volume of the Sasaki-Einstein 7-manifold $Y$ as follows

[TABLE]

However, there are several obstacles that do not allow us to make the same conclusions as in the AdS5/CFT4 case. First of all, it is not known what the $3d$ $\mathcal{N}=2$ theory is for instance for a general toric Calabi-Yau 4-fold. Brane tilings provide a unified description of $4d$ $\mathcal{N}=1$ theories and the corresponding toric Calabi-Yau 3-folds [24, 25]. Such a bridge, following many proposals [35, 88], does not exist for worldvolume theories of M2-branes and arbitrary toric Calabi-Yau 4-folds. For some toric Calabi-Yau 4-folds, the corresponding $3d$ $\mathcal{N}=2$ theory are not known. This is a major obstacle in verifying that the minimum of the volume of the Sasaki-Einstein 7-manifold systematically corresponds to the free energy $F$ .

Moreover, the free energy $F$ does not necessarily take a simple polynomial form as it is the case for the $a$ -function as discussed in section §4.4.1. In (4.57), we referred to the result in [43, 44] that the $a$ -function for $4d$ $\mathcal{N}=1$ theories corresponding to toric Calabi-Yau 3-folds is a cubic function in terms of trial R-charges. Naively, one would hope that the free energy $F$ for $3d$ $\mathcal{N}=2$ theories is a quartic function of trial charges. This is not generally the case and several works [89, 90] attempted to correct the conjectured quartic function so as to match its extremal value to the volume of a certain class of Sasaki-Einstein 7-manifolds.

As reviewed in §2.5, toric Calabi-Yau 4-folds also appeared in the context of worldvolume theories living on probe D1-branes. These theories are $2d$ $(0,2)$ quiver gauge theories realized in terms of a type IIA brane configuration known as brane brick models [37, 38, 39]. More recently, toric Calabi-Yau 5-folds were studied in the context of probe Euclidean D(-1)-branes [42]. The worldvolume theory of the probe D(-1)-branes is a $0d$ $\mathcal{N}=1$ supersymmetric matrix model. Both probed toric Calabi-Yau 4-folds and 5-folds have base manifolds whose volumes can be computed via volume minimization. It is an interesting question to ask what role the volume minimum plays in the context of the corresponding $2d$ and $0d$ theories.

Computing the volume minima for large sets of toric Calabi-Yau $n$ -folds may shed some light to these questions. In the following section, we will precisely do this for toric Calabi-Yau $n$ -folds whose toric diagrams are reflexive. By plotting these volume minima against topological quantities of the underlying toric varieties allows us to derive general statements about the overall behavior of volume functions for Calabi-Yaus in various dimensions.

5 Minimum Volumes for CYn

We can now combine the theoretical results obtained thus far for the topological quantities, Hilbert series and volume functions of the reflexive polytopes in various dimensions, in conjunction with the data we have collected. In this section, we will study the connections between these quantities, derive some bounds and raise intriguing conjectures.

5.1 Volume Minimum versus Topological Invariants

In the previous sections, we have discussed various characteristic quantities that can be derived from the compact toric variety $X(\Delta)$ corresponding to a reflexive polytope $\Delta$ and the non-compact Calabi-Yau cone ${\cal X}$ over $X(\Delta)$ and its Sasaki-Einstein base manifold $Y$ . Throughout this section, $\dim_{\mathbb{C}}{\cal X}=n$ , $\dim_{\mathbb{C}}X(\Delta_{n-1})=n-1$ , and $\dim_{\mathbb{R}}Y=2n-1$ .

The first characteristic that can be computed is the Euler number for $\widetilde{X(\Delta)}$ , which is simply the number of $n$ -cones of the fan $\Sigma(\Delta_{n-1})$ by Theorem 3.6. On the other hand, as was discussed in section §4.4, the volume of the Sasaki-Einstein base $Y$ is another important quantity for ${\cal X}$ . The volume function $V(b_{i};Y)$ is expressed as a function of Reeb vector components $b_{i}$ and can be obtained directly from the Hilbert series of the coordinate ring for ${\cal X}$ . The Hilbert series in turn is easily obtained from the polytope data by (4.15). For threefolds, from the point of view of the dual gauge theory, following $a$ -maximization and the reciprocal relationship to the volume function $V(b_{i};Y)$ discussed in §4.4.1, the volume of $Y$ minimizes to a critical value when the theory flows to a IR fixed point. As such, the minimized volume matched for theories that flow to the same fixed point – theories that are Seiberg dual in 4 dimensions.

In order to better understand the role played by the minimum volume for Calabi-Yau varieties in higher dimensions, we propose to first study the relationship between

[TABLE]

The Euler number $\chi(\widetilde{X(\Delta)})$ is the number of top-dimensional cones as stated in (3.11).

Because the numbers of reflexive polytopes is finite in each dimension, we have:

Lemma 5.1

For all non-compact toric Calabi-Yau $n$ -folds ${\cal X}$ with Sasaki-Einstein base $Y$ , originating from toric varieties $X(\Delta_{n-1})$ and reflexive polytopes $\Delta_{n-1}$ , there is a finite number thereof where

[TABLE]

What we will attempt to do now is to see whether any reflexive polytopes $\Delta$ satisfies this relation, isolate them and test if the equality furnishes some bound.

5.1.1 Calabi-Yau 3-fold Cones

We begin with the 16 reflexive polygons $\Delta_{2}$ ; for these ${\cal X}={\cal C}_{\mathbb{C}}(X(\Delta_{2}))$ are Calabi-Yau 3-folds. The plot of the volume minimum of $Y$ against the Euler number is shown in Figure 8(a). We can clearly see from the plot that for some toric Calabi-Yau 3-folds, the minimum volume is inversely related to the corresponding Euler number of $\widetilde{X(\Delta_{2})}$ . To illustrate this, in Figure 8(b), we plot the inverse of the minimum volume $1/V(b_{i}^{*};Y)$ against the Euler number. By doing so, we note that for 5 toric Calabi-Yau 3-folds, the inverse of the minimum volume is exactly the corresponding Euler number.

A closer look reveals that these 5 toric Calabi-Yau $3$ -folds are all Abelian orbifolds of $\mathbb{C}^{3}$ . The corresponding toric diagrams are lattice triangles and are shown in Figure 9. We note, from Figure 1, that the number of (extremal) vertices of the 16 reflexives range from 3 to 6 and the ones with 3 vertices all correspond to ${\cal X}$ being Abelian orbifolds of $\mathbb{C}^{3}$ . For reference, we include the 16 volume functions as well as their critical points and values in Appendix B, Table 4.

Indeed, this is true in general.

Theorem 5.2

For ${\cal X}$ being an Abelian orbifold of $\mathbb{C}^{n}$ whose toric diagram is a reflexive polytope, the minimum volume and the Euler number are related by

[TABLE]

Proof

We recall from (4.51) that the volume of the sphere $S^{2n-1}$ is $\text{vol}[S^{2n-1}]=\frac{2\pi}{(n-1)!}$ and that the minimal volume of the Sasaki-Einstein base $Y$ of ${\cal X}$ is defined as $V(b_{i}^{*};{\cal X})\equiv\frac{\text{vol}[Y]}{\text{vol}[S^{2n-1}]}$ , normalized by $\text{vol}[S^{2n+1}]$ . In particular, if $Y$ is the sphere $S^{2n-1}$ itself, the normalized volume

[TABLE]

since $\mathbb{C}^{n}$ is the real cone over $S^{2n-1}$ (recall that in our convention, we write $V(b;{\cal X})$ and $V(b;Y)$ inter-changeably).

Moreover, when one takes an Abelian orbifold of the form $\mathbb{C}^{n}/\Gamma$ , where the order is $|\Gamma|$ , the volume for $S^{2n-1}/\Gamma$ becomes, by construction,

[TABLE]

where in the last step, we have used (5.3).

Now, under orbifolding, while the volume of the sphere decreases by a factor of $|\Gamma|$ as above, it is a standard fact of toric geometry [52] that the $n$ -dimensional volume of the convex lattice polytope $\Delta_{n}$ that represent the toric diagram of ${\cal X}$ increases by a factor of $|\Gamma|$ . One can see this, for example, from the toric diagram of $\mathbb{C}^{3}$ versus that of $\mathbb{C}^{3}/\mathbb{Z}_{3}$ . On the other hand, because our FRS triangulation ensures each simplex to be unit volume for the sake of smoothness, the scaling factor $\Gamma$ of the toric diagram is precisely the number $d_{n-1}$ of top-dimensional cones, which we recall from (3.11), is the Euler number:

[TABLE]

Combing (5.4) and (5.5) thus gives $1/V(b_{i}^{*};\mathbb{C}^{n}/\Gamma)=\chi(\widetilde{X(\Delta_{n-1})})$ , as required.

5.1.2 Calabi-Yau 4-fold Cones

The observations made for reflexive toric Calabi-Yau 3-folds can be extended for toric Calabi-Yau 4-folds ${\cal X}$ whose toric diagrams are reflexive polyhedra. As stated in Table 2, there are 4319 reflexive polytopes $\Delta_{3}$ , with number of vertices in the range of 4 to 14. We computed all minimized volumes and topological quantities for these Calabi-Yau 4-folds. The volume minima plotted against the Euler number of the corresponding toric varieties is shown in Figure 10(a). In comparison, Figure 10(b) shows the inverse volume against the Euler number. We can clearly see that for a subset of reflexive toric Calabi-Yau 4-folds, the reciprocal minimum volume is exactly the corresponding integer Euler number.

As discussed in Theorem 5.2, Abelian orbifolds of $\mathbb{C}^{4}$ , of which there are 48 out of the 4319, have toric diagrams which are lattice tetrahedra with 4 external vertices. For these, the reciprocal of the minimum volume of the Sasaki-Einstein 7-manifold is exactly the same as the corresponding integer Euler number of the toric variety. For reference, we include the 48 volume functions as well as their critical points and values in Appendix C, Tables 5 and 6. Figure 11 shows a selection of 9 of the 48 toric diagrams of these toric Calabi-Yau 4-folds.

5.1.3 Calabi-Yau 5-fold Cones and a General Bound

A similar conclusion can be given for toric Calabi-Yau 5-folds. As outlined in §2.2, there are 473,800,776 reflexive polytopes $\Delta_{4}$ each corresponding to a toric Calabi-Yau 5-fold. It is clearly impossible to compute the minimum volume of each of them at this stage, but, led by the results for toric Calabi-Yau 3-fold and 4-folds, we were able to make selective computations. From the enormous list we take a sample of about 1000 reflexive $\Delta_{4}$ , making sure that we cover examples for all cases of the number of vertices, which range from 5 to 33, to avoid statistical bias.

For example, a selection (there is a total of 1561 which have 5 vertices, corresponding to our orbifolds) of Abelian orbifolds of $\mathbb{C}^{5}$ indeed confirms that the relationship $1/V(b_{i}^{*};Y)=\chi(\widetilde{X(\Delta)})$ holds for reflexive Abelian orbifolds. Furthermore, for a selection of reflexive toric Calabi-Yau 5-folds that are not Abelian orbifolds of $\mathbb{C}^{5}$ , it was shown that $1/V(b_{i}^{*};Y)\neq\chi(\widetilde{X(\Delta)})$ . The data is shown in Figure 12.

5.2 Bounds on Minimum Volume

As observed in the previous section, the minimum volume of the Sasaki-Einstein base of reflexive toric Calabi-Yau $3$ , $4$ and $5$ -folds seems to form a bound when the Calabi-Yau is an Abelian orbifold of $\mathbb{C}^{n}$ . We therefore conjecture that,

Conjecture 5.3

For toric Calabi-Yau $n$ -folds ${\cal X}$ with a toric diagram $\Delta_{n-1}$ , the minimum volume $V(b_{i}^{*};Y)$ of the Sasaki-Einstein base $Y$ has a lower bound:

[TABLE]

where $\chi(\widetilde{X(\Delta_{n-1})})$ is the Euler number of the completely resolved toric variety $\widetilde{X(\Delta_{n-1})}$ . The bound is saturated when ${\cal X}$ is an Abelian orbifold of $\mathbb{C}^{n}$ .

We remark that this conjecture is expected to hold for any toric Calabi-Yau $n$ -fold, not just for the ones which have a reflexive polytope as their toric diagram.

5.2.1 Identifying the Maximum

The question arises whether there are any further bounds that can be identified for the minimum volume $V(b_{i}^{*};Y)$ , especially for the class of toric Calabi-Yau $n$ -folds whose toric diagram is a reflexive polytope. We draw $V(b_{i}^{*};Y)\chi(\widetilde{X(\Delta)})$ versus $\chi(\widetilde{X(\Delta)})$ in parts (a) and (b) in Figure 13 for all our reflexive toric Calabi-Yau 3-folds and 4-folds, respectively.

These plots respectively show $V(b_{i}^{*};Y)$ and $1/V(b_{i}^{*};Y)$ against $V(b_{i}^{*};Y)\chi(\widetilde{X(\Delta)})$ . An interesting observation from these plots is that specific values of the product $V(b_{i}^{*};Y)\chi(\widetilde{X(\Delta)})$ reach a maximum value.

For reflexive toric Calabi-Yau 3-folds, the maximum for $V(b_{i}^{*};X)\chi(\widetilde{X(\Delta)})$ is uniquely attained, as can be seen from part (a) of Figure 13. The minimum horizontal straight-line at the bottom of the plot corresponds to the 5 Abelian orbifolds of $\mathbb{C}^{3}$ with reflexive toric diagrams. We have been able to identify the unique maximum for $V(b_{i}^{*};X)\chi(\widetilde{X(\Delta)})$ and the associated ${\cal X}$ corresponds to the cone over $\text{dP}_{3}$ , the del Pezzo surface of degree 6 which is $\mathbb{P}^{2}$ blown up at 3 generic points. The corresponding toric diagram is shown in Figure 14 and the minimum volume and Euler number are

[TABLE]

giving us

[TABLE]

For reflexive toric Calabi-Yau 4-folds, the maximum value for $V(b_{i}^{*};Y)\chi(\widetilde{X(\Delta_{3})})$ is not unique. There are two out of the 4319 reflexive toric Calabi-Yau 4-folds, which we will call ${\cal X}_{1530}$ and ${\cal X}_{2356}$ ,666As always, the subscripts in ${\cal X}_{1530}$ and ${\cal X}_{2356}$ refer to the ordering in the SAGE [56] database for reflexive toric Calabi-Yau 4-folds. that have the largest value for $V(b_{i}^{*};X)\chi(\widetilde{X(\Delta)})$ . We show the corresponding toric diagrams in Figure 15.

The minimum volumes and Euler numbers are

[TABLE]

both giving us that

[TABLE]

We currently do not have the computational power to address the maximal situation for $\Delta_{4}$ , but at least we see that the toric diagrams for $\mathcal{C}(\text{dP}_{3})$ , ${\cal X}_{1530}$ and ${\cal X}_{2356}$ , which are shown in Figures 14 and 15, have hexagons in all their hyperplanes slices. This signifies that they are dP3 fibrations. Moreover, the maximum value for $V(b_{i}^{*};Y)\chi(\widetilde{X(\Delta)})$ seems to increase in dimension. We speculate that while the minimum value of $V(b_{i}^{*};Y)\chi(\widetilde{X(\Delta_{n})})$ is 1 and is attained by Abelian orbifolds of $\mathbb{C}^{n+1}$ ,

Conjecture 5.4

The maximum value for $V(b_{i}^{*};Y)\chi(\widetilde{X(\Delta_{n-1})})$ for reflexive toric Calabi-Yau $n$ -folds is attained by various (not necessarily uniquely) dP3 fibrations.

The maximum value $V(b_{i}^{*};Y)\chi(\widetilde{X(\Delta_{n-1})})$ is characteristic to the set of toric Calabi-Yau $n$ -folds with reflexive polytopes as toric diagrams. Its existence for this set of Calabi-Yau $n$ -folds is an incentive for us to identify the profile of the envelope in Figure 13 as well as in plots of the Euler number against the inverse minimum volume in Figures 8, 10 and 12. We leave this to appendix D.1.

In the hope to identify other bounds of the minimum volume, we move on to the next section where we identify the relationship between the minimum volume and other topological quantities of the toric variety – the Chern Numbers.

5.2.2 Minimum Volume and Chern Numbers

Let us continue our study to see how $V(b_{i}^{*};Y)$ behaves relative to the other topological quantities. For $n=3$ , we recall from Proposition 3.10 that in addition to $\chi$ , there is the Chern number $C=\int c_{1}(\widetilde{X(\Delta_{2})})^{2}$ . We plot $C$ against both $V(b_{i}^{*};Y)$ and its reciprocal in parts (a) and (b) of Figure 16. Again, the 5 orange points in Figure 16 are the 5 Abelian orbifolds of $\mathbb{C}^{3}$ . However, there appears to be a straight-line upper bound for the value of $V(b_{i}^{*};Y)$ , which we numerically identify to be

[TABLE]

To gain more confidence in this observation, we move on to the 3-dimensional reflexive polytopes and the corresponding toric Calabi-Yau 4-folds. Here, as discussed in Proposition 3.11, there is the non-trivial topological invariant $C=\int c_{1}(\widetilde{X(\Delta_{2})})^{3}$ . We plot $C$ against both $V(b_{i}^{*};Y)$ and its reciprocal in parts (a) and (b) of Figure 17. Again, the 48 orange points in Figure 17 are the Abelian orbifolds of $\mathbb{C}^{4}$ , which are sprinkled throughout the plot. However, there again appears to be a straight-line upper bound on the value of $V(b_{i}^{*};Y)$ , which we numerically find to be

[TABLE]

We summarize the linear fits of the upper bound for $V(b_{i}^{*};Y)$ in appendix D.2. These curious observations, fortified by the abundance of our data, leads us to speculate that indeed while $\chi$ determines a lower bound to $V(b_{i}^{*};Y)$ , the Chern number $\int c_{1}^{n}$ determines an upper bound to $V(b_{i}^{*};Y)$ . We note that this observed upper bound of $V(b_{i}^{*};Y)$ is specific to the class of reflexive toric Calabi-Yau $n$ -folds, which we are studying in this paper. As a result, we conjecture

Conjecture 5.5

For toric Calabi-Yau $n$ -folds ${\cal X}$ with the toric diagram being a reflexive polytope $\Delta_{n-1}$ , the minimum volume $V(b_{i}^{*};Y)$ of the Sasaki-Einstein base Y lies between the following two bounds,

[TABLE]

where $m_{3}\sim 3^{-3}$ and $m_{4}\sim 4^{-4}$ (in particular $m_{n}>m_{n+1}$ ). We note that the lower bound is universal for all toric varieties whereas the upper bound with gradient $m_{n}\in\mathbb{R}$ is a feature of toric varieties originating from reflexive polytopes.

We emphasize that the lower bound on the minimum volume $V(b_{i}^{*};Y)$ is conjectured to be universal for any toric Calabi-Yau $n$ -fold. The lower bound is saturated when the toric Calabi-Yau $n$ -fold is an Abelian orbifold of $\mathbb{C}^{n}$ as discussed in §5.2.

Following section §4.4.2, for $4d$ $\mathcal{N}=1$ worldvolume theories of probe D3-branes at Calabi-Yau 3-folds singularities, via the AdS/CFT correspondence the minimum volume of the base Sasaki-Einstein manifold $Y$ is inversely proportional to the maximum of the central charge $a$ -function of the theory. Using (4.60), we can therefore rewrite the bound on the normalized minimum volume $V(b_{i}^{*};Y)$ in (5.13) as a bound on the normalized $a$ -function $A(R;Y)$ ,

[TABLE]

where $m_{3}\sim 3^{-3}$ . The upper bound on $A(R_{i}^{*};Y)$ is universal for all $4d$ $\mathcal{N}=1$ theories that are worldvolume theories of D3-branes probing toric Calabi-Yau 3-folds, whereas the lower bound is specific to toric Calabi-Yau 3-folds whose toric diagram is a reflexive polygon.777We note that a similar bound on $a$ was introduced in [91] which agrees with our bounds in (5.14).

The volume bound for Sasaki-Einstein 7-manifolds can be interpreted as a bound on the free energy $F$ of $3d$ $\mathcal{N}=2$ superconformal Chern-Simons matter theories living on the worldvolume of a stack of $N$ M2-branes at Calabi-Yau 4-fold singularities. As reviewed in section §4.4.3, the free energy of the $3d$ theory is related in the large $N$ limit to the volume of the Sasaki-Einstein 7-base of the toric Calabi-Yau 4-fold. We rewrite (4.37) to define a normalized free energy

[TABLE]

Then the volume bounds in (5.13) can be written as

[TABLE]

where $m_{4}\sim 4^{-4}$ .

6 Discussions

Our work establishes the first comprehensive study of volume minima for large classes of toric Calabi-Yau cones and their Sasaki-Einstein bases in different dimensions. We have computed the volume minima corresponding to the 16 toric Calabi-Yau 3-folds, 4319 toric Calabi-Yau 4-folds and a subset of the 473,800,776 toric Calabi-Yau 5-folds whose toric diagrams are given by reflexive lattice polytopes $\Delta_{n}$ . The volume minima were then plotted against topological quantities such as the Chern number $\int c_{1}(\widetilde{X(\Delta_{n})})^{n-1}$ and Euler number $\chi(\widetilde{X(\Delta_{n-1})})$ of the corresponding toric variety $\widetilde{X(\Delta_{n-1})}$ . By doing so, we have been able to identify bounds on the minimum volume in terms of these topological quantities. In particular, we have shown that the lower bound of the volume is set by the Euler number $\chi(\widetilde{X(\Delta_{n-1})})$ and the upper bound is determined by the Chern number $\int c_{1}(\widetilde{X(\Delta_{n})})^{n-1}$ of the associated toric Calabi-Yau $n$ -fold. We have noted that the upper bound on the volume is valid for toric varieties coming from reflexive polytopes in dimensions up to $n=4$ and expect it to continue to hold for higher dimensions.

Both volume bounds are expected to hold for toric Calabi-Yau $n$ -folds derived from reflexive polytopes in $n-1$ dimensions. Via the AdS/CFT correspondence, these volume bounds can be interpreted as bounds on the central charge $a$ of $4d$ $\mathcal{N}=1$ superconformal gauge theories on D3-branes probing a toric Calabi-Yau 3-fold. Similarly, we believe that the volume bound in $n=3$ can be interpreted as a bound on the free energy $F$ of a $3d$ $\mathcal{N}=2$ superconformal Chern-Simons matter theory on M2-branes probing a toric Calabi-Yau 4-fold. We also expect that these volume bounds in $n=3$ and $n=4$ will give future insights into $2d$ $(0,2)$ theories on D1-branes probing toric Calabi-Yau 4-folds and $0d$ $\mathcal{N}=1$ supersymmetric matrix models on $D(-1)$ -branes probing toric Calabi-Yau 5-folds.

Although not all volume minima for the 473,800,776 toric Calabi-Yau 5-folds were found for this paper, our results represent the largest collection of volume minima for toric Calabi-Yau $n$ -folds to date. We plan to extend this collection of volume minima to all 473,800,776 toric Calabi-Yau 5-folds and to higher dimensional Calabi-Yau manifolds. Furthermore, in future work, we hope to extend our analysis to non-reflexive (i.e., having more than 1 single internal point) and even non-toric Calabi-Yau cones and to compute the volume minima for the corresponding base manifolds.

With this paper we intend to initiate a new program on studying volume minima for Calabi-Yau manifolds in different dimensions with the hope to reveal new insights on the dynamics of supersymmetric gauge theories as well as the topology and geometry of Calabi-Yau and Sasaki-Einstein manifolds

Acknowledgments

We would like to thank Guido Festuccia, Sebastian Franco, Amihay Hanany, Sangmin Lee, Wenbin Yan and Cumrun Vafa for enjoyable discussions. We are grateful to Ross Altman for help on fast triangulations in SAGE. R.-K. S. is supported by the ERC STG grant 639220. Y.-H. H. would like to thank the Science and Technology Facilities Council, UK, for grant ST/J00037X/1, the Chinese Ministry of Education, for a Chang-Jiang Chair Professorship at NanKai University as well as the City of Tian-Jin for a Qian-Ren Scholarship, and Merton College, Oxford, for her enduring support. The work of S.-T. Y. is supported by NSF grant DMS-1159412, NSF grant PHY-0937443, and NSF grant DMS-0804454.

Appendix A Algorithmic Implementations

In this appendix, let us briefly discuss the actualities of the requisite computations. Fortunately, reflexive polytopes in dimensions 2 and 3 are built into SAGE [56] (dimension 4 is much more extensive and is still an on-going project [12, 11]). There are two methods in SAGE in constructing toric varieties from reflexive polytopes: (1) CPRFanoToricVariety() and (2) ToricVariety(). The first is tailored for crepant partial resolutions of Fano toric varieties, which precisely correspond to our reflexive polytopes [49]. In particular, the module performs simplicial resolution of the polytope (with the CPRFanoToricVariety(Delta_polar = $\Delta$ , make_simplicial = True) option) rather efficiently. This, as we learnt from Theorem 2.3, suffices to resolve the singularities of our Fano toric variety $X(\Delta)$ up to orbifold singularities and subsequently we can compute the orbifold Euler number in $\mathbb{Q}$ .

On the other hand, method (2) deals with the more general situation, but requires, when a complete smoothing is needed, an FRS triangulation [11] of $\Delta$ , which is implemented in SAGE (using its ‘topcom’ package) by

PointConfiguration( $\Delta$ ).restrict_to_fine_triangulations(). restrict_to_regular_triangulations().

restrict_to_star_triangulations(origin).triangulate().

The result is a complex $n$ -fold, endowed with all the advantages of being compact and smooth. The downside, as imaginable, is that this FRS triangulation is very expensive algorithmically.

To circumvent this problem, we use the trick used by [10, 78] which takes advantage of the fact that a reflexive polytope has only a single interior lattice point. Thus, one removes this point, which is the origin by convention, and performs FRS triangulation to the boundary lattice points (essentially a problem of one dimension less). Then one manually adds lines from the various boundaries triangles to the origin, forming the necessary face cones. This algorithm usually is many orders of magnitude faster than a naive FRS triangulation.

Finally, as discussed in the text, our concept of regularity is more stringent than the one in [11] and in the SAGE implementation. This is because what is needed in the latter is to ensure the smoothness of the Calabi-Yau hypersurface in $X(\Delta)$ in a so-called MPCP (maximal projective crepant partial) resolution. In addition, we consider only triangulations with simplices of unit volume (determinant = $\pm 1$ ).

Appendix B Minimum Volumes for Reflexive CY3

In this section, we give the volume functions of all 16 Calabi-Yau 3-folds corresponding to the reflexive polygons. Numbers 1,2,7,13,16 are the 5 Abelian orbifolds of $\mathbb{C}^{3}$ , while numbers 1,3,4,6,10 correspond to the 5 smooth bases, viz., the del Pezzo surfaces. In the case of number 5, $b_{1}^{*}$ and $b_{2}^{*}$ are the roots of

[TABLE]

and the final minimized volume $V(b_{i}^{*};Y)$ is the unique positive root of

[TABLE]

In the case of number 11, $b_{1}^{*}$ and $b_{2}^{*}$ are the roots of

[TABLE]

and $V(b_{i}^{*};Y)$ is the unique positive root of

[TABLE]

In the case of number 12, $b_{1}^{*}=b_{2}^{*}$ are roots of

[TABLE]

and $V(b_{i}^{*};Y)$ is the unique positive root of

[TABLE]

Quadratic Irrationals and Quasi-Regulars.

The minimum volumes $V(b_{i}^{*};Y)$ of Sasaki-Einstein manifolds $Y$ are known to be algebraic. When in particular, they are quadratic irrationals (i.e., of the form $a+b\sqrt{c}$ with $a,b\in\mathbb{Q}$ and $c\in\mathbb{N}$ ) [19], we call the Sasaki-Einstein manifolds quasi-regular and when further $V(b_{i}^{*};Y)\in\mathbb{Q}$ , $Y$ is called regular.

In the case of Sasaki-Einstein 5-manifolds related to reflexive toric Calabi-Yau 3-folds, we can compute the volumes exactly as summarized above. Therefore, we can identify precisely which cases refer to quasi-regular Sasaki-Einstein manifolds as highlighted in Figure 18.

Appendix C Minimum Volumes for Abelian Orbifolds of $\mathbb{C}^{4}$

In this section, we list the minimum for all the volume functions for the 48 Abelian orbifolds of $\mathbb{C}^{4}$ corresponding to reflexive polyhedra $\Delta_{3}$ . The Reeb vector is here $(b_{1},b_{2},b_{3},b_{4})$ with $b_{4}$ set to 4.

Appendix D Enveloping Curves for $V(b_{i}^{*};Y)$

In this section, we numerically fit for the enveloping shape for the minimal volume $V(b_{i}^{*};Y)$ with respect to the topological quantities we have discussed in section §3.

D.1 Envelop for $V(b_{i}^{*};Y)\chi(\widetilde{X(\Delta)})$

In Figure 19, we present the plots of $1/V(b_{i}^{*};Y)$ against $\chi(\widetilde{X(\Delta)})$ for Calabi-Yau cones ${\cal X}$ of dimension 3 and 4. The orange line represents where $1/V(b_{i}^{*};Y)=\chi(\widetilde{X(\Delta)})$ corresponding to Abelian orbifolds. We fit the lower enveloping curve in blue.

D.2 Maximum of $V(b_{i}^{*};Y)$

In Figure 20, we plot the minimum volume $V(b_{i}^{*};Y)$ against the Chern numbers $\int_{\widetilde{X(\Delta)}}c_{1}^{n}({\widetilde{X(\Delta_{n})}})$ for $n=2,3$ , corresponding to Calabi-Yau cones of dimension 3 and 4. We fit the top envelop, which appears to be a straight line.

Appendix E Dual Reflexive Polytopes

As discussed in section §2.1, reflexive polytopes $\Delta_{n}$ have dual polytopes $\Delta_{n}^{\circ}$ that are also lattice polytopes. Some reflexive polytopes are self-dual. In the case of the 16 $n=2$ reflexive polygons there are 5 self-dual polytopes while in the case of the 4319 $n=3$ reflexive polytopes there are 79 polytopes which are self-dual.

In Figure 21 and Figure 22, we highlight dual polytopes and self-dual polytopes while plotting different topological quantities of $\widetilde{X(\Delta_{n})}$ against the minimum volume.

Bibliography91

The reference list from the paper itself. Each links out to its DOI / PubMed record.

1[1] V. V. Batyrev, Toroidal fano 3-folds , Mathematics of the USSR-Izvestiya 19 (1982) 13.
2[2] V. V. Batyrev and L. A. Borisov, On Calabi-Yau complete intersections in toric varieties , alg-geom/9412017 .
3[3] M. Kreuzer and H. Skarke, On the classification of reflexive polyhedra , Commun. Math. Phys. 185 (1997) 495–508 , [ hep-th/9512204 ]. · doi ↗
4[4] M. Kreuzer and H. Skarke, Classification of reflexive polyhedra in three-dimensions , Adv. Theor. Math. Phys. 2 (1998) 847–864, [ hep-th/9805190 ].
5[5] M. Kreuzer and H. Skarke, Complete classification of reflexive polyhedra in four-dimensions , Adv. Theor. Math. Phys. 4 (2002) 1209–1230, [ hep-th/0002240 ].
6[6] M. Kreuzer and H. Skarke, PALP: A Package for analyzing lattice polytopes with applications to toric geometry , Comput. Phys. Commun. 157 (2004) 87–106 , [ math/0204356 ]. · doi ↗
7[7] V. V. Batyrev, Dual polyhedra and mirror symmetry for Calabi-Yau hypersurfaces in toric varieties , J. Alg. Geom. 3 (1994) 493–545, [ alg-geom/9310003 ].
8[8] V. V. Batyrev, On the Classification of Toric Fano 4-folds , Ar Xiv Mathematics e-prints (Jan., 1998) , [ math/9801107 ].

TL;DR

Contribution

Findings

Abstract

Peer Reviews

Videos

Contents

1 Introduction

Nomenclature

2 Preliminaries

2.1 The Reflexive Polytope Δ\DeltaΔ

Definition 2.1

2.2 The Toric Variety X(Δ)X(\Delta)X(Δ)

Definition 2.2

Theorem 2.3

Theorem 2.4

2.3 Classification of Δn\Delta_{n}Δn​

2.4 Calabi-Yau Constructions

2.5 Connection to Quiver Gauge Theories

3 Topological Quantities of X(Δ)X(\Delta)X(Δ)

3.1 Triangulations and the Euler Number

Theorem 3.5

Theorem 3.6

Corollary 3.7

Remark:

Theorem 3.8** (Ehrhart)**

Corollary 3.9

3.2 Chern Numbers

3.2.1 Dimension 2: Reflexive Polygons

Proposition 3.10

3.2.2 Dimension 3: Reflexive Polyhedra

Proposition 3.11

4 Hilbert Series and Volume Functions

4.1 Hilbert series

4.1.1 Hilbert Series from Toric Geometry

Theorem 4.12

4.1.2 Hilbert Series for Cn/Zn\mathbb{C}^{n}/\mathbb{Z}_{n}Cn/Zn​

4.2 The Calabi-Yau Cone X{\cal X}X and Sasaki-Einstein Base YYY

4.3 The Volume Function

4.3.1 Volume Functions for Cn/Zn\mathbb{C}^{n}/\mathbb{Z}_{n}Cn/Zn​

4.4 Volume Minimization

4.4.1 AdS/CFT and aaa-maximization

4.4.2 Volume Minimization is aaa-maximization

4.4.3 Towards a Classification of Calabi-Yau Volumes

5 Minimum Volumes for CYn

5.1 Volume Minimum versus Topological Invariants

Lemma 5.1

5.1.1 Calabi-Yau 3-fold Cones

Theorem 5.2

5.1.2 Calabi-Yau 4-fold Cones

5.1.3 Calabi-Yau 5-fold Cones and a General Bound

5.2 Bounds on Minimum Volume

Conjecture 5.3

5.2.1 Identifying the Maximum

Conjecture 5.4

5.2.2 Minimum Volume and Chern Numbers

Conjecture 5.5

6 Discussions

Acknowledgments

Appendix A Algorithmic Implementations

Appendix B Minimum Volumes for Reflexive CY3

Quadratic Irrationals and Quasi-Regulars.

Appendix C Minimum Volumes for Abelian Orbifolds of C4\mathbb{C}^{4}C4

Appendix D Enveloping Curves for V(bi∗;Y)V(b_{i}^{*};Y)V(bi∗​;Y)

D.1 Envelop for V(bi∗;Y)χ(X(Δ)~)V(b_{i}^{*};Y)\chi(\widetilde{X(\Delta)})V(bi∗​;Y)χ(X(Δ)​)

D.2 Maximum of V(bi∗;Y)V(b_{i}^{*};Y)V(bi∗​;Y)

Appendix E Dual Reflexive Polytopes

2.1 The Reflexive Polytope $\Delta$

2.2 The Toric Variety $X(\Delta)$

2.3 Classification of $\Delta_{n}$

3 Topological Quantities of $X(\Delta)$

Theorem 3.8 (Ehrhart)

4.1.2 Hilbert Series for $\mathbb{C}^{n}/\mathbb{Z}_{n}$

4.2 The Calabi-Yau Cone ${\cal X}$ and Sasaki-Einstein Base $Y$

4.3.1 Volume Functions for $\mathbb{C}^{n}/\mathbb{Z}_{n}$

4.4.1 AdS/CFT and $a$ -maximization

4.4.2 Volume Minimization is $a$ -maximization

Appendix C Minimum Volumes for Abelian Orbifolds of $\mathbb{C}^{4}$

Appendix D Enveloping Curves for $V(b_{i}^{*};Y)$

D.1 Envelop for $V(b_{i}^{*};Y)\chi(\widetilde{X(\Delta)})$

D.2 Maximum of $V(b_{i}^{*};Y)$