Skip to main content
1 of 2
Jack Huizenga
  • 5.9k
  • 1
  • 28
  • 42

There is nothing wrong here. Let $X$ be irreducible of dimension $n$. Any sheaf of dimension less than $n$ is torsion, since it is annihilated by a function vanishing on the support of the sheaf. Sheaves which are pure of dimension $n$ are torsion free, since if they were not torsion free they would have a torsion subsheaf supported on a proper subvariety.

Jack Huizenga
  • 5.9k
  • 1
  • 28
  • 42