arxiv: v2 [math.cv] 15 Sep 2009

Transcription

1 A FINITENESS THEOREM FOR DUAL GRAPHS OF SURFACE SINGULARITIES arxv: v2 [math.cv] 15 Sep 2009 Appeared n Internatonal Journal of Mathematcs 20 no. 8 (2009), PATRICK POPESCU-PAMPU Unversté Pars 7 Dens Dderot Insttut de Mathématques-UMR CNRS 7586 équpe Géométre et dynamque Ste Chevaleret, Case Pars Cedex 13 France. e-mal: ppopescu@math.jusseu.fr JOSÉ SEADE Undad Cuernavaca del Insttuto de Matemátcas Unversdad Naconal Autónoma de Méxco Cuernavaca, Méxco e-mal: jseade@matcuer.unam.mx Abstract Consder a fxed connected, fnte graph Γ and equp ts vertces wth weghts p whch are non-negatve ntegers. We show that there s a fnte number of possbltes for the coeffcents of the canoncal cycle of a numercally Gorensten surface sngularty havng Γ as the dual graph of the mnmal resoluton, the weghts p f the vertces beng the arthmetc genera of the correspondng rreducble components. As a consequence we get that f Γ s not a cycle, then there s a fnte number of possbltes of self-ntersecton numbers whch one can attach to the vertces whch are of valency 2, such that one gets the dual graph of the mnmal resoluton of a numercally Gorensten surface sngularty. Moreover, we descrbe precsely the stuatons when there exsts an nfnte number of possbltes for the self-ntersectons of the component correspondng to some fxed vertex of Γ. 1 1 Introducton Let (X,0) be a germ of a normal complex analytc surface and ( X,E) π (X,0) a resoluton of t, ts exceptonal dvsor E not beng supposed to have normal crossngs. One assocates to ths resoluton a dual graph Γ, whose vertces are weghted by the absolute values e := E 2 > 0 of the self-ntersectons and by the arthmetc genera p := p a (E ) 0 of the correspondng rreducble components E f E. We see the two collectons of weghts as functons wth values n Æ defned on the set of vertces of Γ, and we denote them by e and p respectvely. 1 Mathematcs Subject Classfcaton 2000: 14B05, 32S25, 32S45 Key words and phrases: Gorensten surface sngulartes, numercally Gorensten, canoncal cycle, dual graphs. 1

2 It s known snce the works of Du Val [16] and Mumford [13] that the ntersecton form assocated to the weghted graph (Γ,e) s negatve defnte. In ths case we say that (Γ,e) and (Γ,e,p) are also negatve defnte. Conversely, Grauert [8] showed that f a compact connected reduced dvsor on a smooth complex analytc surface has a weghted dual graph whch satsfes ths condton, then t may be contracted to a normal sngular pont of an analytc surface. An mportant problem, studed by several authors (see for nstance Yau [18] and Laufer [11]), s to decde, amongst negatve defnte dual graphs (Γ, e, p), whch ones correspond to solated hypersurface sngulartes n 3. Ths problem s rather deep and has ressted several attempts to solve t. Ths artcle arose as a new attempt to gve a step n that drecton. To be precse, we look at the followng weaker problem: Descrbe the dual graphs correspondng to numercally Gorensten normal surface sngulartes. Ths second problem was also posed by Ja, Luk & Yau [9]. Recall that the normal germ (X, 0) s called Gorensten f the canoncal lne bundle s holomorphcally trval on a ponted neghborhood of 0 n X. It s called numercally Gorensten f the same lne bundle s smoothly trval. An solated hypersurface sngularty s a partcular case of solated complete ntersecton sngularty, whch s a partcular case of a Gorensten solated sngularty, whch s a partcular case of numercally Gorensten solated sngularty. Ths explans n what sense the prevous problem s weaker than the ntal one. Ths artcle s devoted to the study of the dual graphs of numercally Gorensten surface sngulartes; for short, we call these sngulartes n-gorensten. The startng pont s Durfee s observaton n [6] (see also [10]), that an solated surface sngularty (X, 0) s n-gorensten ff the canoncal cycle Z can of every resoluton s ntegral. Ths 2-cycle, supported on the exceptonal dvsor, s unquely characterzed by the fact that t satsfes the adjuncton formula: 2p a (E ) 2 = E 2 + Z can E, for each rreducble component E f the exceptonal dvsor, where p a (E ) s the arthmetc genus of the (possbly sngular) curve E. Ths system of equatons shows that the coeffcents of Z can are determned by the dual graph of the consdered resoluton, decorated by the weghts e and p attached to the vertces. Therefore, we can speak about n-gorensten graphs (Γ,e,p). Gven an arbtrary fnte, connected, unorented graph Γ, whose set of vertces s denoted V (Γ), every choce of suffcently large postve weghts (e ) V (Γ) makes t have negatve defnte ntersecton form (see [10]). More precsely, there exst weghts (e 0 ) V (Γ) such that one has a negatve defnte ntersecton form whenever e e 0 for all V (Γ). By Grauert s theorem, every choce of arthmetc genus p for each vertex turns (Γ,e,p) nto the dual graph of a resoluton of a normal surface sngularty. Furthermore (see [10, Theorem 2.10]), for each fxed functon e such that (Γ, e) s negatve defnte, there are nfntely many choces of a functon p that make (Γ, e, p) n-gorensten. In ths paper we look at the converse stuaton, whch s more delcate: If we fx (Γ,p), how many choces are there for e such that (Γ,e,p) s a n-gorensten graph? As notced before, the knowledge of (Γ, e, p) determnes the coeffcents of the canoncal cycle of a sngularty whose mnmal resoluton has ths dual graph. We succeeded n provng the followng fnteness result, whch s a consequence of the man theorem of ths paper (see Theorem 4.1): Let Γ be an arbtrary fnte, connected, unorented graph equpped wth weghts p 0 assgned to each vertex V (Γ). Then there are at most a fnte number of choces of weghts correspondng to 2

3 the coeffcents of the canoncal cycle of the mnmal resoluton of a n-gorensten surface sngularty wth dual graph Γ and arthmetc genera p. As a consequence of ths result we get that f Γ s not a cycle, then there s at most a fnte number of choces of weghts e for the vertces wth valence at least 2, when one vares e such that (Γ,e,p) s n-gorensten and mnmal (that s, wthout vertces such that p = 0 and e = 1). Moreover, we descrbe precsely n all the cases the non-fnteness appearng n the choce of the weghts (e ) V (Γ) (see Proposton 5.2). Before descrbng brefly the content of each secton, we would lke to menton that, as Jonathan Wahl told us, t s unknown f each n-gorensten graph occurs as the dual graph assocated to a resoluton of a Gorensten (and not merely n-gorensten) normal surface sngularty. In Sec. 2 we explan the necessary background about dual graphs, assocated quadratc forms, antcanoncal cycles and numercally Gorensten sngulartes. In Sec. 3 we gve examples of famles of numercally Gorensten sngulartes, whose study allowed us to conjecture the results proved n the followng sectons. In Sec. 4 we prove our man theorem, and n the last one we descrbe precsely the vertces f the graph Γ, to whch may be assocated n an nfnte number of ways a value e, extendable to a weght e, makng (Γ,p,e) n-gorensten. Ths places the examples of the second secton n a clearer lght. We conclude wth some questons. 2 Dual graphs and antcanoncal cycles Let (X,0) be a germ of normal complex analytc surface. Denote by ( X,E) π (X,0) ts mnmal resoluton, where E s the reduced fbre over 0. Therefore E can be regarded as a connected reduced effectve dvsor n X, called the exceptonal dvsor of π. Note that E has not necessarly normal crossngs. In partcular, ts rreducble components are not necessarly smooth. Denote by Γ the dual (ntersecton) graph of E: ts vertces correspond bjectvely to the components of E and between two dstnct vertces and j there are as many (unorented) edges as the ntersecton number e j := E E j 0 of the correspondng components. In partcular, Γ has no loops. Moreover, each vertex f Γ s weghted by the number e, where e := E 2 s the self-ntersecton number of the assocated component E nsde X. Denote by V (Γ) the set of vertces of Γ and by e V (Γ) the functon whch assocates to each vertex ts weght. To the weghted graph (Γ, e) s assocated a canoncal quadratc form on the real vector space Ê V (Γ), called the ntersecton form assocated to the resoluton π: Q (Γ,e) (x) := ( e x 2 + e j x x j ) = x ( e x + e j x j ). (2.1) V (Γ) j V (Γ) j Often n the lterature one fxes an order of the components of E, whch makes e appear as a fnte sequence and (e j ),j appear as a matrx. We dd not choose to do so n order to emphasze that there s no natural order and that our consderatons do not depend on any such choce. Du Val [16] and Mumford [13] proved that the ntersecton form Q (Γ,e) s negatve defnte. In partcular, e > 0 for all V (Γ). Conversely, Grauert [8] proved that f the form assocated to a reduced compact effectve dvsor E on a smooth surface s negatve defnte, then E can be contracted to a normal sngular pont of an analytc surface. For the followng consderatons on arthmetc genera, the adjuncton formula and the antcanoncal cycle, we refer to Red [15] and Barth, Hulek, Peters & Van de Ven [2]. 3

4 If D s an effectve dvsor on X supported on E, then t may be nterpreted as a (non-necessarly reduced) compact curve, wth assocated structure sheaf O D. Its arthmetc genus p a (D) s by defnton equal to 1 χ(o D ). It satsfes the adjuncton formula: p a (D) := (D2 + K X D) (2.2) where K X s any canoncal dvsor on X. Ths allows to extend the defnton to any dvsor supported on E, not necessarly an effectve one. Denote by p the arthmetc genus of the curve E for all V (Γ), and by g the arthmetc genus of ts normalzaton, equal to ts topologcal genus. Both genera are related by the followng formula: p = g + P E δ P (E ) (2.3) where δ P (E ) 0 denotes the delta-nvarant of the pont P of E, equal to the number of ordnary double ponts concentrated at P. One has δ P (E ) > 0 f and only f P s sngular on E. We deduce from (2.3) that: p = 0 f and only f E s a smooth ratonal curve. (2.4) At ths pont, we have two weghtngs for the vertces of the graph Γ: the collecton e of selfntersectons and the collecton p of arthmetc genera of the assocated rreducble components. If E s a dvsor wth normal crossngs and moreover all ts components are smooth, then the doubly weghted graph (Γ,e,p) determnes the embedded topology of E n X (see Mumford [13]). In general ths s not the case, because these numercal data do not determne the types of sngulartes of E. Nevertheless, they determne them, and consequently the embedded topology of E, up to a fnte ambguty. Indeed, there are a fnte number of embedded topologcal types of germs of reduced plane curves (C,c) havng a gven value δ c (C) (see Wall [17, page 151]). As the quadratc form Q (Γ,e) s negatve defnte, there exsts a unque dvsor wth ratonal coeffcents Z K supported on E such that: Z K E = K X E, for all V (Γ). (2.5) We call Z K the ant-canoncal cycle of E (or of the resoluton π). The name s motvated by the fact that whenever (X,0) s Gorensten, Z K s a canoncal dvsor on X n a neghborhood of E. Wth the notatons of the ntroducton, Z can = Z K. The sgn n the prevous defnton s motvated by the followng well-known result: Lemma 2.1 Assumng (as we do) that the resoluton s mnmal, Z K s an effectve dvsor. Proof. From (2.2) and (2.5) we get Z K E = e 2p +2. Ths number s necessarly non-postve. Ths s clear f p 1. If nstead p = 0, by (2.4) we see that E s a smooth ratonal curve. As π s supposed to be the mnmal resoluton of (X,0), we get e 2 by Castelnuovo s crteron, whch shows agan that e 2p Therefore Z K E 0 for all V (Γ), whch mples that Z K s effectve (cf. the proof of Proposton 2 n [1]). Denote: Z K = V (Γ) z E. 4

5 The prevous lemma shows that z É V (Γ) 0. By the adjuncton formulae (2.2) and the relatons (2.5), we get the followng system of equatons relatng e,p and z: 2p 2 = (z 1)e j z j e j (2.6) Defnton 2.2 The sngularty (X, 0) s called numercally Gorensten or n-gorensten f Z K s an ntegral dvsor. As the coeffcents Z = {z } of Z K depend only on the decorated graph (Γ,p,e), we also say that ths graph s n-gorensten. Recall now that the Du Val sngulartes, also known as Klenan sngulartes, ratonal double ponts or smple surface sngulartes (see Durfee [7]) are, up to somorphsm, the surface sngulartes of the form C 2 /G, where G s a fnte subgroup of SU(2). For these sngulartes the mnmal resoluton has Z K = 0, the dual graph Γ s one of the trees A n,d n,e 6,E 7,E 8 and p = 0,e = 2 for all the vertces f Γ. Lemma 2.3 If (Γ,p,e) s not one of the Dynkn dagrams {A n,d n,e 6,E 7,E 8 } correspondng to the Du Val sngulartes and s n-gorensten, then z > 0 for all V (Γ). Proof. Suppose that z = 0. The prevous equaton mples that 2p 2 < 0, thus p = 0. Therefore (2.6) may be wrtten: 2 = e z j e j. j The hypothess that the resoluton s mnmal shows that e 2, snce p = 0. Hence e = 2 and z j = 0 for all the neghbors j of. Extendng ths argument step by step and usng the connectedness of Γ, one gets z j = 0 and e j = 2 for all j V (Γ). Therefore, the decorated graph must be as stated, by a classcal characterzaton of Du Val sngulartes (see [2, page 19]). In the sequel, we suppose that (Γ,p,e) s not one of the Dynkn dagrams {A n,d n,e 6,E 7,E 8 }. By the prevous lemma, z 1 for all V (Γ). Let us ntroduce new varables, for smplcty: n := z 1 0, v := e j 0, j Then the adjuncton formulae (2.6) become: q := v + 2p 2 2. {e n = q + j (2.7) e j n j } V (Γ). (2.8) If V (Γ), v s the valency of, that s, the number of edges connectng t to other vertces. If Γ s homeomorphc to a crcle and p = 0 for all V (Γ), we say that (Γ,p) s a cusp-graph. The name comes from the fact that such graphs appear as dual resoluton graphs of so-called cusp surface sngulartes (see Breskorn [3, page 54] or Loojenga [12, page 16]). We summarze below the prevous dscusson: 5

6 Proposton 2.4 Let (X, 0) be a n-gorensten surface sngularty whch s not a Du Val sngularty. Let E = E be the reduced exceptonal dvsor of ts mnmal resoluton and let Z K = z E be the ant-canoncal cycle, characterzed by the adjuncton formulae (2.6). Then Z K E s an effectve dvsor and, wth the notatons of (2.7), the adjuncton formulae become the formulae (2.8). 3 Examples In ths secton we present some of the examples whch led us to conjecture the results proved n the next two sectons. In each one of them, we fx a weghted graph (Γ,p) and we look for the weghts e whch make (Γ,e,p) correspond to a n-gorensten sngularty. ) Suppose that the graph Γ has only 1 vertex, no edges, and that we equp the vertex wth some weght p 0. Then the ant-canoncal cycle s Z K = ze for some z Æ, where E represents a (possbly sngular) rreducble projectve curve of arthmetc genus p. Denotng e := E 2, the adjuncton formulae (2.6) mply: z = 2p e Hence we have the dual graph of an n-gorensten sngularty ff the weghts (p,e) are chosen so that 2p 2 e s an nteger. Obvously, except when p = 1, there are fntely many choces of such weghts for a fxed p. ) Consder a graph Γ wth two vertces 1 and 2 and one edge between them, and equp the vertces wth genera p 1 = 1 and p 2 = 2 respectvely. The adjuncton system (2.8) becomes: { e1 n 1 n 2 = 1 e 2 n 2 n 1 = 3. An easy computaton shows that there are exactly 8 solutons (n 1,n 2 ;e 1,e 2 ) of the system, as follows: (5,4;1,2), (3,2;1,3), (2,1;1,5), (4,7;2,1), (1,1;2,4), (2,5;3,1), (1,2;3,2), (1,4;5,1). ) Consder the quotent-concal sngulartes of Dolgachev [4]: gven any cocompact fuchsan group G of sgnature {g;α 1,...,α n }, we may let t act on TH = H va the dfferental: h (z,w) (h(z),h (z) w), where H s the upper half plane n. The surface TH/G contans H/G as a dvsor that can be blown down analytcally. The result s a normal surface sngularty (X, 0) whose abstract boundary (or lnk) s dffeomorphc to PSL(2, Ê)/G and whch has a resoluton wth dual graph a star wth a center representng a curve E 0 of genus g and weght e 0 = 2g 2 + n; t has n branches of length 1, each wth an end-vertex that represents a curve of genus 0 and weght e = α. The α can take any values 2. The ant-canoncal cycle s Z K = 2E 0 + n =1 E. Thus, gven such a graph, equpped wth the correspondng genera, there are nfntely many choces of weghts e for the vertces of valency 1 whch make t correspond to n-gorensten sngulartes (cf. [5], [14]). v) Consder as a fnal example the dual graph of a cusp sngularty (see [3] or [12]). Ths s a cycle of fnte length; all ts vertces represent smooth ratonal curves E 1,...,E n wth e 2 for all V (Γ), and at least one vertex satsfes e 3. The ant-canoncal cycle s Z K = E E n, regardless of the weghts e, whch shows that such sngulartes are n-gorensten. We see that all the choces of weghts e satsfyng the prevous nequalty are good, for every choce of genera. Therefore there exsts an nfnte number of possbltes for each weght e. 6

7 4 The man theorem In ths secton we gve a structure theorem about the set of solutons of systems of the form (2.8), where we drop the condtons q 2, whch are necessarly satsfed (see (2.7)) f the system corresponds to potental surface sngulartes. If,j are dstnct vertces of Γ, we denote by j the fact that they are adjacent, that s, connected by at least one edge. Theorem 4.1 Consder a graph Γ decorated wth weghts q V (Γ), and the system of equatons n the unknowns (n,e) (Æ) V (Γ) (Æ ) V (Γ) : {e n = q + j e j n j } V (Γ). (4.9) Then there exst at most fntely many weghts n whch can be extended to solutons (n,e) of the prevous system, such that the quadratc form Q (Γ,e) s negatve defnte. Proof. By workng on examples, we notced that we got contradctons f we searched for solutons of the system (4.9) by travelng contnuously on the graph Γ, startng from a value n whch was too bg. As we were unable to fnd a precse descrpton of what too bg meant, we had the dea to search a contradcton startng from a sequence of solutons wth unbounded values of n. Ths dea worked, as we explan now. Suppose that there exsts a sequence of solutons ((,e (k) ) (Æ) V (Γ) (Æ ) V (Γ) ) k 1 such that: N (k) := max V (Γ) { } k +. Selectng subsequences f necessary, we may assume that: ) there exsts V (Γ) such that = N (k), for all k 1; ) for all V (Γ), there exsts lm Set: k =: ν [0,1]. P := { V (Γ) ν > 0}; then P (ndeed, P, as ν o = 1 by )). Let Γ P be the subgraph of Γ spanned by P (that s, the subgraph of Γ whose set of vertces s P and whose edges are all the edges of Γ whch connect two elements of P). It can be non-connected. Denote by Γ (P,o) the connected component of Γ P whch contans the vertex. For all V (Γ (P,o)), one has by (4.9): e (k) = q + j j e j. By assumpton ) and the constructon of Γ P, the followng lmts exst: lm k = ν > 0, 7

8 for all V (Γ (P,o)), and: lm k j = 0, for all the vertces j V (Γ) \ V (Γ (P,o)) whch are connected to the vertex. Moreover, as lm k N(k) = and N (k) = q for all k 1 by assumpton ), we see that lm k = 0. Thus one gets that for all V (Γ (P,o)), lm k e(k) exsts and: ǫ := lm k e(k) = 1 e j ν j < +. (4.10) ν j V (Γ (P,o) ) j As all the numbers e (k) are ntegers, ths shows that there exsts k o such that for all k k o and for all V (Γ P,o ) one has: e (k) = ǫ. Therefore, by equaton (4.10): e (ko) ν = j V (Γ (P,o) ) j e j ν j, for all V (Γ (P,o)). (4.11) Defne µ V (Γ) by µ := ν for all V (Γ P,o ) and µ := 0 otherwse. Therefore µ o = 1, whch shows that µ 0. The equaltes (4.11) and formula (2.1) mply: Q (Γ,e (ko) ) (µ) = 0 whch contradcts the fact that Q (Γ,e (k 0 ) ) s negatve defnte. As an mmedate consequence of Theorem 4.1 we get: Corollary 4.2 If a vertex V (Γ) satsfes that n 0 for every soluton of (4.9), then e takes only a fnte number of values. Therefore, the system (4.9) has a fnte number of solutons (n,e) (Æ ) V (Γ) (Æ ) V (Γ). Thus, f all vertces satsfy n 0 for every soluton of (4.9), then there are a fnte number of possble weghts (self-ntersectons) for the vertces makng the graph n-gorensten. Proof. If n 0 for all V (Γ), we get from the equatons (4.9) that: e = 1 n (q + j e j n j ). As by Theorem 4.1 there are only fntely many possbltes for n, the concluson follows. 5 The possble non-fnteness of self-ntersectons In ths secton we mpose agan the restrctons q 2, satsfed when the system (4.9) corresponds to potental normal surface sngulartes (see the relatons (2.7)). We want to descrbe to what extent not only the weghts n can take a fnte number of values (whch s ensured by Theorem 4.1), but also e. In vew of Corollary 4.2, let us concentrate our attenton on the vertces 0 and on the solutons (n,e) of (4.9) such that n 0 = 0. 8

9 Proposton 5.1 If there exsts a vertex 0 such that n 0 = 0 for some soluton (n,e) of the system (4.9), then v 0 2. Moreover: a) If v o = 2, then one has a cusp graph and n = 0 for all V (Γ). Therefore Z K = E, e j 2 for all vertces j and e j 3 for at least one vertex (n order to ensure that the graph s negatve defnte). b) If v o = 1, then p 0 = 0 and the unque neghbor 1 of 0 satsfes n 1 = 1. Therefore, E o s a smooth ratonal curve, z 0 = 1 and z 1 = 2. c) If v 0 = 0 (therefore Γ has only one vertex and no edges), then p 0 = 1. For every choce of weght e 0, we get a n-gorensten graph and Z K = E 0. Proof. From (4.9) and (2.7), we get: 0 = v 0 + 2p j e 0 jn j. (5.12) We conclude usng the fact that all the parameters appearng n the equaton are non-negatve ntegers. Conversely, as shown by the examples v) of Secton 3, for all cusp-graph Γ one has an nfnte number of possbltes for the weght e, and ths for each vertex. More precsely, the set of possbltes for e s (Æ \ {1}) V (Γ) \ ({2}) V (Γ). The case b) of the prevous lemma s realzed for example n the famly ) of Secton 3. The case c) corresponds, for nstance, to the Breskorn sngulartes defned by the equaton z1 a + zb 2 + zc 3 = 0 wth 1/a + 1/b + 1/c = 1; these have a mnmal resoluton whch s a lne bundle over a non-sngular ellptc curve. The followng s an mmedate consequence of Proposton 5.1. Proposton 5.2 Suppose that (Γ,p) s not a cusp graph. We fx a vertex f Γ and we look at the possble values of e, when one vares (n,e) among the solutons of (4.9). Then: f v > 1, the number e takes only a fnte number of values; f v = 1, the number e takes an nfnte number of values f and only f there exsts a soluton wth n = 0. In ths case, one obtans new solutons by varyng only e n Æ \ {1} and fxng all the other values of (n,e). As a concluson, we ask some questons that arse naturally from our work: Gven (Γ,p), s the set of weghts e makng (Γ,p,e) mnmal and n-gorensten always nonempty? Gven (Γ,p), can one gve explct upper bounds on the values of the functons n whch can be extended to a soluton of (4.9)? Gven (Γ,p), can one gve an algorthm to compute the values of the functons n whch can be extended to a soluton of (4.9)? Acknowledgments The research of the second author was supported by CONACYT and DGAPA-UNAM, Mexco. 9

10 References [1] M. Artn, On solated ratonal sngulartes of surfaces, Amer. J. Math. 88 (1966), [2] W. P. Barth, K. Hulek, C.A.M. Peters and A. Van de Ven, Compact complex surfaces, Second enlarged edton, (Sprnger, 2004). [3] E. Breskorn, Sngulartes n the work of Fredrch Hrzebruch, n Surveys n Dfferental Geometry vol. VII, (Internatonal Press, 2000), pp [4] I. V. Dolgachev, Quotent concal sngulartes on complex surfaces, Funct Anal. Appl. 8 (1974) [5] I. V. Dolgachev, On the lnk space of a Gorensten quas-homogeneous surface sngularty, Math. Ann. 265 (1983) [6] A. Durfee, The sgnature of smoothngs of complex surface sngulartes, Math. Ann. 232 (1978) [7] A. Durfee, Ffteen characterzatons of ratonal double ponts and smple crtcal ponts, Ensegnem. Math. 25 (1979) [8] H. Grauert, Über Modfkatonen und exzeptonnelle analytsche Mengen, Math. Ann. 146 (1962) [9] L. Ja, H.S. Luk and St. S.-T. Yau, From CR geometry to algebrac geometry and combnatoral geometry, AMS/IP Studes n Advanced Mathematcs 39 (2007) [10] F. Larrón and J. Seade, Complex surface sngulartes from the combnatoral pont of vew, Topology and ts Appl. 66 (1995) [11] H. B. Laufer, The multplcty of solated two-dmensonal hypersurface sngulartes, Trans. of the AMS 302 no. 2 (1987) [12] E. Loojenga, Isolated sngular ponts on complete ntersectons (Cambrdge Unv. Press, 1984). [13] D. Mumford, The topology of normal sngulartes of an algebrac surface and a crteron for smplcty, Publ. Math. IHES 9 (1961) [14] W. Neumann, The geometry of quashomogeneous surface sngulartes, n Proc. Symp. Pure Maths. vol 40 (A.M.S., 1983), pp [15] M. Red, Chapters on Algebrac Surfaces, n Complex Algebrac Geometry, J. Kollár edtor, (A.M.S., 1997), pp [16] P. Du Val, On absolute and non-absolute sngulartes of algebrac surfaces, Revue de la Faculté des Scences de l Unv. d Istanbul (A) 91 (1944) [17] C.T.C. Wall, Sngular ponts of plane curves (Cambrdge Unv. Press, 2004). [18] St. S.-T. Yau, Hypersurface weghted dual graphs of normal sngulartes of surfaces, Amer. Journ. of Maths. 101 no.4 (1979)