Howe duality conjecture for local theta correspondence

Let UU and VV be members of a reductive dual pair, let Gˉ(U)\operatorname{\bar{G}}(U) and Gˉ(V)\operatorname{\bar{G}}(V) be the corresponding covering groups, and let ωU,V\omega_{U,V} be a genuine smooth oscillator representation of Jˉ(U,V)\operatorname{\bar{J}}(U,V). Define

RωU,V(U):={πIrr(Gˉ(U))HomGˉ(U)(ωU,V,π)0},\mathcal R_{\omega_{U,V}}(U):=\{\pi\in\operatorname{Irr}(\operatorname{\bar{G}}(U))\mid \operatorname{Hom}_{\operatorname{\bar{G}}(U)}(\omega_{U,V},\pi)\neq 0\},

and define RωU,V(V)\mathcal R_{\omega_{U,V}}(V) similarly. Also define

RωU,V(U,V):={(π,π)Irr(Gˉ(U))×Irr(Gˉ(V))HomGˉ(U)×Gˉ(V)(ωU,V,ππ)0}.\mathcal R_{\omega_{U,V}}(U,V):=\{(\pi,\pi')\in\operatorname{Irr}(\operatorname{\bar{G}}(U))\times\operatorname{Irr}(\operatorname{\bar{G}}(V))\mid \operatorname{Hom}_{\operatorname{\bar{G}}(U)\times\operatorname{\bar{G}}(V)}(\omega_{U,V},\pi\otimes\pi')\neq 0\}.

Howe duality conjecture. The set RωU,V(U,V)\mathcal R_{\omega_{U,V}}(U,V) is the graph of a bijection between RωU,V(U)\mathcal R_{\omega_{U,V}}(U) and RωU,V(V)\mathcal R_{\omega_{U,V}}(V).

This conjecture asserts multiplicity-free, bijective local theta correspondence for the representations occurring in the oscillator representation. Its status is not specified in the supplied text.

Sources & referencesView supporting material

Primary source

Binyong Sun and Chen-Bo Zhu, “Conservation relations for local theta correspondence”, arXiv:1204.2969 (2014).

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.