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

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.