## Can the Bockstein spectral sequence be used to compute cohomology rings ?

### Remember to vote up questions/answers you find interesting or helpful (requires 15 reputation points)

If $G$ is a finite group then there is the so-called Bockstein spectral sequence $$E_2^n = H^n(G,\mathbb{F}_p) \Rightarrow \begin{cases} \mathbb{F}_p & n =0 \newline 0 & n>0\end{cases}$$ that can be used to compute the integral cohomology out of the mod-$p$ cohomology. In more detail, each non-zero element of $d_r(E_r^{n-1})\subseteq E_r^n$ corresponds to a direct $\mathbb{Z}/p^r$-summand of $H^n(G,\mathbb{Z})$ (Corollary 5.9.12 in Weibel's Homological Algebra book).

Now my question is whether it is possible to compute the integral cohomology ring of $G$ if the mod-$p$ cohomology rings for the primes dividing $|G|$ and the differentials in the associated Bockstein spectral sequences are known ?

-
Doesn't the Bockstein end up twisting the cup product, in the sense that $\beta(xy)=\beta(x)y\pm x\beta(y)$? Or something like that. I would guess this makes it difficult to get the integral ring structure. – Chris Gerig Sep 5 at 1:10
Are you asking whether the cohomology ring can be recovered from just the Bockstein data, or whether two finite groups with (multiplicatively) isomorphic Bockstein spectral sequences must have isomorphic integral cohomology rings? – Tyler Lawson Sep 5 at 2:12

1
The BSS is a spectral sequence of algebras (since the Bockstein is a derivation, as mentioned by Chris). So you may be able to glean some information about integral cup products. That said, it may be a better tactic to use the ring homomorphism $H^\ast(G;\mathbb{Z})\to H^\ast(G;\mathbb{F}_p)$ given by reducing coefficients mod $p$. The BSS is, after all, just the SS obtained by wrapping up the long exact coefficent sequence into an exact couple. – Mark Grant Sep 5 at 6:30
@Tyler: My question is about the former. But if it is possible to recover the integral cohomology ring uniquely from the Bockstein data, wouldn't this also answer the 2nd question affirmatively ? – TJ Sep 5 at 6:40
{"extraction_info": {"found_math": true, "script_math_tex": 0, "script_math_asciimath": 0, "math_annotations": 0, "math_alttext": 0, "mathml": 0, "mathjax_tag": 0, "mathjax_inline_tex": 11, "mathjax_display_tex": 1, "mathjax_asciimath": 0, "img_math": 0, "codecogs_latex": 0, "wp_latex": 0, "mimetex.cgi": 0, "/images/math/codecogs": 0, "mathtex.cgi": 0}, "config": {"markdown_headings": true, "markdown_code": true, "boilerplate_config": {"ratio_threshold": 0.18, "absolute_threshold": 20, "end_threshold": 15, "enable": true}, "remove_buttons": true, "remove_image_figures": true, "remove_link_clusters": true, "table_config": {"min_rows": 2, "min_cols": 3, "format": "github"}, "remove_chinese": true, "remove_edit_buttons": true, "extract_latex": true}, "english_confidence": 0.9017308354377747, "perplexity_flag": "head"}