Abstract:Let $\Phi\to \Gamma\to \Sigma$ be a conormal extension of Hopf algebras over a commutative ring $k$, and let $M$ be a $\Gamma$-comodule. The Cartan-Eilenberg spectral sequence $$ 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 $M$ 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 $\mathrm{Ext}_\Gamma(k,M)$ that can be defined when $\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 $E_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 $E_2$ term under an additional flatness assumption. We discuss applications to computing localizations of the Adams spectral sequence $E_2$ page.

Picard and Brauer groups of $K(n)$-local spectra via profinite Galois descent

The inverse limit topology and profinite descent on Picard groups in $K(n)$-local homotopy theory

The relative Brauer group of $K(1)$-local spectra

On Hopkins' Picard group

Bounding the $K(p-1)$-local exotic Picard group at $p>3$

Brauer-Wall Groups and Truncated Picard Spectra of $K$-theory

On The Telescopic Picard Group

The Picard group in equivariant homotopy theory via stable module categories

Convergence of the Eilenberg-Moore spectral sequence for generalized cohomology theories

Invertible objects in Franke's comodule categories

Descent and Cyclotomic Redshift for Chromatically Localized Algebraic K-theory

Brown-Peterson cohomology from Morava E-theory

Galois extensions of structured ring spectra

Spectral morphisms, K-theory, and stable ranks

The mod p cohomology of the Morava stabilizer group at large primes

On categorical local langlands program for $GL_n$

Hermitian K-theory for stable $\infty$-categories II: Cobordism categories and additivity

A continuous $p$-adic action on the $K(2)$-local algebraic $K$-theory of $p$-adic complex $K$-theory

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

On the rationalization of the $K(n)$-local sphere

Algebraic Cobordism and Étale Cohomology