A while back, Sam wrote a post about du Val singularities and gave explicit calculations for the blowups of the and singularities. One neat characterization of du Val singularities is the concept of absolutely isolated double point: they can be resolved by successive blowups, where each blowup is at an isolated double point. In particular, this means that when we blowup a du Val singularity, the result is either nonsingular, or the singularities are also of du Val type. In this post I will discuss this in further detail. These are mainly rough notes for myself, so apologies in advance if it’s not so enlightening to anyone else. We work over the complex numbers.
These are related to Dynkin diagrams in the following way. Let X be a du Val singularity, and let X’ be its minimal resolution, so we have a proper birational map and X’ is nonsingular. The preimage of the origin will be a tree of projective lines, and any two either intersect transversely in a single point, or are disjoint. Furthermore, any point of intersection contains only two lines. We draw a graph whose nodes are the projective lines, and connect two nodes with an edge if the corresponding lines intersect. Then this graph will be a Dynkin diagram of type ADE. Furthermore, this configuration determines the singularity up to analytic isomorphism, so we can give them names using Dynkin diagram language. Due to the recursive nature of these resolutions, we should be able to see how these trees are “built up” from successive blowups, and that’s what I want to investigate. For the E case, I’ll just give some remarks.
One fact we’ll use about (analytic) isomorphism types of singularities is the following. Let S be the polynomial ring in n variables and let R be the ring of power series in n variables. Let f and g be polynomials in S with no constant term. Let I(f) be the ideal generated by f and its partial derivatives. Then f and g are isomorphic singularities at the origin if and only if R/I(f) is isomorphic to R/I(g). Intuitively, if S is the polynomial ring in n variables, then S/I(f) is the coordinate ring for the singular locus of the variety defined by f, and R/I(f) is the completion at the origin. This is the Mather-Yau theorem, which is stated as Theorem I.2.26 of the book Introduction to Singularities and Deformations by G.-M. Greuel, C. Lossen, and E. Shustin.
Blowing up : This is the affine variety defined by the equation . We blow up the origin of X, and call the birational transform Y. Let’s describe this explicitly. Choose projective coordinates on . The blowup of is defined by the equations xt = sy, xu = sz, tz = uy, and it comes with a projection p to . Then Y is the closure of inside of .
It is covered by 3 open affine varieties, given by the equations s=1, t=1 and u=1, respectively. If we look at the case when u=1, we get x = sz and y = tz. So our original equation becomes . This has two irreducible components, one where , corresponding to , and the other which defines the closure of inside of this open set.
The exceptional divisor E is the intersection of Y with . When n=1, E is defined by the equation , which is isomorphic to . This can be verified on each open affine set.
When n>1, its intersection with the open set defined by u=1 is the set of points where a is an arbitrary complex number, and . Working in the open set defined by s=1, we have the equation . Again we throw out the factor, and the intersection with is affine line where b is an arbitrary complex number. We will get the same thing if we work in the open set defined by t=1. Note that when a and b are both nonzero and . Let’s look at the limit . First we rewrite the points as . Then we set , so the limit point is which corresponds to the case a=0 in the paragraph above. We conclude that E consists of two projective lines intersecting at the point .
When n>2, this point of intersection is a singular point of Y, and the singularity is of type (as can be seen from the equation above). Again we can blow this up, and by what we have just said, the exceptional divisor is either a single or two copies F, F’ intersecting in a point Q. In the first case, the inverse images of E and E’ intersect this copy in different points, and in the second case we will have E intersect F in a point distinct from Q, and E’ intersect F’ in a point distinct from Q. I omit the calculations. If we continue blowing up singular points until we get something nonsingular, ultimately, we will get n projective lines above the origin such that intersects , and all of these points of intersection are distinct.
Blowing up : For this part, . This is the singularity defined by the equation . The exceptional divisor E of the blowup Y is a projective line. We use the same notation as the case. Then the open set given by s=1 doesn’t intersect E, while the intersection of Y with the open set defined by t=1 is given by the equation . This singularity is analytically isomorphic to a type singularity because the ideal generated by this equation and its partial derivatives is the maximal ideal .
Now we examine the intersection of Y with the open set defined by u=1. The defining equation is . If n=4, it contains two singular points corresponding to , both of type : for example to deal with the case t=-i, we translate coordinates by to get . Its partial derivatives are . Since we’re working in the power series ring, and are units, so the partial derivatives generate the maximal ideal. Otherwise, if n>4, it contains 1 singular point of type (calculation omitted). When we blow it up enough times, this singular point will become a tree of projective lines which intersect in the pattern of . Then the preimage of E will intersect in a single point, but it will also contain another projective line hanging off it (coming from the singularity in the previous paragraph). This shape is .
Blowing up : This is the variety X defined by the equation . The exceptional divisor E of the blowup is a projective line , which contains a singularity of of type : using the notation from above, this is in the open set defined by u=1, and the defining equation is . The quotient ring is isomorphic to , which is what one gets in type .
Blowing up that singularity, we get , and the inverse image of the origin contains three projective lines , all of which intersect at the same point. This is a singularity of type . We blow it up again and get . Now the inverse image of the origin is 5 projective lines which all intersect at a single point. This point of intersection is still singular. Blow it up one more time to get a nonsingular surface, and the inverse image of the origin is 6 projective lines which intersect each other like in the Dynkin diagram. This article does the calculations out in gory detail.
Blowing up : This is defined by the equation . The exceptional divisor E of the blowup contains a singular point of type in the open set defined by u=1 where the defining equation is . The quotient , after some manipulations, becomes the ring . Replacing z by , we have and that is a scalar multiple of , so we can do a scalar change of coordinates to get it isomorphic to , which is what we get from .
Blowing up : This is defined by the equation . The exceptional divisor E of the blowup contains a singular point in the open set defined by of type : the defining equation is .