Timeline for When is a formal group smooth?
Current License: CC BY-SA 4.0
8 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Jun 5, 2020 at 20:29 | vote | accept | xir | ||
| Jun 4, 2020 at 16:45 | answer | added | xir | timeline score: 1 | |
| Jun 3, 2020 at 22:49 | comment | added | xir | oops, thank you! | |
| Jun 3, 2020 at 22:39 | comment | added | LSpice | Your Artin–Mazur link pointed to "Is%20this%20sufficient?", which is (probably?) not what you intended. I changed it to Artin and Mazur - Formal groups arising from algebraic varieties, which I hope is correct. | |
| Jun 3, 2020 at 22:38 | history | edited | LSpice | CC BY-SA 4.0 |
Proofreading; names of papers; fixed a link
|
| Jun 3, 2020 at 20:57 | comment | added | xir | interesting, thank you! but actually it seems he doesn't do what i suggested and instead requires by fiat that there's a zariski-local trivialization; the rest is then a quick descent argument. it remains to figure out exactly what you need to coordinatize a formal group over a local ring | |
| Jun 3, 2020 at 20:22 | comment | added | Eric Peterson | I don’t know a better reference than this, and surely there is one, but the argument you describe is recorded as Proposition 7 in Lecture 11 of Lurie’s course notes on chromatic homotopy theory: people.math.harvard.edu/~lurie/252xnotes/Lecture11.pdf . | |
| Jun 3, 2020 at 20:05 | history | asked | xir | CC BY-SA 4.0 |