Invariance of the Jacobian Newton diagram (Q2391608): Difference between revisions

Let \((f,g):(\mathbb{C}_{(u,v)}^{2},0)\rightarrow (\mathbb{C}_{(x,y)}^{2},0),\) \((f,g)^{-1}(0,0)=\{(0,0)\}\) be a holomorphic mapping. Let \(\text{Jac} (f,g)=\frac{\partial f}{\partial u}\frac{\partial g}{\partial v}-\frac{ \partial f}{\partial v}\frac{\partial g}{\partial u}\) be the Jacobian determinant of the mapping \((f,g).\) The direct image of the curve-germ \( \text{Jac}(f,g)=0\) by the mapping \((f,g)\) is called the discriminant curve of \((f,g).\) If \(D(x,y)=0\) is an analytic equation of the discriminant curve of \((f,g)\) then the Newton diagram of \(D\) is called the Jacobian Newton diagram of \((f,g)\) and is denoted by \(\mathcal{N}_{J}(f,g)\). The main theorem is: if the pairs \((f,g)\) and \((\tilde{f},\tilde{g})\) are equisingular then \(\mathcal{N}_{J}(f,g)=\mathcal{N}_{J}(\tilde{f},\tilde{g}). \) Comments. The definition of equisingularity of pairs in the paper is unclear. It should be: two pairs of holomorphic function-germs \((f,g)\) and \(( \tilde{f},\tilde{g})\) are equisingular if there exists a homeomorphism \(\Psi :(\mathbb{C}^{2},0)\rightarrow (\mathbb{C}^{2},0)\) such that \(\Psi (V(f))=V( \tilde{f}),\) \(\Psi (V(g))=V(\tilde{g})\) and in factorizations of \(f,g, \tilde{f},\tilde{g}\) into irreducible elements in the ring of holomorphic function germs the multiplicities of corresponding (via \(\Psi \)) of these irreducible elements are equal.