Representable-functor conjecture for cohomology of integral nilpotent group schemes

From papers

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.

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

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).

Solutions 0

No solutions have been posted yet.