Representable-functor conjecture for cohomology of integral nilpotent group schemes

About 1 year old · traced to

Let GG be a nilpotent affine group scheme over the integers, and let AA be a representable functor of commutative graded Z\mathbb{Z}-algebras. Integral group-scheme representability conjecture. There exists such a functor AA such that, for almost all primes pp,

H⁡∗(G(Zp);Fp)≅A(Fp)andH⁡∗(G(Zp);Qp)≅A(Qp).\operatorname{H}^{*}(G(\mathbb{Z}_p);\mathbb{F}_p)\cong A(\mathbb{F}_p)\quad\text{and}\quad \operatorname{H}^{*}(G(\mathbb{Z}_p);\mathbb{Q}_p)\cong A(\mathbb{Q}_p).

This extends the preceding conjecture from saturable nilpotent pro-pp groups to integral points of nilpotent affine group schemes, with the comparison required for all but finitely many primes; the paper gives no general proof or disproof.

References

Primary source

Oihana Garaialde Ocaña, Jon González-Sánchez and Lander Guerrero-Sánchez, “Cohomology of solvable saturable pro-p groups and Lie algebras”, arXiv:2507.18163 (2025).

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.