Timeline for Sheaf cohomology definition
Current License: CC BY-SA 4.0
6 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Feb 6, 2023 at 19:32 | comment | added | Ben Wieland | That a sheaf is acyclic is a statement about its cohomology. Thus defining cohomology in terms of it is circular. Injective sheaves have exactly the lifting property necessary to compare two resolutions. If you use flasque sheaves, you are hoping that they are acyclic, but it is nontrivial to prove that. This reminds me of FAC, where Serre uses Čech chomology, which is like hoping that intersections of affines are acyclic, but he struggles with it because it's nontrivial, because it requires the hypothesis that the scheme is separated. In both cases $H^1$ easily works. | |
| Feb 6, 2023 at 17:03 | review | Close votes | |||
| Feb 11, 2023 at 3:10 | |||||
| Feb 6, 2023 at 15:37 | comment | added | user473423 | The usual definition is by injective resolutions as that is a special case of a "derived functor" (Look in Lang's Algebra book, for instance). This viewpoint makes it possible to compare sheaf cohomology to other types of cohomology. The fact that flasque, soft, fine an acyclic sheaves also compute the cohomology are theorems. | |
| Feb 6, 2023 at 15:36 | comment | added | R. van Dobben de Bruyn | Any topological space (or site) has enough injective sheaves of abelian groups, so as a definition this always works. Then one checks that acyclic resolutions suffice as well, so a posteriori you can use flabby resolutions (or soft ones if the space is sufficiently nice). | |
| S Feb 6, 2023 at 15:27 | review | First questions | |||
| Feb 6, 2023 at 16:39 | |||||
| S Feb 6, 2023 at 15:27 | history | asked | katle | CC BY-SA 4.0 |