Formal groups over non-commutative rings

TL;DR

This paper extends formal group law theory to non-commutative rings, establishing a framework relevant for algebraic topology and connecting it with quantum algebra structures.

Contribution

It introduces a non-commutative formal group law theory and links it to complex oriented ring spectra and quantum algebra via the Baker-Richter spectrum and Drinfeld double.

Findings

Universal formal group law is represented by Mξ spectrum.

Verification of Morava's conjecture on D(B) representation.

Connection between non-commutative formal groups and algebraic topology.

Abstract

We develop an extension of the usual theory of formal group laws where the base ring is not required to be commutative and where the formal variables need neither be central nor have to commute with each other. We show that this is the natural kind of formal group law for the needs of algebraic topology in the sense that a (possibly non-commutative) complex oriented ring spectrum is canonically equipped with just such a formal group law. The universal formal group law is carried by the Baker-Richter spectrum M{\xi} which plays a role analogous to MU in this non-commutative context. As suggested by previous work of Morava the Hopf algebra B of "formal diffeomorphisms of the non-commutative line" of Brouder, Frabetti and Krattenthaler is central to the theory developed here. In particular, we verify Morava's conjecture that there is a representation of the Drinfeld quantum-double D(B) through cohomology operations in M{\xi}.