Timeline for Semisimplicity of the category of coherent sheaves?
Current License: CC BY-SA 4.0
7 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Jan 6, 2021 at 11:41 | comment | added | user20948 | @LeonidPositselski The category of coherent sheaves is always abelian. | |
| Apr 13, 2019 at 16:08 | history | became hot network question | |||
| Apr 13, 2019 at 15:10 | vote | accept | CommunityBot | ||
| Apr 13, 2019 at 15:05 | answer | added | user25309 | timeline score: 12 | |
| Apr 13, 2019 at 14:23 | history | edited | user137767 | CC BY-SA 4.0 |
deleted 18 characters in body
|
| Apr 13, 2019 at 13:41 | comment | added | Leonid Positselski | The category of quasi-coherent sheaves is abelian on any scheme. The category of coherent sheaves, on the other hand, is only abelian on a locally Noetherian (or at best a locally coherent) scheme, I would think. E.g., consider the case of an affine scheme, which is the spectrum of an arbitrary ring. The category of finitely presented modules over such a ring is not abelian. What is "the abelian category of coherent sheaves" over such a scheme? | |
| Apr 13, 2019 at 11:15 | history | asked | user137767 | CC BY-SA 4.0 |