Normal polytope


In mathematics, specifically in combinatorial commutative algebra, a convex lattice polytope P is called normal if it has the following property: given any positive integer n, every lattice point of the dilation nP, obtained from P by scaling its vertices by the factor n and taking the convex hull of the resulting points, can be written as the sum of exactly n lattice points in P. This property plays an important role in the theory of toric varieties, where it corresponds to projective normality of the toric variety determined by P. Normal polytopes have popularity in algebraic combinatorics. These polytopes also represent the homogeneous case of the Hilbert bases of finite positive rational cones and the connection to algebraic geometry is that they define projectively normal embeddings of toric varieties.

Definition

Let be a lattice polytope. Let denote the lattice generated by the integer points in. Letting be an arbitrary lattice point in, this can be defined as
P is integrally closed if the following condition is satisfied:
P is normal if the following condition is satisfied:
The normality property is invariant under affine-lattice isomorphisms of lattice polytopes and the integrally closed property is invariant under an affine change of coordinates. Note sometimes in combinatorial literature the difference between normal and integrally closed is blurred.

Examples

The simplex in Rk with the vertices at the origin and along the unit coordinate vectors is normal. unimodular simplices are the smallest polytope in the world of normal polytopes. After unimodular simplices, lattice parallelepipeds are the simplest normal polytopes.
For any lattice polytope P and, cP is normal.
All polygons or two-dimensional polytopes are normal.
If A is a totally unimodular matrix, then the convex hull of the column vectors in A is a normal polytope.
The Birkhoff polytope is normal. This can easily be proved using Hall's marriage theorem.
In fact, the Birkhoff polytope is compressed, which is a much stronger statement.
All order polytopes are known to be compressed. This implies that these polytopes are normal.

Properties

;Proposition:
P ⊂ ℝd a lattice polytope. Let C=ℝ+ ⊂ ℝd+1 the following are equivalent:
  1. P is normal.
  2. The Hilbert basis of C ∩ ℤd+1 = ∩ ℤd+1
Conversely, for a full dimensional rational pointed cone C⊂ℝd if the Hilbert basis of C∩ℤd is in a hyperplane H ⊂ ℝd. Then CH is a normal polytope of dimension d − 1.

Relation to normal monoids

Any cancellative commutative monoid M can be embedded into an abelian group. More precisely, the canonical map from M into its Grothendieck group K is an embedding. Define the normalization of M to be the set
where nx here means x added to itself n times. If M is equal to its normalization, then we say that M is a normal monoid. For example, the monoid Nn consisting of n-tuples of natural numbers is a normal monoid, with the Grothendieck group Zn.
For a polytope PRk, lift P into Rk+1 so that it lies in the hyperplane xk+1 = 1, and let C be the set of all linear combinations with nonnegative coefficients of points in. Then C is a convex cone,
If P is a convex lattice polytope, then it follows from Gordan's lemma that the intersection of C with the lattice Zk+1 is a finitely generated monoid. One can prove that P is a normal polytope if and only if this monoid is normal.

Open problem

Oda's question: Are all smooth polytopes integrally closed?
A lattice polytope is smooth if the primitive edge vectors at every vertex of the polytope define a part of a basis of ℤd. So far, every smooth polytope that has been found has a regular unimodular triangulation. It is known that up to trivial equivalences, there are only a finite number of smooth d-dimensional polytopes with lattice points, for each natural number n and d.