4
$\begingroup$

Let $X$ be a smooth curve defined over a field and $F$ a coherent sheaf on $X$.

I would like to show that $F/F_{t}$ is locally free, for $F_{t}$ the torsion subsheaf of $F$.

Since $F$ is coherent it is enough to show the stalk $F_{p}$ is free as an $(\mathcal O_{X})_{p}$-module for all $p$. How do I see that a torsion-free module is free in general in this case?

$\endgroup$

1 Answer 1

5
$\begingroup$

This is a consequence of the structure theorem for modules over principal ideal domains: note in particular that the local rings at all points of a smooth curve are such.

$\endgroup$

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .