MathOverflow is a question and answer site for professional mathematicians. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

Hello, in G. Mikhalkin's Papaer "DECOMPOSITION INTO PAIRS-OF-PANTS FOR COMPLEX ALGEBRAIC HYPERSURFACES": There is a lemma about the relation between intersection of a hypersurface with the boundary divisors in a toric variety and the truncation of the defining polynomial of a hypersurface to some face of the newton polytope. (Lemma 2.20. Page 15).

The lemma basically says that If we take a hypersurface with newton polytope P, and consider it's closure in the projective toric variery corresponding the the lattice polytope P, then to find it's intersection with the boundary divisors, it is enough to truncate the polynomial the the corresponding face of the newton polytope and take the zeroes of the truncated polynomial.

The proof given there is a one-liner about the order of vanishing of some monomials and I don't understand why it proves the claim.

I would appreciate if someone could explain this to me.

Thank you

share|cite|improve this question
up vote 3 down vote accepted

Let's consider an example. Triangle $(0,0),(0,d),(d,0)\ $ gives us $\mathbb CP^2$ and each integer point $\{(k,l) |k,l\geq 0, k+l\leq d\}\ $ corresponds to monomial $x^ky^l$ (or $x^ky^lz^{d-k-l}$ in projective coordinates). There is the same situation for any toric variety - ring of function is generated by monomials corresponding to integer points inside the polytop $P$.

So, it is evident where is the zero set of each monomial -if a point $(k,l)$ belongs to interior of $P$ then zero set is just the union of boundary divisors. If no, for example the point is $(k,0) \to x^kz^{d-k}$, zero set is all boundary divisors without that where our point lies.

Therefore, if you truncate your polynomial, then its zero set doesn't change - throwed off monomials are equal zero on you boundry divisor.

share|cite|improve this answer

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.