Realising formal groups (Q1810407): Difference between revisions
From MaRDI portal
Changed an Item |
Set profile property. |
||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank |
Revision as of 05:46, 5 March 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Realising formal groups |
scientific article |
Statements
Realising formal groups (English)
0 references
5 June 2003
0 references
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.
0 references
generalized cohomology
0 references
formal group
0 references
even periodic ring spectrum
0 references