4
$\begingroup$

Let $X$ be a variety over a field $k$ with separable closure $k_s$. Let $A$, $B$ be étale sheaves on $X$. Consider now the Hochschild–Serre spectral sequences.

\begin{align*} E_2^{pq}: H^p(k, H^q(X_{k_s}, A)) & {}\Rightarrow H^{p + q}(X, A) \\ E_2^{pq}: H^p(k, H^q(X_{k_s}, B)) & {}\Rightarrow H^{p + q}(X, B) \\ E_2^{pq}: H^p(k, H^q(X_{k_s}, A \otimes B)) & {}\Rightarrow H^{p + q}(X, A \otimes B). \end{align*}

The cup product for $H^{\bullet}(X_{k_s}, \cdot)$ gives a bilinear pairing $H^q(X_{k_s}, A) \times H^{q'}(X_{k_s}, B) \to H^{q + q'}(X_{k_s}, A \otimes B)$. This induces via the cup product on $H^{\bullet}(k, \cdot)$ a bilinear pairing $E^{pq}_2 \times E^{p' q'}_2 \to E^{(p + p')(q + q')}_2$. This should be the same bilinear pairing (up to a sign) as the one coming from the usual cup product pairing $H^{p + q}(X, A) \times H^{p' + q'}(X, B) \to H^{p + p' + q +q'}(X, A \otimes C)$ (part of the statement being that the cup product is compatible with the filtration).

For the Serre spectral sequence in algebraic topology this is described in Hatcher - Algebraic topology - Spectral sequences page 543 or, Hutchings - Introduction to spectral sequences. Does anyone know of a good reference where this is explained for the Hochschild–Serre spectral sequence? The Leray spectral sequence would also be fine, since Hochschild–Serre is a special case. Especially the signs seems like they might be subtle.

$\endgroup$
2
  • 1
    $\begingroup$ Welcome new contributor. I cannot parse your displayed equations. Should one copy of $A$ in the second like be replaced by $B$? $\endgroup$ Commented May 12, 2022 at 15:48
  • $\begingroup$ Yes, you're right. It has been corrected. $\endgroup$ Commented May 12, 2022 at 17:30

1 Answer 1

3
$\begingroup$

The original reference is

Hochschild, G.; Serre, J.-P.
Cohomology of group extensions.
Trans. Amer. Math. Soc. 74 (1953), 110–134.

On page 118 they introduce a filtration $\{A_j\}_j$ of the cochain complex $A = C^*(G; M)$, which is compatible with cup products pairings and gives the desired pairing of Hochschild-Serre spectral sequences, as stated on page 119. The same kind of filtration was used by Serre in the context of cubical cohomology to define the multiplicative structure on the Serre spectral sequence of a fibration. Perhaps Chapters 5 and 6 of

https://www.uio.no/studier/emner/matnat/math/MAT9580/v21/dokumenter/spseq.pdf

are helpful.

$\endgroup$
1
  • $\begingroup$ Thanks for the references, they are not exactly what I want but still seem useful. The paper by Hochschild and Serre is for group cohomology and not étale cohomology like I would prefer. $\endgroup$ Commented May 13, 2022 at 9:24

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

Not the answer you're looking for? Browse other questions tagged or ask your own question.