Cohomological spectral-sequence conjecture for locally analytic vectors

Let GG be a compact pp-adic Lie group, let MM be a GG-module in the setting of the paper, and let Rlaj(M)\mathrm{R}_{\mathrm{la}}^j(M) denote the jjth derived functor of locally analytic vectors. Spectral-sequence conjecture. There exists a spectral sequence

E2i,j=Hi(G,Rlaj(M))Hi+j(G,M).E_2^{i,j}=\mathrm{H}^i\bigl(G,\mathrm{R}_{\mathrm{la}}^j(M)\bigr)\Rightarrow \mathrm{H}^{i+j}(G,M).

This would relate group cohomology of the derived locally analytic-vector functors to the cohomology of MM and is presented as an analogy with a result cited in the paper.

Sources & referencesView supporting material

Primary source

Gal Porat, “Locally analytic vectors and decompletion in mixed characteristic”, arXiv:2407.19791 (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.