What is a standard example of a torsion-free sheaf, say on the complex projective plane, which is not locally free?
Asked
Active
Viewed 627 times
6
-
4Ideal of a point. – Sasha Jun 15 '22 at 08:15
-
8I don't think I agree with the closure of this question. It's short, but I recognize both that it's important to have concrete examples of abstract topics and that it can be nontrivial to generate these examples while learning the topics. – davidlowryduda Jun 23 '22 at 17:20
2 Answers
7
A good example is the ideal sheaf of a point on $\Bbb{P}^2$, or equivalently the ideal sheaf $\mathcal{I}$ of $(0,0)\in \Bbb{A}^2$. This is torsion free because $\mathcal{I}\subset \mathcal{O}$. It is not locally free because of the answers here.
Alekos Robotis
- 26,184
0
Another example is the function field, since projective space is integral, it has the well defined function field say $k(X)$, it defines a constant sheaf $\mathcal{K}$ such that $$\mathcal{K}(U) = k(X)$$
It is torsion free sheaf since for $0\ne a \in k(X)$, if $g \in \mathcal{O}(V)$ we have $ga = 0$ then $ga^{-1}a = g =0$ .
And the constant sheaf is not locally free.
yi li
- 4,786