On the Milnor fibration for \(f(z)\bar{g}(z)\). II (Q2039824): Difference between revisions

The author discusses the existence of Milnor fibrations for real analytic functions \((\mathbb C^n,0) \to (\mathbb C,0)\) of the form \(H(z,\bar z)= f(z)\bar g(z)\) for holomorphic functions \(f\) and \(g\) in terms of their Newton polyhedra. This comprises both the \textit{spherical} Milnor fibration \[ \mathrm{arg} H : \partial B_\varepsilon \setminus \left( \partial B_\varepsilon \cap H^{-1}(\{0\}) \right) \to S^1 \subset \mathbb C^*, \quad z \mapsto \frac{H(z,\bar z)}{| H(z,\bar z)|} \] and the \textit{tubular} Milnor fibration \[ H : B_\varepsilon \cap H^{-1}(D_\delta \setminus\{0\}) \to D_\delta\setminus\{0\}, \quad z \mapsto H(z,\bar z), \] with \(B_\varepsilon\) the ball of radius \(\varepsilon\) around the origin in \(\mathbb C^n\) and \(D_\delta\) the disc of radius \(\delta\) in the codomain of \(H\) for appropriate choices of \(1\gg \varepsilon\gg \delta>0\). Note that whenever the number of variables \(n\) is greater than two, the function \(H\) necessarily has non-isolated singularity. For the case that both \(f\) and \(g\) have isolated singularity at the origin, the existence of Milnor fibrations under some further conditions was discussed in the author's previous article [J. Math. Soc. Japan 73, No. 2, 649--669 (2021; Zbl 07367893)]. In this paper, the functions \(f\) and \(g\) are allowed to have non-isolated singularities. The author introduces the notion of a \textit{locally tame non-degenerate complete intersection pair} \(\{f, g\}\) which is a technical definition in terms of the Newton diagrams of \(f\) and \(g\). He then proves that whenever such a pair satisfies the so-called \textit{toric multiplicity condition}, the critical value \(0 \in \mathbb C\) is isolated for the restriction of \(H = f \bar g\) to some sufficiently small ball \(B \subset \mathbb C^n\) and that, furthermore, the function \(H\) satisfies the Thom-\(a_f\)-condition at the origin. A criterion for the Newton diagrams of the pair \(\{f, g\}\) is given such that this toric multiplicity condition holds. Then, the above two consequences together immediately imply the existence of the tubular Milnor fibration. Finally, it is shown that under the same hypothesis as before, the spherical Milnor fibration also exists and that it is topologically equivalent to the tubular one.