10
$\begingroup$

In algebraic geometry, it is a sad fact of life that pushforward doesn't preserve being a coherent sheaf; for example, the pushforward by the complement of a divisor of the structure sheaf (or more generally a line bundle) has essentially no hope of being again coherent. On the other hand, on a smooth variety, if I pull out a closed subset of codimension $\geq 2$, then the pushforward of the structure sheaf will be be the structure sheaf of the whole thing, essentially by Hartog's theorem.

Now, this is not true for singular varieties; you can have an affine inclusion of varieties where the complement has codimension greater than 1, like removing the singular point from singular plane quadric.

I'm generally curious about when "not too bad" singularities can avoid this problem; I'm particularly interested in whether this works for removing the singular locus of a terminal variety, but would be interested to hear other results along the same lines.

$\endgroup$

3 Answers 3

11
$\begingroup$

You probably know this, but it warrants pointing out. Suppose that $X$ is a normal variety. Set $U = X \setminus \text{Sing X}$ with the natural inclusion $i : U \to X$, and pushforward the structure sheaf, then $i_* \mathcal{O}_U = \mathcal{O}_X$. It just doesn't work for arbitrary line bundles.

If your variety is normal and factorial, then it does follow that the pushforward of any line bundle from the smooth locus will still be a line bundle. Actually, being factorial should be equivalent to the property you want.

$\endgroup$
12
$\begingroup$

On a normal variety, pushing forward a line bundle from the non-singular locus gives you a reflexive sheaf which is essentially the same as taking a Weil divisor representative of your original line bundle and take the Zariski closure of all the components keeping the same coefficients. So, what you get is a Weil divisor.

In other words, only assuming that your variety is normal, you get that the push forward of a line bundle (i.e., the sheaf version of a Cartier divisor) is a reflexive sheaf of rank 1 (i.e., the sheaf version of a Weil divisor (on a normal variety at least)).

The condition you want/need is that every Weil divisor be Cartier. As Karl said, this is exactly the condition of being factorial.

$\endgroup$
0
5
$\begingroup$

For terminal singularities this will not work already if we apply pushforward to the canonical bundle. Indeed, not all terminal singularities is Gorenstein. A simple contre-example is $\mathbb C^3/ \pm 1$.

$\endgroup$
4
  • $\begingroup$ Just to recall the name, for a normal variety the pushforward of the canonical bundle of the complement to singularities to the whole variety is called the dualizing sheaf. $\endgroup$ Apr 24, 2011 at 0:55
  • 1
    $\begingroup$ Or rather I would call it the canonical sheaf. It may or may not be dualizing since the variety may not be Cohen-Macaulay (of course, varieties with terminal singularities are CM). $\endgroup$ Apr 24, 2011 at 2:49
  • 1
    $\begingroup$ @Dmitri: actually, that's not true. A normal variety may not have a dualizing sheaf. It is (or should be) called the canonical sheaf. $\endgroup$ Apr 24, 2011 at 2:51
  • $\begingroup$ Karl, and Sandor, thank you for the correction, my fault! $\endgroup$ Apr 24, 2011 at 8:12

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.