English

A Cartan-Eilenberg spectral sequence for a non-normal extension

Algebraic Topology 2019-01-23 v2

Abstract

Let ΦΓΣ\Phi\to \Gamma\to \Sigma be a conormal extension of Hopf algebras over a commutative ring kk, and let MM be a Γ\Gamma-comodule. The Cartan-Eilenberg spectral sequence E2=ExtΦ(k,ExtΣ(k,M))    ExtΓ(k,M) E_2 = \mathrm{Ext}_\Phi(k,\mathrm{Ext}_\Sigma(k,M)) \implies \mathrm{Ext}_\Gamma(k,M) is a standard tool for computing the Hopf algebra cohomology of Γ\Gamma with coefficients in MM in terms of the cohomology of the pieces Φ\Phi and Σ\Sigma. Bruner and Rognes, generalizing a construction of Davis and Mahowald, have introduced a generalization of the Cartan-Eilenberg spectral sequence converging to ExtΓ(k,M)\mathrm{Ext}_\Gamma(k,M) that can be defined when Φ=ΓΣk\Phi = \Gamma\square_\Sigma k is compatibly an algebra and a Γ\Gamma-comodule. We offer a concrete cobar-like construction that fits into their framework, and show how this work fits into a larger story. In particular, we show that this spectral sequence is isomorphic, starting at the E1E_1 page, to both the Adams spectral sequence in the stable category of Γ\Gamma-comodules as studied by Margolis and Palmieri, and to a filtration spectral sequence on the cobar complex for Γ\Gamma originally due to Adams. We obtain a description of the E2E_2 term under an additional flatness assumption. We discuss applications to computing localizations of the Adams spectral sequence E2E_2 page.

Keywords

Cite

@article{arxiv.1811.05459,
  title  = {A Cartan-Eilenberg spectral sequence for a non-normal extension},
  author = {Eva Belmont},
  journal= {arXiv preprint arXiv:1811.05459},
  year   = {2019}
}

Comments

Acknowledged relevant work of Davis-Mahowald and Bruner-Rognes

R2 v1 2026-06-23T05:14:23.509Z