In algebraic geometry, the projection formula states the following:[1][2] For a morphism
and a locally free
of finite rank, the natural maps of sheaves are isomorphisms.
There is yet another projection formula in the setting of étale cohomology.
This algebraic geometry–related article is a stub.