Timeline for Why is this not an algebraic space?
Current License: CC BY-SA 4.0
11 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Dec 22, 2021 at 3:06 | history | edited | LSpice | CC BY-SA 4.0 |
TeX while this is on the front page
|
| Dec 22, 2021 at 2:44 | history | edited | David Roberts♦ | CC BY-SA 4.0 |
Formatting, broken arXiv front link
|
| Apr 13, 2017 at 12:58 | history | edited | CommunityBot |
replaced http://mathoverflow.net/ with https://mathoverflow.net/
|
|
| Dec 24, 2009 at 17:52 | answer | added | Anton Geraschenko | timeline score: 12 | |
| Dec 19, 2009 at 19:33 | comment | added | Chris Schommer-Pries | So, in lieu of the answers below, is the following the correct picture? The quotient in the category of sheaves is not a scheme, however it is a (non-quasi separated) algebraic space. Nevertheless the category of schemes under this sheaf has an initial object, the single point. This point then satisfies the universal property in the category of schemes, and so can be thought of as the scheme-theoretic quotient. | |
| Dec 16, 2009 at 3:12 | vote | accept | Chris Schommer-Pries | ||
| Dec 15, 2009 at 22:15 | answer | added | JBorger | timeline score: 22 | |
| Dec 15, 2009 at 21:29 | answer | added | Jonathan Wise | timeline score: 22 | |
| Dec 15, 2009 at 21:17 | history | edited | Chris Schommer-Pries | CC BY-SA 2.5 |
typo corrected
|
| Dec 15, 2009 at 21:15 | comment | added | Chris Schommer-Pries | I just thought of another possibility, which seems likely after reading Anton's post again. Is $\mathbb{G}_M / \mathbb{Z}$ a scheme? if so what scheme? It seems like it would have to be a single point. | |
| Dec 15, 2009 at 21:06 | history | asked | Chris Schommer-Pries | CC BY-SA 2.5 |