Some explicit expressions concerning BP

Formal power series rings (13F25) Elliptic curves (14H52) Generalized (extraordinary) homology and cohomology theories in algebraic topology (55N20) Bordism and cobordism theories and formal group laws in algebraic topology (55N22)

Abstract: This paper provides some explicit expressions concerning the formal group laws of the Brown-Peterson cohomology, the cohomology theory obtained from Brown-Peterson theory by killing all but one Witt symbol, the Morava

K

-theory and the Abel cohomology.

Review text

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}\).NEWLINENEWLINEThe 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).NEWLINENEWLINENext, 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.NEWLINENEWLINEThe paper ends with the determinations of some explicit expressions for the coefficients of the Abel formal group law and its logarithm.

Recommendations

Cites work

Cited in

(6)

This page was built for publication: Some explicit expressions concerning BP

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q292401)