Sandwiched singularities and desingularization of surfaces by normalized Nash transformations (Q2639920)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Sandwiched singularities and desingularization of surfaces by normalized Nash transformations
scientific article

    Statements

    Sandwiched singularities and desingularization of surfaces by normalized Nash transformations (English)
    0 references
    0 references
    1990
    0 references
    For complex algebraic surfaces, this paper provides the final step in the proof of the conjecture (due to John Nash, about 30 years ago) that the singularities of an algebraic variety can be resolved by a finite succession of proper birational maps \(\mu\) : \(\bar S\to S\), \(\mu^*\Omega_{S/k}/\)torsion locally free of rank dim(S) and \(\mu\) universal with respect to that property (so called ``Nash transformations''). It is known by \textit{A. Nobile} [Pac. J. Math. 60, 297-305 (1975; Zbl 0324.32012)] that (in characteristic 0) \(\mu\) is an isomorphism iff S is nonsingular, and in particular, for plane curve singularities the conjecture is true. \textit{G. González-Sprinberg} [Ann. Inst. Fourier 32, No.2, 111-178 (1982; Zbl 0469.14019)] proved for complex surfaces, that normalized Nash transformations resolve rational double points and cyclic quotient singularities. By a theorem of H. Hironaka, any surface singularity is transformed by a finite succession of Nash transformations into ``sandwiched singularities'', i.e. singularities of a surface which birationally dominates a nonsingular surface. The main theorem of the article under review states that sandwiched singularities are resolved by normalized Nash transformations, thus completing the proof of the above mentioned conjecture for \(\dim(S)=2\), \(k={\mathbb{C}}.\) Chapter II of the paper gives a classification of sandwiched singularities, a problem which is shown to be equivalent to the classification of plane curve singularities, complete ideals in 2- dimensional regular local rings or valuations with center in a regular 2- dimensional local ring [partially, this is an overview of results of the same author, cf. Am. J. Math. 112, No.1, 107-156 (1990; Zbl 0716.13003)]. In chapter III, the main theorem is proved in two steps: First of all, minimal singularities are considered, i.e. here: rational surface singularities with reduced fundamental cycle. If \((S,\xi)\) is such a singularity, \(\Gamma\) its dual graph and \(\mu:S'\to S\) the normalized Nash transformation, \(\Gamma '_ i\) the dual graphs of the singularities of \(S'\), then \(\#\{\)vertices of \(\Gamma'_ i\}\leq \#\{\)vertices of \(\Gamma\},\) i.e. such procedure terminates after finitely many steps. The proof is completed by showing that the problem can be reduced to minimal singularities, i.e. any sandwiched singularity is transformed into a minimal one after finitely many normalized Nash transformations.
    0 references
    0 references
    resolution of singularities
    0 references
    Nash transformations
    0 references
    surface singularity
    0 references
    classification of sandwiched singularities
    0 references
    classification of plane curve singularities
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references