arXiv++ Combinatorics

We introduce the package LatticePolytopes for Macaulay2. The package provides methods for computations related to Cayley structures, local positivity and smoothness for lattice polytopes.

The Bounded Negativity Conjecture predicts that for any smooth complex surface $X$ there exists a lower bound for the selfintersection of reduced divisors on $X$. This conjecture is open. It is also not known if the existence of such a lower bound is invariant in the birational equivalence class of $X$. In the present note we introduce certain constants $H(X)$ which measure in effect the variance of the lower bounds in the birational equivalence class of $X$. We focus on rational surfaces and relate the value of $H({\mathbb P}^2)$ to certain line arrangements. Our main result is Theorem 3.3 and the main open challenge is Problem 3.10.

The purpose of this note is to study initial sequences of zero-dimensional subschemes of Hirzebruch surfaces and classify subschemes whose initial sequence has the minimal possible growth.

We provide a complete classification up to isomorphism of all smooth convex lattice 3-polytopes with at most 16 lattice points. There exist in total 103 different polytopes meeting these criteria. Of these, 99 are strict Cayley polytopes and the remaining 4 are obtained as inverse stellar subdivisions of such polytopes. We derive a classification, up to isomorphism, of all smooth embeddings of toric threefolds in $\mathbb{P}^N$ where $N\le 15$. Again we have in total 103 such embeddings. Of these, 99 are projective bundles embedded in $\mathbb{P}^N$ and the remaining 4 are blow-ups of such toric threefolds.