3
$\begingroup$

Suppose $X$ is an algebraic variety and let $Z \subset X$ be a subvariety. Are there some useful criteria under which the blow-up $Bl_Z X$ becomes a nontrivial product $V \times W$ of the algebraic varieties $V$ and $W$? This means that these varieties should have positive dimensions.

Any example would be appreciated as well.

$\endgroup$

1 Answer 1

8
$\begingroup$

I am interpreting the question as also implying that $X$ itself is not a product. I do not have an answer in general, but I think that I have an example. It is a projective surface with a singular point: since you did not ask for the variety $X$ to be non-singular, this should qualify! Probably if $X$ is a surface with your property, then it must be singular, but I do not know how to show this.

Let $C$ be a non-hyperelliptic curve of genus at least three and let $Y := C \times C$. The diagonal $D$ in $Y$ is a curve that can be contracted: there is a morphism $\varphi \colon Y \to {\rm Jac}(C)$ given by $(x,y) \mapsto ([x]-[y])$. The morphism $\varphi$ contracts only the diagonal $D$, since the curve has genus at least three and it is non-hyperelliptic. The image of $\varphi$ is the surface $X$ we are looking for. It is a projective surface (with a unique singular point); its blow up is $Y$ and is therefore a product.

Presumably, the assumption that the curve is non-hyperlliptic is irrelevant: instead of letting $X$ be the image of $\varphi$, you can probably define $X$ to be the "intermediate" surface in the Stein factorization of $\varphi$.

$\endgroup$
1
  • 1
    $\begingroup$ Actually, if a non-singular surface is a product of curves and is non-singular, then it is minimal, so it is not a blow up of a non-singular surface. This same argument might give some ideas of how to proceed in general... maybe! $\endgroup$
    – damiano
    Oct 6, 2010 at 11:25

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

Not the answer you're looking for? Browse other questions tagged or ask your own question.