Teissier singularities
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.
- A polyhedral characterization of quasi-ordinary singularities
- An irreducibility criterion for power series
- Characteristic polyhedra of singularities
- Characteristic polyhedra of singularities without completion. II
- Compactifications of subvarieties of tori
- Complex curve singularities: a biased introduction
- Decomposition in bunches of the critical locus of a quasi-ordinary map
- Groebner fan and embedded resolutions of ideals on toric varieties
- scientific article; zbMATH DE number 3657912 (Why is no real title available?)
- Introduction to Jung's method of resolution of singularities
- On the construction of valuations and generating sequences on hypersurface singularities
- Overweight deformations of affine toric varieties and local uniformization
- Resolution of singularities of arithmetical threefolds
- Singularités quasi-ordinaires toriques et polyèdre de Newton du discriminant
- Toric embedded resolutions of quasi-ordinary hypersurface singularities
- Torical modification of Newton non-degenerate ideals
This page was built for publication: Teissier singularities
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6957243)
