Unipotent representation conjecture for graded Langlands parameters

About 3 years old · traced to

Let GG be a connected reductive group, let GηG_\eta range over its pure inner forms, and let Lq‾u\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⁡(Lq‾u)S1{\operatorname{Coh}}(\mathbb{L}^u_{\underline q})^{S^1} and \QC!(Lq‾u)\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ˇη)u⊗kk[u]⊂Coh⁡(Lq‾u)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ˇη)u⊗kk[u,u−1]≃\QC!(Lq‾u)\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.

References

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.