Some explicit expressions concerning BP (Q292401)

If \(F(x,y)\) is a formal group law over a commutative \(\mathbb{Q}\)-algebra \(R\), then its logarithm \(l(x)\) defines a strict isomorphism between \(F\) and the additive formal group law. The original \(F\) can be recovered from the logarithm by means of the relation \(F(x,y) = l^{-1}(l(x) + l(y))\). The authors use this reasoning to express the coefficients \(\alpha_{ij}\) of the formal group law for Brown-Peterson cohomology \(BP\) in terms of the coefficents \(l_i\) of its logarithm. For this, they start by expressing the \(l_i\) in terms of the usual Hazewinkel generators \(v_i\) of \(BP_\ast\). These constructions culminate in Corollary 2.3., where \(BP_\ast\) is given new generators that depend only on the \(\alpha_{ij}\). The logarithm is then used in a similar way for \(G(s)\), the unreduced Morava \(K\)-theory obtained from \(BP\) by putting all \(v_i = 0\) for \(i \geq 1\) and \(i \neq s\): the coefficients of the formal group law for \(G(s)\) are presented explicitly from a knowledge of those for its logarithm (Proposition 3.1.). Alternatively, these coefficients are determined from the Ravenel recursive relation involving Witt symmetric functions. This determination then gives the coefficients for the formal group law of mod \(p\) Morava \(K^*(s)\), for \(p\) a prime and \(s >1\) (Propositions 3.2-3). Next, the authors deal with formal group laws for elliptic curves in Weierstrass form. Focusing on the universal such group law, they take the coefficients \(a_i\) in the elliptical form, define some \(b_i\) from these, and determine generators for the subring of \(\mathbb{Z}[b_1, \cdots, b_6] \) generated by the coefficients of the universal formal group law. To show this subring in a cleaner form, they obtain different generators for it, which come from the the usual Hazewinkel generators of the Lazard ring. The paper ends with the determinations of some explicit expressions for the coefficients of the Abel formal group law and its logarithm.