Symmetry breaking operator for the reductive dual pair $(\mathrm{U}_l,\mathrm{U}_{l'})$

Abstract

We consider the dual pair $(G,G')=(\mathrm{U}_l,\mathrm{U}_{l'})$ in the symplectic group $\mathrm{Sp}_{2ll'}(\mathbb{R})$. Fix a Weil representation of the metaplectic group $\tilde{\mathrm{Sp}}_{2ll'}(\mathbb{R})$. Let $\tilde{G\,}$ and $\tilde{G'}$ be the preimages of $G$ and $G'$ under the metaplectic cover $\tilde{\mathrm{Sp}}_{2ll'}(\mathbb{R})\to \mathrm{Sp}_{2ll'}(\mathbb{R})$, and let $Π\otimesΠ'$ be a genuine irreducible representation of $\tilde{G\,}\times\tilde{G'}$. We study the Weyl symbol $f_{Π\otimesΠ'}$ of the (unique up to a possibly zero constant) symmetry breaking operator (SBO) intertwining the Weil representation with $Π\otimesΠ'$. This SBO coincides with the orthogonal projection of the space of the Weil representation onto its $Π$-isotypic component and also with the orthogonal projection onto its $Π'$-isotypic component. Hence $f_{Π\otimesΠ'}$ can be computed in two different ways, one using $Π$ and the other using $Π'$. By matching the results, we recover Weyl's theorem stating that $Π\otimesΠ'$ occurs in the Weil representation with multiplicity at most one and we also recover the complete list of the representations $Π\otimesΠ'$ occurring in Howe's correspondence.