arXiv++ Combinatorics

Let $P$ be a smooth reflexive polytope and let $Q=P^{*}$ be the dual of smooth Fano polytope. Ewald's conjecture (1988) predicts that the lattice points of $P\cap (-P)$ contain a lattice basis. In general it is not even known whether $P\cap (-P)$ contains a nonzero lattice point; we call this weakest form of the conjecture the antipodal condition. We define the unimodular defect of a finite set of lattice vectors as the least number of vectors that must be removed to leave a unimodular set, and the unimodular defect of $Q$ as that of its vertex set. Defect zero gives the unimodular smooth Fano polytopes, for which Ewald's conjecture is known. Our main result is that every smooth Fano polytope of unimodular defect at most two has a \emph{flat ridge}, a ridge $W$ with $|\det(v,W)|\leq 1$ for all vertices $v$; consequently its dual satisfies the antipodal condition. We also consider removed sets of pairwise non-adjacent vertices. Using results of Nill on independent vertices, we show that every such set has at most two elements unless $Q$ is unimodular, so the antipodal condition holds whenever such a set exists.

In this paper, we show that Oda's question holds for $n$-dimensional simplicial reflexive polytope $P$ and lattice polytope $Q$ containing the origin, when the vertex of $Q$ is either a vertex of $P$ or the origin, provided that $P$ has no more than $n+1$ lattice points on each facet and possesses unimodular triangulation. Then we prove Oda's question is true for any two facet unimodular polytopes whose matrix defining the facets has at most two non-zero entries in each row, and also true for any almost co-unimodular pair of reflexive polytopes.

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.