Timeline for What's so "schematic" about schemes?
Current License: CC BY-SA 3.0
2 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Aug 21, 2011 at 11:12 | comment | added | Charles Matthews | I think this is very helpful in terms of what Martin was asking. Zariski had already come up with the "Zariski Riemann surface"; which in modern terminology is a locale construction (comment of Martin Hyland). To become more intrinsic you need to throw out the function field inside which you are working. You can't just have any old "collection of (commutative) local rings", though. Sheaf theory allows you to say what "hangs together" as a collection of local rings, via Spec of an arbitrary commutative ring. With hindsight this was the right answer (classifying topos for local rings). | |
| Aug 21, 2011 at 9:43 | history | answered | ACL | CC BY-SA 3.0 |