The direct image sheaf is determined on the basis consisting of principal open subschemes . Their inverse images areand henceOn the other hand, localization of the restricted-scalar -module givesThese isomorphisms commute with restriction to smaller principal opens, so they define the equality of quasi-coherent sheaves
Articles by others on the same topic
There are currently no matching articles.