Torsion sheaf

From HandWiki

In mathematics, a torsion sheaf is a sheaf of abelian groups [math]\displaystyle{ \mathcal{F} }[/math] on a site for which, for every object U, the space of sections [math]\displaystyle{ \Gamma(U, \mathcal{F}) }[/math] is a torsion abelian group. Similarly, for a prime number p, we say a sheaf [math]\displaystyle{ \mathcal{F} }[/math] is p-torsion if every section over any object is killed by a power of p. A torsion sheaf on an étale site is the union of its constructible subsheaves.[1]

See also

Notes

  1. Milne 2012, Remark 17.6

References