Singularities of mappings on ICIS and applications to Whitney equisingularity (Q2675134)

In this paper, the authors study deformations of pairs \((X, f)\), where \(f:(X,S)\to (\mathbb{C}^p,0)\) is a germ of analytic map and \((X,S)\) is a multi-germ of complete intersection with isolated singularities with \(n = \dim X < p\). When \((n, p)\) are nice dimensions or when \(f\) has corank one, a stable perturbation of \((X, f)\) is a pair \((X_s, f_s)\), where \(X_s\) is a smoothing of \(X\) and \(f_s : X_s \to \mathbb{C}^p\) is stable in the usual sense. If \(p = n + 1\), the image \(f_s(X_s)\) has the homotopy type of a wedge of spheres and the number of such spheres is the image Milnor number \(\mu_I(X, f)\). The authors present results about deformations of pairs \((X, f)\) to apply in the study the Whitney equisingularity of families of map germs \(f_t : (\mathbb{C}^n, S) \to (\mathbb{C}^p, 0)\). They provide a minimal set of invariants which control the Whitney equisingularity of families of corank one when \(p=n+1\). The authors show that a family \(f_t : (\mathbb{C}^n, S) \to (\mathbb{C}^{n+1}, 0)\) of corank one is Whitney equisingularity if, and only if, the sequences \(\mu^{*}_{I}(f_t)\) and \(\tilde{\mu}^{*}_I(D^2(f_t), \pi)\) are constant on \(t\). Furthermore, they consider a map \(\mathcal{A}\)-finite, \(f : (\mathbb{C}^n, S) \to (\mathbb{C}^{n+1}, 0)\) with finite singularity type, and they define the double point Milnor number \(\mu_D\), this new invariant coincides with the image Milnor number of the projection \(\pi : D^2(f) \to \mathbb{C}^n\) when \(f\) has corank one.