Stabilization conjecture for cohomology rings of affine group schemes

Let pp) be a prime number, and let G()\mathbb{G}(-) be an affine group scheme over the pp-adic integers Zp\mathbb{Z}_p. For each n1n\geq 1, let KK be a field of characteristic pp with trivial G(Zp/pnZp)\mathbb{G}(\mathbb{Z}_p/p^n\mathbb{Z}_p)-action. Cohomology-ring stabilization conjecture. There exists a natural number f=f(p,G)f=f(p,\mathbb{G}), depending only on pp and G\mathbb{G}, such that for all nfn\geq f, the cohomology rings

H(G(Zp/pnZp);K)\operatorname{H}^{\bullet}(\mathbb{G}(\mathbb{Z}_p/p^n\mathbb{Z}_p);K)

are isomorphic. The conjecture is motivated by the fact that the Quillen categories of the groups G(Zp/pnZp)\mathbb{G}(\mathbb{Z}_p/p^n\mathbb{Z}_p) are isomorphic, while stabilization of the full cohomology-ring structure remains to be established in this generality.

Sources & referencesView supporting material

Primary source

Oihana Garaialde Ocaña and Lander Guerrero Sánchez, “Computing a spectral sequence of finite Heisenberg groups of prime power order”, arXiv:2202.10120 (2022).

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.