Unipotent representation conjecture for graded Langlands parameters

Let GG be a connected reductive group, let GηG_\eta range over its pure inner forms, and let Lqu\mathbb{L}^u_{\underline q} be the graded unipotent Langlands parameter space. Write Df.g.(Gˇη)uD_{f.g.}(\check G_\eta)^u and D(Gˇη)uD(\check G_\eta)^u for the indicated unipotent representation categories, and let Coh(Lqu)S1{\operatorname{Coh}}(\mathbb{L}^u_{\underline q})^{S^1} and \QC!(Lqu)\Tate\QC^!(\mathbb{L}^u_{\underline q})^{\Tate} denote cyclic and periodic cyclic sheaves. Unipotent representation conjecture. There should be a full embedding

ηDf.g.(Gˇη)ukk[u]Coh(Lqu)S1,\bigoplus_\eta D_{f.g.}(\check G_\eta)^u\otimes_k k[u] \subset \operatorname{Coh}(\mathbb{L}^u_{\underline q})^{S^1},

which becomes an equivalence after inverting uu:

ηD(Gˇη)ukk[u,u1]\QC!(Lqu)\Tate.\bigoplus_\eta D(\check G_\eta)^u\otimes_k k[u,u^{-1}]\simeq \QC^!(\mathbb{L}^u_{\underline q})^{\Tate}.

The expectation is that cyclic deformation interpolates between all isocrystals and pure inner forms, identifying periodic cyclic sheaves with unipotent representations of pure inner forms; the statement is presented as a proposal in the source.

Sources & referencesView supporting material

Primary source

David Ben-Zvi, Harrison Chen, David Helm and David Nadler, “Between Coherent and Constructible Local Langlands Correspondences”, arXiv:2302.00039 (2023).

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.