July 17, 2016
We explicitly characterize when the Milnor number at the origin of a polynomial or power series (over an algebraically closed field k of arbitrary characteristic) is the minimum of all polynomials with the same Newton diagram, which completes works of Kushnirenko (Invent. Math., 1976) and Wall (J. Reine Angew. Math., 1999). Given a fixed collection of n convex integral polytopes in R^n, we also give an explicit characterization of systems of n polynomials supported at these polytopes which have the maximum number (counted with multiplicity) of isolated zeroes on k^n, or more generally, on a union of torus orbits on k^n; this completes the program (undertaken by many authors including Khovanskii (Funkcional. Anal. i Prilozen, 1978), Huber and Sturmfels (Discrete Comput. Geom., 1997), Rojas (J. Pure Appl. Algebra, 1999)) of the extension to k^n of Bernstein's theorem (Funkcional. Anal. i Prilozen, 1975) on number of solutions of n polynomials on (k^*)^n. Our solutions to these two problems are connected by the computation of the intersection multiplicity at the origin of n hypersurfaces determined by n generic polynomials.
Similar papers 1
June 14, 2018
In this book we describe an approach through toric geometry to the following problem: "estimate the number (counted with appropriate multiplicity) of isolated solutions of n polynomial equations in n variables over an algebraically closed field k." The outcome of this approach is the number of solutions for "generic" systems in terms of their "Newton polytopes," and an explicit characterization of what makes a system "generic." The pioneering work in this field was done in th...
December 2, 2008
Let K(X) be the collection of all non-zero finite dimensional subspaces of rational functions on an n-dimensional irreducible variety X. For any n-tuple L_1,..., L_n in K(X), we define an intersection index [L_1,..., L_n] as the number of solutions in X of a system of equations f_1 = ... = f_n = 0 where each f_i is a generic function from the space L_i. In counting the solutions, we neglect the solutions x at which all the functions in some space L_i vanish as well as the sol...
September 20, 2007
A theorem of Kushnirenko and Bernstein shows that the number of isolated roots of a system of polynomials in a torus is bounded above by the mixed volume of the Newton polytopes of the given polynomials, and this upper bound is generically exact. We improve on this result by introducing refined combinatorial invariants of polynomials and a generalization of the mixed volume of convex bodies: the mixed integral of concave functions. The proof is based on new techniques and res...
April 8, 2005
The main results of this paper interpret mixed volumes of lattice polytopes as mixed multiplicities of ideals and mixed multiplicities of ideals as Samuel's multiplicities. In particular, we can give a purely algebraic proof of Bernstein's theorem which asserts that the number of common zeros of a system of Laurent polynomial equations in the torus is bounded above by the mixed volume of their Newton polytopes.
June 7, 2014
The problem of estimating the multiplicity of the zero of a polynomial when restricted to the trajectory of a non-singular polynomial vector field, at one or several points, has been considered by authors in several different fields. The two best (incomparable) estimates are due to Gabrielov and Nesterenko. In this paper we present a refinement of Gabrielov's method which simultaneously improves these two estimates. Moreover, we give a geometric description of the multiplic...
March 19, 2018
The purpose of this note is to give an exposition of some interesting combinatorics and convex geometry concepts that appear in algebraic geometry in relation to counting the number of solutions of a system of polynomial equations in several variables over complex numbers. The exposition is aimed for a general audience in mathematics and we hope to be accessible to undergraduate as well as advance high school students. The topics discussed belong to relatively new, and closel...
September 19, 2017
We give formulas for the multiplicity of any affine isolated zero of a generic polynomial system of n equations in n unknowns with prescribed sets of monomials. First, we consider sets of supports such that the origin is an isolated root of the corresponding generic system and prove formulas for its multiplicity. Then, we apply these formulas to solve the problem in the general case, by showing that the multiplicity of an arbitrary affine isolated zero of a generic system wit...
October 13, 2015
Let $\mathcal{A}$ be a central hyperplane arrangement in $\mathbb{C}^{n+1}$ and $H_i,i=1,2,...,d$ be the defining equations of the hyperplanes of $\mathcal{A}$. Let $f=\prod_i H_i$. There is a global Milnor fibration $F\hookrightarrow \mathbb{C}^{n+1} \setminus \mathcal{A} \xrightarrow{f} \mathbb{C}^*,$ where $F$ is called the Milnor fiber and can be identified as the affine hypersurface $f=1$ in $\mathbb{C}^{n+1}$. Many open questions have been raised subject to $F$. In pa...
October 4, 2007
The Newton polygon of the implicit equation of a rational plane curve is explicitly determined by the multiplicities of any of its parametrizations. We give an intersection-theoretical proof of this fact based on a refinement of the Kushnirenko-Bernstein theorem. We apply this result to the determination of the Newton polygon of a curve parameterized by generic Laurent polynomials or by generic rational functions, with explicit genericity conditions. We also show that the var...
June 27, 1996
Given any polynomial system with fixed monomial term structure, we give explicit formulae for the generic number of roots with specified coordinate vanishing restrictions. For the case of affine space minus an arbitrary union of coordinate hyperplanes, these formulae are also the tightest possible upper bounds on the number of isolated roots. We also characterize, in terms of sparse resultants, precisely when these upper bounds are attained. Finally, we reformulate and extend...