Refinements of Milnor's fibration theorem for complex singularities (Q843231): Difference between revisions

Let \(X\) be an analytic subset of an open neighbourhood \(U\) of \(0\in\mathbb C^n\) and let \(f:(X,0)\rightarrow(\mathbb C,0)\) be a holomorphic function with a critical point at \(0\in X\). By the fundamental results of Milnor and the results of Lê, Hamm, Durfee there are famous fibration theorems for \(f:\) {\parindent=5mm \begin{itemize}\item[1.] Let \(B_\varepsilon\) be a closed ball of sufficiently small radius \(\varepsilon\) around \(0\in\mathbb C^n\) and \(S_\varepsilon=\partial B_\varepsilon\). If \(L_X= X\cap S_\varepsilon\) and \(L_f=f^{-1}(0)\cap S_\varepsilon\) are links of \(X\) and \(f\) in \(S_\varepsilon\), then \(f/|f|:L_X\setminus L_f\rightarrow S^1\) is a fibration, \item[2.] For sufficiently small \(\varepsilon\gg\eta>0\) the mapping \(f:X\cap B_\varepsilon\cap f^{-1}(\partial D_\eta)\rightarrow\partial D_\eta\) is a fibration, where \(D_\eta\) is the disc of radius \(\eta\) around \(0\in\mathbb C\). \end{itemize}} The authors improve these fibration theorems in many aspects. The main feature of these generalizations is to consider preimages \(X_\theta= f^{-1} (L_\theta)\), where \(L_\theta\) is the line through \(0\in\mathbb R^2\cong\mathbb C\) with an angle \(\theta\). For instance, they obtain the following fibration theorem: There is a commutative diagram of fibre bundles: \(\pi\circ\Phi=\Psi\), where 1. \(\Phi:(X\cap B_\varepsilon)\setminus f^{-1}(0)\rightarrow S^1\), \(\Phi(x)=\frac{f(x)}{\|f(x)\|}\); 2. \(\Psi:(X\cap B_\varepsilon)\setminus f^{-1}(0)\rightarrow\mathbb{RP}^1\), \(\Psi(x)=(\operatorname {Re}f(x):\operatorname {Im}f(x))\) with fibre \((X_\theta\cap B_\varepsilon)\setminus f^{-1}(0)\); 3. \(\pi:S^{1}\rightarrow\mathbb{RP}^1\) is the natural two-fold covering. They also give a variant of fibration theorem for real analytic maps \(f:(U,0)\rightarrow(\mathbb R^2,0)\), where \(0\in U\subset\mathbb R^{n+2}\).