Tuesday, 8 June 2010

ag.algebraic geometry - Is the blowup of a normal scheme necessarily normal?

Is the blowup of an integral normal Noetherian scheme along a coherent sheaf of ideals necessarily normal?



I can show that there is an open cover of the blowup by schemes of the form $text{Spec } C$, where $B subset C subset B_g$ for some integrally closed domain $B$ and some $g in B$, but I don't see why this would imply that $C$ is integrally closed. Intuitively, it seems reasonable that a blowup would be at least as "nice" as the original scheme, but that intuition may have more to do with how blowups are generally used than what they are capable of.

No comments:

Post a Comment