Look at the affine pieces: over the open subset uneq0uneq0, you have a local coordinate z=v/uz=v/u and your equations can be written as y=zxy=zx and xy=x6+y6xy=x6+y6. Substituting yy in the second equation gives you x2z=x6+x6z6x2z=x6+x6z6. Now this equation factors as x2=0x2=0 and z=x4(1+z6)z=x4(1+z6); the locus where the first one vanishes is the exceptional divisor, while the second one gives you the closure you are looking for. Non-singularity of the point over (x,y)=(0,0)(x,y)=(0,0) (which is (x,z)=(0,0)(x,z)=(0,0)) follows from fracddzbig[z−x4(1+z6)big]big|(x,z)=(0,0)=1fracddzbig[z−x4(1+z6)big]big|(x,z)=(0,0)=1 The other point shows up when considering the other affine piece, vneq0vneq0.
The reason why there are two points over (x,y)=(0,0)(x,y)=(0,0) is because at that point your curve has two branches. To see that, look at the lowest degree piece of the polynomial defining it (essentially, you are looking here at a neighborhood of the origin in the classical/analytic topology): this is xyxy, which is the union of the two axes. Blowing up pulls these two branches apart.
No comments:
Post a Comment