arXiv++ Combinatorics

This is the author's Habilitation which took place at University of Essen on July 11, 1993. The manuscript contains two parts. The first one is devoted to the author's combinatorial construction of mirrors of Calabi-Yau hypersurfaces in Gorenstein toric Fano varieties. The second one contains author's results on the variation of mixed Hodge structures of affine hypersurfaces in algebraic tori and their connection to Gelfand-Kapranov-Zelevinsky theory of generalized hypergeometric functions and their applications to the mirror symmetry for Calabi-Yau hypersurfaces in toric varieties.

The Fine interior $F(P)$ of a $d$-dimensional lattice polytope $P \subset {\Bbb R}^d$ is the set of all points $y \in P$ having integral distance at least $1$ to any integral supporting hyperplane of $P$. We call a lattice polytope $F$-hollow if its Fine interior is empty. The main theorem claims that up to unimodular equivalence in each dimension $d$ there exist only finitely many $d$-dimensional $F$-hollow lattice polytopes $P$, so called {\em sporadic}, which do not admit a lattice projection onto a $k$-dimensional $F$-hollow lattice polytope $P'$ for some $1 \leq k \leq d-1$. The proof is purely combinatorial, but it is inspired by ${\Bbb Q}$-Fano fibrations in the Minimal Model Program, since we show that non-degenerate toric hypersurfaces $Z \subset ({\Bbb C}^*)^d$ defined by zeros of Laurent polynomials with a given Newton polytope $P$ have negative Kodaira dimension if and only if $P$ is $F$-hollow. The finiteness theorem for $d$-dimensional sporadic $F$-hollow Newton polytopes $P$ gives rise to finitely many families ${\mathcal F}(P)$ of $(d-1)$-dimensional ${\Bbb Q}$-Fano hypersurfaces with at worst canonical singularities.

Let $Z$ be a nondegenerate hypersurface in $d$-dimensional torus $(\mathbb{C}^*)^d$ defined by a Laurent polynomial $f$ with a $d$-dimensional Newton polytope $P$. The subset $F(P) \subset P$ consisting of all points in $P$ having integral distance at least $1$ to all integral supporting hyperplanes of $P$ is called the Fine interior of $P$. If $F(P) \neq \emptyset$ we construct a unique projective model $\widetilde{Z}$ of $Z$ having at worst canonical singularities and obtain minimal models $\hat{Z}$ of $Z$ by crepant morphisms $\hat{Z}\to \widetilde{Z}$. We show that the Kodaira dimension $κ=κ(\widetilde{Z})$ equals $\min \{ d-1, \dim F(P) \}$ and the general fibers in the Iitaka fibration of the canonical model $\widetilde{Z}$ are non\-degenerate $(d-1-κ)$-dimensional toric hypersurfaces of Kodaira dimension $0$. Using $F(P)$, we obtain a simple combinatorial formula for the intersection number $(K_{\widetilde{Z}})^{d-1}$.

Mirrors $X^{\vee}$ of quasi-smooth Calabi-Yau hypersurfaces $X$ in weighted projective spaces ${\Bbb P}(w_0, \ldots, w_d)$ can be obtained as Calabi-Yau compactifications of non-degenerate affine toric hypersurfaces defined by Laurent polynomials whose Newton polytope is the lattice simplex spanned by $d+1$ lattice vectors $v_i$ satisfying the relation $\sum_i w_i v_i =0$. In this paper, we compute the stringy $E$-function of mirrors $X^\vee$ and compare it with the Vafa's orbifold $E$-function of quasi-smooth Calabi-Yau hypersurfaces $X$. As a result, we prove the equalities of Hodge numbers $h^{p,q}_{\rm str}(X^{\vee}) = h^{d-1-p,q}_{\rm orb}(X)$ for all $p, q$ and $d$ as it is expected in mirror symmetry.

In this paper we explain the complete biregular classification of all 4-dimensional smooth toric Fano varieties. The main result states that there exist exactly 123 different types of toric Fano 4-folds up to isomorphism.