Topology of the quasi-ordinary surface singularities (Q1084557)

Let F be a surface in \({\mathbb{C}}^ 3\) with an isolated singularity at the origin 0. 0 is called a quasi-ordinary singularity if there is a finite map p: (F,0)\(\to ({\mathbb{C}}^ 2,0)\) such that the branched locus of p is \(xy=0\) or \(x=0\) in the degenerate case. It is known by \textit{J. Lipman}, ''Quasi-ordinary singularities of embedded surfaces''. Thesis, Harvard Univ. (1965) that there is a fractional power series \(\zeta =H(x^{1/n},y^{1/n})\) with \(H(0,0)=0\) so that \(f(x,y,z)=\prod (z- \zeta_ i)\) where f is the defining function of F and \(\zeta_ i\) has the form \(H(\mu^ j x^{1/n},\mu^ k y^{1/n})\), \(\mu =\exp (2\pi i/n)\). (u/n,v/n) is a distinguished pair if the monomial \(x^{u/n} y^{v/n}\) appears as the leading term of some \(\zeta_ i-\zeta_ j\). The normalized parametrization has the following property: The distinguished pairs are linearly ordered \((0,0)<(\lambda_ 1,\mu_ 1)<...<(\lambda_ s,\mu_ s)\). Monomial \(x^{\alpha}y^{\beta}\) with non-zero coefficient in \(\zeta\) satisfies \((\alpha,\beta)\geq (\lambda_ 1,\mu_ 1)\). \((\lambda_ 1,...,\lambda_ s)\geq (\mu_ 1,...,\mu_ s)\) (lexicographically) and \(\mu_ 1=0\) if \(\lambda_ 1\geq 1\). The main result in this paper is: Theorem (2.2.4). The topological type of a quasi-ordinary singularity determines and is determined by its distinguished pairs.