Tensoring with an invertible sheaf is exact

ID: tensoring-with-an-invertible-sheaf-is-exact

For an invertible sheaf , tensoring sheaves of modules with is an exact functor: on an open cover trivializing , it is naturally the identity functor. Equivalently, its stalks are free modules of rank one and hence flat modules. Its inverse functor is tensoring with the dual of a sheaf , because . This justifies untwisting a surjection onto a positively twisted coherent sheaf.

New to topics? Read the docs here!