Skip to main content
deleted 1 characters in body
Source Link
Martin Brandenburg
  • 63.1k
  • 12
  • 207
  • 424

A Grothendieck topology is called noetherian if every object is quasi-compact (which is defined as usual). On such a topology, sheaf cohomology commutes with filtered colimits (and in particular with arbitrary direct sums). A proof can be found in Tamme's Intoduction to Etale cohomology, Theorem §3.3.11.1. For the etale topology on the spectrum of thea field this shows that Galois cohomology commutes with arbitrary direct sums. For the Zariski topology on a scheme we recover the well-known result cited in Hartshorne. AAn even more general statement can be found in the Stacks project, Lemma 19.16.2.

A Grothendieck topology is called noetherian if every object is quasi-compact (which is defined as usual). On such a topology, sheaf cohomology commutes with filtered colimits (and in particular with arbitrary direct sums). A proof can be found in Tamme's Intoduction to Etale cohomology, Theorem §3.3.11.1. For the etale topology on the spectrum of the field this shows that Galois cohomology commutes with arbitrary direct sums. For the Zariski topology on a scheme we recover the well-known result cited in Hartshorne. A even more general statement can be found in the Stacks project, Lemma 19.16.2.

A Grothendieck topology is called noetherian if every object is quasi-compact (which is defined as usual). On such a topology, sheaf cohomology commutes with filtered colimits (and in particular with arbitrary direct sums). A proof can be found in Tamme's Intoduction to Etale cohomology, Theorem §3.3.11.1. For the etale topology on the spectrum of a field this shows that Galois cohomology commutes with arbitrary direct sums. For the Zariski topology on a scheme we recover the well-known result cited in Hartshorne. An even more general statement can be found in the Stacks project, Lemma 19.16.2.

Source Link
Martin Brandenburg
  • 63.1k
  • 12
  • 207
  • 424

A Grothendieck topology is called noetherian if every object is quasi-compact (which is defined as usual). On such a topology, sheaf cohomology commutes with filtered colimits (and in particular with arbitrary direct sums). A proof can be found in Tamme's Intoduction to Etale cohomology, Theorem §3.3.11.1. For the etale topology on the spectrum of the field this shows that Galois cohomology commutes with arbitrary direct sums. For the Zariski topology on a scheme we recover the well-known result cited in Hartshorne. A even more general statement can be found in the Stacks project, Lemma 19.16.2.