Timeline for Algebraic Geometry Over the Surreal and Surrcomplex Numbers
Current License: CC BY-SA 4.0
6 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Jan 25, 2019 at 23:47 | comment | added | Alec Rhea | and perhaps some second order machinery would be more successful at algebraically differentiating between geometry over the real/complex vs surreal/surcomplex numbers. | |
| Jan 25, 2019 at 23:46 | comment | added | Alec Rhea | @DenisNardin Ah, that seems reasonable, if either of us could produce a reference it'd be ideal though :-). I think it's worth mentioning that these theorems aren't necessarily telling us that there is no interesting and new 'geometry' that takes place over the surreals/surcomplex numbers which can be captured algebraically, but rather that the standard tools of modern algebraic geometry will not be sensitive to any of the new phenomenon we might encounter. It also seems like model-theoretic arguments are proving these results (ref?), so the tools under discussion would be first order (cont.) | |
| Jan 18, 2019 at 9:28 | comment | added | Denis Nardin | @AlecRhea I think there's some theorem of the sort also for real closed fields, saying you might as well do it over the reals. | |
| Jan 18, 2019 at 1:09 | comment | added | Alec Rhea | I believe that there is some theorem to the effect that “algebraic geometry over any algebraically closed field of characteristic 0 may as well be over $\mathbb{C}$” which would include the surcomplex numbers, I’m not sure about the surreals though. | |
| Jan 17, 2019 at 23:55 | review | First posts | |||
| Jan 18, 2019 at 3:40 | |||||
| Jan 17, 2019 at 23:52 | history | asked | Adi Ostrov | CC BY-SA 4.0 |