Deformations of formal groups and stable homotopy theory
type: Item
instance of: scholarly article
title: Deformations of formal groups and stable homotopy theory
zbMATH Open document ID: 0884.19007
DOI: 10.1016/S0040-9383(96)00051-1
author: O. Diekmann
published in: Topology
publication date: 1998-03-17T00:00:00Z
review text: Let \(F(n)\) be the standard height \(n\) formal group. The cohomology of \(F(n)\) which corresponds to the integral Morava \(K\)-theory \(K(n)\) is investigated. A complete description and representations of the classes of infinitesimals in the standard complex are presented, as well as a description of infinitesimals of the formal group corresponding to connective Morava \(K\)-theory. Using these results and Landweber's exact functor theorem, an uncountable family of deformations of cohomology theories is constructed. Several applications of topological nature are given: splitting theorems and linear approximations of the action of the \(n\)-th Morava stabilizer group of \(K^*(n)(K(\mathbb{Z},3))\). Some of the main results are formulated as follows: Theorem 1: Let \(F(x,y)\) be a formal group over a \(\mathbb{Z}_{(p)}\)-algebra \(A\) without torsion. Suppose that \(F(x,y)\) is not isomorphic to the additive formal group over \(A\). Denote by \(\tilde F(x,y)\) and \(\hat A\) the \(p\)-complement of \(F(x,y)\) and of \(A\), respectively. Then \(H^i(F(x,y))=H^i(\tilde F(x,y))\) for \(i\neq 2\) and \(H^2(F(x,y))=H^2(\tilde F(x,y))\oplus \hat A/A\). Let \(k\) be an algebraic extension of \(\mathbb{F}_p\) containing a primitive root of unity of degree \(p^n\) and let \(W(k)\) be the ring of Witt vectors over \(k\). Let \(E_n\) be the ring of noncommutative formal power series in one variable \(S\) with coefficients in \(W(k)\) subject to the relations \(S^n=p\) and \(Sa=\sigma(a)S\) for \(a\in W(k)\). Here \(\sigma\) denotes the Frobenius automorphism. Let \(S(n)\) be the \(n\)-th Morava stabilizer group. Then \(S(n)\) is identified with the group of strict automorphisms of the formal group \(F(n)\) over \(k\). So an element of \(S(n)\) is of the form \(f=\sum_{i\geq 0} a_iS^i\) where \(a_0=1\) and all other \(a_i\) are either \(0\) or roots of unity, and \(f\) corresponds to an automorphism of \(F(n)\): \(\tilde f=\sum_{F(n)} a_ix^i\). Furthermore, \(S(n)\) may be ide…
Mathematics Subject Classification ID: 19L41
Mathematics Subject Classification ID: 14L05
Mathematics Subject Classification ID: 55P42
Mathematics Subject Classification ID: 55N22
Mathematics Subject Classification ID: 11S31
zbMATH DE Number: 1034159
zbMATH Keywords: formal groups
zbMATH Keywords: deformations of formal groups
zbMATH Keywords: stable homotopy theory
zbMATH Keywords: integral Morava \(K\)-theory
zbMATH Keywords: connective Morava \(K\)-theory
zbMATH Keywords: deformations of cohomology theories
zbMATH Keywords: Witt vectors
zbMATH Keywords: noncommutative formal power series
reviewed by: Noriko Yui
MaRDI profile type: Publication
description: scientific article; zbMATH DE number 1034159