On the analytical invariance of the semigroups of a quasi-ordinary hypersurface singularity (Q1880379): Difference between revisions

Let \(\mathcal S\) be the germ of a complex quasi-ordinary hypersurface of dimension \(d\). Let \(f\) be a quasi-ordinary polynomial defining \(\mathcal S\) and let \(\mathcal A\) be the local algebra of \(\mathcal S\). The author constructs a morphism \(\theta:(\overline{\mathcal R}, P)\to (\mathcal S,0)\), where \((\overline{\mathcal R}, P)\) is a smooth space, and a special divisor with normal crossings \(\overline {\mathcal H}\) on \(\overline{\mathcal R}\) at \(P\). Thus, the author considers the functions \(h\in\mathcal A\) such that the components of the divisor \(\theta^*(h)\) either are components of \(\overline{\mathcal H}\) or do not contain the intersection of its components. For those functions the tuple formed by the orders of vanishing of \(\theta^*(h)\) along the components of \(\overline{\mathcal H}\) can be computed; this tuple is called the dominating exponent of \(\theta^*(h)\) with respect to \(\overline{\mathcal H}\) at \(P\). The set of these dominating exponents forms a semigroup that the author denotes by \(\Gamma'_P(\mathcal S)\). Inspired by a previous construction of \textit{P. González-Pérez} [see J. Inst. Math. Jussieu 2, No. 3, 383--399 (2003; Zbl 1036.32020) or his Ph.D. thesis], the author defines in Section 12 a semigroup attached to \(f\), called {the reduced semigroup of \(\mathcal A\) with respect to \(f\)}, which is denoted by \(\Gamma'(f)\). Then, the main result shown in this paper is the explicit construction of an isomorphism between the semigroups \(\Gamma'(f)\) and \(\Gamma'_P(\mathcal S)\) (see Theorem 13.2). As pointed out by the author, in this paper it is shown a generalization to arbitrary dimension of previous results first obtained for surfaces in the author's thesis. It is worth remarking that the exposition of the paper is quite clear and self-contained.