Equisingularity classes of birational projections of normal singularities to a plane

DOI10.1016/J.AIM.2007.06.003MaRDI QIDQ2456979zbMATH OpenOpenAlexFDO

Authors Maria Alberich-Carramiñana, Jesús Fernández-Sánchez

Publication date 29 October 2007

Published in Advances in Mathematics (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/0707.1387

complete ideal Enriques diagram equisingularity normal surface singularity sandwiched singularity

Regular local rings (13H05) Singularities in algebraic geometry (14B05) Singularities of surfaces or higher-dimensional varieties (14J17)

Abstract: Given a birational normal extension S of a two-dimensional local regular ring R, we describe all the equisingularity types of the complete ideals J in R whose blowing-up has some point at which the local ring is analytically isomorphic to S. The problem of classifying the germs of such normal surface singularities was already posed by Spivakovsky (Ann. of Math. 1990). This problem has two parts: discrete and continous. The continous part is to some extent equivalent to the problem of the moduli of plane curve singularities, while the main result of this paper solves completely the discrete part.

Review text

A sandwiched singularity is a local ring \(\mathcal O\) which is a birational extension of a two-dimensional regular local ring \(R\). Let us consider a surface \(S\) which has a point whose local ring is a sandwich singularity. The authors study in this paper the equisingularity classes of all birational projections of \(S\) to a plane. This problem was dealt with in \textit{M. Spivakovky}'s paper [Ann. Math. (2) 131, 411--491 (1990; Zbl 0719.14005)]. Spivakovsky divides this problem into two parts: discrete and continuous. In this paper the authors deal with the discrete part. Any birational projection from a sandwiched singularity to a plane is obtained by the morphism of blowing up a complete \(\mathfrak m_{ O}\)-primary ideal \(J\) in the local ring of a regular point \(O\) on the plane. The goal of this paper is to give the equisingularity type of these ideals. More precisely: Let \(\mathcal O\) be a birational normal extension of a regular local ring \((R,\mathfrak m_O)\); the authors describe the equisingularity type of any complete \(\mathfrak m_O\)-primary ideal \(J\subset R\) such that its blow-up \(\text{Bl}_J(R)\) has some point \(Q\) whose local ring is analytically isomorphic to \(\mathcal O\). This is done by the Enriques diagram of the cluster of base points of any such ideal. Recall that an Enriques diagram is a tree together with a binary relation---proximity--- representing topological equivalence classes of clusters of points in the plane. Therefore, in section 1 the authors give an overview concerning the language of infinitely near points, sandwiched surface singularities and graphs. A good source for this is the book of \textit{E. Casas-Alvero} [Singularities of Plane Curves. Cambridge University Press (2000; Zbl 0967.14018)]. In section two the authors introduce a technical device, namely the consept of contraction for a sandwiched singularity \(\mathcal O\). A contraction for a sandwiched singularity is the resolution graph \(\Gamma_{\mathcal O}\) of \(\mathcal O\), enriched by some proximity relations between their vertices. After having fixed a sandwich graph, the problem is to find the whole list of possibilities for such proximities. This is achieved in section 3. In section 4 the authors study the problem of describing the equisingularity classes of the ideals for a given sandwiched surface singularity, i.e., they describe all the possible Enriques diagram for~\(\mathcal O\).

Recommendations

Cites work

Cited in

(5)

This page was built for publication: Equisingularity classes of birational projections of normal singularities to a plane

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2456979)