The vanishing neighbourhood of non-isolated singularities (Q877477)

This article concerns the relationship between the singularities of a hypersurface inside a (singular) space \(X\subset\mathbb{C}^m\) and those of the restricted hypersurface inside \(X\cap\{l=0\}\) for a general linear function \(l\). This is a local study. Let \(F\) be the Milnor fiber of the germ \(f:(X,0)\rightarrow\mathbb{C}\) of a holomorphic function, \(F'\) the Milnor fiber of the restriction to \(X\cap\{l=0\}\). Let \(F_D\) be the inverse image under \((f,l):(X,0)\rightarrow\mathbb{C}^2\) of a small enough box in \(\mathbb{C}^2\) such that \(F=F_D\cap f^{-1}(\gamma)\), with \(\gamma\neq 0\) small. Let \(F_D'=F_D\cap l^{-1}(\nu)\), with \(\nu\neq 0\) small. The author considers the long exact sequence of the triple \((F_D,F\cup F_D',F)\). Assuming the rectified homological depth of \(X\) to be \(\geq\dim_0 X\), this long exact sequence simplifies greatly (Theorem 2.2). Assuming further that \(\dim \text{ Sing } f=1\), the author the expresses the cohomology of \(F\) in terms of the Milnor fibers of the finitely-many isolated singularities given by the restriction of \(f\) to \(F_D'\) (Corollary 3.2). Then the author shows how to recover \(F\) from \(F'\) by attaching thimbles defined by carrousel monodromy and thus generalizes a result of D. Siersma through a different proof.