Timeline for Why is Oka's coherence theorem a deep result?
Current License: CC BY-SA 3.0
8 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Oct 31, 2017 at 17:00 | vote | accept | Will Chen | ||
| Oct 31, 2017 at 8:45 | answer | added | js21 | timeline score: 25 | |
| Oct 31, 2017 at 8:09 | comment | added | S. Carnahan♦ | Coherence of $\mathcal{O}_X$ is a nontrivial finiteness condition, even for schemes. Does Georges Elencwajg's answer mathoverflow.net/a/129390/121 help at all? | |
| Oct 31, 2017 at 7:55 | comment | added | Denis Nardin | Everything is deeper and harder for complex analytic spaces. What makes you think this should be any different? | |
| Oct 31, 2017 at 7:25 | comment | added | Mariano Suárez-Álvarez | Well, sure. But apart from that tautological condition, you need, in real life, something. | |
| Oct 31, 2017 at 7:17 | comment | added | Fred Rohrer | On a scheme, the structure sheaf is coherent when it is, well, coherent. Coherence is strictly weaker than local noetherianness. | |
| Oct 31, 2017 at 7:07 | comment | added | Mariano Suárez-Álvarez | On a scheme, you need that the structure sheaf be locally Noetherian or something for the sheaf to be coherent, no? | |
| Oct 31, 2017 at 7:00 | history | asked | Will Chen | CC BY-SA 3.0 |