Carlson's depth equality conjecture for finite p-groups

Let GG be a finite pp-group. Define ωa(G)\omega_a(G) as the minimum of dimH(G;Fp)/p\dim \operatorname{H}^{*}(G;\mathbb{F}_p)/\mathfrak{p} over associated primes p\mathfrak{p} of H(G;Fp)\operatorname{H}^{*}(G;\mathbb{F}_p), and let ωd(G)\omega_d(G) be the maximum s1s\geq 1 such that H(G;Fp)\operatorname{H}^{*}(G;\mathbb{F}_p) is detected by the centralizers of elementary abelian subgroups of rank ss. Carlson's conjecture. Then

depthH(G;Fp)=ωa(G)=ωd(G).\operatorname{depth}\operatorname{H}^{*}(G;\mathbb{F}_p)=\omega_a(G)=\omega_d(G).

The preceding inequalities are known, and Carlson conjectured that both are equalities; the supplied text does not state whether the conjecture has been resolved.

Sources & referencesView supporting material

Primary source

Oihana Garaialde Ocaña, Lander Guerrero Sánchez and Jon González-Sánchez, “A family of finite p-groups satisfying Carlson's conjecture”, arXiv:2005.14452 (2020).

Additional references

2 papers in this index state this conjecture (2002–2020). The statement above is taken from the most recent of them; the others are arXiv:math/0206127.

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.