Ştefan spectral sequence for faithfully flat Hopf Galois extensions is multiplicative

Abstract

Let $H$ be a Hopf algebra with a bijective antipode over a field $\mathbf{k}$ and $B/A$ be a flat right $H$-Galois extension. Ştefan constructed a spectral sequence converging to the Hochschild cohomology ${\mathrm{HH}}^{p+q}(B,N)$ with ${\mathrm{E}}_2^{p,q}={\mathrm{H}}^p(H,{\mathrm{HH}}^q(A,N))$. We show that when $B/A$ is faithfully flat, the Ştefan spectral sequence is multiplicative. More precisely, a new formalism of functorial multiplicative spectral sequences via lax monoidal functors over monoidal categories is introduced. A functorial multiplicative spectral sequence is constructed for any faithfully flat Hopf Galois extension. Identification with Ştefan's spectral sequence from the $E_2$-page follows from Künzer's comparison theorems. Applications include strongly graded algebras, smash products, crossed products, group and Lie algebra extensions, with new multiplicativity results in several cases.