|
|
| Line 1: |
Line 1: |
| 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 variety|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 protectively normal embeddings of toric varieties.
| | Friends call him Royal Cummins. I presently live in Arizona but now I'm contemplating other options. The occupation he's been occupying for many years is a messenger. To perform croquet is some thing that I've carried out for years.<br><br>Feel free to visit my webpage ... [http://www.mystic-Balls.com/UserProfile/tabid/43/userId/102653/Default.aspx www.mystic-Balls.com] |
| | |
| ==Definition==
| |
| Let ''P''⊂ℝ<sup>d</sup> be a lattice [[polytope]]. Denote the [[affine]] lattice in ℤ<sup>d</sup> generated by the lattice points in P by L:
| |
| | |
| :<math> L=v+\sum_{x,y \in P \cap \mathbb{Z}} \mathbb{Z}(x-y)\subseteq \mathbb{Z}^d</math> where v is some lattice point in P.
| |
| | |
| P is '''integrally closed''' if the following condition is satisfied:
| |
| :<math> c\in\mathbb{N}, z\in cP\cap\mathbb{Z}^d\implies \exists x_1,...,x_c\in P\cap\mathbb{Z}^d</math> such that <math> x_1+...+x_c=z</math>.
| |
| | |
| P is '''normal''' if the following condition is satisfied:
| |
| :<math> c\in \mathbb{N}, z\in cP\cap L\implies \exists x_1,...,x_c\in P\cap L</math> such that <math>x_1+..+x_c=z</math>.
| |
| | |
| The normality property is [[invariant (mathematics)|invariant]] under affine-lattice [[isomorphism]]s 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 '''R'''<sup>k</sup> with the vertices at the origin and along the unit coordinate vectors is normal. [[Unimodular simplicies]] are the smallest polytope in the world of normal polytopes. After unimodular simplicies lattice parallelepipeds are the simpliest normal polytopes.
| |
| | |
| For any lattice polytope P and {{math|c∈ℕ}}, {{math|c≥dimP-1}} cP is normal.
| |
| | |
| All [[polygons]] or two-dimensional polytopes are normal.
| |
| | |
| ==Properties==
| |
| *A lattice polytope is integrally closed if and only if it is normal and L is a direct summand of ℤ<sup>d</sup>.
| |
| *A normal polytope can be made into a full-dimensional integrally closed polytope by changing the lattice of reference from ℤ<sup>d</sup> to L and the [[ambient space|ambient]] [[Euclidean space]] ℝ<sup>d</sup> to the subspace ℝL.
| |
| *If a lattice polytope can be subdivided into normal polytopes then it is normal as well.
| |
| *If a lattice polytope in dimension d has lattice lengths greater than or equal to 4d(d+1) then the polytope is normal.
| |
| *If P is normal and φ:ℝ<sup>d</sup>→ℝ<sup>d</sup> is an affine map with φ(ℤ<sup>d</sup>)=ℤ<sup>d</sup> then φ(P) is normal.
| |
| | |
| ;Proposition:
| |
| '''P'''⊂ℝ<sup>d</sup> a lattice polytope. Let C('''P''')=ℝ<sub>+</sub>('''P''',1)⊂ℝ<sup>d+1</sup> the following are equivalent:
| |
| #'''P''' is normal.
| |
| #The [[Hilbert basis]] of C('''P''')∩ℤ<sup>d+1</sup> =('''P''',1)∩ℤ<sup>d+1</sup>
| |
| | |
| Conversely, for a full dimensional [[rational pointed cone]] '''C'''⊂ℝ<sup>d</sup> if the Hilbert basis of '''C'''∩ℤ<sup>d</sup> is in a [[hyperplane]] '''H'''⊂ℝ<sup>d</sup> (dim'''H'''=d-1). Then '''C'''∩'''H''' 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''(''M'') is an embedding. Define the '''normalization''' of ''M'' to be the set
| |
| | |
| :<math>\{ x \in K(M) \mid nx \in M,\ n\in\mathbb{N} \},</math>
| |
| | |
| 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 '''N'''<sup>n</sup> consisting of ''n''-tuples of natural numbers is a normal monoid, with the Grothendieck group '''Z'''<sup>n</sup>.
| |
| | |
| For a polytope ''P'' ⊆ '''R'''<sup>k</sup>, lift ''P'' into '''R'''<sup>k+1</sup> so that it lies in the hyperplane ''x''<sub>k+1</sub> = 1, and let ''C''(''P'') be the set of all linear combinations with nonnegative coefficients of points in (''P'',''1''). Then ''C''(''P'') is a [[convex cone]],
| |
| | |
| :<math>C(P)=\{ \lambda_1(\textbf{x}_1, 1) + \cdots + \lambda_n(\textbf{x}_n, 1) \mid \textbf{x}_i \in P,\ \lambda_i \in \mathbb{R}, \lambda_i\geq 0\}.</math> | |
| | |
| If ''P'' is a convex lattice polytope, then it follows from [[Gordan's lemma]] that the intersection of ''C''(''P'') with the lattice '''Z'''<sup>k+1</sup> is a finitely generated (commutative, cancellative) monoid. One can prove that ''P'' is a normal polytope if and only if this monoid is normal.
| |
| | |
| ==Open Problem==
| |
| 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 ℤ<sup>d</sup>. So far no smooth polytope just without a unimodular triangulation has been found.
| |
| | |
| == See also ==
| |
| * [[Convex cone]]
| |
| *[[Algebraic Geometry]]
| |
| *[[Number theory]]
| |
| *[[Ring theory]]
| |
| *[[Ehrhart series]]
| |
| *[[Rational cones]]
| |
| *[[Toric Rings]]
| |
| *[[Toric Varieties]]
| |
| | |
| == References ==
| |
| * Ezra Miller, [[Bernd Sturmfels]], ''Combinatorial commutative algebra''. Graduate Texts in Mathematics, 227. Springer-Verlag, New York, 2005. xiv+417 pp. ISBN 0-387-22356-8
| |
| * Winfried Bruns, Joseph Gubeladze, preprint. [http://math.sfsu.edu/gubeladze/publications/kripo/kripo.pdf Polytopes, rings and K-theory]
| |
| *W. Bruns, J. Gubeladze and N. V. Trung, Normal polytopes, triangulations, and Koszul algebras, J. Reine. Angew. Math. 485 (1997), 123–160.
| |
| | |
| [[Category:Polytopes]]
| |
Friends call him Royal Cummins. I presently live in Arizona but now I'm contemplating other options. The occupation he's been occupying for many years is a messenger. To perform croquet is some thing that I've carried out for years.
Feel free to visit my webpage ... www.mystic-Balls.com