Induced representation

In mathematics, and in particular group representation theory, the induced representation is one of the major general operations for passing from a representation of a subgroup H to a representation of the (whole) group G itself. It was initially defined as a construction by Frobenius, for linear representations of finite groups. It includes as special cases the action of G on the cosets G/H by permutation, which is the case of the induced representation starting with the trivial one-dimensional representation of H. If H = {e} this becomes the regular representation of G. Therefore induced representations are rich objects, in the sense that they include or detect many interesting representations. The idea is by no means limited to the case of finite groups - but the theory in that case is particularly well-behaved.

The central theorem in the finite group case is the Frobenius reciprocity theorem. It is stated in terms of another construction of representations, the restriction map (which is a functor): any linear representation of G, as K[G]-module where K[G] is the group ring of G over a field K, is also a K[H]-module. The theorem states that, given representations ρ of G and σ of H, the space of G-intertwining maps from ρ to Ind(σ) has the same dimension as that of the H-intertwining maps from Res(ρ) to σ. (Here Res stands for restricted representation, and Ind for induced representation.) It is useful (in the typical case of non-modular representations, anyway - say with K = C) for computing the decomposition of the induced representation: we can do calculations on the side of H, which is the 'small' group.

In fact, anachronistically, we can recognise that this theorem shows that Res and Ind are adjoint functors. The content of that statement is more than the dimensions: it requires that the isomorphism of vector spaces of intertwining maps be natural, in the sense of category theory. It actually suggests that induced representation can in this case be defined by means of the adjunction. That's not the only way to do it - and perhaps not the only helpful way - but it means that the theory will not be ad hoc in its start.

One can therefore makes the reciprocity theorem the way to defining the induced representation. There is another way, suggested by the permutation examples of the introductory paragraph. The induced representation Ind(σ) should be realized as a space of functions on G transforming under H according to the representation σ. Therefore if σ acts on the vector space V, we should look at V-valued functions on G on which H acts via σ (this must be said carefully with explicit talk about left- and right-actions). This approach allows the induced representation to be a kind of free module construction.

The two approaches outlined above can be reconciled in the case of finite groups, by using the tensor product with K[G] as a K[H]-module. There is a third and classical approach, of simply writing down the character (trace) of the induced representation, in terms of conjugation in G of elements g into H.

In more general terms, the reciprocity theorem isn't available in generality for representations of topological groups; and the character formulas are also subject to some analytical problems. The second definition, on the other hand, is a major theme in harmonic analysis, in generality. It is adapted to the theory of vector bundles, for example.

Construction

Suppose G is a topological group and H is a closed subgroup of G. Also, suppose σ is a realization of H over the space V. The product V×G is a realization of G as follows:

g'[(x,g)]=(x,gg'^-1)

where g and g' are elements of G and x is an element of V.

Define the equivalence relation

(x,g)~(h[x],hg) .

Note that this equivalence relation is invariant under the action of G. In other words, V×G/~ is a realization of G.

g^-1hg[(x,g)]=(x,h^-1g)~(h[x],g)

In other words, V×G/~ is a fiber bundle over the quotient space G/H with H as the structure group and V as the fiber.

Now suppose σ is a representation and V is a vector space. The previous construction defines a vector bundle over G/H. The space of sections of this vector bundle is the induced representation.

In the case of unitary representations of locally compact groups, the induction construction can be formulated in terms of systems of imprimitivity.

Examples

See Wigner's classification for the example of the Poincaré group. This isn't a finite group, so there are more complications. for massive reps, G is the double cover of the Poincaré group and H is R⁴ (the translation group) the double cover of the special orthogonal group SO(3). for massless reps, H is R⁴ (the translation group again)the double cover (not universal cover!) of special Euclidean group SE(2). (The semidirect product)

See also restricted representation.