Timeline for Deformation of ordinary p-divisible groups via Grothendieck-Messing

3 events

when toggle format	what		by	license	comment
Dec 25, 2011 at 18:26	comment	added	B. Cais		Or explicitly, as the case may be :), and this must be where the error lies. The formation of $$0\rightarrow \omega_G\rightarrow D(G)(W)\rightarrow Lie(G^t)\rightarrow 0$$ is functorial in $G$; applying this to the connected-etale sequence of $G$ shows that the map $\omega_{G^m}\rightarrow D(G^m)(W)$ coincides with the composition of $\omega_{G^m}\simeq \omega_G\rightarrow D(G)(W)$ with the projection to $D(G^m)(W)$, so I guess the problem is that the isomorphism $D(G)(W)\simeq D(G^m)(W)\times D(G^{et})(W)$ does not coincide with projection to $D(G^m)$ followed by inclusion (clearly).
Dec 25, 2011 at 17:41	comment	added	Rebecca Bellovin		I think you're implicitly asserting that the map $\omega_{G^m}\rightarrow D(G_0)(W(k))$ coming from $G'$ is the same as the composition $\omega_{G^m}\rightarrow \omega_G\rightarrow D(G_0)(W(k))$.
Dec 25, 2011 at 16:12	history	asked	B. Cais	CC BY-SA 3.0