The Thom Conjecture for proper polynomial mappings

Let $f,g:X \to Y$ be continuous mappings. We say that $f$ is topologically equivalent to $g$ if there exist homeomorphisms $\Phi : X\to X$ and $\Psi: Y\to Y$ such that $\Psi\circ f\circ \Phi=g.$ Let $X,Y$ be complex smooth irreducible affine varieties. We show that every algebraic family $F: M\times X\ni (m, x)\mapsto F(m, x)=f_m(x)\in Y$ of polynomial mappings contains only a finite number of topologically non-equivalent proper mappings. In particular there are only a finite number of topologically non-equivalent proper polynomial mappings $f: \Bbb C^n\to\Bbb C^m$ of bounded (algebraic) degree. This gives a positive answer to the Thom Conjecture in the case of proper polynomial mappings

Computing the Real Isolated Points of an Algebraic Hypersurface

Let $\mathbb{R}$ be the field of real numbers. We consider the problem of computing the real isolated points of a real algebraic set in $\mathbb{R}^n$ given as the vanishing set of a polynomial system. This problem plays an important role for studying rigidity properties of mechanism in material designs. In this paper, we design an algorithm which solves this problem. It is based on the computations of critical points as well as roadmaps for answering connectivity queries in real algebraic sets. This leads to a probabilistic algorithm of complexity $(nd)^{O(n\log(n))}$ for computing the real isolated points of real algebraic hypersurfaces of degree $d$. It allows us to solve in practice instances which are out of reach of the state-of-the-art.Comment: Conference paper ISSAC 202