Searcharxiv⌕ Search

arXiv subjects

Benjamin Nill

Publications and source records attributed to Benjamin Nill.

At least 37 records · Page 2Linked to original sources
arXiv2016

On the maximum dual volume of a canonical Fano polytope

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.

math.CO↗
arXiv2016

On Ehrhart polynomials of lattice triangles

The Ehrhart polynomial of a lattice polygon P is completely determined by the pair (b(P),i(P)) where b(P) equals the number of lattice points on the boundary and i(P) equals the number of interior lattice points. All possible pairs (b(P),i(P)) are completely described by a theorem due to Scott. In this note, we describe the shape of the set of pairs (b(T),i(T)) for lattice triangles T by finding infinitely many new Scott-type inequalities.

math.CO↗
arXiv2016

Discrete Mixed Volume and Hodge-Deligne Numbers

Generalizing the famous Bernstein-Kushnirenko Theorem, Khovanskii proved in 1978 a combinatorial formula for the arithmetic genus of the compactification of a generic complete intersection associated to a family of lattice polytopes. Recently, an analogous combinatorial formula, called the discrete mixed volume, was introduced by Bihan and shown to be nonnegative. By making a footnote of Khovanskii in his paper explicit, we interpret this invariant as the (motivic) arithmetic genus of the non-compact generic complete intersection associated to the family of lattice polytopes.

math.CO↗
arXiv2015

A bound for the splitting of smooth Fano polytopes with many vertices

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.

math.AG↗
arXiv2015

Gorenstein polytopes with trinomial $h^*$-polynomials

The characterization of lattice polytopes based upon information about their Ehrhart $h^*$-polynomials is a difficult open problem. In this paper, we finish the classification of lattice polytopes whose $h^*$-polynomials satisfy two properties: they are palindromic (so the polytope is Gorenstein) and they consist of precisely three terms. This extends the classification of Gorenstein polytopes of degree two due to Batyrev and Juny. The proof relies on the recent characterization of Batyrev and Hofscheier of empty lattice simplices whose $h^*$-polynomials have precisely two terms. Putting our theorem in perspective, we give a summary of these and other existing results in this area.

math.CO↗
arXiv2015

Minimality and mutation-equivalence of polygons

We introduce a concept of minimality for Fano polygons. We show that, up to mutation, there are only finitely many Fano polygons with given singularity content, and give an algorithm to determine the mutation-equivalence classes of such polygons. This is a key step in a program to classify orbifold del Pezzo surfaces using mirror symmetry. As an application, we classify all Fano polygons such that the corresponding toric surface is qG-deformation-equivalent to either (i) a smooth surface; or (ii) a surface with only singularities of type 1/3(1,1).

math.AG↗
arXiv2014

Largest integral simplices with one interior integral point: Solution of Hensley's conjecture and related results

For each dimension $d$, $d$-dimensional integral simplices with exactly one interior integral point have bounded volume. This was first shown by Hensley. Explicit volume bounds were determined by Hensley, Lagarias and Ziegler, Pikhurko, and Averkov. In this paper we determine the exact upper volume bound for such simplices and characterize the volume-maximizing simplices. We also determine the sharp upper bound on the coefficient of asymmetry of an integral polytope with a single interior integral point. This result confirms a conjecture of Hensley from 1983. Moreover, for an integral simplex with precisely one interior integral point, we give bounds on the volumes of its faces, the barycentric coordinates of the interior integral point and its number of integral points. Furthermore, we prove a bound on the lattice diameter of integral polytopes with a fixed number of interior integral points. The presented results have applications in toric geometry and in integer optimization.

math.CO↗
arXiv2013

The degree of point configurations: Ehrhart theory, Tverberg points and almost neighborly polytopes

The degree of a point configuration is defined as the maximal codimension of its interior faces. This concept is motivated from a corresponding Ehrhart-theoretic notion for lattice polytopes and is related to neighborly polytopes and the generalized lower bound theorem and, by Gale duality, to Tverberg theory. The main results of this paper are a complete classification of point configurations of degree 1, as well as a structure result on point configurations whose degree is less than a third of the dimension. Statements and proofs involve the novel notion of a weak Cayley decomposition, and imply that the m-core of a set S of n points in R^r is contained in the set of Tverberg points of order 3m-2(n-r) of S.

math.CO↗
arXiv2013

Few smooth d-polytopes with n lattice points

We prove that, for fixed n there exist only finitely many embeddings of Q-factorial toric varieties X into P^n that are induced by a complete linear system. The proof is based on a combinatorial result that for fixed nonnegative integers d and n, there are only finitely many smooth d-polytopes with n lattice points. We also enumerate all smooth 3-polytopes with at most 12 lattice points. In fact, it is sufficient to bound the singularities and the number of lattice points on edges to prove finiteness.

math.AG↗
arXiv2013

On smooth Gorenstein polytopes

A Gorenstein polytope of index r is a lattice polytope whose r-th dilate is a reflexive polytope. These objects are of interest in combinatorial commutative algebra and enumerative combinatorics, and play a crucial role in Batyrev's and Borisov's computation of Hodge numbers of mirror-symmetric generic Calabi-Yau complete intersections. In this paper, we report on what is known about smooth Gorenstein polytopes, i.e., Gorenstein polytopes whose normal fan is unimodular. We classify d-dimensional smooth Gorenstein polytopes with index larger than (d+3)/3. Moreover, we use a modification of Oebro's algorithm to achieve classification results for smooth Gorenstein polytopes in low dimensions. The first application of these results is a database of all toric Fano d-folds whose anticanonical divisor is divisible by an integer r larger than d-8. As a second application we verify that there are only finitely many families of Calabi-Yau complete intersections of fixed dimension that are associated to a smooth Gorenstein polytope via the Batyrev-Borisov construction.

math.CO↗
arXiv2013

On the equality case in Ehrhart's volume conjecture

Ehrhart's conjecture proposes a sharp upper bound on the volume of a convex body whose barycenter is its only interior lattice point. Recently, Berman and Berndtsson proved this conjecture for a class of rational polytopes including reflexive polytopes. In particular, they showed that the complex projective space has the maximal anticanonical degree among all toric Kaehler-Einstein Fano manifolds. In this note, we prove that projective space is the only such toric manifold with maximal degree by proving its corresponding convex-geometric statement. We also discuss a generalized version of Ehrhart's conjecture involving an invariant corresponding to the so-called greatest lower bound on the Ricci curvature.

math.CO↗
arXiv2012

Polytopes associated to Dihedral Groups

In this note we investigate the convex hull of those $n \times n$-permutation matrices that correspond to symmetries of a regular $n$-gon. We give the complete facet description. As an application, we show that this yields a Gorenstein polytope, and we determine the Ehrhart $h^*$-vector.

math.CO↗
arXiv2012

Polyhedral adjunction theory

In this paper we give a combinatorial view on the adjunction theory of toric varieties. Inspired by classical adjunction theory of polarized algebraic varieties we define two convex-geometric notions: the Q-codegree and the nef value of a rational polytope P. We define the adjoint polytope P^(s) as the set of those points in P, whose lattice distance to every facet of P is at least s. We prove a structure theorem for lattice polytopes P with high Q-codegree. If P^(s) is empty for some s < 2/(dim(P)+2), then the lattice polytope P has lattice width one. This has consequences in Ehrhart theory and on polarized toric varieties with dual defect. Moreover, we illustrate how classification results in adjunction theory can be translated into new classification results for lattice polytopes.

math.CO↗
arXiv2011

Permutation Polytopes of Cyclic Groups

We investigate the combinatorics and geometry of permutation polytopes associated to cyclic permutation groups, i.e., the convex hulls of cyclic groups of permutation matrices. We give formulas for their dimension and vertex degree. In the situation that the generator of the group consists of at most two orbits, we can give a complete combinatorial description of the associated permutation polytope. In the case of three orbits the facet structure is already quite complex. For a large class of examples we show that there exist exponentially many facets.

math.CO↗
arXiv2011

Reflexive polytopes of higher index and the number 12

We introduce reflexive polytopes of index l as a natural generalisation of the notion of a reflexive polytope of index 1. These l-reflexive polytopes also appear as dual pairs. In dimension two we show that they arise from reflexive polygons via a change of the underlying lattice. This allows us to efficiently classify all isomorphism classes of l-reflexive polygons up to index 200. As another application, we show that any reflexive polygon of arbitrary index satisfies the famous "number 12" property. This is a new, infinite class of lattice polygons possessing this property, and extends the previously known sixteen instances. The number 12 property also holds more generally for l-reflexive non-convex or self-intersecting polygonal loops. We conclude by discussing higher-dimensional examples and open questions.

math.AG↗
arXiv2011

Projecting lattice polytopes without interior lattice points

We show that up to unimodular equivalence there are only finitely many d-dimensional lattice polytopes without interior lattice points that do not admit a lattice projection onto a (d-1)-dimensional lattice polytope without interior lattice points. This was conjectured by Treutlein. As an immediate corollary, we get a short proof of a recent result of Averkov, Wagner and Weismantel, namely the finiteness of the number of maximal lattice polytopes without interior lattice points. Moreover, we show that in dimension four and higher some of these finitely many polytopes are not maximal as convex bodies without interior lattice points.

math.CO↗
arXiv2010

Examples of non-symmetric Kähler-Einstein toric Fano manifolds

In this note we report on examples of 7- and 8-dimensional toric Fano manifolds that are not symmetric and still admit a Kaehler-Einstein metric. This answers a question first posed by V.V. Batyrev and E. Selivanova. The examples were found in the classification of toric Fano manifolds up to dimension 8 obtained by M. Oebro. We also discuss related open questions and conjectures.

math.AG↗