Dual Steenrod Algebra

In algebraic topology, through an algebraic operation (dualization), there is an associated commutative algebra from the noncommutative Steenrod algebras called the dual Steenrod algebra. This dual algebra has a number of surprising benefits, such as being commutative and provided technical tools for computing the Adams spectral sequence in many cases (such as $\pi_*(MU)$^{pg 61-62}) with much ease.

Definition

Recall^{pg 59} that the Steenrod algebra $\mathcal_p^*$ (also denoted $\mathcal^*$) is a graded noncommutative Hopf algebra which is cocommutative, meaning its comultiplication is cocommutative. This implies if we take the dual Hopf algebra, denoted $\mathcal_$, or just $\mathcal_*$, then this gives a graded-commutative algebra which has a noncommutative comultiplication. We can summarize this duality through dualizing a commutative diagram of the Steenrod's Hopf algebra structure:

$\mathcal_p^* \xrightarrow \mathcal_p^* \otimes \mathcal_p^* \xrightarrow \mathcal_p^*$

If we dualize we get maps

$\mathcal_ \xleftarrow \mathcal_ \otimes \mathcal_\xleftarrow \mathcal_$

giving the main structure maps for the dual Hopf algebra. It turns out there's a nice structure theorem for the dual Hopf algebra, separated by whether the prime is $2$ or odd.

Case of p=2

In this case, the dual Steenrod algebra is a graded commutative polynomial algebra \mathcal_* = \mathbb/2 xi_1,\xi_2,\ldots/math> where the degree $\deg(\xi_n) = 2^n-1$. Then, the coproduct map is given by

$\Delta:\mathcal_* \to \mathcal_*\otimes\mathcal_*$

sending

$\Delta\xi_n = \sum_ \xi_^\otimes \xi_i$

where $\xi_0 = 1$.

General case of p > 2

For all other prime numbers, the dual Steenrod algebra is slightly more complex and involves a graded-commutative exterior algebra in addition to a graded-commutative polynomial algebra. If we let $\Lambda(x,y)$ denote an exterior algebra over $\mathbb/p$ with generators $x$ and $y$, then the dual Steenrod algebra has the presentation

\mathcal_* = \mathbb/p xi_1,\xi_2,\ldotsotimes \Lambda(\tau_0,\tau_1,\ldots)

where

$\begin \deg(\xi_n) &= 2(p^n - 1) \\ \deg(\tau_n) &= 2p^n - 1 \end$

In addition, it has the comultiplication $\Delta:\mathcal_* \to \mathcal_*\otimes\mathcal_*$ defined by

$\begin \Delta(\xi_n) &= \sum_ \xi_^\otimes \xi_i \\ \Delta(\tau_n) &= \tau_n\otimes 1 + \sum_\xi_^\otimes \tau_i \end$

where again $\xi_0 = 1$.

Rest of Hopf algebra structure in both cases

The rest of the Hopf algebra structures can be described exactly the same in both cases. There is both a unit map $\eta$ and counit map $\varepsilon$

$\begin \eta&: \mathbb/p \to \mathcal_* \\ \varepsilon&: \mathcal_* \to \mathbb/p \end$

which are both isomorphisms in degree $0$: these come from the original Steenrod algebra. In addition, there is also a conjugation map $c: \mathcal_* \to \mathcal_*$ defined recursively by the equations

$\begin c(\xi_0) &= 1 \\ \sum_ \xi_^c(\xi_i)& = 0 \end$

In addition, we will denote $\overline$ as the kernel of the counit map $\varepsilon$ which is isomorphic to $\mathcal_*$ in degrees $> 1$.

See also

* Adams-Novikov spectral sequence

References

{{Reflist

Algebraic topology
Hopf algebras
Homological algebra