De Rham cohomology of formal groups - MathOverflow most recent 30 from http://mathoverflow.net 2013-05-25T06:28:20Z http://mathoverflow.net/feeds/question/52322 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/52322/de-rham-cohomology-of-formal-groups De Rham cohomology of formal groups Laurent Berger 2011-01-17T14:36:42Z 2011-01-17T22:34:36Z <p>Let $G$ be some (dimension $1$, to simplify) formal group over a characteristic $0$ field $K$. The law of $G$ is denoted by $\oplus$. If $w(X) \in K[[X]] dX$ is a differential form, let $F_w(X)$ be the unique power series such that $dF_w=w$ and $F_w(0)=0$. Let $F_w^2(X,Y) = F_w(X \oplus Y) - F_w(X) - F_w(Y)$. Say that $w$ is second kind if $F_w^2$ has bounded coefficients and that $F_w$ is exact if $F_w$ has bounded coefficients. The 1st de Rham cohomology group of $G$ is defined by $$H^1_{dR}(G)= \text{{second kind forms}} / \text{{exact forms}}.$$</p> <p>Theorem: the group $H^1_{dR}(G)$ has dimension $h$, the height of $G$.</p> <p>Question: where can I find a proof of this? </p> <p>The above definitions and theorem are in pages 633-634 of Colmez' "Periodes $p$-adiques des varietes abeliennes" for example, and he refers to Fontaine's book "Groupes $p$-divisibles sur les corps locaux", but without giving a precise reference. Iovita also uses these definitions in "Formal sections and de Rham cohomology of semistable abelian varieties" and refers to chapter V of Katz' "Crystalline cohomology, Dieudonne modules and Jacobi sums". In either case, I can't say that the references have been very helpful.</p> http://mathoverflow.net/questions/52322/de-rham-cohomology-of-formal-groups/52354#52354 Answer by Neil Strickland for De Rham cohomology of formal groups Neil Strickland 2011-01-17T22:34:36Z 2011-01-17T22:34:36Z <p>I have put an updated copy of my formal groups notes here:</p> <p><a href="http://neil-strickland.staff.shef.ac.uk/courses/formalgroups/fg.pdf" rel="nofollow">http://neil-strickland.staff.shef.ac.uk/courses/formalgroups/fg.pdf</a></p> <p>They are not really finished, but the relevant material is discussed in Section 18.</p>