Adem's persistence conjecture for torsion in finite-group cohomology

About 27 years old · traced to

Throughout, let Hi(S)=Hi(S;Z)H^i(S)=H^i(S;\mathbb{Z}) denote the integral cohomology of a finite group SS. For a finite pp-group PP, let e(P)e(P) be the exponent of Hˉ(P)=⨁i=1∞Hi(P)\bar{H}(P)=\bigoplus_{i=1}^{\infty}H^i(P), and let e∞(P)e_{\infty}(P) be the least positive integer nn such that nHˉ(P)n\bar{H}(P) is finite. Adem's conjecture. If Hi(S)H^i(S) contains an element of order pnp^n for some ii, then it contains an element of order pnp^n for infinitely many ii. In particular, for a finite pp-group PP,

e∞(P)=e(P).e_{\infty}(P)=e(P).

The conjecture was stated as part of a question about whether the eventual exponent of the cohomology agrees with its full exponent. The paper gives a counterexample: a finite pp-group has elements of order p3p^3 in some integral cohomology groups, while p2p^2 annihilates all sufficiently high cohomology groups, so the conjecture is false in general.

References

Primary source

Jonathan Pakianathan, “Exponents and the cohomology of finite groups”, arXiv:math/9901143 (1999).

Progress summary

Never refreshed

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Solutions 0

No solutions have been posted yet.