Skip to main content
replaced the dead link by a link to Wayback Machine
Source Link
Martin Sleziak
  • 4.7k
  • 4
  • 35
  • 40

Not an expert, but the idea is that there should be some "thing" over which we can define functors which, after base change, are schemes. Over this "thing", rings of integers should be literal curves. The big example of things that I know is that a vector space over F_1 (or F_un, if you're the sort who likes fun notation) is a pointed set. For more info, there have been some "This Week's Finds" posts about them, and also thisthis series at neverendingbooks.

Not an expert, but the idea is that there should be some "thing" over which we can define functors which, after base change, are schemes. Over this "thing", rings of integers should be literal curves. The big example of things that I know is that a vector space over F_1 (or F_un, if you're the sort who likes fun notation) is a pointed set. For more info, there have been some "This Week's Finds" posts about them, and also this series at neverendingbooks.

Not an expert, but the idea is that there should be some "thing" over which we can define functors which, after base change, are schemes. Over this "thing", rings of integers should be literal curves. The big example of things that I know is that a vector space over F_1 (or F_un, if you're the sort who likes fun notation) is a pointed set. For more info, there have been some "This Week's Finds" posts about them, and also this series at neverendingbooks.

Source Link
Charles Siegel
  • 16k
  • 8
  • 89
  • 134

Not an expert, but the idea is that there should be some "thing" over which we can define functors which, after base change, are schemes. Over this "thing", rings of integers should be literal curves. The big example of things that I know is that a vector space over F_1 (or F_un, if you're the sort who likes fun notation) is a pointed set. For more info, there have been some "This Week's Finds" posts about them, and also this series at neverendingbooks.