- Restricted representation
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 anirreducible representation into irreducibe representations of the subgroup are called branching rules, and have important applications in physics. Theinduced 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 byFrobenius reciprocity and the Mackey theorem. Restriction to anormal subgroup behaves particularly well and is often called "Clifford theory" after the theorem of A. H. Clifford. [harvnb|Weyl|1946|p=159-160. "Clifford theory" is also used to describe the results ofW. K. Clifford onspecial divisor s onalgebraic curve s.] Restriction can be generalized to othergroup homomorphism s and to other rings.For any group "G", its
subgroup "H", and alinear representation "ρ" of "G", the restriction of "ρ" to "H", denoted:ρ|"H",
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 aclassical group "G" to a classical subgroup "H", i.e. the multiplicity with which an irreducible representation (σ, "W") of "H" occurs in π. ByFrobenius reciprocity forcompact group s, this is is equivalent to finding the multiplicity of π in the unitary representation induced from σ. Branching rules for the classical groups were determined by*harvtxt|Weyl|1946 between successive
unitary group s;
*harvtxt|Murnaghan|1938 between successivespecial orthogonal group s andunitary symplectic group s;
*harvtxt|Littlewood|1950 from the unitary groups to the unitary symplectic groups and special orthogonal groups.The results are usually expressed graphically using
Young diagram s to encode the signatures used classically to label irreducible representations, familiar from classical invariant theory.Hermann Weyl andRichard Brauer discovered a systematic method for determining the branching rule when the groups "G" and "H" share a commonmaximal torus : in this case theWeyl group of "H" is a subgroup of that of "G", so that the rule can be deduced from theWeyl character formula . [harvnb|Weyl|1946] [harvnb|Želobenko|1963] A systematic modern interpretation has been given by harvtxt|Howe|1995 in the context of his theory ofdual pair s. 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 inseveral complex variables , where theShilov boundary has the form "G"/"H". [harvnb|Helgason|1978] [harvnb|Hua|1963] More generally the Cartan-Helgason theorem gives the decomposition when "G"/"H" is a compact symmetric space, in which case all multiplicities are one; [harvnb|Helgason|1984|p=534-543] a generalization to arbitrary σ has since been obtained by harvtxt|Kostant|2004. Similar geometric considerations have also been used by harvtxt|Knapp|2005 to rederive Littlewood's rules, which involve the celebratedLittlewood-Richardson rule s for tensoring irreducible representations of the unitary groups.harvtxt|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 ofLusztig andKashiwara . His methods yield branching rules for restrictions to subgroups containing amaximal torus . The study of branching rules is important in classical invariant theory and its modern counterpart,algebraic combinatorics . [ harvnb|Goodman|Wallach|1998] [harvnb|Macdonald|1979]Example. The unitary group "U(N)" has irreducible representations labelled by signatures
:mathbf{f} ,colon ,f_1ge f_2ge cdots ge f_N
where the "f""i" are integers. In fact if a unitary matrix "U" has eigenvalues "z""i", then the character of the corresponding irreducible representation πf is given by
:mathrm{Tr} , pi_{mathbf{f(U) = {mathrm{det}, z_j^{f_i +N -i}over prod_{i
The branching rule from "U(N)" to "U(N – 1)" states that
:
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 otimes πh. It is given combinatorially by the
Littlewood-Richardson rule , the number of lattice permutations of the skew diagram k/h of weight g. [ harvnb|Macdonald|1979]There is an extension of Littelwood's branching rule to arbitrary signatures due to harvtxt|Sundaram|1990|p=203. The Littlewood-Richardson coefficients "M" (g, h; f) are extended to allow the signature f to have 2"N" parts but restricting g to haveeven column-lengths ("g"2"i" – 1 = "g"2"i"). In this case the formula reads
:
for "N" = 2"n"+1 and
: pi_{mathbf{g
for "N" = 2"n", where the differences "f""i" - "g""i" must be integers.
Gelfand-Tsetlin basis
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 tosmaller 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 harvtxt|Ž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) andSp("N") the space of intertwiners HomSp("N"–1)("V","W") can have dimension greater than one. It turns out that the
Yangian "Y"(mathfrak{gl}2), aHopf algebra introduced byLudwig Faddeev and collaborators, acts irreducibly on this multiplicity space, a fact which enabled harvtxt|Molev|2006 to extend the construction of Gelfand-Tsetlin bases to Sp("N"). [G. I. Olshanski had shown that the twisted Yangian "Y"–(mathfrak{gl}2), a sub-Hopf algebra of "Y"(mathfrak{gl}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 mathfrak{gl}2. These extend to the Yangian "Y"(mathfrak{gl}2) and give a representation theoretic explanation of the product form of the branching coefficients.]Clifford's theorem
In 1937 Alfred H. Clifford proved the following result on the restriction of finite-dimensional irreducible representations from a group "G" to a
normal subgroup "N" of finite index: [harvnb|Weyl|1946|p=159-160,311]Theorem. Let π: "G" ightarrow 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 irreducibleunitary representation s oflocally compact group s to closed normal subgroups in what has become known as the "Mackey machine" or "Mackey normal subgroup analysis". [ citation|first=George W.|last=Mackey|authorlink=George Mackey|title=The theory of unitary group representations|series=Chicago Lectures in Mathematics|year=1976|id=ISBN 0-225-50052-7]Abstract algebraic setting
From the point of view of
category theory , restriction is an instance of aforgetful functor . This functor is exact, and its left adjoint functor is called "induction". The relation between restriction and induction in various contexts is called theFrobenius 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, inrepresentation theory of finite groups over a field ofcharacteristic zero .Generalizations
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 theinclusion map , and define the restricted representation of "H" by the composition:ρoφ.
We may also apply the idea to other categories in
abstract algebra :associative algebra s, rings,Lie algebra s,Lie superalgebra s,Hopf algebra s to name some. Representations or modules "restrict" to subobjects, or via homomorphisms.Notes
References
*citation|first=Roe|last= Goodman|first2= Nolan|last2 =Wallach| title=Representations and Invariants of the Classical Groups|series= Encyclopedia Math. Appl.|volume= 68|publisher= Cambridge University Press|year=1998
*citation|first=Sigurdur|last=Helgason|title=Differential geometry, Lie groups and symmetric spaces|year=1978|publisher=Academic Press
*citation|first=Sigurdur|last=Helgason|title=Groups and geometric analysis: Integral geometry, invariant differential operators, and spherical functions|series=Pure and Applied Mathematics|volume= 113|publisher=Academic Press| year= 1984|id= ISBN 0-12-338301-3
*citation|first=Roger|last=Howe|authorlink=Roger Howe|title=Perspectives on invariant theory, The Schur Lectures, 1992series= Israel Math. Conf. Proc.|volume= 8|publisher= American Mathematical Society|1995|pages= 1-182
*citation|last=Howe|first=Roger| authorlink=Roger Howe|last2=Tan|first2=Eng-Chye|last3= Willenbring|first3= Jeb F.|title=Stable branching rules for classical symmetric pairs|journal=Trans. Amer. Math. Soc.|volume= 357|year=2005|pages= 1601-1626
*citation|first=L.K.|last=Hua|authorlink=Hua Loo-keng|title=Harmonic analysis of functions of several complex variables in the classical domains|publisher= American Mathematical Society|year= 1963
*citation|first=Anthony W.|last= Knapp|authorlink=Anthony Knapp|title=Geometric interpretations of two branching theorems of D. E. Littlewood|journal=J. Algebra 270|year=2003|pages=728-754
*citation|first=Kazuhiko |last=Koike|first2=Itaru|last2= Terada|title=Young-diagrammatic methods for the representation theory of the classical groups of type Bn, Cn, Dn|journal=Journal of Algebra|volume=107|year=1987|pages=466-511
*citation|first=Betram|last=Kostant|authorlink=Bertram Kostant| title=A branching law for subgroups fixed by an involution and a noncompact analogue of the Borel-Weil theorem|url=http://arxiv.org/abs/math.RT/0205283
pages= 291-353|series=Progr. Math.|volume= 220|publisher=Birkhäuser|year=2004
*citation|title=Paths and Root Operators in Representation Theory|first=Peter|last= Littelmann|journal=Annals of Mathematics|volume= 142| year=1995| pages= 499-525 |url=http://www.jstor.org/stable/2118553?seq=1
*citation|first=Dudley E.|last= Littlewood|authorlink=Dudley E. Littlewood|title= The Theory of Group Characters and Matrix Representations of Groups|publisher= Oxford University Press|year= 1950
*citation|first=Ian G.|last=Macdonald|authorlink=I. G. Macdonald|title=Symmetric Functions and Hall Polynomials|publisher=Oxford University Press|year=1979
*citation|first=A. I.|last=Molev|authorlink=Alexander Molev|title=A basis for representations of symplectic Lie algebras|journal=Comm. Math. Phys.|volume= 201|year=1999|pages=591-618
*citation|first=A. I.|last=Molev|authorlink=Alexander Molev|title=Gelfand-Tsetlin bases for classical Lie algebras|series=Handbook of algebra|pages=109-170|publisher=Elsevier|volume=4|id=ISBN 0444522131|year=2006
*citation|first=Francis D. |last=Murnaghan|title= The Theory of Group Representations|publisher=Johns Hopkins Press|year= 1938
*citation|first=Sheila|last=Sundaram|title=Tableaux in the representation theory of the classical Lie groups|pages= 191-225
series=IMA Vol. Math. Appl.|volume= 19|publisher=Springer-Verlag |year=1990
*citation|first=Hermann|last=Weyl|authorlink=Hermann Weyl|title=The classical groups|publisher=Princeton University Press|year=1946
*citation|last=Želobenko|first= D. P.|title=Compact Lie groups and their representations|series=Translations of Mathematical Monographs|volume=40|publisher=American Mathematical Society|year= 1973
Wikimedia Foundation. 2010.