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.
Articles by others on the same topic
There are currently no matching articles.