6
$\begingroup$

The classical Frobenius reciprocity theorem asserts the following:

If $W$ is a representation of $H$, and $U$ a representation of $G$, then $$(\chi_{Ind W},\chi_{U})_{G}=(\chi_{W},\chi_{Res U})_{H}.$$

The proof in the standard textbook (Fulton&Harris, Dummit&Foote,etc) is easy to understand. What puzzled me is this Frobenius theorem that appears in Raoul Bott's paper:

"Proposition 2.1. Let $W$ be a $G$-module, let $M$ be an $H$-module and denote by $i^{*}W$, the restriction of $W$ to $H$. Then, $$Hom_{G}(W,\Gamma MG)\cong Hom_{H}(i^{*}W, M).$$

In here the $\Gamma MG$ is defined to be the section of the bundle $G\times_{H} M\rightarrow G/H$, with $G\times_{H}M$ defined to be $G\times M/(g,m)\approx (gh,h^{-1}m)$.

Bott claimed in his paper (Homogeneous differential operators) that this isomorphism is quite canoical, yet not only I could not understand his proof, but also I could not see how the isomorphism is anything but canonical. There should be some kind of relationship between this and the classical theorem, but I could not get it as well. After several hours pondering I decided to ask in here as the matter is purely technical.

  • 0
    We have $\Gamma MG=Ind\ M$ and $i^*W=Res\ W$.2011-09-11
  • 0
    This should be true, but $\Gamma MG$ is not simply $Ind M$ as $\displaystyle Ind M=\oplus_{\o\in G/H} o*M$. It is the set of sections from $G/H$ to $G\times_{H}M$, with $G\times_{H}M\rightarrow G/H$ being the projection map. Also the classical theorem applies to characters, while in here we are dealing with module homomorphisms $\phi$ and $\theta$ such that $\phi g=g \phi$ and $\theta g=g \theta$. Thanks for your comment though.2011-09-11
  • 0
    You're welcome! I should have said that this is one of the main examples of **adjoint functors**. It holds for representations, and *a fortiori* for characters. I'm sure you'll get nice answers soon. Many people on MSE know this stuff much better than I. (Suggestion: use the @ sign to notify users.)2011-09-11
  • 0
    @ Pierre-Yves Gaillard: I am very surprised category theory is lurking in this seemingly trivial problem. Obviously my knowledge in this subject is unsatisfying. Thank you for pointing this out as I am not aware of this myself.2011-09-11
  • 0
    You're welcome again! It's funny to note that the statement in terms of characters is an **adjunction** in the original sense. - Suggestion: Spell out your assumptions. I suppose you're talking about **complex** representations of **finite** groups. [If you edit your question, please correct the typo "canoical".]2011-09-11
  • 0
    @Pierre-Yves Gaillard: It is NOT about complex representations of finite groups, it is about representations of lie groups, though the theorem itself obviously does not limit to the lie group case itself. I really hope I could provide a link for Bott's paper, but to my knowledge it is not available online (I found it in Bott's collected works). Thank you for pointing this out.2011-09-11

1 Answers 1

5

Sections of the bundle are the same as maps $\phi:G \to M$ such that $\phi(gh) = h^{-1}\phi(g)$ for all $g \in G, h \in H$. This is one way to define the induction of $M$ from $H$ to $G$ in the context of not-necessarily finite groups.

Now the isomorphism you ask about is the adjunction $$Hom_G(W,Ind_H^G M) \cong Hom_H(W,M).$$ The map is easy to define: map $Ind_H^G M \to M$ via evaluation at $1 \in G$ (in Bott's geometric terms, look at the value of the section over $g =1$) --- this is $H$-equivariant, and induces a corresponding map of Hom spaces. To check it is an isomorphism is not much harder. (If sections/maps are understood to be smooth, then you will have to use the fact that $W$ is a smooth representation of $G$.)


Aside: you shouldn't be surprised at the appearance of the term "adjunction" here; that is what Bott's formula is, and all the basic facts from character theory of finite groups are manifestations of underlying facts about the categories of representations. Also, it is easier for many people (including me!) to prove the categorical facts first and then to deduce the character-theoretic facts directly, since there is more structure to work with.

  • 0
    Dear Matt E, I hope I edited your answer correctly. (I like it very much and voted for it!)2011-09-29
  • 0
    @Matt E:Hi! I want to ask where to find appropriate to learn about categories of representations, the books I used (Humphreys, Fulton&Harris, Segal&MacDonald) do not have anything on this. Thank you for the proof, which I need sometime to digest properly.2011-10-10
  • 0
    @Matt E: I get it. This feels totally trivial now. Thanks for the explanation in here.2011-10-10