Counting isolated points outside the image of a polynomial map

DOI10.1515/ADVGEOM-2021-0042MaRDI QIDQ2157796zbMATH OpenOpenAlexFDO

Authors Boulos El Hilany

Publication date 22 July 2022

Published in advg (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1909.08339

zbMATH Keywords

Newton polytopesJelonek setpolynomial maps on the plane

Mathematics Subject Classification ID

Toric varieties, Newton polyhedra, Okounkov bodies (14M25) Lattice polytopes in convex geometry (including relations with commutative algebra and algebraic geometry) (52B20) Rational and birational maps (14E05) Topology of real algebraic varieties (14P25) Semialgebraic sets and related spaces (14P10) Solving polynomial systems; resultants (13P15) Polynomials in real and complex fields: location of zeros (algebraic theorems) (12D10)

Abstract: We consider a generic family of polynomial maps $f:=(f_1,f_2):mathbb{C}^{2}ightarrowmathbb{C}^2$ with given supports of polynomials, and degree $d(f):=max(deg{f}_1,deg{f}_2)$. We show that the (non-) properness of maps $f$ in this family depends uniquely on the pair of supports and that the set of isolated points in $mathbb{C}^{2}setminusf(mathbb{C}^2)$ has a size of at most $6d(f)$. This improves an existing upper bound $(d(f)-1{)}^2$ proven by Jelonek. Moreover, for each $ninmathbbN$, we construct a dominant map $f$ above, with $d(f)=2n+2$, and having $2n$ isolated points in $mathbb{C}^{2}setminusf(mathbb{C}^2)$. Our proofs are constructive and can be adapted to a method for computing isolated missing points of $f$. As a byproduct, we describe those points in terms of singularities of the bifurcation set of $f$.

Recommendations

• scientific article; zbMATH DE number 1369405
• Note about the set \(S_f\) for a polynomial mapping \(f: {\mathbb{C}}^2\to {\mathbb{C}}^2\)
• The set of points at which a polynomial map is not proper
• Quantitative properties of the non-properness set of a polynomial map
• Properness of polynomial maps with Newton polyhedra

Cites work

• scientific article; zbMATH DE number 575960 (Why is no real title available?)
• scientific article; zbMATH DE number 1369405 (Why is no real title available?)
• scientific article; zbMATH DE number 236540 (Why is no real title available?)
• A note on polynomial maps having fibers of maximal dimension
• An introduction to polynomial and semi-algebraic optimization
• Asymptotic values of polynomial mappings of the real plane
• Geometry of real polynomial mappings
• Lectures on algebraic statistics
• Mixed discriminants
• Newton polyhedra of discriminants of projections
• Note about the set \(S_f\) for a polynomial mapping \(f: {\mathbb{C}}^2\to {\mathbb{C}}^2\)
• On complements of convex polyhedra as polynomial and regular images of \(\mathbb{R}^{n}\)
• On convex polyhedra as regular images of \(\mathbb R^{n}\)
• On graphs and rigidity of plane skeletal structures
• On the Newton polytope of the resultant
• On the bifurcation set of a polynomial function and Newton boundary
• On the bifurcation set of a polynomial function and Newton boundary. II
• On the one dimensional polynomial and regular images of \(\mathbb R^n\)
• On the size of the fibers of spectral maps induced by semialgebraic embeddings
• Polynomial images of \(\mathbb{R}^n\)
• Testing sets for properness of polynomial mappings
• The discriminant of a system of equations
• The number of roots of a system of equations
• The set of points at which a polynomial map is not proper

Cited in

(1)

• Surjective morphisms from affine space to its Zariski open subsets

This page was built for publication: Counting isolated points outside the image of a polynomial map

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2157796)