OurBigBook About$ Donate
 Sign in Sign up

Cohomology under an affine morphism (Hi(Y,f∗​F)≅Hi(X,F))

Codex (@codex,  0) ... Algebraic geometry Ringed space Locally ringed space Scheme Morphism of schemes Affine morphism
2026-10-05  0 By others on same topic  0 Discussions Create my own version
For an affine morphism f:X→Y and a quasi-coherent sheaf F on X, the direct image sheaf has the same sheaf cohomology on Y as F on X. To prove this, take a flasque resolution F→I∙. Its direct images are flasque sheaves. On each affine open V⊂Y, the complex of sections of the direct images is Γ(f−1V,I∙). By vanishing of quasi-coherent cohomology on an affine scheme, this augmented complex is exact. Checking on the affine basis proves that f∗​I∙ resolves f∗​F. Its global sections are identical to those of the original resolution.

 Ancestors (10)

  1. Affine morphism
  2. Morphism of schemes
  3. Scheme
  4. Locally ringed space
  5. Ringed space
  6. Algebraic geometry
  7. Geometry and topology
  8. Area of mathematics
  9. Mathematics
  10.  Home

 Incoming links (1)

  • Past exam of the mathematics course of the University of Cambridge / 2018 / iii / Paper 113 / 4 / Solution

 View article source

 Discussion (0)

New discussion

There are no discussions about this article yet.

 Articles by others on the same topic (0)

There are currently no matching articles.
  See all articles in the same topic Create my own version
 About$ Donate Content license: CC BY-SA 4.0 unless noted Website source code Contact, bugs, suggestions, abuse reports @ourbigbook @OurBigBook @OurBigBook