[Paper Review] Some Higher Coalgebra

Jonathan Beardsley|arXiv (Cornell University)|Aug 4, 2015

Homotopy and Cohomology in Algebraic Topology20 references4 citations

TL;DR

This paper introduces quasicategories of E_n-structured coalgebras, bialgebras, and comodules, demonstrating that n-fold loop spaces, suspension spectra, descent data, and Thom spectra naturally arise in these frameworks. A key result proves that Thom spectra associated to morphisms f: X → BGL₁(R) are structured R[X]-comodules via the classical Thom diagonal.

ABSTRACT

We define quasicategories of E_n-structured coalgebras, bialagebras and comodules. We show that: n-fold loop spaces, suspension spectra thereof, descent data for maps of E_n-ring spectra, descent corings of morphisms of E_n-ring spectra and Thom spectra are all examples of these kinds of objects. In particular, we prove that for a morphism of E_n-monoidal Kan complexes f:X->BGL_1(R), the associated Thom spectrum Mf is a structured R[X]-comodule by the classical Thom diagonal.

Motivation & Objective

• To develop a homotopical framework for E_n-structured coalgebras, bialgebras, and comodules using quasicategories.
• To unify diverse geometric and algebraic objects—such as n-fold loop spaces, Thom spectra, and descent data—within a single categorical structure.
• To establish that Thom spectra are naturally R[X]-comodules for morphisms f: X → BGL₁(R), using the Thom diagonal.
• To generalize classical results in algebraic topology to the setting of E_n-ring spectra and higher algebraic structures.

Proposed method

• Employ quasicategories to model higher algebraic structures, particularly E_n-operations and their coalgebraic analogues.
• Use the Thom diagonal construction to endow Thom spectra with R[X]-comodule structures for morphisms f: X → BGL₁(R).
• Apply the theory of E_n-ring spectra and their morphisms to define descent data and corings in the context of structured ring spectra.
• Leverage the theory of E_n-monoidal Kan complexes to model the input data f: X → BGL₁(R) for Thom spectrum construction.
• Construct a quasicategory of E_n-structured comodules over R[X] to formalize the algebraic structure of Thom spectra.
• Utilize the universal property of Thom spectra to show compatibility with the comodule structure induced by the Thom diagonal.

Experimental results

Research questions

• RQ1 How can E_n-structured coalgebras and comodules be formalized in a higher categorical framework?
• RQ2 Which classical topological objects—such as Thom spectra and loop spaces—naturally carry E_n-structured comodule structures?
• RQ3 What is the precise role of the Thom diagonal in endowing Thom spectra with R[X]-comodule structures?
• RQ4 How do descent data and corings for E_n-ring spectra fit into the broader framework of E_n-structured bialgebras?
• RQ5 Can the construction of Thom spectra be systematically understood as a comodule structure over R[X] via E_n-theory?

Key findings

• The paper constructs a quasicategory of E_n-structured R[X]-comodules, providing a homotopical framework for structured comodule theory.
• It establishes that Thom spectra associated to morphisms f: X → BGL₁(R) are naturally R[X]-comodules via the Thom diagonal.
• n-fold loop spaces and suspension spectra of such spaces are shown to be examples of E_n-structured coalgebras.
• Descent data for maps of E_n-ring spectra and descent corings of morphisms of E_n-ring spectra are realized as instances of E_n-structured bialgebras.
• The construction of Thom spectra is shown to be compatible with E_n-structure, generalizing classical results to higher algebraic contexts.
• The framework unifies diverse topological and algebraic objects under a common categorical and homotopical language.