[Paper Review] The construction of $E_{\infty}$ ring spaces from bipermutative categories

J. P. May|ArXiv.org|Mar 16, 2009

Rings, Modules, and Algebras3 citations

TL;DR

This paper reworks the construction of $E_{ u}$ ring spaces from bipermutative categories using a simplified, elementary approach that eliminates prior technical flaws related to basepoint handling. By shifting to unbased spaces, the author provides a cleaner, more transparent framework that establishes an equivalence between $(\hat{\scr{C}},\hat{\scr{G}})$-spaces and $\scr{J}$-spaces, thereby yielding a rigorous and accessible derivation of $E_{\infty}$ ring spectra from bipermutative categories.

ABSTRACT

The construction of E infinity ring spaces and thus E infinity ring spectra from bipermutative categories gives the most highly structured way of obtaining the K-theory commutative ring spectra. The original construction dates from around 1980 and has never been superseded, but the original details are difficult, obscure, and slightly wrong. We rework the construction in a much more elementary fashion.

Motivation & Objective

• To correct and simplify the original 1980s construction of $E_{\infty}$ ring spaces from bipermutative categories, which contained minor but persistent errors in basepoint handling.
• To eliminate the need for complex combinatorial corrections by reformulating the theory in terms of unbased spaces, thereby streamlining the monad and category of operators formalism.
• To establish a clean, elementary equivalence between $(\hat{\scr{C}},\hat{\scr{G}})$-spaces and $\scr{J}$-spaces, where $\scr{J}$ is the category of ring operators associated to an $E_{\infty}$ operad pair.
• To provide a conceptual and technical upgrade to the foundational construction of $E_{\infty}$ ring spectra from bipermutative categories, making it more accessible and robust.

Proposed method

• The paper redefines the ground category of monads to use unbased spaces, allowing basepoints to be handled naturally without ad hoc adjustments.
• It introduces a new category $\scr{J}$ of ring operators associated to an $E_{\infty}$ operad pair $(\scr{C}, \scr{G})$, and defines $\scr{J}$-spaces as algebras over a monad derived from $\scr{J}$.
• The construction proceeds by showing that $(\hat{\scr{C}}, \hat{\scr{G}})$-spaces—defined via pullbacks from $(\scr{F} \int \scr{F})$-spaces—are equivalent to $\scr{J}$-spaces via a monad comparison.
• It establishes an equivalence between $C$-algebras in $G[\scr{V}]$ and $CG$-algebras in $\scr{V}$ using a natural transformation $\rho: GC \to CG$ satisfying coherence conditions.
• The key technical tool is the monad $\bar{J}$ associated to $\scr{J}$, which allows the comparison of $(\hat{\scr{C}}, \hat{\scr{G}})$-spaces and $\scr{J}$-spaces through a series of monad equivalences.
• The paper proves that the monad $CG$ is isomorphic to the monad $\bar{J}$, thereby showing that the classifying space of a bipermutative category naturally carries the structure of an $E_{\infty}$ ring space.

Experimental results

Research questions

• RQ1 How can the original construction of $E_{\infty}$ ring spaces from bipermutative categories be corrected to resolve minor errors in basepoint handling?
• RQ2 What is the most elementary and conceptually clean way to relate $(\hat{\scr{C}}, \hat{\scr{G}})$-spaces to $\scr{J}$-spaces via monad theory?
• RQ3 Can the complex combinatorics of the original construction in [16] be replaced by a simpler, unbased framework without loss of generality?
• RQ4 What conditions ensure that a monad $CG$ arising from a pair of operads is equivalent to a monad $\bar{J}$ associated to a category of ring operators?
• RQ5 How does the action of one monad on another (via $\rho: GC \to CG$) encode the structure of an $E_{\infty}$ ring space?

Key findings

• The paper establishes a clean, elementary equivalence between $(\hat{\scr{C}}, \hat{\scr{G}})$-spaces and $\scr{J}$-spaces, where $\scr{J}$ is the category of ring operators associated to an $E_{\infty}$ operad pair.
• By shifting to unbased spaces, the theory avoids the technical complications of basepoint handling that plagued earlier versions, rendering the construction more transparent and correct.
• The monad $\bar{J}$ associated to $\scr{J}$ is isomorphic to the composite monad $CG$, which implies that $\scr{J}$-spaces are precisely the $E_{\infty}$ ring spaces arising from bipermutative categories.
• The equivalence between $C$-algebras in $G[\scr{V}]$ and $CG$-algebras in $\scr{V}$ is established via a natural transformation $\rho: GC \to CG$ satisfying coherence diagrams, providing a conceptual bridge between multiplicative and additive structures.
• The construction of $(\scr{F} \int \scr{F})$-categories from bipermutative categories is shown to be elementary and canonical, and the resulting $(\hat{\scr{G}} \int \hat{\scr{C}})$-spaces are shown to be equivalent to $\scr{J}$-spaces.
• The paper confirms that the classifying space of a bipermutative category is an $E_{\infty}$ ring space, with the full structure encoded via the monad $\bar{J}$, thus completing the foundational construction in a rigorous and simplified way.