arXiv++ Combinatorics

Oda asked the following prominent question in Oberwolfbach: Let $P$ be a smooth lattice polytope. Does $P$ have the integer decomposition property? We answer Oda's question in the affirmative in the special case of smooth Fano polytopes. We prove that the delta-vector of a smooth Fano polytope is unimodal and we give upper and lower bound for the volume of smooth Fano polytopes.

We classify the Fano and reflexive polytopes that arise from quasi-finite Feynman integrals. These polytopes appear as scaled Minkowski sums of the Newton polytopes associated with the Symanzik graph polynomials. For one-loop graphs and multiloop sunset graphs, we identify the Fano and reflexive cases by computing the number of interior points from the associated bivariate Ehrhart polynomials. More generally, we utilize the properties of Symanzik polynomials and their symmetries to conduct a direct search over all Feynman graphs in generic kinematics with up to ten edges and nine loops. We find that such cases are remarkably sparse: for example, we find only two two-dimensional reflexive polytopes, three three-dimensional reflexive polytopes, and four three-dimensional Fano polytopes. We also reveal a surprising feature of one-loop $N$-gon integrals in higher dimensions: their associated reflexive polytopes encode degenerate Calabi--Yau $(N-2)$-folds. We further analyze the geometric structures encoded by these polytopes and exhibit explicit connections with del Pezzo surfaces, $K3$ surfaces, and Calabi--Yau threefolds. Since reflexive polytopes naturally correspond to Calabi--Yau varieties, our classification demonstrates that quasi-finite Feynman integrals, with reflexive polytopes, are intrinsically linked to Calabi--Yau period integrals.

Smooth Fano polytopes (SFP) play an important role in toric geometry and combinatorics. In this paper, we introduce a specific subcollection of them, i.e., the unimodular smooth Fano polytopes (USFP). In Section 2, they are verified to satisfy the three (weak, strong, star) Ewald conditions. Besides, a characterisation of USFPs is provided as a corollary of the famous Seymour's decomposition theorem. Then, we briefly introduce the works by Luis Crespo on deeply monotone polytopes and give a proof of the claim that any deeply monotone polytope is in fact the dual polytope of some USFP. In other words, we extend his results on deeply monotone polytopes to the case of USFPs.

We investigate \emph{singular} symmetric and Kähler--Einstein Fano polytopes. More precisely, we show that every symmetric Fano polytope is Kähler--Einstein generalizing the work by Batyrev and Selivanova, and study the automorphism groups of symmetric and Kähler--Einstein Fano polygons in detail. In particular, every finte subgroup of $GL_2(\mathbb{Z})$ is an automorphism group of a Kähler--Einstein Fano polygon.

We introduce the notion of barycentric transformation of Fano polytopes, from which we can assign a certain type to each Fano polytope. The type can be viewed as a measure of the extent to which the given Fano polytope is close to be Kähler-Einstein. In particular, we expect that every Kähler-Einstein or symmetric Fano polytope is of type $B_\infty$. We verify this expectation for some low dimensional cases. We emphasize that for a Fano polytope $X$ of dimension $1$, $3$ or $5$, $X$ is Kähler-Einstein if and only if it is of type $B_\infty$.

This paper classifies toric Fano 3-folds with singular locus { 1/k(1,1,1) } for any positive integer k, building on the work of Batyrev and Watanabe-Watanabe. This is achieved by completing an equivalent problem in the language of Fano polytopes. Furthermore we identify birational relationships between entries of the classification. For a fixed value k>4, there are exactly two such Fano 3-folds linked by a blow-up in a torus-invariant line.

The Fine interior $Δ^{\text{FI}}$ of a $d$-dimensional lattice polytope $Δ$ is a rational subpolytope of $Δ$ which is important for constructing minimal birational models of non-degenerate hypersurfaces defined by Laurent polynomials with Newton polytope $Δ$. This paper presents some computational results on the Fine interior of all $674,\!688$ three-dimensional canonical Fano polytopes.

polyDB is a database for discrete geometric objects. The database is accessible via web and an interface from the software package polymake. It contains various datasets from the area of lattice polytopes, combinatorial polytopes, matroids and tropical geometry. In this short note we introduce the structure of the database and explain its use with a computation of the free sums and certain skew bipyramids among the class of smooth Fano polytopes in dimension up to 8.

We give an upper bound on the volume vol(P*) of a polytope P* dual to a d-dimensional lattice polytope P with exactly one interior lattice point, in each dimension d. This bound, expressed in terms of the Sylvester sequence, is sharp, and is achieved by the dual to a particular reflexive simplex. Our result implies a sharp upper bound on the volume of a d-dimensional reflexive polytope. Translated into toric geometry, this gives a sharp upper bound on the anti-canonical degree $(-K_X)^d$ of a d-dimensional toric Fano variety X with at worst canonical singularities.

We characterize building sets whose associated nonsingular projective toric varieties are Fano. Furthermore, we show that all such toric Fano varieties are obtained from smooth Fano polytopes associated to finite directed graphs.

It is known that every integral convex polytope is unimodularly equivalent to a face of some Gorenstein Fano polytope. It is then reasonable to ask whether every normal polytope is unimodularly equivalent to a face of some normal Gorenstein Fano polytope. In the present paper, it is shown that, by giving new classes of normal Gorenstein Fano polytopes, each order polytope as well as each chain polytope of dimension $d$ is unimodularly equivalent to a facet of some normal Gorenstein Fano polytopes of dimension $d + 1$. Furthermore, investigation on combinatorial properties, especially, Ehrhart polynomials and volume of these new polytopes will be achieved. Finally, some curious examples of Gorenstein Fano polytopes will be discovered.

Let $(P,\leq_P)$ and $(Q,\leq_Q)$ be finite partially ordered sets with $|P|=|Q|=d$, and $\mathcal{C}(P) \subset \mathbb{R}^d$ and $\mathcal{C}(Q) \subset \mathbb{R}^d$ their chain polytopes. The twinned chain polytope of $P$ and $Q$ is the lattice polytope $Γ(\mathcal{C}(P),\mathcal{C}(Q)) \subset \mathbb{R}^d$ which is the convex hull of $\mathcal{C}(P) \cup (-\mathcal{C}(Q))$. It is known that twinned chain polytopes are Gorenstein Fano polytopes with the integer decomposition property. In the present paper, we study combinatorial properties of twinned chain polytopes. First, we will give the formula of the volume of twinned chain polytopes in terms of the underlying partially ordered sets. Second, we will identify the facet-supporting hyperplanes of twinned chain polytopes in terms of the underlying partially ordered sets. Finally, we will provide the vertex representations of the dual polytopes of twinned chain polytopes.

The triangulations of point configurations which decompose as a free sum are classified in terms of the triangulations of the summands. The methods employ two new kinds of partially ordered sets to be associated with any triangulation of a point set with one point marked, the "web of stars" and the "stabbing poset". Triangulations of smooth Fano polytopes are discussed as a case study.

Richard Stanley introduced the order polytope $\mathcal{O}(P)$ and the chain polytope $\mathcal{C}(P)$ arising from a finite partially ordered set $P$, and showed that the Ehrhart polynomial of $\mathcal{O}(P)$ is equal to that of $\mathcal{C}(P)$. In addition, the unimodular equivalence problem of $\mathcal{O}(P)$ and $\mathcal{C}(P)$ was studied by the first author and Nan Li. In the present paper, three integral convex polytopes $Γ(\mathcal{O}(P), -\mathcal{O}(Q))$, $Γ(\mathcal{O}(P), -\mathcal{C}(Q))$ and $Γ(\mathcal{C}(P), -\mathcal{C}(Q))$, where $P$ and $Q$ are partially ordered sets with $| P | = | Q |$, will be studied. First, it will be shown that the Ehrhart polynomial of $Γ(\mathcal{O}(P), -\mathcal{C}(Q))$ coincides with that of $Γ(\mathcal{C}(P), -\mathcal{C}(Q))$. Furthermore, when $P$ and $Q$ possess a common linear extension, it will be proved that these three convex polytopes have the same Ehrhart polynomial. Second, the problem of characterizing partially ordered sets $P$ and $Q$ for which $Γ(\mathcal{O}(P), -\mathcal{O}(Q))$ or $Γ(\mathcal{O}(P), -\mathcal{C}(Q))$ or $Γ(\mathcal{C}(P), -\mathcal{C}(Q))$ is a smooth Fano polytope will be solved. Finally, when these three polytopes are smooth Fano polytopes, the unimodular equivalence problem of these three polytopes will be discussed.

The order polytope $\mathcal{O}(P)$ and the chain polytope $\mathcal{C}(P)$ associated to a partially ordered set $P$ are studied. In this paper, we introduce the convex polytope $Γ(\mathcal{O}(P), -\mathcal{C}(Q))$ which is the convex hull of $\mathcal{O}(P) \cup (-\mathcal{C}(Q))$, where both $P$ and $Q$ are partially ordered sets with $|P|=|Q|=d$. It will be shown that $Γ(\mathcal{O}(P), -\mathcal{C}(Q))$ is a normal and Gorenstein Fano polytope by using the theory of reverse lexicographic squarefree initial ideals of toric ideals.

Let $P$ and $Q$ be finite partially ordered sets on $[d] = \{1, \ldots, d\}$, and $\mathcal{O}(P) \subset \mathbb{R}^{d}$ and $\mathcal{O}(Q) \subset \mathbb{R}^{d}$ their order polytopes. The twinned order polytope of $P$ and $Q$ is the convex polytope $Δ(P,-Q) \subset \mathbb{R}^{d}$ which is the convex hull of $\mathcal{O}(P) \cup (- \mathcal{O}(Q))$. It follows that the origin of $\mathbb{R}^{d}$ belongs to the interior of $Δ(P,-Q)$ if and only if $P$ and $Q$ possess a common linear extension. It will be proved that, when the origin of $\mathbb{R}^{d}$ belongs to the interior of $Δ(P,-Q)$, the toric ideal of $Δ(P,-Q)$ possesses a quadratic Gröbner basis with respect to a reverse lexicographic order for which the variable corresponding to the origin is smallest. Thus in particular if $P$ and $Q$ possess a common linear extension, then the twinned order polytope $Δ(P,-Q)$ is a normal Gorenstein Fano polytope.

Let $\mathcal{F}(n)$ be the set of smooth Fano $n$-polytopes up to unimocular equivalence. In this paper, we consider the F-equivalence or I-equivalence classes for $\mathcal{F}(n)$ and introduce F-isolated or I-isolated smooth Fano $n$-polytopes. First, we describe all of F-equivalence classes and I-equivalence classes for $\mathcal{F}(5)$. We also give a complete characterization of F-equivalence classes (I-equivalence classes) for smooth Fano $n$-polytopes with $n+3$ vertices and construct a family of I-isolated smooth Fano polytopes.

We give a characterizaion of Gorenstein toric Fano $n$-folds with index $n-1$, which is called Gorenstein toric Del Pezzo $n$-folds, among toric varieties. In practice, we obtain a condition for a lattice $n$-polytope to be a Gorenstein Fano polytope. In our proof, we do not use Batyrev-Juny's classification of Gorenstein Fano polytopes.

The classification of toric Fano manifolds with large Picard number corresponds to the classification of smooth Fano polytopes with large number of vertices. A smooth Fano polytope is a polytope that contains the origin in its interior such that the vertex set of each facet forms a lattice basis. Casagrande showed that any smooth $d$-dimensional Fano polytope has at most $3d$ vertices. Smooth Fano polytopes in dimension $d$ with at least $3d-2$ vertices are completely known. The main result of this paper deals with the case of $3d-k$ vertices for $k$ fixed and $d$ large. It implies that there is only a finite number of isomorphism classes of toric Fano $d$-folds $X$ (for arbitrary $d$) with Picard number $2d-k$ such that $X$ is not a product of a lower-dimensional toric Fano manifold and the projective plane blown up in three torus-invariant points. This verifies the qualitative part of a conjecture in a recent paper by the first author, Joswig, and Paffenholz.

Given a Laurent polynomial f, one can form the period of f: this is a function of one complex variable that plays an important role in mirror symmetry for Fano manifolds. Mutations are a particular class of birational transformations acting on Laurent polynomials in two variables; they preserve the period and are closely connected with cluster algebras. We propose a higher-dimensional analog of mutation acting on Laurent polynomials f in n variables. In particular we give a combinatorial description of mutation acting on the Newton polytope P of f, and use this to establish many basic facts about mutations. Mutations can be understood combinatorially in terms of Minkowski rearrangements of slices of P, or in terms of piecewise-linear transformations acting on the dual polytope P^* (much like cluster transformations). Mutations map Fano polytopes to Fano polytopes, preserve the Ehrhart series of the dual polytope, and preserve the period of f. Finally we use our results to show that Minkowski polynomials, which are a family of Laurent polynomials that give mirror partners to many three-dimensional Fano manifolds, are connected by a sequence of mutations if and only if they have the same period.