The stable cooperations of Morava $K$-Theory and the fiber product of automorphism groups of formal group laws

TL;DR

This paper explores the relationship between the stable cooperations of Morava K-theory and automorphism groups of formal group laws, establishing an isomorphism that clarifies their algebraic structure.

Contribution

It constructs a new Hopf algebra via fiber products of automorphism groups and proves its isomorphism with the stable cooperations of Morava K-theory, linking formal group laws to algebraic structures.

Findings

Construction of a Hopf algebra C_* from automorphism groups

Establishment of an isomorphism between C_* and K(n)_*(K(n))

Clarification of the relationship between formal group laws and Hopf algebra structures

Abstract

There are many previous studies on the Hopf algebra $K(n)_*(K(n))$, the stable cooperations of $n$th Morava $K$-theory at an odd prime. Whereas the main part of $K(n)_*(K(n))$ corepresents the group-valued functor consisting of strict automorphisms of the Honda formal group law of height $n$, relations between the whole structure of $K(n)_*(K(n))$ including the exterior part and formal group laws have not been investigated well. Firstly, we constitute a functor $C(-)$ which is given by the fiber product of two natural homomorphism between subgroups of automorphisms of formal group laws, and the Hopf algebra $C_*$ corepresenting $C(-)$. Next, we construct a Hopf algebra homomorphism $\kappa^*:C_*\to K(n)_*(K(n))$ naturally. To relate $C_*$ to $K(n)_*(K(n))$, we use stable comodule algebras which are introduced by Boardman. From the algebra structure of $K(n)_*(K(n))$ which is given by W\"urgler and Yagita, we see that $\kappa^*$ is an isomorphism. Since we formulate $C_*$ by using formal group laws, the isomorphism $\kappa^*$ clarifies relationship between the Hopf algebra structure of $K(n)_*(K(n))$ including the exterior algebra part and formal group laws.