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

From papers

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=1Hi(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.

Progress summary

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

Sources & referencesView supporting material

Primary source

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

Solutions 0

No solutions have been posted yet.