scientific article; zbMATH DE number 1130565

From MaRDI portal
Publication:4382433





A value \(a\in \mathbb{C}\) is called atypical for a polynomial mapping \(f:\mathbb{C}^n \to \mathbb{C}\) if the mapping \(f\) is not topologically trivial over any disc centred at \(a\). The author investigates here the topology of such a complex polynomial mapping which has atypical values produced by so-called `singularities at infinity'. The proposed approach relies on the study of the position of the levels of \(f\) related to the nonzero levels of functions which locally define the divisor at infinity in some fibre-compactifying extension \(((\widehat f,Y,Z)\) is called a fibre-compactifying extension of an algebraic mapping \(f:X\to \mathbb{C}\), \(X\subset \mathbb{C}^n\) being an irreducible affine variety over \(\mathbb{C}\), if \(\widehat f:Y \to\mathbb{C}\) is an algebraic proper morphism which extends \(f\) such that \(Y\times X\) is a Cartier divisor on the algebraic variety \(Y\) and \(Z\) is a smooth complex manifold containing \(Y\); \(Y\setminus X\) is denoted by \(Y^\infty\) and is called the divisor at infinity). In this idea, the \(\partial T\)-stratification (partial Thom stratification) of a \(\mathbb{K}\)-analytic space \(\chi\) \((\mathbb{K}= \mathbb{C}\) or \(\mathbb{R})\) related to a \(\mathbb{K} \)-analytic function \(g:\chi \to\mathbb{K}\) is introduced. That is a complex (resp. real) stratification \({\mathcal G}= \{{\mathcal G}_\alpha\}_{\alpha \in\Lambda}\) such that \(g^{-1} (0)\) is a union of strata and the following condition is satisfied. \((\partial a_g)\) any two strata \({\mathcal G}_\alpha\), \({\mathcal G}_\beta\), such that \({\mathcal G}_\alpha <{\mathcal G}_\beta\) in the sense that if \({\mathcal G}_\alpha \cap \overline {\mathcal G}_\beta \neq\emptyset\) then \({\mathcal G}_\alpha \subset \overline {\mathcal G}_\beta\), \({\mathcal G}_\alpha \subset g^{-1} (0)\) and \({\mathcal G}_\eta \subset \chi \setminus g^{-1} (0)\), satisfy the Thom \((a_g)\) regularity condition. The partial Thom stratification is a good enough context to prove a basic local isotopy theorem for a non proper mapping (Theorem 2.5). Also, as a byproduct, an entirely topological proof of a result due to \textit{J. Briançon}, \textit{Ph. Maisonobe} and \textit{M. Merle} on the Thom regularity condition [Invent. Math. 117, No. 3, 531-550 (1994), Théorème 4.2.1] is given. In the case that \(X\) is a smooth complex affine variety with isolated singularities, the author shows that \(\partial T\)-stratifications appear naturally at infinity and that there is a canonical \(\partial T\)-stratification at \(Y^\infty\). In Section 3, the localizability of the variation of topology of fibres is defined and, for polynomial functions with so-called isolated \({\mathcal G}\)-singularities \((f\) has isolated \({\mathcal G}\)-singularities with respect to \((\widehat f,Y,Z)\) if \(f\) has at most isolated singularities and \(\widehat f\) is transversal to \({\mathcal G}\) at all but a finite number of points of \(Y^\infty)\), \({\mathcal G}\) being a \(\partial T\)-stratification at infinity, the localizability of the variation of topology of the fibres is proved. This result is used for the proof of the existence of the local monodromy and local variation mapping of \(f\) at some isolated \({\mathcal G}\)-singularity at infinity. The singular locus of a mapping with respect to a \(\partial T\)-stratification at infinity which satisfies the Whitney \((a)\) property is defined and this notion is used to prove and apply Bertini-Sard-Lefschetz type results to this affine situation. If \(X\) is a smooth complex affine variety and \(f:X \to\mathbb{C}\) has isolated \({\mathcal G}\)-singularities, the author proves that, up to homotopy type, \(\chi\) can be built from a general fibre of \(f\) by attaching a certain number of cells, all of dimension \(\dim X\). Another interesting application of this approach is the following result: for a so-called affine local complete intersection with isolated \({\mathcal G}\)-singularities \(g:\mathbb{C}^{n+p} \to\mathbb{C}^p\) (Definition 6.1) the general fibre has the homotopy type of a bouquet of spheres. Also, a connectivity result on the fibres of any polynomial mapping \(f:\mathbb{C}^n \to\mathbb{C}\) in terms of its singularities with respect to a \(\partial T\)-stratification at \(Y^\infty\) with Whitney \((a)\) property is given.




Cited in
(26)








This page was built for publication:

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