Howe duality studies pairs of groups that act by commuting symmetries inside one larger representation, typically the oscillator representation. The remarkable feature is that the decomposition is often multiplicity-free: an irreducible representation on one side is paired with a uniquely determined representation on the other.
This extends the double-centralizer philosophy of Schur–Weyl duality. There, GL(V) and S_r centralize one another on tensor power. In Howe duality the ambient space is often a polynomial ring, Fock space or oscillator representation, while the commuting groups form a reductive dual pair.
Dual pairs · Oscillator representation · GL–GL example · Orthogonal–symplectic pairs · Theta correspondence · Practice
Commuting actions are the starting point
Let A and B act on a vector space H. If every operator from A commutes with every operator from B, then H becomes a representation of A×B.
One may decompose
H≈⊕_π π⊗M_π
with π ranging over irreducibles of A and M_π carrying B-actions.
Howe duality asks when the multiplicity spaces M_π are irreducible and distinct, so that the correspondence π↔M_π becomes a genuine pairing of representation theories.
Reductive dual pairs
Inside a symplectic group Sp(W), a reductive dual pair (G,G′) consists, roughly, of two reductive subgroups that are mutual centralizers of one another.
Classical families include
- (GL_m,GL_n);
- (O_m,Sp_{2n});
- (Sp_{2m},O_n);
- unitary pairs over suitable fields.
The exact ambient symplectic space depends on a tensor construction involving the defining spaces and their bilinear or sesquilinear forms.
The oscillator representation
The oscillator, or Weil, representation is a distinguished representation of the metaplectic double cover Mp(W) of a symplectic group Sp(W).
In the Schrödinger model it acts on functions on a Lagrangian subspace. In the Fock model it acts on polynomial or holomorphic-function spaces. Creation and annihilation operators generate the associated Heisenberg algebra.
The symplectic group acts by automorphisms of the Heisenberg relations, while the metaplectic representation implements those transformations on the representation space.
Howe dual pairs are then restricted inside this oscillator representation.
Heisenberg commutators
In one degree of freedom, position and momentum operators satisfy
[Q,P]=iI
in an analytic normalization. Equivalently, creation and annihilation operators satisfy
[a,a†]=I.
Quadratic expressions in these operators generate a representation of the symplectic Lie algebra. This is the infinitesimal source of the oscillator representation.
The GL_m × GL_n polynomial model
Let M_{m,n} be the vector space of m×n complex matrices. GL_m×GL_n acts by
(g,h)·X=gXh^{-1}.
This induces commuting actions on the polynomial ring C[M_{m,n}].
The Cauchy identity gives the decomposition
C[M_{m,n}]≈⊕_λ S_λ(C^m)⊗S_λ(C^n)^*
over partitions λ fitting the rank constraints.
Each pair occurs once. This is a clean algebraic model of Howe-type multiplicity-free correspondence.
Worked degree-two check
The degree-two part of the polynomial ring corresponds to Sym²(C^m⊗(C^n)^*).
Using the Cauchy decomposition,
Sym²(U⊗V)≈Sym²U⊗Sym²V ⊕ Λ²U⊗Λ²V.
The two partitions of 2, namely (2) and (1,1), pair identically on both sides.
For m=n=2 the dimensions are 3·3+1·1=10, equal to dim Sym²(C⁴)=10.
Why multiplicity-free matters
If an irreducible π of G appeared several times with different G′-structures, the correspondence would be ambiguous.
Multiplicity-free decomposition means each representation on one side identifies a unique partner on the other side inside the oscillator representation.
This is stronger than merely knowing the two groups commute.
Orthogonal–symplectic duality
Suppose U has a nondegenerate symmetric form and V has a nondegenerate symplectic form. Then U⊗V carries a natural symplectic form obtained by multiplying the two pairings.
O(U) and Sp(V) act on U⊗V and centralize one another inside the ambient symplectic group.
Restricting the oscillator representation gives a correspondence between suitable irreducible representations of the two groups.
This extends the Brauer centralizer story from finite tensor powers to oscillator representation theory.
Stable range
Howe correspondence behaves especially cleanly in stable ranges where one member of the dual pair is sufficiently large relative to the other.
Outside stable range, first occurrence, conservation relations and subtler representation-theoretic conditions become important.
Thus a formula proved in stable range should not automatically be transferred to all ranks.
Theta correspondence
For local fields, the oscillator representation produces the local theta correspondence. Given an irreducible representation π of one member G of a dual pair, one studies the maximal quotient or isotypic piece on which G acts by π.
The remaining action of G′ produces its theta lift Θ(π). Under suitable hypotheses the irreducible quotient is denoted θ(π).
Howe duality predicts strong uniqueness: a nonzero theta lift has a unique irreducible partner in the appropriate category.
Local versus global theta
Local theta correspondence concerns representations over one local field such as R, C or a p-adic field.
Global theta correspondence uses automorphic forms and theta kernels over adeles. Local and global theories interact, but one should not treat a local representation-theoretic statement as a global automorphic theorem without additional hypotheses.
This links Howe duality to the BTT route on Automorphic Representations and the Langlands Program.
Dual pairs and invariant theory
Many multiplicity-free decompositions can be read through invariant theory. One group’s irreducible multiplicity spaces carry the other group’s irreducibles.
Classical invariant-theory generators, harmonic polynomials and joint harmonics often provide concrete models for the paired representations.
This is why Howe duality appears naturally beside classical invariant theory, harmonic analysis and centralizer algebras.
Howe duality versus Schur–Weyl duality
- Schur–Weyl: GL(V) and S_r commute on V^{⊗r}.
- Howe: reductive groups G and G′ commute inside an oscillator representation.
- Both: multiplicity spaces for one symmetry become representations of the commuting symmetry.
- Difference: Howe’s setting often involves infinite-dimensional oscillator/Fock spaces and Lie groups over local fields.
A verification workflow
- 1. Identify the ambient symplectic space.
- 2. Identify the two candidate subgroups.
- 3. Verify they centralize one another.
- 4. State whether metaplectic covers are required.
- 5. Specify the oscillator model: Schrödinger, Fock or another realization.
- 6. Check multiplicity-free decomposition in the claimed range.
- 7. Distinguish algebraic Howe duality from local theta correspondence.
- 8. State stable-range assumptions.
- 9. Separate local from global theta lifting.
- 10. Verify dimensions in finite polynomial examples.
Common mistakes
- Assuming any commuting pair is automatically a reductive dual pair.
- Ignoring the metaplectic double cover.
- Confusing multiplicity-free with one-dimensional representations.
- Applying stable-range formulas outside stable range.
- Equating local and global theta correspondence.
- Treating oscillator representations as finite-dimensional.
- Calling Schur–Weyl and Howe duality identical.
- Ignoring duals in GL_m×GL_n polynomial decompositions.
Practice questions
1. What does it mean for two actions to commute? 2. What is a reductive dual pair? 3. Where does the oscillator representation live? 4. State the GL_m×GL_n polynomial decomposition.
5. Verify the degree-two dimension when m=n=2. 6. Why is multiplicity-free decomposition stronger than commuting actions? 7. Which groups form the orthogonal–symplectic pair? 8. What is a theta lift?
9. What is the stable range? 10. Why may Mp(W) appear instead of Sp(W)? 11. Distinguish local and global theta. 12. How does Howe duality extend the centralizer philosophy?
Worked answers
1. Every operator from one action commutes with every operator from the other.
2. A pair of reductive subgroups that are mutual centralizers inside an ambient symplectic group, in the classical Howe setting.
3. On an infinite-dimensional function/Fock space carrying the metaplectic representation.
4. C[M_{m,n}]≈⊕_λ S_λ(C^m)⊗S_λ(C^n)^*.
5. 3·3+1·1=10=dim Sym²(C⁴).
6. It makes the partner representation unique rather than merely providing some commuting multiplicity space.
7. O(U) and Sp(V) when U is orthogonal and V symplectic.
8. The representation of the partner group extracted from the oscillator representation using a chosen irreducible representation on the first side.
9. A rank regime where the correspondence/decomposition has its cleanest uniform form.
10. The symplectic action on the Heisenberg representation is naturally projective and lifts to the metaplectic double cover.
11. Local theta concerns one local field; global theta uses automorphic representations and adelic theta kernels.
12. It replaces finite tensor-space centralizers with mutual reductive centralizers inside the oscillator representation.
Sources and further study
Roger Howe developed the theory of reductive dual pairs and the oscillator representation. Standard expositions include works by Howe, Kudla and Paul; the local theta correspondence has been developed extensively across real, complex and p-adic fields. The BTT Schur–Weyl and Automorphic Representations guides provide the two nearest entry routes.
Representation Mathematics — Batch 10
Interpolate symmetric-group rank through Deligne Categories. Compose polynomial representation functors in Plethysm. Move from oscillator symmetry to symplectic geometry in The Orbit Method. Return to the BTT Mathematics Learning Hub.