Induction and restriction as adjoint functors on representations of locally compact groups (Q1204369)

The classical Frobenius reciprocity theorem (FRT) for unitary representations of compact groups cannot be generalized to arbitrary locally compact groups. However, there is an FRT in the context of so- called summable induced representations due to \textit{C. Moore} [Pac. J. Math. 12, 359-365 (1962; Zbl 0121.038)] and \textit{A. Kleppner} [Trans. Am. Math. Soc. 112, 164-183 (1964; Zbl 0171.116)]. To state this theorem we need some notation. Let \(G\) be a second countable locally compact group, \(H\) a closed subgroup of \(G\) and \(\rho\) a strongly continuous representation of \(H\) by isometries on a separable Banach space \(H(\rho)\). Let \(\mu\) be a right quasi-invariant measure on \(G/H\), the space of right cosets of \(H\). The summable induced representation \(\text{ind }\rho\) of \(G\) acts (essentially) by right translation on functions in \(H(\text{ind } \rho)\), the Banach space of all \(\mu\)- measurable functions \(f: G\to H(\rho)\) such that \(f(hx)=\rho(h)f(x)\) for all \(h\in H\) and \(x\in G\) and \(\int_{G/H} \| f(x)\| d\mu(Hx)<\infty\). The Moore-Kleppner-FRT says that if \(\rho\) is as above and \(\pi\) is a representation of \(G\) by isometries on a reflexive Banach space, then there is a canonical isometric isomorphism \(\eta\) between \(\Hom_ H(\rho,\pi| H)\) and \(\Hom_ G(\text{ind }\rho, \pi)\), the obvious corresponding Banach spaces of bounded intertwining operators. Moore's original proof required that \(G/H\) has an invariant measure, while Kleppner's generalization was established by different methods. In the paper under review the authors first notice that slight modifications of Moore's proof already yield the general result when \(\rho\) and \(\pi\) are supposed to be unitary. Their main concern, however, is to look at FRT from a category point of view. Let \({\mathcal D}\) be the category whose objects consist of continuous representations of \(G\) and morphisms, \({\mathcal D}(\pi_ 1,\pi_ 2)\), the intertwining operators, and let \({\mathcal C}\) denote the category of continuous unitary representations of \(H\) and morphisms \({\mathcal C}(\rho_ 1,\rho_ 2)\), again the intertwining operators. It is shown that the adjunction \(\eta\) above is natural in the following sense. For unitary representations \(\pi_ 1\) and \(\pi_ 2\) of \(G\) and \(\rho_ 1\) and \(\rho_ 2\) of \(H\), let \(\xi\in {\mathcal C}(\rho_ 1,\rho_ 2)\) and \(\psi\in {\mathcal D}(\pi_ 2,\pi_ 1)\). Then \(\eta\) satisfies the following adjointness relation: \(\psi\circ \eta(B)\circ \text{ind } \xi= \eta(\text{res} \psi\circ B\circ \xi)\) for all \(B\in {\mathcal C}(\rho_ 2,\pi_ 2| H)\). Here res and ind denote the restriction and the induction functor, respectively. Note that \(\eta\) converts unitary intertwining operators into continuous intertwining operators.