[Math] Is the pushforward of a line bundle on the smooth locus of a terminal singularity again a line bundle

ag.algebraic-geometrycoherent-sheaves

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.

Best Answer

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.

Related Question