Hostname: page-component-586b7cd67f-g8jcs Total loading time: 0 Render date: 2024-11-29T19:09:29.106Z Has data issue: false hasContentIssue false

On the deep structure of the blowing-up of curve singularities

Published online by Cambridge University Press:  26 October 2001

JUAN ELIAS
Affiliation:
Department d'Àlgebra i Geometria, Universitat de Barcelona, Gran Via 585, 08007 Barcelona, Spain; e-mail: [email protected].

Abstract

Let C be a germ of curve singularity embedded in (kn, 0). It is well known that the blowing-up of C centred on its closed ring, Bl(C), is a finite union of curve singularities. If C is reduced we can iterate this process and, after a finite number of steps, we find only non-singular curves. This is the desingularization process. The main idea of this paper is to linearize the blowing-up of curve singularities Bl(C) → C. We perform this by studying the structure of [Oscr ]Bl(C)/[Oscr ]C as W-module, where W is a discrete valuation ring contained in [Oscr ]C. Since [Oscr ]Bl(C)/[Oscr ]C is a torsion W-module, its structure is determined by the invariant factors of [Oscr ]C in [Oscr ]Bl(C). The set of invariant factors is called in this paper as the set of micro-invariants of C (see Definition 1·2).

In the first section we relate the micro-invariants of C to the Hilbert function of C (Proposition 1·3), and we show how to compute them from the Hilbert function of some quotient of [Oscr ]C (see Proposition 1·4).

The main result of this paper is Theorem 3·3 where we give upper bounds of the micro-invariants in terms of the regularity, multiplicity and embedding dimension. As a corollary we improve and we recover some results of [6]. These bounds can be established as a consequence of the study of the Hilbert function of a filtration of ideals g = {g[r,i+1]}i [ges ] 0 of the tangent cone of [Oscr ]C (see Section 2). The main property of g is that the ideals g[r,i+1] have initial degree bigger than the Castelnuovo–Mumford regularity of the tangent cone of [Oscr ]C.

Section 4 is devoted to computation the micro-invariants of branches; we show how to compute them from the semigroup of values of C and Bl(C) (Proposition 4·3). The case of monomial curve singularities is especially studied; we end Section 4 with some explicit computations.

In the last section we study some geometric properties of C that can be deduced from special values of the micro-invariants, and we specially study the relationship of the micro-invariants with the Hilbert function of [Oscr ]Bl(C). We end the paper studying the natural equisingularity criteria that can be defined from the micro-invariants and its relationship with some of the known equisingularity criteria.

Type
Research Article
Copyright
2001 Cambridge Philosophical Society

Access options

Get access to the full version of this content by using one of the access options below. (Log in options will check for institutional or personal access. Content may require purchase if you do not have access.)