A criterion for topological equivalence of two variable complex analytic function germs

From MaRDI portal



Abstract: We show that two analytic function germs (C2,0)o(C,0) are topologically right equivalent if and only if there is a one-to-one correspondence between the irreducible components of their zero sets that preserves the multiplicites of these components, their Puiseux pairs, and the intersection numbers of any pairs of distinct components.


The topological type of a plane curve singularity is determined by the Puiseux pairs of each branch and the intersection numbers of all pairs of branches [\textit{W. Burau}, Abh. Math. Semin. Hamb. Univ. 10, 285--297 (1934; Zbl 0009.23101)]. For non-reduced curves one also needs the multiplicities of the branches. The author shows that these data also suffice. More precisely, he shows that two analytic function germs \((\mathbb{C}^{2},0) \to (\mathbb{C},0)\) are topologically right equivalent if there is a one-to-one correspondence between the branches of their zero sets, preserving their multiplicities, their Puiseux pairs, and their mutual intersection numbers. He embeds both functions in an explicit equisingular family, constructed from the Puiseux series of the branches, and shows that this family satisfies the strong Thom condition \(w_f\), from which topological triviality follows.











This page was built for publication: A criterion for topological equivalence of two variable complex analytic function germs

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2378655)