In mathematics, restriction is a fundamental construction in representation theory of groups. Restriction forms a representation of a subgroup from a representation of the whole group. Often the restricted representation is simpler to understand. Rules for decomposing the restriction of an irreducible representation into irreducible representations of the subgroup are called branching rules, and have important applications in physics. For example, in case of explicit symmetry breaking, the symmetry group of the problem is reduced from the whole group to one of its subgroups. In quantum mechanics, this reduction in symmetry appears as a splitting of degenerate energy levels into multiplets, as in the Stark or Zeeman effect.
The induced representation is a related operation that forms a representation of the whole group from a representation of a subgroup. The relation between restriction and induction is described by Frobenius reciprocity and the Mackey theorem. Restriction to a normal subgroup behaves particularly well and is often called Clifford theory after the theorem of A. H. Clifford. Restriction can be generalized to other group homomorphisms and to other rings.
is a representation of H on the same vector space by the same operators:
- ρ|H(h) = ρ(h).
Classical branching rules
Classical branching rules describe the restriction of an irreducible representation (π, V) of a classical group G to a classical subgroup H, i.e. the multiplicity with which an irreducible representation (σ, W) of H occurs in π. By Frobenius reciprocity for compact groups, this is equivalent to finding the multiplicity of π in the unitary representation induced from σ. Branching rules for the classical groups were determined by
- Weyl (1946) between successive unitary groups;
- Murnaghan (1938) between successive special orthogonal groups and unitary symplectic groups;
- Littlewood (1950) from the unitary groups to the unitary symplectic groups and special orthogonal groups.
The results are usually expressed graphically using Young diagrams to encode the signatures used classically to label irreducible representations, familiar from classical invariant theory. Hermann Weyl and Richard Brauer discovered a systematic method for determining the branching rule when the groups G and H share a common maximal torus: in this case the Weyl group of H is a subgroup of that of G, so that the rule can be deduced from the Weyl character formula. A systematic modern interpretation has been given by Howe (1995) in the context of his theory of dual pairs. The special case where σ is the trivial representation of H was first used extensively by Hua in his work on the Szegő kernels of bounded symmetric domains in several complex variables, where the Shilov boundary has the form G/H. More generally the Cartan-Helgason theorem gives the decomposition when G/H is a compact symmetric space, in which case all multiplicities are one; a generalization to arbitrary σ has since been obtained by Kostant (2004). Similar geometric considerations have also been used by Knapp (2005) to rederive Littlewood's rules, which involve the celebrated Littlewood–Richardson rules for tensoring irreducible representations of the unitary groups. Littelmann (1995) has found generalizations of these rules to arbitrary compact semisimple Lie groups, using his path model, an approach to representation theory close in spirit to the theory of crystal bases of Lusztig and Kashiwara. His methods yield branching rules for restrictions to subgroups containing a maximal torus. The study of branching rules is important in classical invariant theory and its modern counterpart, algebraic combinatorics.
Example. The unitary group U(N) has irreducible representations labelled by signatures
where the fi are integers. In fact if a unitary matrix U has eigenvalues zi, then the character of the corresponding irreducible representation πf is given by
The branching rule from U(N) to U(N – 1) states that
Example. The unitary symplectic group or quaternionic unitary group, denoted Sp(N) or U(N, H), is the group of all transformations of HN which commute with right multiplication by the quaternions H and preserve the H-valued hermitian inner product
on HN, where q* denotes the quaternion conjugate to q. Realizing quaternions as 2 x 2 complex matrices, the group Sp(N) is just the group of block matrices (qij) in SU(2N) with
where αij and βij are complex numbers.
Each matrix U in Sp(N) is conjugate to a block diagonal matrix with entries
where |zi| = 1. Thus the eigenvalues of U are (zi±1). The irreducible representations of Sp(N) are labelled by signatures
where the fi are integers. The character of the corresponding irreducible representation σf is given by
The branching rule from Sp(N) to Sp(N – 1) states that
Here fN + 1 = 0 and the multiplicity m(f, g) is given by
is the non-increasing rearrangement of the 2N non-negative integers (fi), (gj) and 0.
where Πf,0 is the irreducible representation of U(2N) with signature f1 ≥ ··· ≥ fN ≥ 0 ≥ ··· ≥ 0.
where fi ≥ 0.
The branching rule from U(2N) to Sp(N) is given by
where all the signature are non-negative and the coefficient M (g, h; k) is the multiplicity of the irreducible representation πk of U(N) in the tensor product πg πh. It is given combinatorially by the Littlewood–Richardson rule, the number of lattice permutations of the skew diagram k/h of weight g.
There is an extension of Littelwood's branching rule to arbitrary signatures due to Sundaram (1990, p. 203). The Littlewood–Richardson coefficients M (g, h; f) are extended to allow the signature f to have 2N parts but restricting g to have even column-lengths (g2i – 1 = g2i). In this case the formula reads
where MN (g, h; f) counts the number of lattice permutations of f/h of weight g are counted for which 2j + 1 appears no lower than row N + j of f for 1 ≤ j ≤ |g|/2.
- for N = 2n;
- for N = 2n+1.
The fi are taken in Z for ordinary representations and in ½ + Z for spin representations. In fact if an orthogonal matrix U has eigenvalues zi±1 for 1 ≤ i ≤ n, then the character of the corresponding irreducible representation πf is given by
for N = 2n and by
for N = 2n+1.
The branching rules from SO(N) to SO(N – 1) state that
for N = 2n+1 and
for N = 2n, where the differences fi - gi must be integers.
Since the branching rules from U(N) to U(N–1) or SO(N) to SO(N–1) have multiplicity one, the irreducible summands corresponding to smaller and smaller N will eventually terminate in one-dimensional subspaces. In this way Gelfand and Tsetlin were able to obtain a basis of any irreducible representation of U(N) or SO(N) labelled by a chain of interleaved signatures, called a Gelfand-Tsetlin pattern. Explicit formulas for the action of the Lie algebra on the Gelfand-Tsetlin basis are given in Želobenko (1973).
For the remaining classical group Sp(N), the branching is no longer multiplicity free, so that if V and W are irreducible representation of Sp(N–1) and Sp(N) the space of intertwiners HomSp(N–1)(V,W) can have dimension greater than one. It turns out that the Yangian Y(2), a Hopf algebra introduced by Ludwig Faddeev and collaborators, acts irreducibly on this multiplicity space, a fact which enabled Molev (2006) to extend the construction of Gelfand-Tsetlin bases to Sp(N).
Theorem. Let π: G GL(n,K) be an irreducible representation with K a field. Then the restriction of π to N breaks up into a direct sum of inequivalent irreducible representations of N of equal dimensions. These irreducible representations of N lie in one orbit for the action of G by conjugation on the equivalence classes of irreducible representations of N. In particular the number of distinct summands is no greater than the index of N in G.
Twenty years later George Mackey found a more precise version of this result for the restriction of irreducible unitary representations of locally compact groups to closed normal subgroups in what has become known as the "Mackey machine" or "Mackey normal subgroup analysis".
Abstract algebraic setting
From the point of view of category theory, restriction is an instance of a forgetful functor. This functor is exact, and its left adjoint functor is called induction. The relation between restriction and induction in various contexts is called the Frobenius reciprocity. Taken together, the operations of induction and restriction form a powerful set of tools for analyzing representations. This is especially true whenever the representations have the property of complete reducibility, for example, in representation theory of finite groups over a field of characteristic zero.
This rather evident construction may be extended in numerous and significant ways. For instance we may take any group homomorphism φ from H to G, instead of the inclusion map, and define the restricted representation of H by the composition
We may also apply the idea to other categories in abstract algebra: associative algebras, rings, Lie algebras, Lie superalgebras, Hopf algebras to name some. Representations or modules restrict to subobjects, or via homomorphisms.
- Weyl 1946, pp. 159–160.
- Weyl 1946
- Želobenko 1963
- Helgason 1978
- Hua 1963
- Helgason 1984, pp. 534–543
- Goodman & Wallach 1998
- Macdonald 1979
- Weyl 1946, p. 218
- Goodman & Wallach 1998, pp. 351–352,365–370
- Littlewood 1950
- Weyl 1946, pp. 216–222
- Koike & Terada 1987
- Macdonald 1979, p. 46
- Littelwood 1950, pp. 223–263
- Murnaghan 1938
- Goodman Wallach, p. 351
- G. I. Olshanski had shown that the twisted Yangian Y−(2), a sub-Hopf algebra of Y(2), acts naturally on the space of intertwiners. Its natural irreducible representations correspond to tensor products of the composition of point evaluations with irreducible representations of 2. These extend to the Yangian Y(2) and give a representation theoretic explanation of the product form of the branching coefficients.
- Weyl 1946, pp. 159–160,311
- Mackey, George W. (1976), The theory of unitary group representations, Chicago Lectures in Mathematics, ISBN 0-226-50052-7
- Goodman, Roe; Wallach, Nolan (1998), Representations and Invariants of the Classical Groups, Encyclopedia Math. Appl. 68, Cambridge University Press
- Helgason, Sigurdur (1978), Differential geometry, Lie groups and symmetric spaces, Academic Press
- Helgason, Sigurdur (1984), Groups and geometric analysis: Integral geometry, invariant differential operators, and spherical functions, Pure and Applied Mathematics 113, Academic Press, ISBN 0-12-338301-3
- Howe, Roger (1995), Perspectives on invariant theory, The Schur Lectures, 1992, Israel Math. Conf. Proc. 8, American Mathematical Society, pp. 1–182
- Howe, Roger; Tan, Eng-Chye; Willenbring, Jeb F. (2005), "Stable branching rules for classical symmetric pairs", Trans. Amer. Math. Soc. 357 (04): 1601–1626, doi:10.1090/S0002-9947-04-03722-5
- Hua, L.K. (1963), Harmonic analysis of functions of several complex variables in the classical domains, American Mathematical Society
- Knapp, Anthony W. (2003), "Geometric interpretations of two branching theorems of D. E. Littlewood", Journal of Algebra 270 (2): 728–754, doi:10.1016/j.jalgebra.2002.11.001
- Koike, Kazuhiko; Terada, Itaru (1987), "Young-diagrammatic methods for the representation theory of the classical groups of type Bn, Cn, Dn", Journal of Algebra 107 (2): 466–511, doi:10.1016/0021-8693(87)90099-8
- Kostant, Betram (2004), A branching law for subgroups fixed by an involution and a noncompact analogue of the Borel-Weil theorem, Progr. Math. 220, Birkhäuser, pp. 291–353, arXiv:math.RT/0205283, Bibcode:2002math......5283K
- Littelmann, Peter (1995), "Paths and Root Operators in Representation Theory", Annals of Mathematics (Annals of Mathematics) 142 (3): 499–525, doi:10.2307/2118553, JSTOR 2118553
- Littlewood, Dudley E. (1950), "The Theory of Group Characters and Matrix Representations of Groups", Nature (Oxford University Press) 146 (3709): 699, Bibcode:1940Natur.146..699H, doi:10.1038/146699a0
- Macdonald, Ian G. (1979), Symmetric Functions and Hall Polynomials, Oxford University Press
- Molev, A. I. (1999), "A basis for representations of symplectic Lie algebras", Comm. Math. Phys. 201 (3): 591–618, arXiv:math/9804127, Bibcode:1999CMaPh.201..591M, doi:10.1007/s002200050570
- Molev, A. I. (2006), "Gelfand-Tsetlin bases for classical Lie algebras", In "Handbook of Algebra", Vol. 4, (M. Hazewinkel, Ed.), Elsevier, pp. 109-170, Handbook of algebra (Elsevier) 4: 109–170, arXiv:math/0211289, Bibcode:2002math.....11289M, ISBN 0-444-52213-1
- Murnaghan, Francis D. (1938), The Theory of Group Representations, Johns Hopkins Press
- Slansky, Richard (1981), "Group Theory for Unified Model Building", Physics Reports (North Holland) 79: 1–128 available online
- Sundaram, Sheila (1990), "Tableaux in the representation theory of the classical Lie groups", Institute for Mathematics and Its Applications, IMA Vol. Math. Appl. (Springer-Verlag) 19: 191–225, Bibcode:1990IMA....19..191S
- Weyl, Hermann (1946), The classical groups, Princeton University Press
- Želobenko, D. P. (1973), Compact Lie groups and their representations, Translations of Mathematical Monographs 40, American Mathematical Society