Teissier singularities (Q6957243)

The authors present the notion of \textit{Teissier singularities} and announce and give an outline of the proof of one of their results from another paper in preparation: ``On the notion of quasi-ordinary singularities in positive characteristics: Teissier singularities and their resolution''.\N\NMore precisely, when \(K\) is an algebraicaly closed field of characteristic zero, there is a notion of quasi-ordinary singularity, a type of singularity that appears in Jung's method of resolution of singularities in characteristic 0.\N\NLet \(f\in k[|x_1,\ldots, x_d|][z]\) be a Weierstrass polynomial with \(f(0)=0\). In a previous work, the authors have characterized quasi-ordinary singularities in terms of an invariant \(\kappa(f)\) of \(f\) whose construction uses, among other pieces of information, Hironaka's characteristic polyhedron. The invariant \(\kappa(f)\) is a string with components in \({\mathbb Q}^d_{\geq 0}\), except for the last one, that can be either \(-1\) or \(\infty\). They have shown that the singularity \(\{f=0\}\) is quasi-ordinary with respect to the projection \(\{f=0\}\to K^d\) if and only if the last component of \(\kappa(f)\) is \(\infty\) (see [\textit{H. Mourtada} and \textit{B. Schober}, Mosc. Math. J. 18, No. 4, 755--785 (2018; Zbl 1420.14008)]).\N\NIn positive characteristic, the behavior of quasi-ordinary singularities is much more complicated than in zero characteristic, and the fact that the last component of \(\kappa(f)\) be \(\infty\) does not correspond to \(f\) being quasi-ordinary. However, some of the authors' results point to the fact that singularities with the later property resemble in some sense the behavior of quasi-ordinary singularities in characteristic zero. This motivates the following definition:\N\N{Definition.} Let \(K\) be an algebraically closed field of characteristic \(p>0\). Let \(f\in k[|x_1,\ldots, x_d|][z]\) be a Weierstrass polynomial with \(f(0)=0\). The hypersurface singularitiy \((X,0)\) defined by \(\{f=0\}\) is a \textit{Teissier singularity} if the last component of \(\kappa(f)\) is \(\infty\).\N\NTaking \({\mathbb C}_p\) as the completion of the algebraic closure of the field of \(p\)-adic numbers \({\mathbb Q}_p\), the following theorem is announced and an outline of the proof is given:\N\N{Theorem.} A Teissier singularity \((X,0)\) sits in an equisingular family \({\mathcal X}\) over \(\text{Spec}({\mathcal O}_{{\mathbb C}_p})\) as a special fiber, and the generic fiber of \({\mathcal X}\) has only quasi-ordinary singularities.