14.02.2013 Views

Gruber P. Convex and Discrete Geometry

Gruber P. Convex and Discrete Geometry

Gruber P. Convex and Discrete Geometry

SHOW MORE
SHOW LESS

You also want an ePaper? Increase the reach of your titles

YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.

332 <strong>Convex</strong> Polytopes<br />

(15) L(nP) = L0(P) +···+Ld(P)n d = pP(n) for n ∈ N,<br />

where pP is a polynomial of degree ≤ d. We have to show that Ld(P) = V (P).<br />

Using the formula for the calculation of Jordan measure in Sect. 7.2, it follows that<br />

�<br />

1<br />

V (P) = lim # P ∩<br />

n→∞ nd 1<br />

n Zd<br />

�<br />

1<br />

= lim<br />

n→∞ nd #(nP ∩ Zd )<br />

L(nP)<br />

= lim<br />

n→∞ nd = Ld(P).<br />

(ii) We first show that L o is a valuation on P Z d .LetQ, R ∈ P Z d be such that<br />

Q ∪ R, Q ∩ R ∈ P Z d . Considering the cases Q ⊆ R, orR ⊆ Q;dimQ = dim R =<br />

dim(Q ∩ R) + 1; dim Q = dim R = dim(Q ∩ R), it is easy to see that L o (Q ∪<br />

R) + L o (Q ∩ R) = L o (Q) + L o (R), i.e. L o is a valuation. Clearly, L o is integer<br />

unimodular invariant. Thus the theorem of Betke <strong>and</strong> Kneser implies that<br />

(16) L o (nP) =<br />

d�<br />

ai Li(nP) =<br />

i=0<br />

d�<br />

ain i Li(P) for n ∈ N<br />

i=0<br />

with suitable coefficients ai independent of P <strong>and</strong> n. In order to determine the coefficients<br />

ai take the lattice cube [0, 1] d instead of P. Then<br />

(17) L � n[0, 1] d� = (n + 1) d d�<br />

= n i<br />

� �<br />

d<br />

for n ∈ N,<br />

i<br />

(18) L o� n[0, 1] d� = (n − 1) d =<br />

i=0<br />

d�<br />

n i (−1) d−i<br />

i=0<br />

� �<br />

d<br />

for n ∈ N.<br />

i<br />

Now compare (15) <strong>and</strong> (17) <strong>and</strong> also (16) <strong>and</strong> (18) to see that ai = (−1) d−i . Thus<br />

L o d�<br />

(nP) = (−1) d−i Li(P)n i = (−1) d<br />

d�<br />

Li(P)(−n) i<br />

i=0<br />

= (−1) d pP(n) for n ∈ N<br />

by (16) <strong>and</strong> (15), concluding the proof of (ii). ⊓⊔<br />

i=0<br />

19.5 Newton Polytopes: Irreducibility of Polynomials<br />

<strong>and</strong> the Minding–Kouchnirenko–Bernstein Theorem<br />

Let p = p(x1,...,xd) be a polynomial in d variables over R, C, or some other field.<br />

Its Newton polytope N p is the convex hull of all points (u1,...,ud) ∈ Z d , such that,<br />

in p, there is a monomial of the form<br />

ax u1<br />

1 ···xud d where a �= 0.<br />

The Newton polytope N p conveys important properties of the polynomial p.Newton<br />

polytopes turned out to be of interest in algebra, algebraic geometry <strong>and</strong> numerical<br />

analysis. They constitute a bridge between convexity <strong>and</strong> algebraic geometry.

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!