González Pérez, Pedro Daniel The semigroup of a quasi-ordinary hypersurface. (English) Zbl 1036.32020 J. Inst. Math. Jussieu 2, No. 3, 383-399 (2003). Summary: An analytically irreducible hypersurface germ \((S,0)\subset(\mathbb{C}^{d+1},0)\) is quasi-ordinary if it can be defined by the vanishing of the minimal polynomial \(f\in\mathbb{C}\{X\}[Y]\) of a fractional power series in the variables \(X=(X_1,\dots,X_d)\) which has characteristic monomials, generalizing the classical Newton-Puiseux characteristic exponents of the plane-branch case (\(d=1\)). We prove that the set of vertices of Newton polyhedra of resultants of \(f\) and \(h\) with respect to the indeterminate \(Y\), for those polynomials \(h\) which are not divisible by \(f\), is a semigroup of rank \(d\), generalizing the classical semigroup appearing in the plane-branch case. We show that some of the approximate roots of the polynomial \(f\) are irreducible quasi-ordinary polynomials and that, together with the coordinates \(X_1,\dots,X_d\), provide a set of generators of the semigroup from which we can recover the characteristic monomials and vice versa. Finally, we prove that the semigroups corresponding to any two parametrizations of \((S,0)\) are isomorphic and that this semigroup is a complete invariant of the embedded topological type of the germ \((S,0)\) as characterized by the work of Gau and Lipman. Cited in 4 ReviewsCited in 11 Documents MSC: 32S25 Complex surface and hypersurface singularities 14M25 Toric varieties, Newton polyhedra, Okounkov bodies 14B05 Singularities in algebraic geometry 32S50 Topological aspects of complex singularities: Lefschetz theorems, topological classification, invariants 14E15 Global theory and resolution of singularities (algebro-geometric aspects) Keywords:quasi-ordinary singularities; topological type; semigroup; discriminant; hypersurface singularity; Newton polyhedra PDFBibTeX XMLCite \textit{P. D. González Pérez}, J. Inst. Math. Jussieu 2, No. 3, 383--399 (2003; Zbl 1036.32020) Full Text: DOI