Folklore conjecture on the coincidence of smooth and algebraic theta correspondence

About 6 years old · traced to

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,R⊂Ralg.\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,R⊂Ralg\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.

References

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.