Timeline for Do dg schemes have derived points?
Current License: CC BY-SA 4.0
2 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Sep 15, 2019 at 3:43 | comment | added | crystalline | Yes it’s discrete. For any derived scheme X, and any discrete ring R, the space of R-points X(R) is discrete. | |
| Sep 14, 2019 at 21:15 | history | asked | Dmitry Vaintrob | CC BY-SA 4.0 |