Varshavsky–author conjecture on the cocenter summand and Langlands-dual data

From papers

Let ZeredZ_e^{red} be the quotient of ZeZ_e by its unipotent radical. Let Ze(Zered)2{\bf Z}_e\subset (Z_e^{red})^2 be the algebraic variety of pairs of commuting elements in ZeredZ_e^{red}. Let Oe{\mathcal O}_e be the ring of regular conjugation-invariant functions on Ze{\bf Z}_e. Let Oˉe\bar{{\mathcal O}}_e be the subring of functions ff such that, for every xZeredx\in Z_e^{red}, the function fx:yf(x,y)f_x:y\mapsto f(x,y) is locally constant, descends to a function on π0(Zered(x))\pi_0(Z_e^{red}(x)), and that descended function is a linear combination of characters of irreducible representations of π0(Zered(x))\pi_0(Z_e^{red}(x)) occurring in the cohomology of the space Bex{\mathcal B}_e^x of simultaneous fixed points of ee and xx on B{\mathcal B}. Varshavsky–author conjecture. There is a canonical isomorphism

CeOˉe.C_e\cong \bar{{\mathcal O}}_e.

This conjecture gives a description of the cocenter component CeC_e, and hence of a summand of the space of invariant distributions on the pp-adic group, in terms of the Langlands dual group. The statement is presented as a joint conjecture with Yakov Varshavsky; no resolution is supplied.

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

Roman Bezrukavnikov, Stefan Dawydiak and Galyna Dobrovolska, “On the structure of the affine asymptotic Hecke algebras”, arXiv:2110.15903 (2023).

Solutions 0

No solutions have been posted yet.