Induced representation

From Wikipedia, the free encyclopedia

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.

Contents

[edit] Alternate formulations

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 make the reciprocity theorem the way to define 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.

[edit] Construction

[edit] Algebraic

Let G be a finite group and H any subgroup of G. Furthermore let (π,V) be a representation of H. The induced representation \operatorname{Ind}_H^G \pi can be thought of as acting on the following space:


W=\bigoplus_{x\in G/H} xV

Here each xV is an isomorphic copy of the vector space V. Via the induced representation G acts on W as follows:

 g\cdot\sum_{x\in G/H} x v_x=\sum_{x\in G/H} gx v_x

where  v_x \in V for each x.

As mentioned earlier this construction is equivalent to defining \operatorname{Ind}_H^G \pi \cong V\otimes_{K[H]} K[G]

[edit] Analytic

If G is a locally compact topological group (possibly infinite) and H is a closed subgroup then there is a common analytic construction of the induced representation. Let (π,V) be a continuous representation of H into a Hilbert space V. We can then let:


\operatorname{Ind}_H^G\pi=\{f:G \rightarrow V|f(hg)=\pi(h)f(g) \text{ and } \|f\|\in L^2(G/H) \}

Here L2(G) is taken with respect to a Haar measure. The G acts on the induced representation space by right translation, ie. (g\cdot f)(x)=f(xg)


This construction is often modified in various ways to fit the applications needed. A common version is called normalized induction and usually uses the same notation. The definition of the representation space is as follows:


\operatorname{Ind}_H^G\pi=\{f:G \rightarrow V|f(hg)=\Delta_G^{-1/2}(h)\Delta_H^{1/2}(h)\pi(h)f(g) \text{ and } \|f\|\in L^2(G/H) \}

Here ΔG and ΔH are the modular functions of G and H respectively. With the addition of the normalizing factors this induction functor takes unitary representations to unitary representations.

One other variation on induction is called compact induction. This is just standard induction restricted to functions with compact support. Formally it is denoted by ind and defined as:


\operatorname{ind}_H^G\pi=\{f:G \rightarrow V|f(hg)=\pi(h)f(g) \text{ and f has compact support mod H} \}

Note that if G/H is compact then Ind and ind are the same functor.

[edit] Geometric

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.

[edit] Examples

For any group, the induced representation of the trivial representation of the trivial subgroup is the right regular representation. More generally the induced representation of the trivial representation of any subgroup is the permutation representation on the cosets of that subgroup.

An induced representation of a one dimensional representation is called a monomial representation, because it can be represented as monomial matrices. Some groups have the property that all of their irreducible representations are monomial, the so-called monomial groups.

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 R4 (the translation group) \rtimes the double cover of the special orthogonal group SO(3). for massless reps, H is R4 (the translation group again) \rtimes the double cover (not universal cover!) of special Euclidean group SE(2). (The semidirect product)

See also restricted representation.

Languages