Two successive point blowups of a smooth algebraic surface suffice. Let be the blowup of the affine plane at the origin. In its chart , with coordinates , the total-transform equation isRemoving the exceptional factor gives the strict transformAbove the original origin it has just one point, , which is still singular. The other chart is , where the strict transform has equation and does not meet the exceptional divisor . Thus there are no other points above the origin to resolve.
Blow up the remaining point to obtain . In the chart , with coordinates , the total transform of isand hence its strict transform isThe derivative of with respect to is , so this is nonsingular, even in characteristics two or five. In the other chart , the strict transform has equation and does not meet the exceptional divisor . Therefore the only point of mapping to the original origin is the smooth point .
The required sequence isThe local parameter there gives and , also verifying the resolved branch directly. This is the resolution of the (2,5) cusp by two blowups. Its tangency to an exceptional divisor does not affect the requested nonsingularity of the strict transform; making the whole total transform have normal crossings is a stronger task.
Articles by others on the same topic
There are currently no matching articles.