Une nouvelle majoration pour le nombre de solutions d'un système d'équations polynomiales
type: Item
instance of: scholarly article
title: Une nouvelle majoration pour le nombre de solutions d'un système d'équations polynomiales
zbMATH Open document ID: 1128.14039
author: Patrice Philippon
author: Martín Sombra
published in: Comptes Rendus. Mathématique. Académie des Sciences, Paris
publication date: 2007-10-08T00:00:00Z
review text: The main object of the paper under review is a system of equations \[ f_0(\xi )=\dots =f_n(\xi)=0 \] where \(f_i\) are Laurent polynomials in \(n\) variables \(t_1,\dots ,t_n\) with coefficients in \(K[s]\), \(K\) being an algebraically closed field. The authors are interested in the number of isolated solutions \(\xi\in K\times (K^*)^n\) of this system. A classical theorem of \textit{D.~N.~Bernštein} [Funk. Anal. Appl. 9, 1--4 (1975; Zbl 0328.32001)] and \textit{A.~G.~Kušnirenko} [Invent. Math. 32, 1--31 (1976; Zbl 0328.32007)] provides an upper estimate for the number of those isolated points (counted with multiplicities) lying in the torus \((K^*)^{n+1}\) in terms of the mixed volume of \((n+1)\) Newton polytopes corresponding to the \(f_i\)'s regarded as Laurent polynomials in \((n+1)\) variables \(s, t_1, \dots , t_n\). The authors' goal is to improve on this estimate. To this end, they introduce refined combinatorial invariants associated to the system under consideration. For each Laurent polynomial \(f\) as above and each \(v\in {\mathbb P}^1\) they define the \(v\)-adic Newton polytope of \(f\) (lying in \({\mathbb R}^{n+1}\)) and the roof function of this polytope above the usual Newton polytope (lying in \({\mathbb R}^n\)); such a roof function also appears in tropical geometry. Furthermore, for any family of \((n+1)\) concave real functions defined on convex sets in \({\mathbb R}^n\) they define the mixed integral using the operation of sup-convolution (this is a generalization of the mixed volume of convex bodies, more details can be found in their earlier paper [\url{arXiv:math.NT/0406476}]). For a system given by primitive (i.e. not having constant factors in \(K[s]\)) \(f_i\)'s, the main result of the note (Theorem 1.1) states that the number of isolated solutions (counted with multiplicities) does not exceed the sum over all \(v\in {\mathbb P}^1\) of the mixed integrals of the roof functions of the \(v\)-adic Newton polytopes corresponding to the \(…
Mathematics Subject Classification ID: 14M25
Mathematics Subject Classification ID: 14G05
zbMATH DE Number: 5198203
zbMATH Keywords: Newton polytope
zbMATH Keywords: concave function
zbMATH Keywords: mixed integral
zbMATH Keywords: toric variety
reviewed by: Boris Kunyavskiĭ
MaRDI profile type: Publication
full work available at URL: j.crma.2007.07.016
OpenAlex ID: W1995507245
cites work: The number of roots of a system of equations
cites work: Q5687941
cites work: Introduction to Toric Varieties. (AM-131)
cites work: Q4293510
cites work: Polyedres de Newton et nombres de Milnor
cites work: Q4661963
cites work: HAUTEUR NORMALISÉE DES VARIÉTÉS TORIQUES PROJECTIVES
cites work: A refinement of the Bernštein-Kušnirenko estimate
cites work: Q5638112
cites work: Q3127987
cites work: Q4781203
cites work: Q4192178
DOI: 10.1016/J.CRMA.2007.07.016
description: scientific article