Timeline for Grothendieck-Messing in characteristic 0?
Current License: CC BY-SA 4.0
4 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Oct 12, 2023 at 14:37 | comment | added | 351910953 | Thanks for the helpful comments. @Johan Do you know whether this is written down somewhere? | |
| Oct 11, 2023 at 19:00 | comment | added | Johan | You can make this work with crystalline cohomology of abelian schemes in char 0. Essentially you just have to show that the Kodaira-Spencer map is the same as whet you get from the hodge filtration thing. It is easier than the char p case (especially if you first prove the thing for p-divisible groups which is quite a bit harder as you have to prove unobstructedness first). | |
| Oct 11, 2023 at 0:05 | comment | added | Will Sawin | I think one needs to use not just algebraic de Rham cohomology but its isomorphism with singular cohomology for this. | |
| Oct 10, 2023 at 23:59 | history | asked | 351910953 | CC BY-SA 4.0 |