Folklore conjecture on the coincidence of smooth and algebraic theta correspondence

Let G~\widetilde G and G~\widetilde G' be the groups in a reductive dual pair, let ω\omega be the associated oscillator representation, and let Ω\Omega, Ω\Omega' and R\mathcal{R} denote the smooth theta-correspondence sets and relation, while Ωalg\Omega^{\mathrm{alg}}, Ωalg\Omega'^{\mathrm{alg}} and Ralg\mathcal{R}^{\mathrm{alg}} denote their algebraic analogues. Thus

ΩΩalg,ΩΩalg,RRalg.\Omega\subset\Omega^{\mathrm{alg}},\qquad \Omega'\subset\Omega'^{\mathrm{alg}},\qquad \mathcal{R}\subset\mathcal{R}^{\mathrm{alg}}.

Folklore conjecture on theta correspondence. The inclusions

ΩΩalg,ΩΩalg,RRalg\Omega\subset\Omega^{\mathrm{alg}},\qquad \Omega'\subset\Omega'^{\mathrm{alg}},\qquad \mathcal{R}\subset\mathcal{R}^{\mathrm{alg}}

are all equalities.

This conjecture asserts that the smooth and algebraic versions of the theta correspondence coincide. It is presented as a folklore conjecture expected since the publication of Howe's work; the supplied source does not state a resolution.

Sources & referencesView supporting material

Primary source

Binyong Sun and Chen-Bo Zhu, “Local theta correspondence: the basic theory”, arXiv:2006.04023 (2020).

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.