# Induced representations of topological groups

Sorry if this is a naive question-- I'm trying to learn this stuff.

If $G$ is a group with subgroup $H$, then we have the restriction functor $\operatorname{Res}$ from $G-\operatorname{mod}$ to $H-\operatorname{mod}$. We also have this idea of induction, a functor $\operatorname{Ind}^G_H$ from $H-\operatorname{mod}$ to $G-\operatorname{mod}$. These are adjoints, which means (I think) that $\operatorname{Hom}_G(\operatorname{Ind}^G_H(V), U) \cong \operatorname{Hom}_H(V,\operatorname{Res}(U))$ naturally, for $G$-modules $U$ and $H$-modules $V$.

For locally compact groups, there is a theory worked out by MacKey and others. Actually, I have only read Rieffel's work on the subject (as I come from a functional Analysis background). For a locally compact $G$ and closed subgroup $H$, there is a very satisfactory notion of the functor $\operatorname{Ind}^G_H$ (where we consider "Hermitian modules", i.e. unitary representations on Hilbert spaces). What I don't see is how (or even if) this relates to the restriction functor?

In the topological setting, are $\operatorname{Ind}^G_H$ and $\operatorname{Res}$ in any sense adjoints?

-
I've now also asked this at mathoverflow.net/questions/83336/… –  Matthew Daws Dec 13 '11 at 15:33