Realising formal groups

DOI10.2140/AGT.2003.3.187MaRDI QIDQ1810407zbMATH OpenOpenAlexFDO

Publication date 5 June 2003

Published in Algebraic \& Geometric Topology (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/math/0211085, https://eudml.org/doc/123010, http://www.emis.de/journals/UW/agt/AGTVol3/agt-3-8.abs.html

zbMATH Keywords

even periodic ring spectrum formal group generalized cohomology

Mathematics Subject Classification ID

Generalized (extraordinary) homology and cohomology theories in algebraic topology (55N20) Bordism and cobordism theories and formal group laws in algebraic topology (55N22)

Abstract: We show that a large class of formal groups can be realised functorially by even periodic ring spectra. The main advance is in the construction of morphisms, not of objects.

Review text

Let \(E^*(\quad)\) be a cohomology theory. If \(E^*(\quad)\) is even periodic (i.e., \(E\) is a commutative associative ring spectrum with \(E^1 =0\) and \(E^2\) containing a unit) then associated to \(E^*(\quad)\) there is a formal group over spec\((E^0)\) and this construction is functorial [\textit{N. P. Strickland}, Homotopy Invariant Algebraic Structures (Baltimore, MD, 1998), Am. Math. Soc. Providence, RI, 263-352, (1999; Zbl 1101.14322)]. The paper under review is concerned with the inverse problem: Given the formal group \(G\) can a cohomology theory \(E^*(\enskip)\) be constructed having \(G\) as its associated formal group law, and can the construction of \(E^*(\quad)\) be made functorial? Previously it was known that the answer is yes for Landweber exact cohomology theories, and that a non-functorial construction of \(E^*(\quad)\) could be made in some cases using the Baas-Sullivan theory of bordism with singularities. The main result of the current paper is the description of a category of formal groups, called good formal groups, and a construction of complex oriented cohomology theories for these formal groups which is functorial. A formal group \((G,S)\) is good if, for a collection \(x_1 \ldots x_r\) of (possibly different) co-ordinates for \(G\), the coresponding algebra structure on the function ring \(O_S\) over the ring \(\pi_0(MP^r)\) (where \(MP\) is the periodic bordism spectrum \( \bigvee_{n \in {\mathbb Z}}\sum^{2n} (MU[\frac{1}{2}]))\) can be realized topologically as an \(MP^r\)-algebra.

Recommendations

Cites work

Cited in

(12)

This page was built for publication: Realising formal groups

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