Whitney theorem for complex polynomial mappings

From MaRDI portal
Publication:2193035



Abstract: We describe the topology of a general polynomial mapping F=(f,g):XoBbbC2, where X is a complex plane or a complex sphere.


For a smooth algebraic affine variety \(X^{n}\) the topology of generic polynomial mappings \(F:X\rightarrow\mathbb{C}^{m}\) with bounded degrees of its components (by \(d_{1},\ldots,d_{m}\)) is studied. The space of all such mappings is denoted by \(\Omega_{X}(d_{1},\ldots,d_{m})\). Each element \(F\in\Omega_{X}(d_{1},\ldots,d_{m})\) generates the mapping \(j^{q}(F)\) (defined by \(x\rightarrow(x,F(x),(\partial^{\alpha}F(x))_{1\leq|\alpha|\leq q})\) in local coordinates) of \(X\) into the space of \(q\)-jets \(J^{q}(X,\mathbb{C}^{m})\), and similarly the mapping \(j^{q_{1},\ldots,q_{r}}(F)\) of \(X\) into the space of multi-jets \(J^{q_{1},\ldots,q_{r}}(X,\mathbb{C}^{m})\). One of general theorems (for arbitrary \(n\) and \(m\)) is that a generic element of \(\Omega_{X}(d_{1},\ldots,d_{m})\), treated as the above mapping, is transversal to any algebraic modular submanifold of the space of multi-jets \(J^{q_{1},\ldots,q_{r}}(X,\mathbb{C}^{m})\). An effective result is that a generic element of \(\Omega_{X}(d_{1},\ldots,d_{m})\) is transversal to any smooth (locally closed) algebraic subvariety if \(d_{i}\geq\sum_{j=1}^{r}q_{j}+r-1\), \(i=1,\ldots,m\). More specific results are given in particular cases \(X=\mathbb{C}^{2}\) or \(X=\{x^{2}+y^{2}+z^{2}=1\}\subset\mathbb{C}^{3}\) and \(m=2\). The authors prove that a generic element \(\Omega_{X}(d_{1},d_{2})\) has only cusps, folds and double folds as singularities and compute the numbers of these singularities. Moreover, they describe the topology of the set of critical points \(C(F)\) of generic \(F\) and the topology of the discriminant \(\Delta(F)\) of \(F\).











This page was built for publication: Whitney theorem for complex polynomial mappings

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