Timeline for Obstructions to abelian sheaf being quasi-coherent
Current License: CC BY-SA 4.0
9 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Apr 16, 2019 at 0:56 | answer | added | Pavel Čoupek | timeline score: 1 | |
| Apr 14, 2019 at 19:31 | answer | added | Tim Campion | timeline score: 3 | |
| Apr 14, 2019 at 17:32 | history | edited | user137767 | CC BY-SA 4.0 |
added 21 characters in body
|
| Apr 14, 2019 at 17:30 | comment | added | user137767 | though another reasonable question taking your suggestion into account would be: what obstructions are there for an $O_X$-module on a fixed affine scheme to be quasi-coherent (beyond the vanishing of cohomology). | |
| Apr 14, 2019 at 17:25 | comment | added | user137767 | @TimCampion I respect your opinion. My feelings are somewhat different. I could add a bounty after 2 days if this question is too ugly otherwise. | |
| Apr 14, 2019 at 17:23 | comment | added | Tim Campion | Consider the case where $X$ is a point. Then $F$ is an abelian group, and the question is whether this abelian group admits a vector space structure over any field. This just doesn't feel like the right question to be asking. | |
| Apr 14, 2019 at 16:14 | comment | added | user137767 | @TimCampion yes, your point is valid. We are quantifying. | |
| Apr 14, 2019 at 15:45 | comment | added | Tim Campion | if $F$ is an abelian sheaf on $X$, you at least need to give it the structure of an $\mathcal O_X$-module before you can ask whether it is quasicoherent. Are you fixing an $\mathcal O_X$-module structure, or are you quantifying over all possible $\mathcal O_X$-module structures? | |
| Apr 14, 2019 at 15:15 | history | asked | user137767 | CC BY-SA 4.0 |