Frobenius reciprocity

Template:Short description In mathematics, and in particular representation theory, Frobenius reciprocity is a theorem expressing a duality between the process of restricting and inducting. It can be used to leverage knowledge about representations of a subgroup to find and classify representations of "large" groups that contain them. It is named for Ferdinand Georg Frobenius, the inventor of the representation theory of finite groups.

Statement

Character theory

The theorem was originally stated in terms of character theory. Let Template:Var be a finite group with a subgroup Template:Var, let ${\mathrm{Res}}_H^G$ denote the restriction of a character, or more generally, class function of Template:Var to Template:Var, and let ${\mathrm{Ind}}_H^G$ denote the induced class function of a given class function on Template:Var. For any finite group Template:Var, there is an inner product $⟨-,-{⟩}_A$ on the vector space of class functions $A\to ℂ$ (described in detail in the article Schur orthogonality relations). Now, for any class functions $\psi :H\to ℂ$ and $\phi :G\to ℂ$, the following equality holds:Template:SfnTemplate:Sfn

$$⟨{\mathrm{Ind}}_H^G\psi ,\phi {⟩}_G=⟨\psi ,{\mathrm{Res}}_H^G\phi {⟩}_H.$$

In other words, ${\mathrm{Ind}}_H^G$ and ${\mathrm{Res}}_H^G$ are Hermitian adjoint.

Template:Collapse top Let $\psi :H\to ℂ$ and $\phi :G\to ℂ$ be class functions.

Proof. Every class function can be written as a linear combination of irreducible characters. As $⟨\cdot ,\cdot ⟩$ is a bilinear form, we can, without loss of generality, assume $\psi$ and $\phi$ to be characters of irreducible representations of $H$ in $W$ and of $G$ in $V,$ respectively. We define $\psi (s)=0$ for all $s\in G\setminus H.$ Then we have

$$\begin{array}{cc}⟨\text{Ind}(\psi ),\phi {⟩}_G& =\frac{1}{|G|}\sum _{t\in G}\text{Ind}(\psi )(t)\phi (t^{-1})\\ & =\frac{1}{|G|}\sum _{t\in G}\frac{1}{|H|}\sum _{\genfrac{}{}{0ex}{}{s\in G}{s^{-1}ts\in H}}\psi (s^{-1}ts)\phi (t^{-1})\\ & =\frac{1}{|G|}\frac{1}{|H|}\sum _{t\in G}\sum _{s\in G}\psi (s^{-1}ts)\phi ((s^{-1}ts{)}^{-1})\\ & =\frac{1}{|G|}\frac{1}{|H|}\sum _{t\in G}\sum _{s\in G}\psi (t)\phi (t^{-1})\\ & =\frac{1}{|H|}\sum _{t\in G}\psi (t)\phi (t^{-1})\\ & =\frac{1}{|H|}\sum _{t\in H}\psi (t)\phi (t^{-1})\\ & =\frac{1}{|H|}\sum _{t\in H}\psi (t)\text{Res}(\phi )(t^{-1})\\ & =⟨\psi ,\text{Res}(\phi ){⟩}_H\end{array}$$

In the course of this sequence of equations we used only the definition of induction on class functions and the properties of characters. $◻$

Alternative proof. In terms of the group algebra, i.e. by the alternative description of the induced representation, the Frobenius reciprocity is a special case of a general equation for a change of rings:

${\text{Hom}}_{ℂ[H]}(W,U)={\text{Hom}}_{ℂ[G]}(ℂ[G]{\otimes }_{ℂ[H]}W,U).$

This equation is by definition equivalent to [how?]

$⟨W,\text{Res}(U){⟩}_H=⟨W,U{⟩}_H=⟨\text{Ind}(W),U{⟩}_G.$

As this bilinear form tallies the bilinear form on the corresponding characters, the theorem follows without calculation. $◻$ Template:Collapse bottom

Module theory

As explained in the section Representation theory of finite groups#Representations, modules and the convolution algebra, the theory of the representations of a group Template:Var over a field Template:Var is, in a certain sense, equivalent to the theory of modules over the group algebra Template:Var[[[:Template:Var]]]. Therefore, there is a corresponding Frobenius reciprocity theorem for Template:Var[[[:Template:Var]]]-modules.

Let Template:Var be a group with subgroup Template:Var, let Template:Var be an Template:Var-module, and let Template:Var be a Template:Var-module. In the language of module theory, the induced module $K[G]{\otimes }_{K[H]}M$ corresponds to the induced representation ${\mathrm{Ind}}_H^G$, whereas the restriction of scalars ${}_{K[H]}N$ corresponds to the restriction ${\mathrm{Res}}_H^G$. Accordingly, the statement is as follows: The following sets of module homomorphisms are in bijective correspondence:

$${\mathrm{Hom}}_{K[G]}(K[G]{\otimes }_{K[H]}M,N)\cong {\mathrm{Hom}}_{K[H]}(M,{}_{K[H]}N)$$.Template:Sfn

As noted below in the section on category theory, this result applies to modules over all rings, not just modules over group algebras.

Category theory

Let Template:Var be a group with a subgroup Template:Var, and let ${\mathrm{Res}}_H^G,{\mathrm{Ind}}_H^G$ be defined as above. For any group Template:Math and field Template:Math let ${\mathbf{\text{Rep}}}_A^K$ denote the category of linear representations of Template:Var over Template:Var. There is a forgetful functor

$$\begin{array}{cc}{\mathrm{Res}}_H^G:{\mathbf{\text{Rep}}}_G& ⟶{\mathbf{\text{Rep}}}_H\\ (V,\rho )& ⟼{\mathrm{Res}}_H^G(V,\rho )\end{array}$$

This functor acts as the identity on morphisms. There is a functor going in the opposite direction:

$$\begin{array}{cc}{\mathrm{Ind}}_H^G:{\mathbf{\text{Rep}}}_H& ⟶{\mathbf{\text{Rep}}}_G\\ (W,\tau )& ⟼{\mathrm{Ind}}_H^G(W,\tau )\end{array}$$

These functors form an adjoint pair ${\mathrm{Ind}}_H^G⊣{\mathrm{Res}}_H^G$. In the case of finite groups, they are actually both left- and right-adjoint to one another. This adjunction gives rise to a universal property for the induced representation (for details, see Induced representation#Properties).

In the language of module theory, the corresponding adjunction is an instance of the more general relationship between restriction and extension of scalars.

See also

• See Restricted representation and Induced representation for definitions of the processes to which this theorem applies.
• See Representation theory of finite groups for a broad overview of the subject of group representations.
• See Selberg trace formula and the Arthur-Selberg trace formula for generalizations to discrete cofinite subgroups of certain locally compact groups.

References

• Template:Cite book
• Template:Cite book
• Template:Cite web