# Question about formal group schemes

If $G$ is a group scheme of finite type over a field $k$, then one can study it's Hopf Algebra if it is affine. This is clear, but now if $G$ is not affine, one seems to do the following: complete the local ring $\mathcal O_{G,e}$ of the zero point with respect to it's maximal ideal and then one gets a comultiplication on this completion. Furthermore, associate to it the formal group $\hat{G}=Spf(\hat{\mathcal O_{G,e}})$.

As these things (I mean the non-affine case) are not clear to me, I would like to know if there is some more detailed treatment of this anywhere in the literature. I couldn't find anything very satisfying in the standard books.

-
Are you just looking for references about formal groups, or do you have a specific question in mind? –  S. Carnahan Jan 5 '12 at 13:07
The same idea works for any group scheme. –  Keerthi Madapusi Pera Jan 5 '12 at 14:24
At first, references would do... –  Veen Jan 5 '12 at 15:12
Have you done any explicit computations on your favorite nonaffine group? –  Lubin Jan 6 '12 at 2:45
You can find an account of the group law on an elliptic curve in any of the standard references, like Silverman. But I think you'll learn much more by working everything out on your own in explicit computations. Take your favorite elliptic curve... and if you don't have one, I recommend $Y^2+Y=X^3$ over the rationals, because it already has an inflection point at $(0,0)$. Take two points on the curve, get an equation for the line between'em, and continue... You'll get the group law of your nonaffine group. Now express all as series in terms of a parameter at the origin. There you are! –  Lubin Jan 6 '12 at 17:20

Show your product on $G$ restricts to a product on formal neighborhoods of the identity (via the Hopf algebra correspondence you mentioned these are coalgebra structures on the quotients of the powers of the maximal ideal of $\mathcal O_{G,e}$), these small group schemes form a directed system, then take the associated Ind-scheme. This is $\widehat G$ and the directed system corresponds to the inverse system defining $\widehat{\mathcal{O}}_{G,e}$. Since products commute with Ind systems, the multiplications on the formal neighborhoods define a multiplication on $\widehat{G}$.
Dually we obtain comultiplications on each of our quotient rings, which defines a comultiplication on the pro/topological-ring $\widehat{\mathcal{O}}_{G,e}$. I don't know a particular reference for this. I learned about formal groups through Hazewinkel's book. Formal schemes you can learn about in EGA.I.10.
I agree that it is extremely helpful to work out a few explicit examples by hand and I like your elliptic curve example. I think it is also handy to have an abstract viewpoint available. An even more elementary example is to work this out in an affine case such as $\mathbb{G}_m$ to obtain $\hat\mathbb{G}_m$. –  Justin Noel Jan 6 '12 at 22:20