Processing math: 100%

Sunday, 3 September 2006

ag.algebraic geometry - finding the closure when blowing a variety at a singularity

Look at the affine pieces: over the open subset uneq0, you have a local coordinate z=v/u and your equations can be written as y=zx and xy=x6+y6. Substituting y in the second equation gives you x2z=x6+x6z6. Now this equation factors as x2=0 and 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) (which is (x,z)=(0,0)) follows from fracddzbig[zx4(1+z6)big]big|(x,z)=(0,0)=1 The other point shows up when considering the other affine piece, vneq0.



The reason why there are two points over (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 xy, which is the union of the two axes. Blowing up pulls these two branches apart.

No comments:

Post a Comment