Michael Harris was in town for a few days, and we chatted about the relationship between my conjectures on completed cohomology groups with Emerton and the recent work of Scholze. The brief summary is that Scholze’s results are not naively strong enough to prove our conjectures in full, even for PEL Shimura varieties. Motivated by this discussion, I want to give two quite explicit challenges concerning the mod-p cohomology of arithmetic locally symmetric spaces. The first I imagine will be very hard — it should already imply a certain vanishing conjecture of Geraghty and myself which has strong consequences. However, the formulation is somewhat different and so might be helpful.
Fix an arithmetic locally symmetric space corresponding to a reductive group over Let and be distinct prime numbers. Consider the completed cohomology groups
where we take the completion over all compact open subgroups. The limit has an action of for the finite adeles , and so, in particular, has an action of . What irreducible representations can occur in ? Here is a guess:
Conjecture: If the smooth admissible representation of occurs as an irreducible sub-representation of , then there exists an irreducible representation of in characteristic zero such that:
- The Gelfand-Kirillov dimension of is at least that of . Equivalently,
- Let and be the Weil-Deligne representations associated to and respectively by the classical local Langlands conjecture and the mod- local Langlands conjecture of Vigneras. Then
- The representation occurs in for some .
Roughly speaking, this conjecture says that the irreducible representations occurring in characteristic are no more complicated than those which occur in characteristic zero. One naive way to try prove this conjecture would be to show that any torsion class lifts to characteristic zero, at least virtually. This conjecture is too strong, however, as can be seen by considering K-theoretic torsion classes in stable cohomology — the mod torsion class in can never lift to characteristic zero for sufficiently large N because the cohomology over is zero for all congruence sugroups by a theorem of Borel. The conjecture as stated seems very hard.
In a different direction, here is the following challenge to those trying to understand completed cohomology through perfectoid spaces. (I expect one can prove this by other means, but I would like to see a proof using algebraic geometry.)
Problem: Fix an integer , and let be the Shimura variety corresponding to the moduli space of polarized abelian varieties of genus . Prove that, for sufficiently large, the completed cohomology group is finite over .
An equivalent formulation of this problem is to show that the only smooth admissible -representations which occur inside are one dimensional.