Professional Documents
Culture Documents
Abstract. To each curve singularity there associates a tree with suitably defined weights and spe-
cial paths. These combinatorial data reflect the topological properties of the singularity. It is shown
that such a curve can be specified by several axioms, so that every tree satisfying these axioms arises
from a curve singularity.
9.., q. Let B, be the proper transform of the curve in S~. We claim that t (v0)
=~(v0)+#(vt ) + " " +l~(v;-t ) + ( E j B j ) , j f o r j = l , 2, . . . , q. This c a n b e
p.roved by induction on j. Suppose the claim is true for j < q . Then ( E j B j ) v j =
(Ej*Bj+,)q=y(vj)+(Ej+tBj+, )vj+t ,where Ef is the total transform of Ej
+
q~F T ( vj )
curve on a surface.
Proof. Let ( T , S, t, f ) be an S-tree with N vertices. We apply the induction
on N.
If N = 1, then T is the associated S-tree of a smooth point of a curve. Hence-
forth assume that N > 1.
Let r be the root of T.
Case 1. F~ ( r ) consists of a single vertex r '
Let n = t ( r ' ) . Let T ' be the tree o b t a i n e d by deleting the root r and the
arc ( r , r '). If r ' is the initial endpoint o f a special path 7 in S , then let S '
= S- { 7 }; otherwise, let S '= S. Then ( T ', S ', t, f ) is an S- tree whose struc-
ture is 9 inherited from that of T. By the induction hypothesis, T : i s the associ-
ated tree of a curve singularity p ' of a curve B ' on a surface S ' .
Ifn>#(r : ) , then there is a special path (v0, v~) , ' " , (vs_~ , vs) in T
with v0 = r '. Note that (vi-~, vi ), l < i < s is not an arc in a special path of
the S - t r e e ( T ' , S', t,f). By ( 4 ) and ( 5 ) the number n satisfies the condi-
tions in Proposition 3 for the singularity p '. Hence there is a smooth curve C '
on S ' such that n = ( C ', B ' ) p , and the proper transforms of C ' pass
through v l , - . . , vs.
If n = ~ ( r ' ) , then take C ' to be a generic curve on B / passing through r '.
By proper choice of local coordinates x ' , y ' in a neighborhood o f r ', we
m a y assume that the local equation for C ' is x ' = 0 . Let f ( x ', y ' ) 0 be the
local equation for the curve B '. By the Weierstrass Preparation T h e o r e m ,
f(x', y')=u(x', y') g ( x ', y ' ) ,
where
g ( x ', y / ) = y ' " + a l ( x ' ) y :,-i + . . . + a , ( x ')
is a Weierstrass polynomial, with ord(a~(x ' ) ) > i, which is possible after a suita-
ble change of coordinates. Then F (x, y ) = x " g (x, -y- ) is a polynomial in x,
x
y. Let p = ( 0, 0 ) be the plane curve singularity given by the 9 F (x, y )
= 0. It is easy to see that the associated S-tree of this singularity is isomorphic to
T.
Case 2. F §T 1 s
} withs>l.
/ r
Let T~ , ..- , Ts be the connected components of the graph obtained by
deleting the root r and the arcs (r, h ) . . . . (r, v, ). F o r each i , let / T,. be the
arborescence obtained by adding a root re and an arc ( r ; , vg ) to Te 9 Let Se
be the collection of special paths in S supported on T / . Let I i and f ; be the restric-
t ions o f t a n d f o n the tips o f T : . Then each ( T e , Se , t e , f e 9 is an S-tree.
By the result we obtained in Case 1, there is a plane curve singularity Pe with
equation F; ( x , y ) = 0 for each i. Let P ; ( x, y ) be the degree /~ ( re ) part of
F;( x y ) "
Since F T+i ( r e ) consists of one point Pe (x, y ) is a power of some
linear polynomial L e ( x , y ) W i t h o u t loss of generality we m a y assume that the
lines L ~( x , y ) = 0 . . . . . Ls ( x , y ) = 0 are distinct. Let p be a plane curve singu-
larity given by the equation F~ ( x , y ) . . . F, ( x , y )=0 Then the associated
S-tree of p is isomorphic to T.
Curve Singularities and Graphs 93
2. Examples
To illustrate what we have done, we list all possible associated S-trees for
plane curve singularities of multiplicities less than or equal to 4. According to The-
orem 4 these associated S-trees are S-trees with # ( r ) < 4 , where r is the root of
the S-tree. To simplify the illustration, a wildcard symbol *n is used to denote
an arbitrary S-tree with/~ ( r ) = n. For example, the following three S-trees
(I.I) (I,i) (2,2)
(12) (i i) 7 (I i)
~( 3,3) 0
(1,1)
~ (3,3)
~ t~
6 (3,3) 0 (3,3) (3,3)
r r r
Figure I
can be represented by the tree
(i,1) 2
In the diagram, the pair of integers beside a vertex denotes the values of # and t
of that vertex. The root is always denoted by r.
(A) /~(r)=2.
In this case there are only two types of S-tree structures a s shown in
Figure 2 .
(1,1)
y (1.1)
2.2)
I (1,2)
(2,2)
i
(2,2) (2,2)
I9 (2,2) (2.2)
r r
Ca) (b)
Figure 2
There are no special paths.
(B) #(r)=3.
3) ,3) ~(3,3)
: 9
~(3,3) ~(3,3) (~ (3,3)
r r r
(a) (-b) (c)
%O
',...~ ~ ~ 0-...- 9 9 9 v
~ ~ eee
~ o~...
X ~ X
j_. ~ 0--- 9 9 9
x k ~ ~
Curve Singularities and Graphs 95
Itj (2'4)
(4,4) ~ 3,4)
(4', 4 )
(~(4,4)
r i(4,4)
(m)
(n)
(i ,i) (I ,2)
(i ,i) (i,2)
~
r~
/ /;
~(3,4) 3,4)
3,4)
?(4,4) 4,4) ? (4,4)
i
I (4,4) ~ (4,4)
r (4,4) r
r
(o) (q)
(p)
Figure 4
Note the difference between ( p ) and ( q ) .
3. Exceptional Divisors of a Singularity of a Curve on a Surface
Let B be a curve on a smooth surface S. Assume that B has exactly one sin-
gularity p . Then the singularity p can be resolved by a sequence of blowing-ups.
Definition 3. A surjective morphism n : $ / - ~ S is called a good resolution of
a singularity p of a curve B on the surface S if n is the composition of a sequence
of blowing-ups, i. e., n=nm~ . . . . n,, such that
i ) The proper transform B ' is smooth at every point of B ' N n - ' (p) ;
ii ) The center of each blowing-up n i is a singular point of the curve
(hi_ ~ , ... ~ n, ) * B ( t h e total transform of B ) .
The minimal resolution of p is a good resolution, since the center of each
blowing-up is chosen to be an infinitely near multiple point of B over p.
Let n : S ~-~ S be a good resolution. The inverse image n -~ ( p ) o f p is a
connected curve, of which each component is a rational curve with negative
self-intersection. Actually all these components are exceptional d[visors ( or their
proper transforms ) of the blowing-ups. L e t ~ ( n ) be the dual graph of n -~ ( p ) :
The vertices o f ~ ( n ) a r e the components of n -~ ( p ) and two vertices are con-
nected by an edge if and only if the corresponding components intersect. It is obvi-
ous that ~ ( n ) is a tree. Furthermore, ~ ( n ) becomes a weighted tree if the self-
tersection number of a component is assigned to be the weight to the corresponding
vertex. The proper transform of the exceptional curve of the first blowing-up n,
is assigned to be the root of this tree. Then ~ ( n ) becomes an arborescence.
The dual graph ~ ( n ) describes the topology of the set n -~ ( p ) . But it does
not give the information about the way of intersection of n-' ( p ) with the proper
transform B ' of the curve B.
Definition 4. Let ~ ( n ) be the dual graph of a good resolution n : S <-" S
96 Yang Jingen
Acknowledgement. Part of this paper was written while the author was vis-
iting the Institute of Mathematics of Academia Siniea, whose hospitality is greatly
appreciated.