# Reductive dual pair

Reductive dual pair

In the mathematical field of representation theory, a reductive dual pair is a pair of subgroups (G,G ′) of the isometry group Sp(W) of a symplectic vector space W, such that G is the centralizer of G ′ in Sp(W) and vice versa, and these groups act reductively on W. Somewhat more loosely, one speaks of a dual pair whenever two groups are the mutual centralizers in a larger group, which is frequently a general linear group. The concept was introduced by Roger Howe in an influential preprint of the 1970s, which was ultimately published as Howe (1989a).

## Examples

• The full symplectic group G = Sp(W) and the two-element group G ′, the center of Sp(W), form a reductive dual pair. The double centralizer property is clear from the way these groups were defined: the centralizer of the group G in G is its center, and the centralizer of the center of any group is the group itself. The group G ′ consists of the identity transformation and its negative, and can be interpreted as the orthogonal group of a one-dimensional vector space. It emerges from the subsequent development of the theory that this pair is a first instance of a general family of dual pairs consisting of a symplectic group and an orthogonal group, which are known as type I irreducible reductive dual pairs.
• Let X be an n-dimensional vector space, Y be its dual, and W be the direct sum of X and Y. Then W can be made into a symplectic vector space in a natural way, so that (X,Y) is its lagrangian polarization. The group G is the general linear group GL(X), which acts tautologically on X and contragrediently on Y. The centralizer of G in the symplectic group is the group G ′ consisting of linear operators on W that act on X by multiplication by a non-zero scalar λ and on Y by scalar multiplication by its inverse λ−1. Then the centralizer of G ′ is G, these two groups act completely reducibly on W, and hence form a reductive dual pair. The group G ′ can be interpreted as the general linear group of a one-dimensional vector space. This pair is a member of a family of dual pairs consisting of general linear groups known as type II irreducible reductive dual pairs.

## Structure theory and classification

The notion of a reductive dual pair makes sense over any field F, which we assume to be fixed throughout. Thus W is a symplectic vector space over F.

If W1 and W2 are two symplectic vector spaces and (G1, G1′), (G2, G2′) are two reductive dual pairs in the corresponding symplectic groups, then we may form a new symplectic vector space $W=W_1\oplus W_2$ and a pair of groups $G=G_1\times G_2, G'=G_1'\times G_2'$ acting on W by isometries. It turns out that (G,G ′) is a reductive dual pair. A reductive dual pair is called reducible if it can be obtained in this fashion from smaller groups, and irreducible otherwise. A reducible pair can be decomposed into a direct product of irreducible ones, and for many purposes, it is enough to restrict one's attention to the irreducible case.

Several classes of reductive dual pairs had appeared earlier in the work of André Weil. Roger Howe proved a classification theorem, which states that in the irreducible case, those pairs exhaust all possibilities. An irreducible reductive dual pair (G,G ′) in Sp(W) is said to be of type II if there is a lagrangian subspace X in W that is invariant under both G and G ′, and of type I otherwise.

An archetypical irreducible reductive dual pair of type II consists of a pair of general linear groups and arises as follows. Let U and V be two vector spaces over F, $X=U\otimes_F V$ be their tensor product, and Y = HomF(X,F) its dual. Then the direct sum $W=X\oplus Y$ can be endowed with a symplectic form such that X and Y are lagrangian subspaces, and the restriction of the symplectic form to $X\times Y\subset W\times W$ coincides with the pairing between the vector space X and its dual Y. If G = GL(U) and G ′ = GL(V), then both these groups act linearly on X and Y, the actions preserve the symplectic form on W, and (G,G ′) is an irreducible reductive dual pair. Note that X is an invariant lagrangian subspace, hence this dual pair is of type II.

An archetypical irreducible reductive dual pair of type I consists of an orthogonal group and a symplectic group and is constructed analogously. Let U be an orthogonal vector space and V be a symplectic vector space over F, and $W=U\otimes_F V$ be their tensor product. The key observation is that W is a symplectic vector space whose bilinear form is obtained from the product of the forms on the tensor factors. Moreover, if G = O(U) and G ′ = Sp(V) are the isometry groups of U and V, then they act on W in a natural way, these actions are symplectic, and (G,G ′) is an irreducible reductive dual pair of type I.

These two constructions produce all irreducible reductive dual pairs over an algebraically closed field F, such as the field C of complex numbers. In general, one can replace vector spaces over F by vector spaces over a division algebra D over F, and proceed similarly to above to construct an irreducible reductive dual pair of type II. For type I, one starts with a division algebra D with involution τ, a hermitian form on U, and a skew-hermitian form on V (both of them non-degenerate), and forms their tensor product over D, $W=U\otimes_D V.$ Then W is naturally endowed with a structure of a symplectic vector space over F, the isometry groups of U and V act symplectically on W and form an irreducible reductive dual pair of type I. Roger Howe proved that, up to an isomorphism, any irreducible dual pair arises in this fashion. An explicit list for the case F = R appears in Howe (1989b).

## References

• Howe, Roger E. (1989a), "Remarks on classical invariant theory", Transactions of the American Mathematical Society (American Mathematical Society) 313 (2): 539–570, doi:10.2307/2001418, JSTOR 2001418 .
• Howe, Roger E. (1989b), "Transcending classical invariant theory", Journal of the American Mathematical Society (American Mathematical Society) 2 (3): 535–552, doi:10.2307/1990942, JSTOR 1990942 .
• Goodman, Roe; Wallach, Nolan R. (1998), Representations and Invariants of the Classical Groups, Cambridge University Press, ISBN 0521663482 .

Wikimedia Foundation. 2010.

### Look at other dictionaries:

• Dual pair — This article is about dual pairs of vector spaces. For dual pairs in representation theory, see Reductive dual pair. In functional analysis and related areas of mathematics a dual pair or dual system is a pair of vector spaces with an associated… …   Wikipedia

• Gelfand pair — In mathematics, the expression Gelfand pair refers to a pair ( G ,  K ) consisting of a group G and a subgroup K that satisfies a certain property on restricted representations.When G is a finite group the simplest definition is, roughly speaking …   Wikipedia

• List of mathematics articles (R) — NOTOC R R. A. Fisher Lectureship Rabdology Rabin automaton Rabin signature algorithm Rabinovich Fabrikant equations Rabinowitsch trick Racah polynomials Racah W coefficient Racetrack (game) Racks and quandles Radar chart Rademacher complexity… …   Wikipedia

• Metaplectic group — In mathematics, the metaplectic group Mp2n is a double cover of the symplectic group Sp2n. It can be defined over either real or p adic numbers. The construction covers more generally the case of an arbitrary local or finite field, and even the… …   Wikipedia

• Roger Evans Howe — is the William R. Kenan Jr. Professor of Mathematics at Yale University. He is well known for his contributions to representation theory, and in particular for the notion of a reductive dual pair, sometimes known as a Howe pair. He attended… …   Wikipedia

• Hecke algebra — is the common name of several related types of associative rings in algebra and representation theory. The most familiar of these is the Hecke algebra of a Coxeter group , also known as Iwahori Hecke algebra, which is a one parameter deformation… …   Wikipedia

• Admissible representation — In mathematics, admissible representations are a well behaved class of representations used in the representation theory of reductive Lie groups over real or p adic fields. They were introduced by Harish Chandra.Real reductive groupsFor real… …   Wikipedia

• Zonal spherical function — In mathematics, a zonal spherical function or often just spherical function is a function on a locally compact group G with compact subgroup K (often a maximal compact subgroup) that arises as the matrix coefficient of a K invariant vector in an… …   Wikipedia

• Outline of algebraic structures — In universal algebra, a branch of pure mathematics, an algebraic structure is a variety or quasivariety. Abstract algebra is primarily the study of algebraic structures and their properties. Some axiomatic formal systems that are neither… …   Wikipedia

• Alvis–Curtis duality — In mathematics, Alvis–Curtis duality is a duality operation on the characters of a reductive group over a finite field, introduced by Charles W. Curtis (1980) and studied by his student Dean Alvis (1979). Kawanaka (1981, 1982)… …   Wikipedia