1: %Ch3.tex
2: %
3: % These are the notes from Lecture 2 of my IHP course
4: %
5: % Frank Sottile
6: % 24 October 2005
7: % Muenchen
8: %
9: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
10: %
11: \chapter{Sparse Polynomial Systems} \label{Ch:sparse}
12: %\Red{{Tuesday, November 15, 10:45--12:15}}
13: %
14: %\Magenta{find a way to cite the book GKZ}
15: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
16: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
17: %
18: %\section*{Introduction}
19: %
20: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
21: Consider a system of $n$ polynomials in $n$ variables
22: %
23: \begin{equation}\label{E3:PolySystem}
24: f_1(x_1,\dotsc,x_n)\ =\ f_2(x_1,\dotsc,x_n)\ =\
25: \dotsb\ =\ f_n(x_1,\dotsc,x_n)\ =\ 0\,,
26: \end{equation}
27: %
28: where the polynomial $f_i$ has total degree $d_i$.
29: By B\'ezout's Theorem~\cite{Bez}, this system has
30: at most $d_1 d_2\dotsb d_n$ isolated complex solutions, and exactly that number if the
31: polynomials are generic among all polynomials with the given degrees.
32:
33: Polynomials in nature (e.g.~from applications) are
34: not necessarily generic---they often have some additional structure which we
35: would like our count of solutions to reflect.
36:
37: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
38: \begin{ex}\label{E3:sparse}
39: Consider the system of two polynomials in the variables $x$ and $y$
40: \[
41: f\ :=\ x^2y+2xy^2+xy-1\ =\ 0
42: \quad\mbox{and}\quad
43: g\ :=\ x^2y-xy^2-xy+2\ =\ 0\,.
44: \]
45: Since these equations have the algebraic consequences,
46: %
47: \begin{eqnarray*}
48: f\cdot(y-x+1) + g\cdot(x+2y+1)& = & 3 y + 3 x + 1\,,\qquad\mbox{ and}\\
49: f\cdot(3y^3-3xy^2+5y^2-2xy+2y-3)\qquad\qquad&&\\
50: +\ g\cdot(6y^3+3xy^2+7y^2+2xy+2y+3)& =& 9y^3+9y^2+2y+9\,,
51: \end{eqnarray*}
52: %
53: we see that the system has three solutions.
54: (The linear consequence allows us to recover $f$ and $g$ from the cubic
55: in $y$.)
56:
57: Both polynomials $f$ and $g$ have degree three, but they only have three common solutions,
58: which is fewer than the nine predicted by B\'ezout's Theorem.
59: The key idea behind this deficit of $6=9-3$ is illustrated by plotting the exponent
60: vectors of monomials which occur in the polynomials $f$ and $g$.
61: %
62: \begin{equation}\label{E3:triangle}
63: \begin{minipage}{3cm}
64: %
65: \begin{eqnarray*}
66: x^2y&\leftrightarrow&(2,1)\\
67: xy^2&\leftrightarrow&(1,2)\\
68: xy&\leftrightarrow&(1,1)\\
69: 1&\leftrightarrow&(0,0)\\\ \\
70: \end{eqnarray*}
71: %
72: \end{minipage}\qquad\qquad
73: \raisebox{-49pt}{
74: \begin{picture}(115,115)(0,-3)
75: \put( 0, 0){\includegraphics{figures/3/Ex.1.eps}}
76: \put(38,-3){$1$} \put(0,37){$1$}
77: \put(68,-3){$2$} \put(0,67){$2$}
78: \put(98,-3){$3$} \put(0,97){$3$}
79: \end{picture}}
80: \end{equation}
81: %
82: The \DeCo{{\sl Newton polytope}} of $f$ (and of $g$) is the convex hull of these
83: exponent vectors.
84: This triangle has area $\frac{3}{2}$ and is covered
85: by \DeCo{three} lattice triangles.
86: We will see why this number of lattice triangles equals the number of
87: solutions to the original system. \QED
88: \end{ex}
89: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
90:
91:
92: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
93: %
94: \section{Kushnirenko's Theorem}
95: %
96: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
97: The polynomial system in Example~\ref{E3:sparse} is a sparse system
98: whose support is the set of integer points in the triangle of~\eqref{E3:triangle}.
99: Let $\DeCo{\calA}\subset\Z^n$ be a finite set of exponent vectors which affinely spans
100: $\R^n$.
101: A \DeCo{{\sl sparse polynomial}} $f$ with \DeCo{{\sl support}} $\calA$
102: is a linear combination
103: \[
104: f\ =\ \sum_{a\in\calA} c_a x^a\qquad c_a\in\R
105: \]
106: of monomials from $\calA$.
107: Let $\Delta_\calA\subset\R^n$ be the convex hull of the vectors in $\calA$.
108: Let $\DeCo{\T}:=\C^\times:=\C-\{0\}$ be the algebraic torus.
109: We recall Kushnirenko's Theorem from Chapter~1.\medskip
110:
111:
112: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
113: \noindent{\bf Kushnirenko's Theorem.}
114: {\it
115: A system~\eqref{E3:PolySystem} of $n$ polynomials in $n$ variables
116: with common support $\calA$ has at most $n!\vol(\Delta_\calA)$ isolated
117: solutions in $\T^n$, and exactly this number if the polynomials are generic
118: given their support $\calA$.
119: }\medskip
120: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
121:
122: We will give two proofs of this result, one using algebraic geometry that is due to
123: Khovanskii and another which is algorithmic.
124: Each proof introduces some important geometry related to sparse systems of polynomials.
125:
126: It is worth remarking that while sparse polynomials occur naturally---multilinear or
127: multihomogeneous polynomials are an example---they also occur in problem formulations due
128: to human psychology.
129: Most of us are unable to write down or reason with polynomials having thousands of terms,
130: and we instead seek problem formulations with fewer terms.
131:
132:
133: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
134: %
135: \subsection{The geometry of sparse polynomial systems}\label{S3:sparse}
136: %
137: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
138: Consider the map
139: \[
140: \DeCo{\varphi_{\calA}}\ \colon\ \T^n\ni x\
141: \longmapsto\ [x^a\mid a\in \calA]\ \in\ \P^{\calA}\,,
142: \]
143: where \DeCo{$\P^{\calA}$} is the projective space with homogeneous coordinates
144: $[z_a\mid a\in\calA]$ indexed by $\calA$.
145: This map factors
146: \[
147: \T^n\ \longrightarrow\ \T^\calA\ \joinrel\relbar\twoheadrightarrow\
148: \T^\calA/\delta(\T)\ \subset\ \P^{\calA}\,,
149: \]
150: where $\DeCo{\T^\calA}=(\C^\times)^{|\calA|}$ is the torus with coordinates indexed
151: by $\calA$ and \DeCo{$\delta(\T)\subset\T^\calA$} is the diagonal torus.
152: The quotient \DeCo{$\T^\calA/\delta(\T)$} is the dense torus in the projective space
153: $\P^\calA$.
154: It consists of those points $[z_a\mid a\in\calA]\in\P^\calA$ with no coordinate zero.
155: Notice that $\varphi_\calA$ is a homomorphism into this dense torus.
156: It is often convenient to identify $\calA$ with the $n\times|\calA|$ matrix whose columns
157: are the exponent vectors in $\calA$.
158:
159:
160: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
161: \begin{ex}\label{E3:Hex1}
162: Suppose that $\calA$ consists of the seven exponent vectors
163: $(0,0)$, $(1,0)$, $(0,1)$, $(1,1)$, $(-1,0)$, $(0,-1)$, and
164: $(-1,-1)$.
165: Here is the corresponding matrix,
166: \[
167: \left(\begin{array}{rrrrrrr}
168: 0&1&1&0&-1&-1& 0\\
169: 0&0&1&1& 0&-1&-1\end{array}\right)\,.
170: \]
171: The convex hull $\Delta_\calA$ of these points is the hexagon,
172: \[
173: \begin{picture}(122,122)(0,0)
174: \put( 0, 0){\includegraphics[height=122.5pt]{figures/3/hexagon.eps}}
175: \put(98.5,42){$1$} \put(46.8,96){$1$}
176: \put(68.4,18.6){$-1$} \put(8,72){$-1$}
177: \end{picture}
178: %
179: \]
180: and the map $\varphi_\calA$ is
181: \[
182: \varphi_\calA\ \colon (x,y)\in \T^2\
183: \longmapsto\
184: [1,x,y,xy,x^{-1},y^{-1},x^{-1}y^{-1}]\in\P^\calA\ =\ \P^6\,.
185: \makebox[.1in][l]{\hspace{1.8cm}\raisebox{-2pt}{\includegraphics[height=12pt]{figures/HSBC.eps}}}
186: \]
187: \end{ex}
188: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
189:
190: Consider a linear form $\Lambda$ on $\P^\calA$,
191: \[
192: \Lambda\ =\ \sum_{a\in\calA} c_a z_a\,.
193: \]
194: Its pullback $\varphi^*_{\calA}(\Lambda)$
195: along $\varphi_{\calA}$ is a polynomial with support $\calA$,
196: \[
197: \varphi^*_{\calA}(\Lambda)\ =\
198: \sum_{a\in\calA} c_a x^a\,.
199: \]
200:
201: This provides a bijective correspondence between linear forms
202: on $\P^{\calA}$ and sparse polynomials with support $\calA$.
203: Under $\varphi_{\calA}$, the zero set of a sparse polynomial is mapped
204: to a hyperplane section of $\varphi_\calA( \T^n)$
205: (the hyperplane is where the corresponding linear form vanishes).
206: Since $n$ general linear forms on $\P^\calA$ cut out a linear subspace $L$ of
207: codimension $n$, a general system~\eqref{E3:PolySystem} of sparse polynomials with
208: support $\calA$ is the pullback along $\varphi_{\calA}$ of a codimension $n$
209: linear section of $\varphi_{\calA}(\T^n)$.
210: That is, it equals $\varphi_{\calA}^{-1}(L)$ or
211: $\varphi_{\calA}^{-1}(\varphi(\T^n)\cap L)$.
212:
213: The closure of the image of $\varphi_\calA$
214: is the \DeCo{{\sl toric variety}}\fauxfootnote{There are competing
215: notions of toric variety. We follow the convention from symbolic
216: computation~\cite{GBCP}, rather than from algebraic geometry~\cite{Fu93}.
217: In particular, we do not assume that $X_\calA$ is normal.}
218: \DeCo{$X_\calA$} parameterized by the monomials $\calA$.
219: Since $\varphi_\calA$ is a homomorphism, the number $d_\calA$ of
220: solutions to a general sparse system with support $\calA$ is the
221: product
222: %
223: \begin{equation}\label{E3:Da_Formula}
224: d_\calA\ =\ |\ker(\varphi_\calA)|\cdot \deg(X_\calA)\ .
225: \end{equation}
226: %
227: Indeed, if $L$ is a general linear subspace of $\P^\calA$ of
228: codimension $n$, then Bertini's theorem implies that
229: $\varphi_\calA(\T^n)\cap L=X_\calA\cap L$ and this intersection is
230: transverse\fauxfootnote{This transversality will also follow from the arguments given in our
231: second proof of Kushnirenko's Theorem.}.
232: When the intersection is not transverse, $d_\calA$ will be the sum of the
233: multiplicities of the solutions.
234: The number of points in such a linear section is the degree \DeCo{$\deg(X_\calA)$} of
235: $X_\calA$, and each point pulls back under
236: $\varphi_\calA$ to $|\ker(\varphi_\calA)|$ solutions of the sparse
237: system corresponding to the linear section.
238:
239: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
240: %
241: \subsection{Algebraic-geometric proof of Kushnirenko's Theorem}
242: %
243: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
244: We prove Kushnirenko's Theorem by showing that
245: %
246: \[
247: n!\cdot \vol(\Delta_\calA)\ =\
248: |\ker(\varphi_\calA)|\cdot \deg(X_\calA)\ =\ d_\calA \ .
249: \]
250: This proof is due to Khovanskii~\cite{Kh95}
251: The same idea of proof is used by Khovanskii and Kaveh~\cite{KK}, where they extend the theory
252: of Newton polyhedra for functions on $\T^n$ to convex bodies associated to functions on an
253: arbitrary affine variety.
254:
255: We first determine the kernel of the map $\varphi_\calA$, which is the composition
256: %
257: \begin{eqnarray*}
258: \T^n & \longrightarrow& \T^\calA\ \longrightarrow\ \T^\calA/\delta(\T)\
259: \subset\ \P^\calA\\
260: x&\longmapsto& (x^a\mid a\in\calA)\ .
261: \end{eqnarray*}
262: %
263: To facilitate this computation, we assume that $0\in\calA$.
264: This is no loss of generality, for if $0\not\in\calA$, then we simply translate
265: $\calA$ so that one of its exponent vectors is the origin.
266: This has the effect of multiplying each point in $\varphi_\calA(\T^n)$ by a
267: scalar, and so it does not change $X_\calA$.
268: It also multiplies each polynomial in~\eqref{E3:PolySystem} by a common
269: monomial, which affects neither the solutions in $\T^n$ nor their number
270: $d_\calA$.
271: By the relation~\eqref{E3:Da_Formula}, this translation does not change the
272: cardinality of the kernel of $\varphi_\calA$.
273:
274: Suppose that $0\in\calA$.
275: Then the $z_0$-coordinate of $\varphi_\calA$ is constant ($x^0=1$) and so the map
276: which sends $x\in\T^n$ to $(x^a\mid a\in\calA)$ maps
277: $\T^n$ into $1\times\T^N\subset\T^\calA$, where $|\calA|=N+1$.
278: The composition of the two maps
279: \[
280: 1\times \T^N\ \longrightarrow\ \T^\calA\
281: \longrightarrow\ \T^\calA/\delta(\T)\ \left(\subset\ \P^\calA\right)
282: \]
283: is an isomorphism.
284: Thus it is sufficient to compute the kernel of the map
285: %
286: \begin{eqnarray*}
287: \psi_\calA\ \colon\ \T^n & \longrightarrow& \T^\calA\,,\\
288: x&\longmapsto& (x^a\mid a\in\calA)\,,
289: \end{eqnarray*}
290: %
291: when $0\in\calA$.
292:
293: Let $\Z\calA\subset\Z^n$ be the sublattice spanned by the exponent vectors in
294: $\calA$.
295: It has full rank, by our assumption that $\calA$ affinely spans $\R^n$.
296: Then the quotient $\Z^n/\Z\calA$ is a finite abelian group whose order is the
297: \DeCo{{\sl lattice index}} $[\Z^n : \Z\calA]$.
298: Its group $\Hom(\Z^n/\Z\calA,\T)$ of characters (homomorphisms to $\T$) is
299: also called its \DeCo{{\sl Pontryagin dual}}.
300: We have the sequence of abelian groups,
301: \[
302: 0\ \longrightarrow\ \Z\calA\ \longrightarrow\ \Z^n\
303: \relbar\joinrel\twoheadrightarrow\ \Z^n/\Z\calA\ \longrightarrow\ 0\,.
304: \]
305: This gives rise to the sequence of Pontryagin duals,
306: \[
307: 0\ \longrightarrow\ \Hom(\Z^n/\Z\calA, \T)\
308: \longrightarrow\ \Hom(\Z^n, \T)
309: \longrightarrow\ \Hom(\Z\calA, \T)\,,
310: \]
311: which is exact in that the image of $\Hom(\Z^n/\Z\calA, \T)$ in $\Hom(\Z^n, \T)$ is the
312: kernel of the last map.
313: If we identify $\Hom(\Z^n, \T)$ with $\T^n$, then this sequence of groups, or direct
314: calculation, shows that
315: \[
316: \Hom(\Z^n/\Z\calA, \T)\ =\
317: \{ x\in \T^n \mid x^a=1 \ \ \forall a\in\calA\}\ =\
318: \ker(\varphi_\calA)\,.
319: \]
320: Thus $\ker(\varphi_\calA)$ is the Pontryagin dual to the quotient
321: $\Z^n/\Z\calA$.
322: Since $\Z^n/\Z\calA$ is a finite abelian group, we see that
323: %
324: \begin{equation}\label{E3:kernel}
325: |\ker(\varphi_\calA)|\ =\ [\Z^n : \Z\calA]\ =\ |\Z^n/\Z\calA|\,.\medskip
326: \end{equation}
327:
328:
329: The \DeCo{{\sl Hilbert polynomial} $h_X(d)$} a projective variety $X$ is the
330: polynomial which is eventually equal to the dimension of the
331: $d$th graded piece of the homogeneous coordinate ring $\C[X]$ of $X$,
332: \[
333: h_X(d)\ =\ \dim_\C \C_d[X]\,, \mbox{ for all $d$ sufficiently large.}
334: \]
335: The Hilbert polynomial contains many numerical invariants of $X$.
336: For example, the degree of the Hilbert polynomial is the dimension $n$ of $X$
337: and its leading coefficient is~$\deg(X)/n!$.
338: For a discussion of Hilbert polynomials, see Section 9.3 of~\cite{CLO}.
339:
340: We determine the Hilbert polynomial of the toric variety $X_\calA$.
341: For this, it is helpful to consider the homogeneous version of the
342: parametrization map $\varphi_\calA$.
343: We lift $\calA\subset\Z^n$ to a homogenized set of exponent
344: vectors $\calA^+\subset 1\times\Z^n$ by prepending a component of $1$ to each
345: vector in $\calA$.
346: That is,
347: \[
348: \DeCo{\calA^+}\ :=\ \{(1,a)\mid a\in\calA\}\,.
349: \]
350: The matrix $A^+$ is obtained from the matrix $A$ by
351: adding a new first row of 1s.
352: For the hexagon of Example~\ref{E3:Hex1}, this is
353: %
354: \[
355: \calA^+\ =\ \left(\begin{array}{ccccrrr}1&1&1&1&1&1&1\\
356: 0&1&1&0&-1&-1&0\\
357: 0&0&1&1&0&-1&-1\end{array}\right)\ .
358: \]
359: %
360: Here is the lifted hexagon, where the first coordinate is vertical.
361: \[
362: \includegraphics[height=3cm]{figures/3/hexLift.eps}
363: \]
364:
365: The map $\varphi_{\calA^+}$ on $\T^n$ has the same image
366: in $\P^\calA$ as does $\varphi_\calA$.
367: The advantage is that the image of the map $\varphi_{\calA^+}$ in $\C^\calA$ is
368: stable under multiplication by scalars---this is built into it via the new first
369: coordinate of $\calA^+$.
370: If we let $t$ be the first coordinate of $\T^{1+n}$, then
371: the pullback of the coordinate ring of $\P^\calA$ to the ring of Laurent
372: polynomials (the coordinate ring of $\T^{1+n}$) is
373: \[
374: \DeCo{S_\calA}\ :=\ \C[t x^a\mid a\in\calA]\ \simeq\ \C[\N\calA^+]\,.
375: \]
376: This is also the homogeneous coordinate ring of the toric variety
377: $X_\calA=\overline{\varphi_\calA(\T^{1+n})}$ (the closure taken in $\P^\calA$).
378:
379: The grading on $S_\calA$ is given by the
380: exponent of the variable $t$.
381: It follows that the $d$th graded piece of $S_\calA$ has a basis of monomials
382: \[
383: \{ t^d\cdot x^a\mid a\in d\calA\}\,,
384: \]
385: where \DeCo{$d\calA$} is the set of $d$-fold sums of vectors in $\calA$.
386: This is just the set of integer points in $d\Delta_\calA$ which lie in the
387: nonnegative integer span $\N\calA$ of $\calA$.
388: If we let $H_\calA(d)$ be the dimension of the $d$th graded piece of the
389: homogeneous coordinate ring of $X_\calA$ (also called the
390: \DeCo{{\sl Hilbert function}} of $X_\calA$), then these
391: arguments show that
392: \[
393: H_\calA(d)\ =\ |d\Delta_\calA \cap \N\calA|.
394: \]
395: We will estimate this Hilbert function, which will enable us to determine the
396: leading coefficient of the Hilbert polynomial, as the Hilbert function and Hilbert
397: polynomial agree for $d$ sufficiently large.
398:
399: Let $\Lambda\simeq\Z^n$ be a lattice in $\R^n$ and $\Delta$ be a polytope with
400: vertices in $\Lambda$.
401: Ehrhart~\cite{Eh62} showed that the counting function
402: \[
403: P_\Delta\ \colon\ \N\ni d\ \longmapsto \ |d\Delta\cap\Lambda|
404: \]
405: for the points of $\Lambda$ contained in positive integer multiples of the polytope
406: $\Delta$ is a polynomial in $d$.
407: This polynomial is called the \DeCo{{\sl Ehrhart polynomial}} of the
408: polytope $\Delta$, and its degree is the dimension of the affine span of
409: $\Delta$.
410: When $\Delta$ has dimension $n$, its leading coefficient is the volume of
411: $\Delta$, normalized so that a fundamental domain of the lattice $\Lambda$ has
412: volume 1.
413: That is, it is the Euclidean volume divided by the lattice index $[\Z^n : \Z\calA]$.
414: When $\Lambda=\Z^n$, this is the ordinary Euclidean volume of $\Delta$.
415:
416: Now suppose that $\Delta=\Delta_\calA$, the convex hull of $\calA$.
417: Since $d\calA\subset d\Delta_\calA\cap \Z\calA$, if $\Lambda=\Z\calA$, we have
418: %
419: \begin{equation}\label{Eq3:Hilbert_compare}
420: P_{\Delta_\calA}(d)\ \geq\ H_{\calA}(d)\,.
421: \end{equation}
422: %
423:
424: We give a lower bound for $H_{\calA}(d)$.
425: Let $\calB$ be the points $b$ in $\Z\calA$ which may be written as
426: \[
427: b\ =\ \sum_{a\in\calA} c_a a\,,
428: \]
429: where $c_a$ is a rational number in $[0,1)$.
430: Fix an expression for each $b\in\calB$ as an integer linear combination of
431: elements of $\calA$, and let $-N$ with $N\geq 0$ be an integer lower bound for the
432: coefficients in these expressions for the finitely many elements of $\calB$.
433:
434: For $d\geq N|\calA|$ we claim that translation by the vector
435: $N\sum_{a\in\calA}a$ defines a map
436: \[
437: \Z\calA\cap (d- N|\calA|)\Delta_\calA
438: \ \longrightarrow\ \N\calA \cap d\Delta_\calA\,.
439: \]
440: Indeed, a point $v\in \Z\calA\cap (d-N|\calA|)\Delta_\calA$ is a nonnegative
441: rational combination of the vectors in $\calA$.
442: Taking fractional parts gives $v=b+c$, where $b\in\calB$ and $c\in \N\calA$.
443: Adding $N\sum_{a\in\calA}a$ to the fixed integral expression of $b$ gives a
444: positive integral expression, which proves the claim.
445: This shows that
446: \[
447: H_{\calA}(d)\ \geq\
448: P_{\Delta_\calA}(d-N|\calA|)\,.
449: \]
450: If we combine this estimate with~\eqref{Eq3:Hilbert_compare}, and use the result that the
451: Hilbert function equals the Hilbert polynomial for $d$
452: large enough, then we have shown that the Hilbert polynomial $h_{\calA}$
453: of $X_\calA$ has the same degree and leading coefficient as the Ehrhart
454: polynomial $P_{\Delta_\calA}$.
455:
456: Thus the Hilbert polynomial has degree $n$ and its leading coefficient is
457: $\vol(\Delta_\calA)/[\Z^n\colon \Z\calA]$, which is the normalized volume of the polytope
458: $\Delta_\calA$ with respect to the lattice $\Z\calA$.
459: We conclude that the degree of $X_\calA$ is
460: \[
461: n!\; \frac{\vol(\Delta_\calA)}{[\Z^n\colon \Z\calA]}\,.
462: \]
463:
464: Recall~\eqref{E3:kernel} that the kernel of $\varphi_\calA$ has order
465: $[\Z^n\colon \Z\calA]$.
466: Then the formula~\eqref{E3:Da_Formula} for the number $d_\calA$ of solutions to a
467: sparse system~\eqref{E3:PolySystem} with support $\calA$ becomes
468: \[
469: d_\calA\ =\ |\ker(\varphi_\calA)|\cdot \deg(X_\calA)\ =\
470: [\Z^n\colon \Z\calA]\cdot n!\;\frac{\vol(\Delta_\calA)}{[\Z^n\colon \Z\calA]}
471: \ =\ n!\, \vol(\Delta_\calA)\,,
472: \]
473: which proves Kushnirenko's Theorem.\QED
474:
475: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
476: %
477: \section{Algorithmic proof of Kushnirenko's Theorem}
478: %
479: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
480:
481: We present a second proof of Kushnirenko's Theorem
482: whose advantage is that it introduces more geometry connected to toric varieties
483: (which will be useful in subsequent chapters), in particular, the proof uses
484: \DeCo{{\sl toric degenerations}} (sometimes called Gr\"obner degenerations).
485: These toric degenerations underlie the method of Viro~\cite{Viro,St94b}, which is
486: important for many constructions in real algebraic geometry.
487: We first analyze the simplest case of Kushnirenko's Theorem---when $|\calA|=n+1$.
488:
489: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
490: %
491: \subsection{Kushnirenko's Theorem for a simplex}\label{S3:simplex}
492: %
493: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
494: Suppose that $|\calA|=n+1$ so that $\Delta_\calA$ is a simplex with vertices
495: $\calA$.
496: Then $X_\calA = \P^n=\P^\calA$.
497: As we saw, the solutions to any sparse system~\eqref{E3:PolySystem} with support $\calA$
498: have the form $\varphi_\calA^{-1}(L)$, where $L\subset\P^n$ is the codimension-$n$ plane
499: cut out by the linear forms which define the polynomials of the system.
500: In this case $L$ is simply a point $\beta\in\P^n$ (which lies in the dense torus as the
501: equations are general), and the solutions have the form $\varphi_\calA^{-1}(\beta)$.
502: Since $\varphi_\calA$ is a homomorphism to the dense torus of $\P^\calA$, these solutions
503: form a single coset of $\ker(\varphi_\calA)$.
504:
505: We may determine these solutions explicitly.
506: Assume that $0\in\calA$.
507: Since $|\calA|=n+1$, we may write the sparse system~\eqref{E3:PolySystem} as
508: %
509: \begin{equation}\label{E3:matrix_system}
510: C\cdot (x^{a_1}, x^{a_2}, \dotsc, x^{a_n})^T\ =\ b\,,
511: \end{equation}
512: %
513: where $\calA-\{0\}=\{a_1,a_2,\dotsc,a_n\}$, $C$ is the $n$ by $n$ matrix of
514: coefficients, and $b\in\C^n$.
515: If our system is generic, then $C$ is invertible and we may perform row
516: operations on $C$ and hence on the system~\eqref{E3:matrix_system} to obtain an
517: equivalent binomial system
518: \[
519: x^{a_i}\ =\ \beta_i\qquad\mbox{for }i=1,\dotsc,n\,.
520: \eqno{\eqref{E3:matrix_system}'}
521: \]
522: where $\beta_1,\dotsc,\beta_n\in\T$,
523: and so the system has the form $\varphi_\calA^{-1}(\beta)$.
524: (In fact, the requirements that $C$ be invertible and that the resulting
525: constants $\beta_i\in\T$ are the conditions for genericity of this system.)
526:
527: Let $A$ be the $n$ by $n$ matrix whose columns are the exponent vectors in
528: $\calA-\{0\}$.
529: We will see how the \DeCo{{integer linear algebra}} of the matrix
530: $A$ is used to solve the system~\eqref{E3:matrix_system}$'$.
531:
532: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
533: \begin{ex}\label{Ex3:simplex}
534: Consider the system of equations with support
535: $\calA=\{(16,14), (22,18), (0,0)\}$
536: %
537: \begin{equation}\label{Eq3:simplexEq}
538: \begin{array}{rcl}
539: 23 x^{16}y^{14}\ -\ x^{22}y^{18}& =& -27\,,\qquad\mbox{and}\\
540: 35 x^{16}y^{14}\ -\ x^{22}y^{18}& =& -9\,.\rule{0pt}{14pt}
541: \end{array}
542: \end{equation}
543: %
544: Subtracting the two equations gives the binomial,
545: \[
546: 12 x^{16}y^{14}\ =\ 36
547: \qquad\mbox{or}\qquad
548: x^{16}y^{14}\ =\ 3\,,
549: \]
550: and solving for $x^{22}y^{18}$ gives $x^{22}y^{18}=96$.
551: Thus we have the equivalent binomial system
552: %
553: \begin{equation}\label{E3:binomial_system}
554: x^{16}y^{14}\ =\ 3
555: \qquad\mbox{and}\qquad
556: x^{22}y^{18}\ =\ 96\,.
557: \end{equation}
558: %
559: Under the invertible substitution (the inverse is given by $u=x^8y^7$ and $v=(xy)^{-1}$)
560: %
561: \begin{equation}\label{E3:Coordinate_Change}
562: x\ =\ uv^7\qquad\mbox{and}\qquad y\ =\ u^{-1}v^{-8}\,,
563: \end{equation}
564: %
565: our equations become triangular
566: %
567: \begin{equation}\label{E3:triangular}
568: \begin{array}{rlll}
569: (uv^7)^{16}(u^{-1}v^{-8})^{14}& =\
570: u^{16}v^{112}u^{-14}v^{-112} & =\
571: u^2 & =\ 3\,,\quad\mbox{ and}\\
572: (uv^7)^{22}(u^{-1}v^{-8})^{18}& =\
573: u^{22}v^{154}u^{-18}v^{-144} & =\
574: u^4v^{10} & =\ 96\,.
575: \end{array}
576: \end{equation}
577: %
578: While the solution is now immediate via back substitution, we make one further
579: simplifying substitution.
580: Write $f$ for the first equation and $g$ for the second.
581: Replacing $g$ by $gf^{-2}$ yields a diagonal system
582: which is now completely trivial to solve
583: \[
584: \begin{array}{rlll}
585: f& \colon\
586: u^2 & =\ 3\,,\\
587: gf^{-2}& \colon\
588: v^{10} & =\ 32/3\,.
589: \end{array}
590: \]
591: The solutions are $u=\pm\sqrt{3}$ and $v=\zeta\sqrt{2}$, where $\zeta$ runs over
592: all 10th roots of $\frac{1}{3}$.
593: Substituting these into~\eqref{E3:Coordinate_Change}, gives the 20 solutions to our
594: original system of equations~\eqref{Eq3:simplexEq}. \smallskip\QED
595: \end{ex}
596: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
597:
598: Underlying these simplifications is the relation between the integer linear
599: algebra of $n$ by $n$ matrices and (multiplicative) coordinate changes
600: in $\T^n$.
601: Since $\T^n=\Hom(\Z^n,\T)$, its automorphism group is ${\it GL}(n,\Z)$, the
602: group of invertible $n$ by $n$ integer matrices, and this is the source of that
603: relation.
604:
605: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
606: \begin{ex}
607: The monomials in~\eqref{E3:binomial_system} correspond to the columns of the
608: matrix
609: \[
610: A\ =\ \left(\begin{matrix}16&22\\14&18\end{matrix}\right)\ ,
611: \]
612: and the coordinate change~\eqref{E3:Coordinate_Change} corresponds to
613: \DeCo{left} multiplication (hence row operations) by the matrix
614: \[
615: \left(\begin{matrix}1&-1\\7&-8\end{matrix}\right)\ .
616: \]
617: Indeed,
618: \[
619: \left(\begin{matrix}1&-1\\7&-8\end{matrix}\right)
620: \left(\begin{matrix}16&22\\14&18\end{matrix}\right)\ =\
621: \left(\begin{matrix}2&4\\0&10\end{matrix}\right)\ ,
622: \]
623: which corresponds to the exponent vectors in the triangular
624: system~\eqref{E3:triangular}.
625: This upper triangular matrix is the
626: \DeCo{{\sl Hermite normal form}} of the matrix $A$---the row reduced
627: echelon form over $\Z$.
628: This notion makes sense for matrices
629: whose entries lie in any principal ideal domain.
630:
631:
632: Multiplicative reductions using the \DeCo{equations} correspond to multiplicative
633: coordinate changes in the target torus $\T^2$ and are represented by column
634: operations, or \DeCo{right} multiplication by integer matrices.
635: Indeed
636: \[
637: \left(\begin{matrix}2&4\\0&10\end{matrix}\right)
638: \left(\begin{matrix}1&-2\\0&1\end{matrix}\right)\ =\
639: \left(\begin{matrix}2&0\\0&10\end{matrix}\right)\ ,
640: \]
641: which is the \DeCo{{\sl Smith normal form}} of the integer matrix $A$.\QED
642: \end{ex}
643: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
644:
645:
646: The Smith normal form of an $n$ by $n$ matrix $A$ is the diagonal matrix
647: with entries $d_1, d_2, \dotsc, d_n$ where $d_i$ is the greatest common divisor
648: of all $i$ by $i$ subdeterminants (minors) of $A$.
649: These are called the \DeCo{{\sl invariant factors}} of $A$, and we have
650: $d_1|d_2|\dotsb|d_n$.
651: Then
652: \[
653: \Z^n/\Z\calA\ \simeq\
654: \Z/d_1\Z\, \times \,\Z/d_2\Z\, \times\, \dotsb\,\times\,\Z/d_n\Z \,,
655: \]
656: the canonical way to write a finite abelian group.
657: As with the Hermite normal form, the Smith normal form makes sense for
658: presentations of modules over any principal ideal domain.
659:
660: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
661: %
662: \subsection{Regular triangulations and toric degenerations}
663: %
664: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
665:
666: Let $\omega\colon\calA\to \N$.
667: This is a weight for $\T$ acting diagonally on the space $\C^\calA$,
668: if $z=(z_a\mid a\in\calA)\in\C^\calA$, then $t.z=(t^{\omega(a)}z_a\mid a\in\calA)$.
669: This induces a similar action on $\P^\calA$, and a dual action on the
670: homogeneous coordinate ring $\C[z_a\mid a\in \calA]$ of $\P^\calA$, namely
671: \[
672: t.z_a\ =\ t^{-\omega(a)}z_a\quad\mbox{ for a}\in \calA\,,
673: \]
674: where $z_a$ is a variable (coordinate function on $\C^\calA$).
675: Let $\calX_\calA\subset \C\times\P^\calA$ be the closure of the family over
676: $\T$ of deformations of the toric variety $X_\calA$ under this action,
677: \[
678: \DeCo{\calX_\calA}\ :=\
679: \overline{\{(t,\,t.z)\subset \C\times \P^\calA\mid t\in\T\,,\ z\in X_\calA\}}\ .
680: \]
681: This is a \DeCo{flat family} over $\C$~\cite[Ch.~15]{E95}.
682: (This technical fact implies that all fibers have the
683: same Hilbert polynomial.)
684: The fiber of $\calX_\calA$ over a point $t\in\T$ is the translated toric variety
685: $t.X_\calA$, and the fiber over $0\in\C$ is called the \DeCo{{\sl
686: scheme-theoretic limit}} of the family $t.X_\calA$, which is written
687: %
688: \[
689: \lim_{t\to 0} t. X_\calA\,.
690: \]
691: %
692: We use geometric combinatorics to study this limit.
693: The passage from $X_\calA$ to such a scheme-theoretic limit of an action of $\T$
694: is a \DeCo{{\sl toric degeneration}}.
695:
696: We may also use the weight $\omega\colon\calA\to \N$ to lift the vector configuration
697: $\calA$ into $\R^{1+n}$.
698: Consider the convex hull $P_\omega$ in $\R^{1+n}$ of the lifted vectors
699: %
700: \begin{equation}\label{Eq3:Lifted}
701: \DeCo{P_\omega}\ :=\ \conv\{(w(a),a)\, \mid\, a\in\calA\}\,.
702: \end{equation}
703: %
704: The \DeCo{{\sl lower facets}} of this polytope are those facets of $P_\omega$ whose
705: outward-pointing normal vector has a negative first coordinate.
706: Projecting these lower facets back to $\R^n$ gives the facets in the
707: \DeCo{{\sl regular polyhedral subdivision $\Delta_\omega$}} of
708: the convex hull of $\calA$ induced by the lifting function $\omega$.
709: The vertices in this subdivision are \DeCo{some} of the vectors in $\calA$.
710: While much of the following makes sense for general polyhedral subdivisions, we
711: shall henceforth assume that $\Delta_\omega$ is a \DeCo{{\sl triangulation}}
712: in that each lower facet is a simplex.
713: (This is a mild genericity assumption on $\omega$.)
714: We display the lower facets and the resulting triangulation $\Delta_\omega$ for a weight
715: function $\omega$ on where $\calA=\{(0,0),(1,0),(0,1),(2,0),(1,1),(0,2)\}$.
716: \[
717: \includegraphics[height=140pt]{figures/3/Triangulation.eps}
718: \]
719:
720: Exponent vectors $\alpha$ of monomials in the coordinate ring
721: $\C[z_a\mid a\in\calA]$ of $\P^\calA$ are elements of $\N^\calA$, and
722: $\omega$ induces a linear form on $\N^\calA$,
723: \[
724: \DeCo{\omega\cdot\alpha}\ :=\ \omega\cdot (\alpha_a\mid a\in\calA)\ =\
725: \sum_{a\in\calA}\omega(a)\alpha_a\ .
726: \]
727:
728: The \DeCo{{\sl initial form} $\ini_\omega(g)$} of a
729: homogeneous form $g(z)\in\C[z_a\mid a\in\calA]$
730: is the sum of the terms $c_\alpha z^\alpha$ of $g$
731: for which $\omega\cdot\alpha$ is maximal among all terms of $g$.
732: Let $\omega(g)$ be this maximal value.
733: Multiplying $t.g$ by $t^{\omega(g)}$ we see that
734: %
735: \[
736: t^{\omega(g)}(t. g(z))\ =\ \ini_{\omega}g(z)\ +\ h\,,
737: \]
738: %
739: where $h$ is divisible by $t$.
740: Thus
741: %
742: \[
743: \lim_{t\to 0}\,t^{\omega(g)}(t. g(z))\ =\ \ini_{\omega}g(z)\,.
744: \]
745: %
746:
747: Write $I_\calA$ for the ideal defining $X_\calA$.
748: (This {\DeCo{\it toric ideal}} has a linear basis of
749: binomials $z^\alpha-z^\beta$
750: such that $A^+\alpha=A^+\beta$, where $A$ is the matrix whose columns are the
751: exponent vectors in $\calA^+$~\cite[Lemma 4.1]{GBCP}.)
752: These binomials have the following geometric interpretation.
753: The product $A^+\alpha$ is a positive linear combination of the vectors in $\calA^+$,
754: so binomials $z^\alpha-z^\beta$ in $I_\calA$ record vectors in $\N\calA$ that have
755: two distinct representations as positive linear combinations of the vectors in $\calA^+$.
756: If we divide by the the initial coordinate of the vector $A^+\alpha$, we obtain a vector
757: of the form $(1,x)$, where $x$ is a rational point lying in the convex hull of $\calA$.
758: When $A^+\alpha=A^+\beta$, this pont $x$ has two distinct rational representations as a
759: convex combination of elements of $\calA$.
760: Thus $x$ lies in the convex hulls of two different subsets of $\calA$.
761: Conversely, any such point gives rise to a binomial $z^\alpha-z^\beta\in I_\calA$.
762:
763: When $\omega\cdot\alpha>\omega\cdot\beta$, then $z^\alpha$ is the initial term
764: $\ini_\omega(z^\alpha-z^\beta)$.
765: The \DeCo{{\sl initial ideal}} of $I_\calA$ is
766: \[
767: \DeCo{\ini_\omega(I_\calA)}\ =\
768: \{ \ini_\omega(g)\mid g\in I_\calA\}\,.
769: \]
770: Since the ideal $I(t. X_\calA)$ of $t. X_\calA$ is
771: \[
772: I(t. X_\calA)\ =\ \left\{ t. g(y) \mid g\in I(X_\calA)\right\}
773: \ =\ t.I_\calA\,,
774: \]
775: we see that
776: \[
777: \lim_{t\to 0} t.I_\calA\ =\ \ini_\omega(I_\calA)\,.
778: \]
779: Thus this initial ideal is the ideal of the scheme-theoretic limit of the
780: family $t.X_\calA$.
781:
782:
783: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
784: %
785: \subsection{Kushnirenko's Theorem via toric degenerations}
786: %
787: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
788:
789: Since the family ${\mathcal X}_\calA\to \C$ is flat, every fiber has
790: the same degree, and so Kushnirenko's Theorem follows if we can prove that the
791: degree of the limit scheme $\ini_\omega(X_\calA)$ is
792: $n!\vol(\Delta_\calA)$ divided by the degree $[\Z^n\colon \Z\calA]$ of
793: $\varphi_\calA$.
794: It is proved in Chapter 8 of~\cite{GBCP} that
795: %
796: \begin{equation}\label{E3:rad_decomp}
797: \sqrt{\ini_\omega(I_\calA)\,}\ =\
798: \bigcap_{\tau} \langle z_a\ \mid\ a\not\in\tau \rangle\ ,
799: \end{equation}
800: %
801: the intersection over all facet $n$-simplices $\tau$ of the regular
802: triangulation of $\Delta_\calA$.
803: This result is not so hard.
804: If the segment $\overline{ab}$ for $a,b\in\calA$ is not a face of the triangulation
805: $\Delta_\omega$, then it crosses a minimal face conv$(\tau)$ of the triangulation.
806: This implies that there is a binomial $z_a^Nz_b^M-z^\gamma$, where
807: $M,N$ are positive integers and the monomial $z^\gamma$ involves the variables in $\tau$.
808: By the construction of the triangulation $\Delta_\omega$, the
809: corresponding lifted segment $\overline{(\omega(a),a),(\omega(b),b)}$
810: of $P_\omega$ lies above the lift of the face conv$(\tau)$,
811: and thus the initial term of this binomial is $z_a^Nz_b^M$,
812: and so $z_az_b$ lies in the radical $\sqrt{\ini_\omega(I_\calA)}$ of the initial ideal.
813:
814:
815: It follows that the limit scheme $\ini_\omega(X_\calA)$ is supported on the union
816: of coordinate $n$-planes $\P^\tau$, one for each facet $n$-simplex $\tau$ of the
817: regular triangulation.
818: (Here $\P^\tau$ is the coordinate plane which is spanned by the coordinates indexed by
819: $\tau$.)
820: The degree of this initial scheme is then
821: \[
822: \deg(\ini_\omega(X_\calA))\ =\
823: \sum_\tau \mbox{\rm mult}_{\P^\tau}(\ini_\omega(X_\calA))\ ,
824: \]
825: the sum over these facets $\tau$ of the algebraic multiplicity of
826: the limit scheme $\ini_\omega(X_\calA)$ along the coordinate $n$-plane
827: $\P^\tau$.
828:
829:
830: In~\cite[Chapter 8]{GBCP}, and under the (mild) assumption that $\calA$ is
831: primitive ($\Z\calA=\Z^n$), Sturmfels shows that this multiplicity is
832: $n!\vol(\Delta_\tau)$.
833: Since these facets cover $\Delta_\calA$, the degree of the limit scheme
834: $\ini_\omega(X_\calA)$ is $n!\vol(\Delta_\calA)$.
835: As the family $\calX_\calA$ is flat, this degree is the degree of
836: $X_\calA$, and we may deduce Kushnirenko's Theorem from this.
837:
838: Before we continue, we deduce a corollary from this.
839: A triangulation of a polytope in $\R^n$ is \DeCo{{\sl unimodular}} is every facet has
840: minimal volume $1/n!$.
841:
842: \begin{cor}\label{C3:reg_triangulation}
843: Suppose that $\Delta_\omega$ is a regular unimodular triangulation.
844: Then the limit scheme of the corresponding flat toric degeneration is a union of
845: coordinate $n$-planes, one for every facet $\tau$ of $\Delta_\omega$,
846: \[
847: \lim_{t\to 0} t.x_\calA\ =\ \bigcup_{\tau\in\Delta_\omega}\P^\tau\,.
848: \]
849: \end{cor}
850:
851:
852:
853: We give a different proof which is adapted from~\cite{SS} and does not assume
854: primitivity.
855: Its limitation is that it only works over $\C$ as it uses metric properties of $\C$ and not an
856: arbitrary algebraically closed field.\smallskip
857:
858: The main idea is to fix a general linear subspace $L$ of codimension $n$
859: in $\P^\calA$ and consider the family of linear sections
860: $L\cap t.X_\calA$ of fibers of the flat family $\mathcal{X}_\calA$, for $t$ near 0.
861: This is illustrated in Figure~\ref{F:odd_even}.
862: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
863: \begin{figure}[htb]
864: \[
865: \begin{picture}(310,160)(-2,0)
866: \put(0,0){\includegraphics[width=4in]{figures/3/odd_even.eps}}
867: \put(98,150){$\P^\tau$}
868: \put(280,25){$\P^\sigma$}
869: \put(168,75){\ForestGreen{$L$}} \put(33,37){\Blue{$t.X_\calA$}}
870: \put(215,118){\Violet{$\pi_\tau^{-1}(p_\tau)$}}
871: \put(57,93){$p_\tau$} \put(70,98.3){\vector(3,1){30}}
872: \put(256,52){$p_\sigma$} \put(260,48){\vector(-1,-3){10}}
873: \end{picture}
874: \]
875: \caption{Points in $L\cap t.X_\calA$ near $\P^\tau$ for small
876: $t$.}\label{F:odd_even}
877: \end{figure}
878: %
879: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
880: The subspace $L$ will meet each facet $n$-plane $\P^\tau$ in a single point
881: $p_\tau$, and the points of $L\cap t.X_\calA$ for $t$ small will be clustered
882: near the different points $p_\tau$.
883:
884: We could determine the number of points clustered near one of the $p_\tau$, which
885: is the algebraic multiplicity, $\mbox{\rm mult}_{\P^\tau}(\ini_\omega(X_\calA))$.
886: It is in fact easier to determine the number of points in $\T^n$ of the form
887: $\varphi^{-1}_\calA(t^{-1}.x)$, for $x$ a point clustered near one of the $p_\tau$ and
888: when $t$ is small.
889: This is more direct, and it bypasses computing this algebraic multiplicity.
890: This is also where we avoid the assumption of primitivity, but must work over $\C$.
891:
892:
893: Note that in a neighborhood of $\P^\tau$, the linear space $L$ is isotopic to
894: $\pi_\tau^{-1}(p_\tau)$, which is a fiber of the coordinate projection
895: $\pi_\tau\colon \P^\calA\ - \to \P^\tau$.
896: This is a rational map not defined on the linear span of coordinates
897: $\{z_a\mid a\not\in\tau\}$.
898: It follows that the number of points in $\T^n$ coming from points in the linear
899: section $L\cap t.X_\calA$ near $p_\tau$ is
900: equal to the number of points in $\T^n$ coming from points in the linear
901: section $\pi_\tau^{-1}(p_\tau)\cap t.X_\calA$ near $p_\tau$.
902: This is simply the degree of the map which is the composition of the parametrization
903: $\varphi_\calA$ of $X_\calA$, the map $z\mapsto t.z$ on $\P^\calA$, and this
904: projection $\pi_\tau$,
905: \[
906: \T^n\ \xrightarrow{\ \varphi_\calA\ }\ X_\calA\
907: \xrightarrow{\ t\ }\ t.X_\calA\
908: \xrightarrow{\ \pi_\tau\ }\ \P^\tau\,.
909: \]
910: Since multiplication by $t$ is homotopic to the identity and it commutes with
911: the projection $\pi_\tau$, we may assume now
912: that $t=1$, and so this composition is nothing other than the
913: parametrization $\varphi_\tau$ of $\P^\tau$ by the monomials
914: corresponding to integer points of $\tau$.
915: The degree of this map is the order of the kernel of $\varphi_\tau$, which
916: is $n!\cdot\vol(\Delta_\tau)$.
917: Summing this quantity over all facets $\tau$ of the triangulation shows that
918: there are
919: \[
920: \sum_\tau n!\cdot\vol(\Delta_\tau)\ =\ n!\vol(\Delta_\calA)
921: \]
922: points in $\T^n$ which are pullbacks under $\varphi_\calA$ of the linear section
923: $L\cap{X}_\calA$.
924: This completes our algorithmic proof of Kushnirenko's Theorem.
925: \QED\medskip
926:
927: The reason that it is algorithmic is that it (more-or-less) counts the solutions
928: to the system $L\cap t.X_\calA$, for $t$ small, while also giving enough
929: information on their location and structure to determine them numerically so
930: that they may become the input to the polyhedral homotopy method~\cite{HS95,VVC94}
931: for computing the solutions at $t=1$.
932:
933: Note that this proof also shows that the intersection $X_\calA\cap L$ is transverse when
934: $L$ is general, and thus gives a proof of Bertini's Theorem in this context.
935: Since, for $t$ small, the intersection near $p_\tau$ may be deformed to the intersection
936: of $X_\calA$ with the horizontal subspaces $\pi_\tau^{-1}(p_\tau)$, and this is deformed
937: to the system $\varphi_\tau^{-1}(p_\tau)$, which consists of $n~\vol(\Delta_\tau)$
938: distinct points, the general such intersection is transverse.
939:
940:
941: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
942: %
943: \subsection{A brief aside about real solutions}
944: %
945: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
946:
947: Observe that if the triangulation $\Delta_\omega$ is
948: \DeCo{{\sl unimodular}}, in that each facet has minimal volume
949: $1/n!$, then near each point $p_\tau$ there will be exactly \Blue{one} point
950: of $L\cap t.X_\calA$ and one corresponding solution in $\T^n$.
951: If both $L$ and $t$ are real, then each $p_\tau$ and each nearby point in
952: $t.X_\calA$ will be real.
953: Since
954: \[
955: t^{-1}.(L\cap t.X_\calA)\ =\ \bigl(t^{-1}.L\bigr) \cap X_\calA\,,
956: \]
957: and the points in the left hand side are all real, so are the points in the right
958: hand side.
959: This right hand side corresponds to a system of real polynomials with support
960: $\calA$.
961: This proves a theorem of Sturmfels~\cite{St94}, and gives his argument in a
962: nutshell.\medskip
963:
964: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
965: \noindent{\bf Theorem~\ref{T1:Sturm}}\
966: {\em
967: If a lattice polytope $\Delta\subset\Z^n$ admits a regular unimodular
968: triangulation, then there exist real polynomial systems with support
969: $\Delta\cap\Z^n$ having all solutions real.
970: }\medskip
971: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
972:
973: A more careful analysis, which begins by examining real solutions when $|\calA|=n+1$,
974: leads to the more refined result for not necessarily
975: unimodular triangulations that appears in Sturmfels's paper.
976:
977: