The normalized period conjecture in categorical local Langlands

Let GG) be a connected quasi-split reductive group over FF with a fixed Whittaker datum. Suppose there is a categorical equivalence

LG ⁣:Doc(BunG,Q)IndCoh(ParLG).\mathbb{L}_G \colon {\mathcal{D}}^{\operatorname{oc}}({\operatorname{Bun}}_G, {\overline{\mathbb{Q}}_\ell}) \cong {\operatorname{IndCoh}}({\operatorname{Par}}_{{{}^LG}}).

For a dual pair (G,X)(LG,X^)(G,X)\leftrightarrow({{}^LG},\widehat{X}), the objects PXnorm{\mathcal{P}}_X^{\operatorname{norm}} and LX^norm{\mathcal{L}}_{\widehat{X}}^{\operatorname{norm}} are the normalized period and normalized LL-object, respectively. The normalized period conjecture. For every conjecturally defined dual pair (G,X)(LG,X^)(G, X) \leftrightarrow ({{}^LG}, \widehat{X}), one has

LG(PXnorm)LX^norm.\mathbb{L}_G({\mathcal{P}}_X^{\operatorname{norm}}) \cong {\mathcal{L}}_{\widehat{X}}^{\operatorname{norm}}.

This is the categorical translation of the normalized period conjecture in the setting of local Langlands; it is conditional on the existence of the stated categorical equivalence and on the definition of the relevant dual pairs.

Sources & referencesView supporting material

Primary source

Yuta Takaya and Milton Lin, “Categorification of local relative Langlands duality”, arXiv:2601.02258 (2026).

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.