Venkatesh's pp-adic motivic rationality conjecture

About 2 years old · traced to

Let π\pi be as in the pp-adic cohomological setting, let \dnvπ,p\text{\dn{v}}_{\pi,p} be the pp-adic motivic cohomology space, and let \dnvπ,E(πf)∗⊂\dnvπ,p∗⊗Qp\text{\dn{v}}^*_{\pi,E(\pi_f)}\subset\text{\dn{v}}^*_{\pi,p}\otimes\mathbf Q_p be the subspace whose pairings with motivic cohomology lie in E(πf)E(\pi_f). Let H∗(S(G,X),V~)πH^*(S(G,X),\widetilde V)_\pi be the πf\pi_f-isotypic subspace and K0K_0 the specified level subgroup. Venkatesh's pp-adic rationality conjecture. Under the action of ⋀∙\dnvπ,p∗\bigwedge^\bullet\text{\dn{v}}^*_{\pi,p} on

[H∗(S(G,X),V~)π]K0⊗Qp⊂H∗(SK0,ΛV)m⊗Qp,[H^*(S(G,X),\widetilde V)_\pi]^{K_0}\otimes\mathbf Q_p\subset H^*(S_{K_0},\Lambda_V)_\mathfrak m\otimes\mathbf Q_p,

induced by the motivic action, the action of \dnvπ,E(πf)∗\text{\dn{v}}^*_{\pi,E(\pi_f)} preserves the E(πf)E(\pi_f)-rational structure induced from H∗(S(G,X),ΛV)πH^*(S(G,X),\Lambda_V)_\pi. This is the pp-adic counterpart of the motivic rationality prediction.

References

Primary source

Tony Feng and Michael Harris, “Derived structures in the Langlands Correspondence”, arXiv:2409.03035 (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.