Families of Curves
with Prescribed Singularities
Thomas Keilen
Vom Fachbereich Mathematik der Universitat¨ Kaiserslautern zur Verleihung des akademischen Grades Doktor der Naturwissenschaften (Doctor rerum naturalium, Dr. rer. nat.) genehmigte Dissertation.
1. Gutachter: Prof. Dr. G.-M. Greuel 2. Gutachter: Prof. Dr. E. Shustin
Vollzug der Promotion: 30.10.2001
D 386
To my parents Hildegard and Eduard Keilen The picture on the titlepage shows a singular curve on an affine chart of the Hirze-
1 1 3
È È È
bruch surface F = embedded into as a quadric.
C C 0 C × Preface
The study of families of curves with prescribed singularities has a long tra- dition. Its foundations were laid by Plucker,¨ Severi, Segre, and Zariski at the beginning of the 20th century. Leading to interesting results with appli- cations in singularity theory and in the topology of complex algebraic curves and surfaces it has attained the continuous attraction of algebraic geometers since then.
irr Throughout this thesis we examine the varieties V ( 1,..., r) of irreducible |D| S S reduced curves in a fixed linear system |D| on a smooth projective surface Σ
over C having precisely r singular points of types 1,..., r – for a more precise S S definition we refer to Chapter I. We are mainly interested in the following three questions:
irr (a) Is V ( 1,..., r) non-empty? |D| S S irr (b) Is V ( 1,..., r) T-smooth, that is smooth of the expected dimension? |D| S S irr (c) Is V ( 1,..., r) irreducible? |D| S S That the dimension be the expected one means that the dimension of |D| drops for each imposed singularity type i exactly by the number of conditions im- S posed by i – e. g. a node imposes one condition, a cusp two. S The simplest possible case of nodal plane curves was more or less completely irr answered by Severi in the early 20th century. He showed that V|dH|(rA1), 2
where H is a line in È , is non-empty if and only if C (d − 1) (d − 2) 0 r · . ≤ ≤ 2 irr Moreover, he showed that V|dH|(rA1) is T-smooth whenever it is non-empty, and he claimed that the variety is always irreducible. Harris proved this claim, which had become known as the Severi Conjecture by then, in 1985 (cf. [Har85b]). Considering more complicated singularities we may no longer expect such complete answers. Hirano provides in [Hir92] a series of exam- k ples of irreducible cuspidal plane curves of degree d = 2 3 , k Æ, imposing d(d−3) · ∈ more than 2 conditions on |dH| – that means in particular, we may hardly expect to be able to realize all smaller quantities of cusps on an irreducible irr curve of degree d. Moreover, we see that V|dH|(rA2) does not necessarily have the expected dimension – examples of this behaviour were already known to Segre (cf. [Seg29]). In 1974 Jonathan Wahl (cf. [Wah74b]) showed that irr V|104 H|(3636 A1,900 A2) is non-reduced and hence singular. However, its · · · reduction is smooth. The first example, where also the reduction is singu- lar, is due to Luengo. In [Lue87a] he shows that the plane curve C given 9 3 4 2 by x + z xz + y has a single singular point of simple type A35 and that I II PREFACE
irr V|9 H|(A35) is non-smooth, but reduced at C. Thus also the smoothness will fail · irr in general. And finally, already Zariski (cf. [Zar35]) knew that V|6 H|(6 A2) · · consists of two connected components. The best we may expect thus is to find numerical conditions, depending on the divisor D and certain invariants of the singularities, which imply either of the properties in question. In order to see that the conditions are of the right kind - we then call them asymptotically proper -, they should not be too far from necessary conditions respectively they should be nearly fulfilled for series of counterexamples. Let us make this last statement a bit more precise. Suppose that D = dL for some fixed divisor L and d 0. We are looking for ≥ conditions of the kind r
α( i)
types and p Ê[x] is some polynomial, neither depending on d nor on the ∈ i. We say that the condition is asymptotically proper, if there is a necessary S condition with the same invariants and a polynomial of the same degree. If instead we find an infinite series of examples not having the desired property, where, however, the above inequality is reversed for the same invariants and some other polynomial of the same degree, we say that at least for the involved subclass of singularity types, the condition is asymptotically proper. (See also [Los98] Section 4.1.) While the study of nodal and cuspidal curves has a long tradition, the con- sideration of families of more complicated singularities needed a suitable de- scription of the tangent space of the family at a point, giving a concrete mean- ing to “the number of conditions imposed by a singularity type”, that is to the expected dimension of the family. Greuel and Karras in [GrK89] in the analytical case, Greuel and Lossen in [GrL96] in the topological case iden- tify the tangent spaces basically with the global sections of the ideal sheaves of certain zero-dimensional schemes associated to the singularity types (see Defintion I.2.7 and Remark I.2.15). This approach - in combination with a Viro gluing type method in the existence case - allows to reduce the exis- tence, T-smoothness and irreducibility problem to the vanishing of certain cohomology groups. Various efforts in this direction culminate in asymptot- ically proper conditions for the existence (cf. [GLS98c]) and conditions for the T-smoothness and irreducibility, which are better than any previously known ones (cf. [GLS00]). Due to known examples the conditions for the T-smoothness are even asymptotically proper for simple singularities and or- dinary multiple points. For an overview on the state of the art in the case of the plane curves we refer to [GrS99].
2
While the previous investigations mainly considered curves in È , we study C curves on arbitrary smooth projective surfaces and derive results on various PREFACE III families of surfaces, in many cases the first results in that direction known on these surfaces at all. In Chapter III we study the question of the existence of curves and the main condition (cf. Corollary III.2.5), which we derive in the case of topological sin- gularity types, is of the form r 2 δ( i) αD + βD.K + γ, S ≤ i=1 X and for analytical singularity types it is of the form r 2 µ( i) αD + βD.K + γ, S ≤ i=1 X for some fixed divisor K and some absolute constants α, β and γ, where δ( i) S is the delta-invariant of i and µ( i) is its Milnor number. The corresponding S S necessary condition r r 2 µ( i) 2 δ( i) D + D.KΣ + 2 S ≤ · S ≤ i=1 i=1 X X is of the same asymptotical behaviour. Also for the main condition
r 2 2 2 D.KΣ KΣ 2 τ∗( i) + 1 + < r + D , S 2 4 · i=1 ! X which we get in Chapter IV for the T-smoothness (cf. Theorem IV.1.1) we can- not expect to do better in general – here for topological singularity types es τ∗( i) = τ ( i) is the codimension of the equisingular stratum of i in its S S S semiuniversal deformation, and for analytical types τ∗( i) = τ( i), the Tju- S S rina number of i. In the case of simple singularities on plane curves the S mentioned examples in [GLS00] show that the conditions are asymptotically proper. However, already for ordinary multiple points this is no longer the case, as is shown there as well. Still, our results apply to surfaces which have not been considered before, and even in the well studied case of of nodal 3
curves on quintics in È we get the same sharp results as Chiantini and Ser- C nesi (cf. [ChS97]). We do not know wether our main condition (cf. Theorems V.2.1-V.2.4) r 2 2 τ∗( i) + 2 <γ (D − KΣ) S · i=1 X in the study of the irreducibility in Chapter V shows a similar properness, since neither sufficient conditions of this form nor counterexamples with the same asymptotical behaviour are known – here, γ is some constant, possibly depending on D. And we do not even expect them to be of the right kind. How- ever, the results which we get are for most of the considered surfaces the only IV PREFACE known ones, and even in the well studied plane case they are asymptotically of the same quality than the best previously known conditions. All our results somehow rely on the vanishing or non-vanishing of certain cohomology groups. The results of Chapter IV and of Chapter V could be formulated completely as a vanishing theorem; and although we derive the existence of curves with prescribed topological or analytical singularities by gluing these into a suitable given curve, we derive the existence of that curve (cf. Theorem III.1.2) again with the aid of a vanishing theorem. The latter is a generalisation of a vanishing theorem of Geng Xu (cf. [Xu95]) and thus of the Kawamata–Viehweg Vanishing Theorem . Chapter II is devoted to its proof. In Chapter I we introduce the notions used throughout the thesis and state several important facts which are well known. A compact and profound de- scription of the introduced objects and cited results can be found in the thesis of Christoph Lossen [Los98], and for the convenience of the reader we usually refer to this thesis as well as to the original sources. Apart from the introduction, each chapter of the thesis consists of one or two sections describing the main results possibly followed by a section contain- ing essential technical details of the proofs. At the end of each chapter we examine the derived conditions on several classes of surfaces:
2
(a) È , C (b) geometrically ruled surfaces, (c) product-surfaces,
3
(d) surfaces in È , and C (e) K3-surfaces.
We have chosen these partly due to their important role in the classification of surfaces, and partly since they all have advantages in their own which make it possible to keep control on the numerical conditions. In the appendix we gather a number of facts which we suppose are well known, but for which we nevertheless could not find a suitable reference. In particular, we give an overview of the properties of the studied surfaces, which we need for the examinations. Throughout a fixed chapter the theorems, lemmata, definitions and remarks are numbered by sections, e. g. within Section 1 of Chapter V the Theorem 1.1 is followed by Corollary 1.2, while in Section 2 we start again with Theo- rem 2.1. The same applies to the equations. There is, however, one excep- tion from this rule. In the example sections we reproduce certain statements (equations, theorems, ...) in special cases, and instead of using new numbers we rather keep the old ones adding the letter of the corresponding subsection, e. g. in the example section of Chapter V we have Theorem 2.1a with equation (2.2a) in Subsection 4.a, which is just the appropriate form of Theorem 2.1 PREFACE V in Chapter V. Whenever we refer to a statement within the same chapter, we just cite it by its number. If we, however, refer to it in some other chapter, we add the number of the chapter, e. g. we refer to Theorem 1.1 of Chapter IV within Chapter IV as Theorem 1.1, while in the preface we would cite it as Theorem IV.1.1. Chapter II and Chapter III are a joint work with Ilya Tyomkin (Tel Aviv Uni- versity) and have been accepted for publication in the Transactions of the American Mathematical Society. Chapter IV is a slight modification of re- sults already published by Gert-Martin Greuel (Universitat¨ Kaiserslautern), Christoph Lossen (Universitat¨ Kaiserslautern) and Eugenii Shustin (Tel Aviv University) in [GLS97], and a slightly stronger version may be found in [GLS05]. Finally, Chapter V extends an approach via Bogomolov unstability of vector bundles used by Gert-Martin Greuel, Christoph Lossen and Eugenii Shustin in the plane case (cf. [GLS98b]).
Acknowledgements
I would like to express my thanks to my supervisor, Gert-Martin Greuel, for supporting me in many ways during the last years, and I would also like to thank Christoph Lossen, Eugenii Shustin and Ilya Tyomkin for their coopera- tion while working on this thesis. I owe a special thank to Bernd Kreußler for many fruitful conversations widening my understanding of algebraic geome- try. Finally, I have the pleasure to thank my parents, Hildegard and Eduard Keilen, for their love and care which accompanied me all my life, and Hannah Markwig for her love and for her patience.
Post Scriptum
This is an extended version of the original thesis. Section I.3, Section IV.3 and Section IV.4 have been added, Chapter V has largely been rewritten and improved. Moreover, a number of misprints and minor errors have been cor- rected. VI PREFACE Contents
Preface I
Chapter I. Introduction 1 1. General Assumptions and Notations 1 2. Singularity Schemes 2
3. The γα-Invariant 14 3.a. The Invariants 14 3.b. Local Monomial Orderings 27 3.c. The Hilbert Samuel Function 29 3.d. Semi-Quasihomogeneous Singularities 35
Chapter II. A Vanishing Theorem 41 1. The Vanishing Theorem 41 2. Generalisation of a Lemma of Geng Xu 44 3. Examples 47
2
3.a. The Classical Case - Σ = È 48 C 3.b. Geometrically Ruled Surfaces 48 3.c. Products of Curves 49 3.d. Products of Elliptic Curves 49
3
3.e. Surfaces in È 50 C 3.f. K3-Surfaces 50 4. Yet Another Vanishing Theorem 51 5. Examples 61
2
5.a. The Classical Case - Σ = È 61 C 5.b. Hirzebruch Surfaces 61 5.c. Geometrically Ruled Surfaces 61 5.d. Products of Curves 62
3
5.e. Surfaces in È 62 C 5.f. K3-Surfaces 63
Chapter III. Existence 65 1. Existence Theorem for Ordinary Fat Point Schemes 67 VII VIII CONTENTS 2. Existence Theorem for General Singularity Schemes 72 3. Examples 82
2
3.a. The Classical Case - Σ = È 82 C 3.b. Geometrically Ruled Surfaces 83 3.c. Products of Curves 84 3.d. Products of Elliptic Curves 86
3
3.e. Surfaces in È 86 C 3.f. K3-Surfaces 87
Chapter IV. T-Smoothness 89 1. T-Smoothness 91 2. Examples 97
2
2.a. The Classical Case - Σ = È 97 C 2.b. Geometrically Ruled Surfaces 99 2.c. Products of Curves 104 2.d. Products of Elliptic Curves 105
3
2.e. Surfaces in È 105 C 2.f. K3-Surfaces 106 3. Another Criterion for T-Smoothness 107 4. Examples 114
2
4.a. The Classical Case - Σ = È 114 C 4.b. Geometrically Ruled Surfaces 114 4.c. Products of Curves 115 4.d. Products of Elliptic Curves 116
3
4.e. Surfaces in È 117 C 4.f. K3-Surfaces 117
Chapter V. Irreducibility 119 1. Virr,reg is irreducible 121 2. Conditions for the irreducibility of Virr 123 3. The Main Technical Lemmata 126 4. Examples 149
2
4.a. The Classical Case - Σ = È 149 C 4.b. Geometrically Ruled Surfaces 150 4.c. Products of Curves 153 CONTENTS IX 4.d. Products of Elliptic Curves 155 4.e. Complete Intersection Surfaces 155
3
4.f. Surfaces in È 156 C 4.g. Generic K3-Surfaces 157
Appendix 159 A. Very General Position 159 B. Curves of Self-Intersection Zero 165 C. SomeFactsusedfortheProofoftheLemmaofGengXu 172 D. Some Facts on Divisors on Curves 175 E. Some Facts on Divisors on Surfaces 175 n F. The Hilbert Scheme HilbΣ 180 G. Examples of Surfaces 181 G.a. Geometrically Ruled Surfaces 181 G.b. Products of Curves 190 G.c. Products of Elliptic Curves 194
3
G.d. Surfaces in È and Complete Intersections 199 C G.e. K3-Surfaces 202
Bibliography 203
Index 209 CHAPTER I
Introduction
1. General Assumptions and Notations
Throughout this thesis Σ will denote a smooth projective surface over C.
Given distinct points z1,...,zr Σ, we denote by π : Blz(Σ) = Σ Σ the blow ∈ up of Σ in z =(z1,...,zr), and the exceptional divisors π∗zi will be denoted by e Ei. We shall write C = Blz(C) for the strict transform of a curve →C Σ. ⊂ For any smooth projective surface Σ we will denote by Div(Σ) the group of e divisors on Σ and by KΣ its canonical divisor. If D is any divisor on Σ, Σ(D) O shall be a corresponding invertible sheaf. A curve C Σ will be an effective ⊂ (non-zero) divisor, that is a one-dimensional locally principal scheme, not nec- essarily reduced; however, when we talk of an “irreducible curve” this shall 0 include that the curve is reduced. |D| = |D|l = È H Σ, Σ(D) denotes the O system of curves linearly equivalent to D, while we use the notation |D| for a the system of curves algebraically equivalent to D (cf. [Har77] Ex. V.1.7), that is the reduction of the connected component of HilbΣ, the Hilbert scheme of all curves on Σ, containing any curve algebraically equivalent to D (cf. [Mum66] Chapter 15).1 We write Pic(Σ) for the Picard group of Σ, that is Div(Σ) modulo linear equivalence (denoted by ∼l), NS(Σ) for the Neron–Severi´ group, that is
Div(Σ) modulo algebraic equivalence (denoted by ∼a), and Num(Σ) for Div(Σ) modulo numerical equivalence (denoted by ∼n). Given a reduced curve C Σ ⊂ we write pa(C) for its arithmetical genus and g(C) for the geometrical one. Given any scheme X and any coherent sheaf on X, we will often write Hν( ) ν F F instead of H (X, ) when no ambiguity can arise. Moreover, if = X(D) F F O is the invertible sheaf corresponding to a divisor D, we will usually use the ν ν notation H (X, D) instead of H X, X(D) . Similarly when considering tensor O products over the structure sheaf of some scheme X we may sometimes just write instead of X . ⊗ ⊗O Given any subscheme X Y of a scheme Y, we denote by X = the ⊂ J JX/Y ideal sheaf of X in Y, and for z Y we denote by Y,z the local ring of Y at O ∈ O z and by mY,z its maximal ideal, while Y,z denotes the mY,z-adic completion O of Y,z. If X is zero-dimensional we denote by #X the number of points in O b its support supp(X), by deg(X) = z Y dimC ( Y,z/ X/Y,z) its degree, and by m∈ O J mult(X, z) = max m Æ m its multiplicity at z. ∈ JX/Y,z ⊆PY,z 1 red Note that indeed the reduction of the Hilbert scheme gives the Hilbert scheme HilbΣ of curves on Σ over reduced base spaces.
1 2 I. INTRODUCTION If X Σ is a zero-dimensional scheme on Σ and D Div(Σ), we denote by ⊂ 0 ∈ X/Σ(D) = È H X/Σ(D) the linear system of curves C in |D|l with X C. J l J ⊂ If L Σ is any reduced curve and X Σ a zero-dimensional scheme, we define ⊂ ⊂ the residue scheme X : L Σ of X by the ideal sheaf X:L/Σ = X/Σ : L/Σ with ⊂ J J J stalks
X:L/Σ,z = X/Σ,z : L/Σ,z, J J J where “:” denotes the ideal quotient. This leads to the definition of the trace scheme X L L of X via the ideal sheaf X L/L given by the exact sequence ∩ ⊂ J ∩ L 0 / X:L/Σ(−L) · / X/Σ / X L/L / 0. J J J ∩ Let Y be a Zariski topological space (cf. [Har77] Ex. II.3.17). We say a subset U Y is very general if it is an at most countable intersection of open dense ⊆ r subsets of Y. Some statement is said to hold for points z1,...,zr Y (or z Y ) ∈ ∈ in very general position if there is a suitable very general subset U Yr, r ⊆ contained in the complement of the closed subvariety i=j{z Y | zi = zj} of 6 ∈ Yr, such that the statement holds for all z U. ∈ S 2. Singularity Schemes
This thesis is a generalisation of results described in [Los98], and the zero- dimensional schemes with which we are concerned are examined very care- fully in [Los98] Chapter 2. We therefore restrict ourselves to a very short description and refer to [Los98] for more details. 2.1 Definition
(a) Let f Σ,z C{x, y} be given. The germ (C, z) (Σ, z) defined by a ∈ O ⊂ ⊂ representative C = z′ f(z′) = 0 is called a plane curve singularity.
The C-algebra := /(f) is called the local ring of (C, z). C,z Σ,z O O (b) Two plane curve singularities (C, z) and C′,z′ are said to be topolog- ically equivalent if there exists a homeomorphism Φ : (Σ, z) (Σ, z ) ′ 2 such that Φ(C) = C′. We write (C, z) ∼t C′,z′ . An equivalence class of this equivalence relation is called a topological→ S singularity type.
(c) Two plane curve singularities (C, z) and C′,z′ are said to be analyt- ically equivalent (or contact equivalent) if there exists an isomorphism # Φ : C ′,z ′ C,z of the complete local rings. We write (C, z) ∼c C′,z′ . O O An equivalence class of this equivalence relation is called an analytical S singularityb → typeb .
(d) Let f Σ,z and f′ Σ,z ′ . We say f and f′ are topologically respectively ∈ O ∈ O analytically equivalent if the singularities defined by f and f′ are so. We
then write f ∼t f′ respectively f ∼c f′.
2This means of course that the equality holds for suitable representatives. 2.SINGULARITYSCHEMES 3 2.2 Remark We will need a number of invariants of singularity types, which we are just going to list here. Note that every invariant of the topological type of a sin- gularity is of course also an invariant of its analytical type. Let (C, z) be a
reduced plane curve singularity with representative f Σ,z C{x, y}. ∈ O ⊂ We refer to Definition 2.7 respectively Remark 2.8 for the definition of Ies(C, z),
Is(C, z) and Ia(C, z), and we abreviate complete intersection ideal by CI. De- C
noting by i(f,g) = dimC {x, y}/(f,g) for g {x, y} the intersection multiplicity ∈ of f and g, we define for a rational number α [0,1] and for an ideal I in ∂f ∂f ∈
R = C{x, y} with f, , I ∂x ∂y ⊆ 2
α i(f,g)+(1 − α) dimC (R/I) λα(f; I, g) = · ·
i(f,g) − dimC (R/I) and
2 C γα(f; I) = max (1 + α) dimC (R/I), λα(f; I, g) g I, i(f,g) 2 dim (R/I) . · ∈ ≤ · (a) The following are known to be invariants of the topological type of the S plane curve singularity (C, z). (1) mult( ) = mult(C, z) = ord(f) is the multiplicity of . S S
∂f ∂f C
(2) µ( ) = µ(C, z) = dimC {x, y} , is the Milnor number of . S ∂x ∂y S (3) τes( ) = τes(C, z) is the codimension of the µ-constant stratum in S the semiuniversal deformation of (C, z). (4) κ( ) = κ(C, z) = i(f,g), with g a generic polar curve of f. S (5) νs( ) = νs(C, z) shall be the minimal integer m such that mm+1 S Σ,z ⊆ Is(C, z) and is called the topological deformation determinacy.
(6) δ( ) = δ(C, z) = dimC n C,z/ C,z is the delta invariant of , S ∗O O S where n : C, z (C, z) is a normalisation of (C, z). e (7) r( ) = r(C, z) is the number of branches of (C, z). S e →
es es es C
(8) τ (C, z) = max dimC ( {x, y}/I) I (C, z) I a CI and τ ( ) = ci ⊆ ci S max{τes(C, z) | (C, z) some representative of }. ci S es es es (9) γ (C, z) = max γα(f; I) I (C, z) I a CI and γ ( ) = α ⊆ α S max{γes(C, z) | (C, z) some representative of }. α S (b) For the analytical type of (C, z) we have some additional invariants:
S ∂f ∂f C
(1) τ( ) = τ(C, z) = dimC {x, y} f, , is the Tjurina number. S ∂x ∂y (2) νa( ) = νa(C, z) shall be the minimal integer m such that mm+1 S Σ,z ⊆ Ia(C, z) and is called the analytical deformation determinacy.
es ∂f ∂f C
(3) τci( ) = τ (C, z) = max dimC ( {x, y}/I) f, , I a CI . S ci ∂x ∂y ⊆ ea es ∂f ∂f (4) γ ( ) = γ (C, z) = max γα(f; I) f, , I a CI α S α ∂x ∂y ⊆
4 I. INTRODUCTION (5) mod( ) = mod(C, z), the modality of the singularity . S S (Cf. [AGZV85] p. 184.)
Throughout the thesis we will very often consider topological and analyti- cal singularity types at the same time. We therefore introduce the nota- tion τ∗( ), τci∗ ( ), ν∗( ), and γα∗ ( ), where for a topological singularity type S es S S es S s es τ∗( ) = τ ( ), τci∗ ( ) = τci ( ), ν∗( ) = ν ( ), and γα∗ ( ) = γα ( ), while for an S S S S S S S S a analytical singularity type τ∗( ) = τ( ), τci∗ ( ) = τci( ), ν∗( ) = ν ( ), and ea S S S S S S γ∗ ( ) = γ ( ). α S α S 2.3 Remark For the convenience of the reader we would like to gather some known rela- tions between the above topological and analytical invariants of the singular- ity types corresponding to some reduced plane curve singularity (C, z).
(a) µ( ) µ( ) + r( ) − 1 = 2δ( ). (Cf. [Mil68] Chapter 10.) S ≤ S S S (b) δ( ) τes( ), since the δ-constant stratum of the semiuniversal defor- S ≤ S mation of (C, z) contains the µ-constant stratum and since its codimen- sion is just δ( ) (see also [DiH88]). S es (c) δ( ) < τ ( ), if = A1 (see Lemma 3.6). S S S 6 (d) κ( ) = µ( ) + mult( ) − 1. S S S (e) κ( ) 2δ( ). (Cf. [Los98] Lemma 5.12.) S ≤ S (f) τes( ) = µ( ) − mod( ). (Cf. [AGZV85] p. 245.) S S S (g) τes( ) τ( ), since τ( ) is the dimension of the base space of the semi- S ≤ S S universal deformation of (C, z). (h) τ( ) µ( ), by definition. S ≤ S (i) νs( ) τes( ). (Cf. [GLS00] Lemma 1.5.) S ≤ S (j) νs( ) δ( ), if all branches of (C, z) have at least multiplicity three. S ≤ S (Cf. [GLS00] Lemma 1.5.) (k) νa( ) τ( ). (Cf. [GLS00] Remark 1.9.) S ≤ S (l) νs( ) νa( ), since Ia(C, z) Is(C, z) (cf. Definition 2.7). S ≤ S ⊆ (m) (1 + α)2 τes γes( ) τes( ) + α 2 (see Lemma 3.4). · ci ≤ α S ≤ ci S (n) (1 + α)2 τea γea( ) τew( ) + α 2 (see Lemma 3.4). · ci ≤ α S ≤ ci S (o) γes( ) <γes( ), for 0 α < β 1 (see Lemma 3.3). α S β S ≤ ≤ (p) γea( ) <γea( ), for 0 α < β 1 (see Lemma 3.3). α S β S ≤ ≤ Combining these results we get:
τes( ) νs( ) S τ( ) µ( ) κ( ) 2δ( ) 2τes( ) 2τ( ). S ≤ νa( ) ≤ S ≤ S ≤ S ≤ S ≤ S ≤ S S 2.SINGULARITYSCHEMES 5 2.4 Example
Let Mm, m 2, be the topological singularity type of an ordinary m-fold point, ≥ m m 3 e. g. given by f = x − y C{x, y}. Then ∈ Ies (f) = Is(f) = x, y m fix h i and Ies(f) = ∂f , ∂f + x, y m. ∂x ∂y h i Thus we get:
es mult(Mm) µ(Mm) = τ(Mm) δ(Mm) τ (Mm)
2 m (m−1) m (m+1) m (m − 1) · 2 · 2 − 2
s s κ(Mm) mod (Mm) ν (M2) ν (Mm), m 3 ≥ (m−2) (m−3) m (m − 1) · 0 m − 1 · 2 es es es es γ (M2) γ (Mm), m 3 γ (M2) γ (Mm) 1 1 ≥ 0 0 4 2m2 1 2 (m − 1)2 · es es es τ (M2) τ (Mm), m 4 even τ (Mm), m odd r(Mm) ci ci ≥ ci m2+2m m2+2m+1 1 4 4 m
2.5 Remark It is well known that the simple singularities, that is the singularities with µ+1 2 modality zero, form two infinite series Aµ, given by x −y for µ 1, and Dµ, ≥ given by y x2 −yµ−2 for µ 4, together with three excepitional singularities · ≥ E for µ = 6,7,8, given by x3 − y4, x3 − xy3 and x3 − y5 respectively. Moreover, µ they are the only plane curve singularities with µ( ) = τ( ) 8. S S S ≤ The first non-simple family of singularities X9, that is, the only one-modular family of singularities of Milnor number 9, is given by x4 − y4 + a x2y2. The · modulus corresponds to the crossratio of the four intersecting lines. Topolog- ically all these singularities are indeed equivalent. Note that, apart from the simple singularities, these are the only singularities with τes( ) 8, as a S S ≤ view at the classification table in [AGZV85] Chapter 15 shows, taking the restrictions on τes( ) given in Remark 2.3 into account. S Moreove, from the classification we deduce for an analytical singularity type some results which will be useful in Lemma V.3.10. S mult( ) mod( ) µ( ) S S S 2 0 1 µ( ) ≤ S
3 es es s For the definition of I (f), Ifix(f) and I (f) see Definition 2.7. 6 I. INTRODUCTION
mult( ) mod( ) µ( ) S S S 3 0 4 µ( ) ≤ S 1 10 µ( ) 14 ≤ S ≤ 2 16 µ( ) ≤ S 3 22 µ( ) ≤ S 4 28 µ( ) ≥ ≤ S 4 1 9 µ( ) 12 ≤ S ≤ 2 15 µ( ) ≤ S 3 22 µ( ) ≥ ≤ S And finally:
mod( ) µ( ) τ( ) mult( ) S S S S 0 1 µ( ) = τ( ) 8 1 µ( ) = τ( ) 8 2,3 ≤ S S ≤ ≤ S S ≤ 1 9 µ( ) 14 9 τ( ) 14 3,4 ≤ S ≤ ≤ S ≤ 2 15 µ( ) 13 µ( ) − mod( ) τ( ) 3,4 ≤ S ≤ S S ≤ S 3 16 µ( ) µ( ) − mod( ) τ( ) 3 mult( ) ≥ ≤ S S S ≤ S ≤ S 2.6 Definition
Given distinct points z1,...,zr Σ and non-negative integers m1,...,mr we ∈ denote by X(m; z) = X(m1,...,mr; z1,...,zr) the zero-dimensional subscheme of Σ defined by the ideal sheaf X(m;z)/Σ with stalks J
mmi , if z = z ,i = 1,...,r, Σ,zi i X(m;z)/Σ,z = J Σ,z, else. O We call a scheme of the type X(m; z) an ordinary fat point scheme. 2.7 Definition Let C Σ be a reduced curve. ⊂ ea (a) The scheme X (C) in Σ is defined via the ideal sheaf ea( ) with JX C /Σ stalks
ea ea ∂f ∂f Xea(C)/Σ,z = I (C, z) = I (f) = f, , Σ,z, J ∂x ∂y ⊆ O where x, y denote local coordinates of Σ at z and f Σ,z a local equation ∈ O of C. Iea(C, z) is called the Tjurina ideal of the singularity (C, z), and it ea is of course Σ,z whenever z is a smooth point of C. We call X (C) the O equianalytical singularity scheme of C. 2.SINGULARITYSCHEMES 7 (b) We define the zero-dimensional subscheme Xes(C) of Σ via the ideal
sheaf es( ) with stalks JX C /Σ es 2
Xes(C)/Σ,z = I (C, z) = g Σ,z f + εg is equisingular over C[ε]/(ε ) , J ∈ O es where f Σ,z is a local equation of C at z. I (C, z) is called the equisin- ∈ O gularity ideal of the singularity (C, z), and it is of course Σ,z whenever O z is a smooth point. Ies(C, z)/Iea(C, z) can be identified with the tangent space of the equisingular stratum in the semiuniversal deformation of (C, z) (cf. [Wah74b], [DiH88], and Definition III.2.1). We call Xes(C) the equisingularity scheme of C.
ea (c) The scheme X (C) in Σ is defined via the ideal sheaf Xea (C)/Σ with fix J fix stalks
ea ea ∂f ∂f Xea (C)/Σ,z = I (C, z) = I (f)=(f) + mΣ,z , Σ,z, J fix fix fix · ∂x ∂y ⊆ O
where x, y denote local coordinates of Σ at z and f Σ,z a local equation ea ∈ O of C. I (C, z) is of course Σ,z whenever z is a smooth point of C. fix O es (d) We define the zero-dimensional subscheme Xfix(C) of Σ via the ideal sheaf Xes (C)/Σ with stalks J fix
2
es f + εg is equisingular over C[ε]/(ε ) Xes (C)/Σ,z = Ifix(C, z) = g Σ,z , J fix ∈ O along the trivial section
es where f Σ,z is a local equation of C at z. Ifix(C, z) is of course Σ,z ∈ O O whenever z is a smooth point.
a (e) The scheme X (C) in Σ is defined via the ideal sheaf a( ) with stalks JX C /Σ a a( ) = I (C, z) Σ,z, JX C /Σ,z ⊆ O where we refer for the somewhat lengthy definition of Ia(C, z) to Re- mark 2.8. Ia(C, z) is called the analytical singularity ideal of the sin-
gularity (C, z), and it is of course Σ,z whenever z is a smooth point. We O call Xa(C) the analytical singularity scheme of C.
s (f) The scheme X (C) in Σ is defined via the ideal sheaf s( ) with stalks JX C /Σ s s( ) = I (C, z) = g Σ,z g goes through the cluster ℓ C, T ∗(C, z) , JX C /Σ,z ∈ O C
where T (C, z) denotes the essential subtree of the complete embedded ∗ resolution tree of (C, z). Is(C, z) is called the singularity ideal of the
singularity (C, z), and it is of course Σ,z whenever z is a smooth point. O We call Xs(C) the singularity scheme of C. (Cf. [Los98] Section 2.2.1.)
Throughout the thesis we will frequently treat topological and analytical sin- gularities at the same time. Whenever we do so, we will write X∗(C) for es ea es X (C) respectively for X (C), and similarly Xfix∗ (C) for Xfix(C) respectively ea s a for Xfix(C), and X(C) for X (C) respectively for X (C). 8 I. INTRODUCTION 2.8 Remark Let (C, z) be an isolated plane curve singularity of analytical type with rep- S resentative f Σ,z. ∈ O (a) A collection of ideals (f) = {I(g) | g Σ,z : g ∼c f} is said to be suitable, I ∈ O if the ideals I(g) satisfy the following properties: ∈ I (1) g I(g). ∈ (2) For a generic element in h I(g) we have h ∼c g and I(h) = I(g); ∈ more precisely, for any d 0 the set of polynomial h I(g) ≥ ∈ ∩
C[x, y] d such that h ∼c g and I(h) = I(g) is open dense in I(g)
≤ ∩ C C[x, y] d, where [x, y] d are the polynomials of degree at most d. ≤ ≤
(3) I g = ψ∗I(f), if ψ : Σ,z Σ,z is an isomorphism and u Σ,z is O O ∈ O a unit such that g = ψ∗(u f). · → (4) m>0 : I(g) = I jet (g) , i. e. I(g) is determined by jet (g). ∃ m m We note that (3) implies that I(g) only depends on the ideal g , and that h i the isomorphism class of I(f) is an invariant of . We call deg (f) = S I
dimC Σ,z/I(f) the degree of (f). (Cf. [Los98] Definition 2.39.) O I (b) Ifwe define a ea ea I (g) = h Σ,z | I (h) I (g) ∈ O ⊆ a for g Σ,z with g ∼c f, then the collection (f) = I (g) g Σ,z : ∈ O e I ∈ O g ∼ f is suitable. (Cf. [Los98] Definition 2.42.) c By [Los98] Lemma 2.44 we know deg (f) 3τe ( ). e I ≤ S (c) Among the suitable collections of ideals we choose one with minimal e degree, and we call it a(f). The elements of a(f) are parametrised by I I G := {g Σ,z | g ∼c f}, and we denote the element corresponding to ∈ O g G by Ia(g). We then define ∈ Ia(C, z) = Ia(f). Note that a(f) exists in view of (b), and that its definition depends only I on . Moreover, deg a(f) 3τ( ). (Cf. [Los98] Definition 2.40.) S I ≤ S 2.9 Remark
If C Σ is a reduced curve, then Xa(C)/Σ Xea (C)/Σ Xea(C)/Σ and Xs(C)/Σ ⊂ J ⊆J fix ⊆J J ⊆ Xes (C)/Σ Xes(C)/Σ. J fix ⊆J 1 In particular, the vanishing of h Σ, X(C)/Σ(D) implies the vanishing 1 J of h Σ, X∗ (C)/Σ(D) , and the vanishing of the latter implies that of fix 1 J h Σ, X∗(C)/Σ(D) . J To see the first assertion, consider the exact sequence
0 X(C)/Σ(D) X∗ (C)/Σ(D) X∗ (C)/Σ/ X(C)/Σ (D) 0. J J fix J fix J The long exact cohomology sequence then leads to → → → → 1 1 1 H Σ, X/Σ(D) H Σ, X∗ /Σ(D) H Σ, X∗ /Σ/ X/Σ (D) = 0, J J fix J fix J → → 2.SINGULARITYSCHEMES 9 where the latter vanishes since its support is zero-dimensional. This proves the claim. The second assertion follows analogously. 2.10 Remark In [Los98] Proposition 2.19 and 2.20 and in Remark 2.40 (see also [GLS00]) and 2.41 it is shown that, fixing a point z Σ and a topological respec- ∈ tively analytical type , the singularity schemes respectively analytical sin- S gularity schemes having the same topological respectively analytical type are parametrised by an irreducible Hilbert scheme, which we are going to denote by Hilbz( ). This then leads to an irreducible family S Hilb( ) = Hilbz( ). S S z Σ a∈ For a more careful study of these objects we refer to [Los98] Remark 2.21 and Remark 2.41. In particular, equisingular respectively equianalytical singularities have sin- gularity schemes respectively analytical singularity schemes of the same de- gree (see also [GLS98c] or [Los98] Lemma 2.8). The same is of course true, regarding the equisingularity scheme respectively the equianalytical singu- larity scheme. This leads to the following definition. 2.11 Definition If C Σ is a reduced curve such that z is a singular point of topological ⊂ respectively analytical type , then we define deg Xs( ) = deg Xs(C),z , S S deg Xes ( ) = deg Xes (C),z and deg Xes( ) = deg Xes(C),z respec- fix S fix S tively deg Xa( ) = deg Xa(C),z , deg Xea ( ) = deg Xea (C),z and S fix S fix deg Xea( ) = deg Xea(C),z . S To express the degree of the schemes X∗( ) and X∗ ( ) in terms of the invari- S fix S ants from Remark 2.2 for an analytical respectively topological singularity type is much simpler, since by definition S deg Xes( ) = τes( ) and deg Xea( ) = τ( ), S S S S while deg X∗ ( ) = deg X∗( ) + 2, and hence fix S S deg Xes ( ) = τ es( ) + 2 and deg Xea ( ) = τ( ) + 2. fix S S fix S S 2.12 Remark We note that for a topological respectively analytical singularity type S dim Hilbz( ) = deg X( ) − deg X∗( ) − 2 S S S for any z Σ, and thus ∈ dim Hilb( ) = deg X( ) − deg X∗( ) . S S S For the convenience of the reader we reproduce the proof from [GLS05] Lemma 2.1.49 at the end of this chapter. 2.13 Remark 10 I. INTRODUCTION (a) A simple calculation shows (see also [Los98] p. 28)
deg(Xa( ) = deg(Xs( ) S S S 3 Aµ µ + 2, µ even, 2 · 3 3 Aµ µ + , µ odd, 2 · 2 3 Dµ µ, µ even, 2 · 3 1 Dµ µ + , µ = 5 odd, 2 · 2 6 3 1 D5 µ − = 7, µ = 5, 2 · 2 3 E6 µ − 1 = 8, µ = 6, 2 · 3 1 E7 µ − = 10, µ = 7, 2 · 2 3 E6 µ − 1 = 11, µ = 8. 2 · In particular, if is a simple singularity, then deg(Xs( ) 3 µ( ) + 2, S S ≤ 2 S where µ( ) denotes the Milnor number of . S S (b) If is an analytical singularity type, then (cf. [Los98] Lemma 2.44) S deg Xa( ) 3τ( ), (2.1) S ≤ S where τ( ) denotes the Tjurina number of . S S (c) Let be any topological singularity type, then by [Los98] Lemma 2.8 S s deg X ( ) = δ( ) + mq, S S q T ∗(C,z) ∈X where (C, z) is a plane curve singularity of type , T ∗(C, z) is the essen- S tial subtree of the complete embedded resolution tree of (C, z), mq is the
multiplicity of (C, z) at the infinitely near point q T ∗(C, z), and δ( ) ∈ S the delta invariant of . S In [Los98] p. 103 it is shown that if is not a simple singularity type, S then deg Xs( ) 3 µ( ) − 1 . S ≤ 2 · S Combining this with (a) we get for arbitrary S deg Xs( ) 3 µ( ) + 2. (2.2) S ≤ 2 S 2.14 Definition
(a) Given topological or analytical singularity types 1,..., r and a divisor S S D Div(Σ), we denote by V = V|D|( 1,..., r) the locally closed sub- ∈ S S space of |D|l of reduced curves in the linear system |D|l having precisely
r singular points of types 1,..., r. reg reg S S 4 By V = V ( 1,..., r) we denote the open subset |D| S S reg 1 V = C V h Σ, ( ) (D) = 0 V, ∈ JX C /Σ ⊆ 4 See Theorem V.1.1. 2.SINGULARITYSCHEMES 11
s a fix fix where X(C) = X (C) respectively X (C), and by V = V ( 1,..., r) we |D| S S denote the open subset
fix 1 V = C V h Σ, X∗ (C)/Σ(D) = 0 V, ∈ J fix ⊆ where X (C) = Xes (C) respectively Xea (C) fix∗ fix fix irr irr Similarly, we use the notation V = V ( 1,..., r) to denote the |D| S S open subset of irreducible curves in the space V, and we set Virr,reg = irr,reg irr reg irr,fix irr,fix irr V ( 1,..., r) = V V and V = V ( 1,..., r) = V |D| S S ∩ |D| S S ∩ Vfix, which are open in Vreg respectively Vfix, and hence in V. If a type occurs k>1 times, we rather write k than , ...,k . S S S S (b) Analogously, V|D|(m1,...,mr) = V|D|(m) denotes the locally closed sub-
space of |D|l of reduced curves having precisely r ordinary singular
points of multiplicities m1,...,mr. (Cf. [GrS99]or[Los98] 1.3.2)
(c) Let V = V| |( 1,..., r) respectively V = V| |(m). We say V is T-smooth at D S S D C V if the germ (V, C) is smooth of the (expected) dimension dim |D|l − ∈ es es deg X∗(C) , where X∗(C) = X (C), X∗(C) = X (C) or X∗(C) = X(m; z) with Sing(C) = {z ,...,z } respectively. 1 r We call these families of curves equisingular families of curves. 2.15 Remark With the notation of Definition 2.14 and by [Los98] Proposition 2.1 (see also [GrK89], [GrL96], [GLS00]) T-smoothness of V at C is implied by the vanish- 1 ing of H Σ, X∗(C)/Σ(C) . This is due to the fact that the tangent space of V at J 0 0 C may be identified with H Σ, ∗( ) (C) /H (Σ, Σ). JX C /Σ O In particular, the subvarieties Vreg, Vfix, Virr,reg and Virr,fix are T-smooth, that 0 is smooth of expected dimension h Σ, Σ(C) − deg X∗(C) − 1. O 2.16 Definition Let D Div(Σ) be a divisor, 1,..., r distinct topological or analytical singu- ∈ S S larity types, and k1,...,kr Æ \{0}. ∈ (a) We denote by B the irreducible parameter space r ki B =eB(k1 1,...,kr r) = Sym Hilb( i) , S S S i=1 Y and by B =eB(k1e 1,...,kr r) the non-empty open, irreducible and dense, S S subspace
B = [X1,1,...,X1,k ],..., [Xr,1,...,Xr,k ] B supp(Xi,j) supp(Xs,t) = 1 r ∈ ∩ ∅