computation of invariants for harish-chandra modules of su p q)...
TRANSCRIPT
![Page 1: Computation of Invariants for Harish-Chandra Modules of SU p q) …housley/BUpresentation2010.pdf · 2010-11-06 · Lie Groups Representations Geometry More Symmetry Results Computation](https://reader035.vdocuments.net/reader035/viewer/2022070805/5f03a1057e708231d409fe45/html5/thumbnails/1.jpg)
Lie GroupsRepresentations
GeometryMore Symmetry
Results
Computation of Invariants for Harish-ChandraModules of SU(p, q) by Combining Algebraic and
Geometric Methods.
Matthew [email protected]
November 6th, 2010
1 / 91
![Page 2: Computation of Invariants for Harish-Chandra Modules of SU p q) …housley/BUpresentation2010.pdf · 2010-11-06 · Lie Groups Representations Geometry More Symmetry Results Computation](https://reader035.vdocuments.net/reader035/viewer/2022070805/5f03a1057e708231d409fe45/html5/thumbnails/2.jpg)
Lie GroupsRepresentations
GeometryMore Symmetry
Results
Slides and notes are available atwww.math.utah.edu/~housley → talks.
2 / 91
![Page 3: Computation of Invariants for Harish-Chandra Modules of SU p q) …housley/BUpresentation2010.pdf · 2010-11-06 · Lie Groups Representations Geometry More Symmetry Results Computation](https://reader035.vdocuments.net/reader035/viewer/2022070805/5f03a1057e708231d409fe45/html5/thumbnails/3.jpg)
Lie GroupsRepresentations
GeometryMore Symmetry
Results
DefinitionSymmetryReductive GroupsLie Algebras
Definition: Lie Group
I G is a differentiable manifold with a group operation.
I Smooth multiplication.
I Smooth inverse.
I Complex and real flavors.
3 / 91
![Page 4: Computation of Invariants for Harish-Chandra Modules of SU p q) …housley/BUpresentation2010.pdf · 2010-11-06 · Lie Groups Representations Geometry More Symmetry Results Computation](https://reader035.vdocuments.net/reader035/viewer/2022070805/5f03a1057e708231d409fe45/html5/thumbnails/4.jpg)
Lie GroupsRepresentations
GeometryMore Symmetry
Results
DefinitionSymmetryReductive GroupsLie Algebras
Definition: Lie Group
I G is a differentiable manifold with a group operation.
I Smooth multiplication.
I Smooth inverse.
I Complex and real flavors.
4 / 91
![Page 5: Computation of Invariants for Harish-Chandra Modules of SU p q) …housley/BUpresentation2010.pdf · 2010-11-06 · Lie Groups Representations Geometry More Symmetry Results Computation](https://reader035.vdocuments.net/reader035/viewer/2022070805/5f03a1057e708231d409fe45/html5/thumbnails/5.jpg)
Lie GroupsRepresentations
GeometryMore Symmetry
Results
DefinitionSymmetryReductive GroupsLie Algebras
Definition: Lie Group
I G is a differentiable manifold with a group operation.
I Smooth multiplication.
I Smooth inverse.
I Complex and real flavors.
5 / 91
![Page 6: Computation of Invariants for Harish-Chandra Modules of SU p q) …housley/BUpresentation2010.pdf · 2010-11-06 · Lie Groups Representations Geometry More Symmetry Results Computation](https://reader035.vdocuments.net/reader035/viewer/2022070805/5f03a1057e708231d409fe45/html5/thumbnails/6.jpg)
Lie GroupsRepresentations
GeometryMore Symmetry
Results
DefinitionSymmetryReductive GroupsLie Algebras
Definition: Lie Group
I G is a differentiable manifold with a group operation.
I Smooth multiplication.
I Smooth inverse.
I Complex and real flavors.
6 / 91
![Page 7: Computation of Invariants for Harish-Chandra Modules of SU p q) …housley/BUpresentation2010.pdf · 2010-11-06 · Lie Groups Representations Geometry More Symmetry Results Computation](https://reader035.vdocuments.net/reader035/viewer/2022070805/5f03a1057e708231d409fe45/html5/thumbnails/7.jpg)
Lie GroupsRepresentations
GeometryMore Symmetry
Results
DefinitionSymmetryReductive GroupsLie Algebras
Symmetry
Lie groups: smooth symmetries.
7 / 91
![Page 8: Computation of Invariants for Harish-Chandra Modules of SU p q) …housley/BUpresentation2010.pdf · 2010-11-06 · Lie Groups Representations Geometry More Symmetry Results Computation](https://reader035.vdocuments.net/reader035/viewer/2022070805/5f03a1057e708231d409fe45/html5/thumbnails/8.jpg)
Lie GroupsRepresentations
GeometryMore Symmetry
Results
DefinitionSymmetryReductive GroupsLie Algebras
Symmetry
Examples:
I GL(n,C) is the set of all invertible complex lineartransformations on Cn. (Complex)
I GL(n,R) is the set of all invertible real linear transformationson Rn. (Real)
I SO(n) is the set of orientation preserving isometries of the(n − 1)-sphere. (Real)
I E.g. SO(3) is the set of rotations of the 2-sphere.I Has applications to quantum mechanics.
8 / 91
![Page 9: Computation of Invariants for Harish-Chandra Modules of SU p q) …housley/BUpresentation2010.pdf · 2010-11-06 · Lie Groups Representations Geometry More Symmetry Results Computation](https://reader035.vdocuments.net/reader035/viewer/2022070805/5f03a1057e708231d409fe45/html5/thumbnails/9.jpg)
Lie GroupsRepresentations
GeometryMore Symmetry
Results
DefinitionSymmetryReductive GroupsLie Algebras
Symmetry
Examples:
I GL(n,C) is the set of all invertible complex lineartransformations on Cn. (Complex)
I GL(n,R) is the set of all invertible real linear transformationson Rn. (Real)
I SO(n) is the set of orientation preserving isometries of the(n − 1)-sphere. (Real)
I E.g. SO(3) is the set of rotations of the 2-sphere.I Has applications to quantum mechanics.
9 / 91
![Page 10: Computation of Invariants for Harish-Chandra Modules of SU p q) …housley/BUpresentation2010.pdf · 2010-11-06 · Lie Groups Representations Geometry More Symmetry Results Computation](https://reader035.vdocuments.net/reader035/viewer/2022070805/5f03a1057e708231d409fe45/html5/thumbnails/10.jpg)
Lie GroupsRepresentations
GeometryMore Symmetry
Results
DefinitionSymmetryReductive GroupsLie Algebras
Symmetry
Examples:
I GL(n,C) is the set of all invertible complex lineartransformations on Cn. (Complex)
I GL(n,R) is the set of all invertible real linear transformationson Rn. (Real)
I SO(n) is the set of orientation preserving isometries of the(n − 1)-sphere. (Real)
I E.g. SO(3) is the set of rotations of the 2-sphere.I Has applications to quantum mechanics.
10 / 91
![Page 11: Computation of Invariants for Harish-Chandra Modules of SU p q) …housley/BUpresentation2010.pdf · 2010-11-06 · Lie Groups Representations Geometry More Symmetry Results Computation](https://reader035.vdocuments.net/reader035/viewer/2022070805/5f03a1057e708231d409fe45/html5/thumbnails/11.jpg)
Lie GroupsRepresentations
GeometryMore Symmetry
Results
DefinitionSymmetryReductive GroupsLie Algebras
Symmetry
Examples:
I GL(n,C) is the set of all invertible complex lineartransformations on Cn. (Complex)
I GL(n,R) is the set of all invertible real linear transformationson Rn. (Real)
I SO(n) is the set of orientation preserving isometries of the(n − 1)-sphere. (Real)
I E.g. SO(3) is the set of rotations of the 2-sphere.I Has applications to quantum mechanics.
11 / 91
![Page 12: Computation of Invariants for Harish-Chandra Modules of SU p q) …housley/BUpresentation2010.pdf · 2010-11-06 · Lie Groups Representations Geometry More Symmetry Results Computation](https://reader035.vdocuments.net/reader035/viewer/2022070805/5f03a1057e708231d409fe45/html5/thumbnails/12.jpg)
Lie GroupsRepresentations
GeometryMore Symmetry
Results
DefinitionSymmetryReductive GroupsLie Algebras
Symmetry
Examples:
I GL(n,C) is the set of all invertible complex lineartransformations on Cn. (Complex)
I GL(n,R) is the set of all invertible real linear transformationson Rn. (Real)
I SO(n) is the set of orientation preserving isometries of the(n − 1)-sphere. (Real)
I E.g. SO(3) is the set of rotations of the 2-sphere.
I Has applications to quantum mechanics.
12 / 91
![Page 13: Computation of Invariants for Harish-Chandra Modules of SU p q) …housley/BUpresentation2010.pdf · 2010-11-06 · Lie Groups Representations Geometry More Symmetry Results Computation](https://reader035.vdocuments.net/reader035/viewer/2022070805/5f03a1057e708231d409fe45/html5/thumbnails/13.jpg)
Lie GroupsRepresentations
GeometryMore Symmetry
Results
DefinitionSymmetryReductive GroupsLie Algebras
Symmetry
Examples:
I GL(n,C) is the set of all invertible complex lineartransformations on Cn. (Complex)
I GL(n,R) is the set of all invertible real linear transformationson Rn. (Real)
I SO(n) is the set of orientation preserving isometries of the(n − 1)-sphere. (Real)
I E.g. SO(3) is the set of rotations of the 2-sphere.I Has applications to quantum mechanics.
13 / 91
![Page 14: Computation of Invariants for Harish-Chandra Modules of SU p q) …housley/BUpresentation2010.pdf · 2010-11-06 · Lie Groups Representations Geometry More Symmetry Results Computation](https://reader035.vdocuments.net/reader035/viewer/2022070805/5f03a1057e708231d409fe45/html5/thumbnails/14.jpg)
Lie GroupsRepresentations
GeometryMore Symmetry
Results
DefinitionSymmetryReductive GroupsLie Algebras
Symmetry
Examples:
I SU(p, q) is the set of invertible complex linear transformationsof Cp+q that preserve the hermitian form given by
〈v ,w〉 = v∗(Ip 00 −Iq
)w .
(real)
14 / 91
![Page 15: Computation of Invariants for Harish-Chandra Modules of SU p q) …housley/BUpresentation2010.pdf · 2010-11-06 · Lie Groups Representations Geometry More Symmetry Results Computation](https://reader035.vdocuments.net/reader035/viewer/2022070805/5f03a1057e708231d409fe45/html5/thumbnails/15.jpg)
Lie GroupsRepresentations
GeometryMore Symmetry
Results
DefinitionSymmetryReductive GroupsLie Algebras
Reductive Groups
I The above examples are reductive.
I Roughly speaking: no interesting normal subgroups.
I We’ll assume this from now on.
15 / 91
![Page 16: Computation of Invariants for Harish-Chandra Modules of SU p q) …housley/BUpresentation2010.pdf · 2010-11-06 · Lie Groups Representations Geometry More Symmetry Results Computation](https://reader035.vdocuments.net/reader035/viewer/2022070805/5f03a1057e708231d409fe45/html5/thumbnails/16.jpg)
Lie GroupsRepresentations
GeometryMore Symmetry
Results
DefinitionSymmetryReductive GroupsLie Algebras
Reductive Groups
I The above examples are reductive.
I Roughly speaking: no interesting normal subgroups.
I We’ll assume this from now on.
16 / 91
![Page 17: Computation of Invariants for Harish-Chandra Modules of SU p q) …housley/BUpresentation2010.pdf · 2010-11-06 · Lie Groups Representations Geometry More Symmetry Results Computation](https://reader035.vdocuments.net/reader035/viewer/2022070805/5f03a1057e708231d409fe45/html5/thumbnails/17.jpg)
Lie GroupsRepresentations
GeometryMore Symmetry
Results
DefinitionSymmetryReductive GroupsLie Algebras
Reductive Groups
I The above examples are reductive.
I Roughly speaking: no interesting normal subgroups.
I We’ll assume this from now on.
17 / 91
![Page 18: Computation of Invariants for Harish-Chandra Modules of SU p q) …housley/BUpresentation2010.pdf · 2010-11-06 · Lie Groups Representations Geometry More Symmetry Results Computation](https://reader035.vdocuments.net/reader035/viewer/2022070805/5f03a1057e708231d409fe45/html5/thumbnails/18.jpg)
Lie GroupsRepresentations
GeometryMore Symmetry
Results
DefinitionSymmetryReductive GroupsLie Algebras
Lie Algebras
Start with a Lie group G . Define g to be the tangent space to Gat id .
18 / 91
![Page 19: Computation of Invariants for Harish-Chandra Modules of SU p q) …housley/BUpresentation2010.pdf · 2010-11-06 · Lie Groups Representations Geometry More Symmetry Results Computation](https://reader035.vdocuments.net/reader035/viewer/2022070805/5f03a1057e708231d409fe45/html5/thumbnails/19.jpg)
Lie GroupsRepresentations
GeometryMore Symmetry
Results
DefinitionSymmetryReductive GroupsLie Algebras
Lie Algebras
I The group operation of G induces an operation [−,−] on g. gis a Lie algebra under this operation.
I Roughly speaking: g approximates G near the identity.
I [−,−] is bilinear.
I [x , y ] = −[y , x ].
I [x , [y , z ]] + [z , [x , y ]] + [y , [z , x ]] = 0.
I Can be derived from the Lie bracket of differential geometry.
I The structures of G and g are closely related.
19 / 91
![Page 20: Computation of Invariants for Harish-Chandra Modules of SU p q) …housley/BUpresentation2010.pdf · 2010-11-06 · Lie Groups Representations Geometry More Symmetry Results Computation](https://reader035.vdocuments.net/reader035/viewer/2022070805/5f03a1057e708231d409fe45/html5/thumbnails/20.jpg)
Lie GroupsRepresentations
GeometryMore Symmetry
Results
DefinitionSymmetryReductive GroupsLie Algebras
Lie Algebras
I The group operation of G induces an operation [−,−] on g. gis a Lie algebra under this operation.
I Roughly speaking: g approximates G near the identity.
I [−,−] is bilinear.
I [x , y ] = −[y , x ].
I [x , [y , z ]] + [z , [x , y ]] + [y , [z , x ]] = 0.
I Can be derived from the Lie bracket of differential geometry.
I The structures of G and g are closely related.
20 / 91
![Page 21: Computation of Invariants for Harish-Chandra Modules of SU p q) …housley/BUpresentation2010.pdf · 2010-11-06 · Lie Groups Representations Geometry More Symmetry Results Computation](https://reader035.vdocuments.net/reader035/viewer/2022070805/5f03a1057e708231d409fe45/html5/thumbnails/21.jpg)
Lie GroupsRepresentations
GeometryMore Symmetry
Results
DefinitionSymmetryReductive GroupsLie Algebras
Lie Algebras
I The group operation of G induces an operation [−,−] on g. gis a Lie algebra under this operation.
I Roughly speaking: g approximates G near the identity.
I [−,−] is bilinear.
I [x , y ] = −[y , x ].
I [x , [y , z ]] + [z , [x , y ]] + [y , [z , x ]] = 0.
I Can be derived from the Lie bracket of differential geometry.
I The structures of G and g are closely related.
21 / 91
![Page 22: Computation of Invariants for Harish-Chandra Modules of SU p q) …housley/BUpresentation2010.pdf · 2010-11-06 · Lie Groups Representations Geometry More Symmetry Results Computation](https://reader035.vdocuments.net/reader035/viewer/2022070805/5f03a1057e708231d409fe45/html5/thumbnails/22.jpg)
Lie GroupsRepresentations
GeometryMore Symmetry
Results
DefinitionSymmetryReductive GroupsLie Algebras
Lie Algebras
I The group operation of G induces an operation [−,−] on g. gis a Lie algebra under this operation.
I Roughly speaking: g approximates G near the identity.
I [−,−] is bilinear.
I [x , y ] = −[y , x ].
I [x , [y , z ]] + [z , [x , y ]] + [y , [z , x ]] = 0.
I Can be derived from the Lie bracket of differential geometry.
I The structures of G and g are closely related.
22 / 91
![Page 23: Computation of Invariants for Harish-Chandra Modules of SU p q) …housley/BUpresentation2010.pdf · 2010-11-06 · Lie Groups Representations Geometry More Symmetry Results Computation](https://reader035.vdocuments.net/reader035/viewer/2022070805/5f03a1057e708231d409fe45/html5/thumbnails/23.jpg)
Lie GroupsRepresentations
GeometryMore Symmetry
Results
DefinitionSymmetryReductive GroupsLie Algebras
Lie Algebras
I The group operation of G induces an operation [−,−] on g. gis a Lie algebra under this operation.
I Roughly speaking: g approximates G near the identity.
I [−,−] is bilinear.
I [x , y ] = −[y , x ].
I [x , [y , z ]] + [z , [x , y ]] + [y , [z , x ]] = 0.
I Can be derived from the Lie bracket of differential geometry.
I The structures of G and g are closely related.
23 / 91
![Page 24: Computation of Invariants for Harish-Chandra Modules of SU p q) …housley/BUpresentation2010.pdf · 2010-11-06 · Lie Groups Representations Geometry More Symmetry Results Computation](https://reader035.vdocuments.net/reader035/viewer/2022070805/5f03a1057e708231d409fe45/html5/thumbnails/24.jpg)
Lie GroupsRepresentations
GeometryMore Symmetry
Results
DefinitionSymmetryReductive GroupsLie Algebras
Lie Algebras
I The group operation of G induces an operation [−,−] on g. gis a Lie algebra under this operation.
I Roughly speaking: g approximates G near the identity.
I [−,−] is bilinear.
I [x , y ] = −[y , x ].
I [x , [y , z ]] + [z , [x , y ]] + [y , [z , x ]] = 0.
I Can be derived from the Lie bracket of differential geometry.
I The structures of G and g are closely related.
24 / 91
![Page 25: Computation of Invariants for Harish-Chandra Modules of SU p q) …housley/BUpresentation2010.pdf · 2010-11-06 · Lie Groups Representations Geometry More Symmetry Results Computation](https://reader035.vdocuments.net/reader035/viewer/2022070805/5f03a1057e708231d409fe45/html5/thumbnails/25.jpg)
Lie GroupsRepresentations
GeometryMore Symmetry
Results
DefinitionSymmetryReductive GroupsLie Algebras
Lie Algebras
I The group operation of G induces an operation [−,−] on g. gis a Lie algebra under this operation.
I Roughly speaking: g approximates G near the identity.
I [−,−] is bilinear.
I [x , y ] = −[y , x ].
I [x , [y , z ]] + [z , [x , y ]] + [y , [z , x ]] = 0.
I Can be derived from the Lie bracket of differential geometry.
I The structures of G and g are closely related.
25 / 91
![Page 26: Computation of Invariants for Harish-Chandra Modules of SU p q) …housley/BUpresentation2010.pdf · 2010-11-06 · Lie Groups Representations Geometry More Symmetry Results Computation](https://reader035.vdocuments.net/reader035/viewer/2022070805/5f03a1057e708231d409fe45/html5/thumbnails/26.jpg)
Lie GroupsRepresentations
GeometryMore Symmetry
Results
IrreducibilityLie Algebra RepresentationsInfinite Dimensional Case
Representations
I Let V be a (complex) vector space.
I Given a smooth group homomorphism from G to GL(V ), wecall V a representation of G .
I Reductive: more or less the whole group acts on V .
I Finite dimensional representations arise naturally.I Standard representation for matrix groups.I Adjoint representation: G acts on g.I Subs: restriction to an invariant subspace.I Quotients.I Generating new representations. (Tensor products, exterior
powers, etc.)
I Finite dimensional representations of real and complex Liegroups are well understood.
26 / 91
![Page 27: Computation of Invariants for Harish-Chandra Modules of SU p q) …housley/BUpresentation2010.pdf · 2010-11-06 · Lie Groups Representations Geometry More Symmetry Results Computation](https://reader035.vdocuments.net/reader035/viewer/2022070805/5f03a1057e708231d409fe45/html5/thumbnails/27.jpg)
Lie GroupsRepresentations
GeometryMore Symmetry
Results
IrreducibilityLie Algebra RepresentationsInfinite Dimensional Case
Representations
I Let V be a (complex) vector space.I Given a smooth group homomorphism from G to GL(V ), we
call V a representation of G .
I Reductive: more or less the whole group acts on V .
I Finite dimensional representations arise naturally.I Standard representation for matrix groups.I Adjoint representation: G acts on g.I Subs: restriction to an invariant subspace.I Quotients.I Generating new representations. (Tensor products, exterior
powers, etc.)
I Finite dimensional representations of real and complex Liegroups are well understood.
27 / 91
![Page 28: Computation of Invariants for Harish-Chandra Modules of SU p q) …housley/BUpresentation2010.pdf · 2010-11-06 · Lie Groups Representations Geometry More Symmetry Results Computation](https://reader035.vdocuments.net/reader035/viewer/2022070805/5f03a1057e708231d409fe45/html5/thumbnails/28.jpg)
Lie GroupsRepresentations
GeometryMore Symmetry
Results
IrreducibilityLie Algebra RepresentationsInfinite Dimensional Case
Representations
I Let V be a (complex) vector space.I Given a smooth group homomorphism from G to GL(V ), we
call V a representation of G .I Reductive: more or less the whole group acts on V .
I Finite dimensional representations arise naturally.I Standard representation for matrix groups.I Adjoint representation: G acts on g.I Subs: restriction to an invariant subspace.I Quotients.I Generating new representations. (Tensor products, exterior
powers, etc.)
I Finite dimensional representations of real and complex Liegroups are well understood.
28 / 91
![Page 29: Computation of Invariants for Harish-Chandra Modules of SU p q) …housley/BUpresentation2010.pdf · 2010-11-06 · Lie Groups Representations Geometry More Symmetry Results Computation](https://reader035.vdocuments.net/reader035/viewer/2022070805/5f03a1057e708231d409fe45/html5/thumbnails/29.jpg)
Lie GroupsRepresentations
GeometryMore Symmetry
Results
IrreducibilityLie Algebra RepresentationsInfinite Dimensional Case
Representations
I Let V be a (complex) vector space.I Given a smooth group homomorphism from G to GL(V ), we
call V a representation of G .I Reductive: more or less the whole group acts on V .
I Finite dimensional representations arise naturally.
I Standard representation for matrix groups.I Adjoint representation: G acts on g.I Subs: restriction to an invariant subspace.I Quotients.I Generating new representations. (Tensor products, exterior
powers, etc.)
I Finite dimensional representations of real and complex Liegroups are well understood.
29 / 91
![Page 30: Computation of Invariants for Harish-Chandra Modules of SU p q) …housley/BUpresentation2010.pdf · 2010-11-06 · Lie Groups Representations Geometry More Symmetry Results Computation](https://reader035.vdocuments.net/reader035/viewer/2022070805/5f03a1057e708231d409fe45/html5/thumbnails/30.jpg)
Lie GroupsRepresentations
GeometryMore Symmetry
Results
IrreducibilityLie Algebra RepresentationsInfinite Dimensional Case
Representations
I Let V be a (complex) vector space.I Given a smooth group homomorphism from G to GL(V ), we
call V a representation of G .I Reductive: more or less the whole group acts on V .
I Finite dimensional representations arise naturally.I Standard representation for matrix groups.
I Adjoint representation: G acts on g.I Subs: restriction to an invariant subspace.I Quotients.I Generating new representations. (Tensor products, exterior
powers, etc.)
I Finite dimensional representations of real and complex Liegroups are well understood.
30 / 91
![Page 31: Computation of Invariants for Harish-Chandra Modules of SU p q) …housley/BUpresentation2010.pdf · 2010-11-06 · Lie Groups Representations Geometry More Symmetry Results Computation](https://reader035.vdocuments.net/reader035/viewer/2022070805/5f03a1057e708231d409fe45/html5/thumbnails/31.jpg)
Lie GroupsRepresentations
GeometryMore Symmetry
Results
IrreducibilityLie Algebra RepresentationsInfinite Dimensional Case
Representations
I Let V be a (complex) vector space.I Given a smooth group homomorphism from G to GL(V ), we
call V a representation of G .I Reductive: more or less the whole group acts on V .
I Finite dimensional representations arise naturally.I Standard representation for matrix groups.I Adjoint representation: G acts on g.
I Subs: restriction to an invariant subspace.I Quotients.I Generating new representations. (Tensor products, exterior
powers, etc.)
I Finite dimensional representations of real and complex Liegroups are well understood.
31 / 91
![Page 32: Computation of Invariants for Harish-Chandra Modules of SU p q) …housley/BUpresentation2010.pdf · 2010-11-06 · Lie Groups Representations Geometry More Symmetry Results Computation](https://reader035.vdocuments.net/reader035/viewer/2022070805/5f03a1057e708231d409fe45/html5/thumbnails/32.jpg)
Lie GroupsRepresentations
GeometryMore Symmetry
Results
IrreducibilityLie Algebra RepresentationsInfinite Dimensional Case
Representations
I Let V be a (complex) vector space.I Given a smooth group homomorphism from G to GL(V ), we
call V a representation of G .I Reductive: more or less the whole group acts on V .
I Finite dimensional representations arise naturally.I Standard representation for matrix groups.I Adjoint representation: G acts on g.I Subs: restriction to an invariant subspace.
I Quotients.I Generating new representations. (Tensor products, exterior
powers, etc.)
I Finite dimensional representations of real and complex Liegroups are well understood.
32 / 91
![Page 33: Computation of Invariants for Harish-Chandra Modules of SU p q) …housley/BUpresentation2010.pdf · 2010-11-06 · Lie Groups Representations Geometry More Symmetry Results Computation](https://reader035.vdocuments.net/reader035/viewer/2022070805/5f03a1057e708231d409fe45/html5/thumbnails/33.jpg)
Lie GroupsRepresentations
GeometryMore Symmetry
Results
IrreducibilityLie Algebra RepresentationsInfinite Dimensional Case
Representations
I Let V be a (complex) vector space.I Given a smooth group homomorphism from G to GL(V ), we
call V a representation of G .I Reductive: more or less the whole group acts on V .
I Finite dimensional representations arise naturally.I Standard representation for matrix groups.I Adjoint representation: G acts on g.I Subs: restriction to an invariant subspace.I Quotients.
I Generating new representations. (Tensor products, exteriorpowers, etc.)
I Finite dimensional representations of real and complex Liegroups are well understood.
33 / 91
![Page 34: Computation of Invariants for Harish-Chandra Modules of SU p q) …housley/BUpresentation2010.pdf · 2010-11-06 · Lie Groups Representations Geometry More Symmetry Results Computation](https://reader035.vdocuments.net/reader035/viewer/2022070805/5f03a1057e708231d409fe45/html5/thumbnails/34.jpg)
Lie GroupsRepresentations
GeometryMore Symmetry
Results
IrreducibilityLie Algebra RepresentationsInfinite Dimensional Case
Representations
I Let V be a (complex) vector space.I Given a smooth group homomorphism from G to GL(V ), we
call V a representation of G .I Reductive: more or less the whole group acts on V .
I Finite dimensional representations arise naturally.I Standard representation for matrix groups.I Adjoint representation: G acts on g.I Subs: restriction to an invariant subspace.I Quotients.I Generating new representations. (Tensor products, exterior
powers, etc.)
I Finite dimensional representations of real and complex Liegroups are well understood.
34 / 91
![Page 35: Computation of Invariants for Harish-Chandra Modules of SU p q) …housley/BUpresentation2010.pdf · 2010-11-06 · Lie Groups Representations Geometry More Symmetry Results Computation](https://reader035.vdocuments.net/reader035/viewer/2022070805/5f03a1057e708231d409fe45/html5/thumbnails/35.jpg)
Lie GroupsRepresentations
GeometryMore Symmetry
Results
IrreducibilityLie Algebra RepresentationsInfinite Dimensional Case
Representations
I Let V be a (complex) vector space.I Given a smooth group homomorphism from G to GL(V ), we
call V a representation of G .I Reductive: more or less the whole group acts on V .
I Finite dimensional representations arise naturally.I Standard representation for matrix groups.I Adjoint representation: G acts on g.I Subs: restriction to an invariant subspace.I Quotients.I Generating new representations. (Tensor products, exterior
powers, etc.)
I Finite dimensional representations of real and complex Liegroups are well understood.
35 / 91
![Page 36: Computation of Invariants for Harish-Chandra Modules of SU p q) …housley/BUpresentation2010.pdf · 2010-11-06 · Lie Groups Representations Geometry More Symmetry Results Computation](https://reader035.vdocuments.net/reader035/viewer/2022070805/5f03a1057e708231d409fe45/html5/thumbnails/36.jpg)
Lie GroupsRepresentations
GeometryMore Symmetry
Results
IrreducibilityLie Algebra RepresentationsInfinite Dimensional Case
Irreducibility
I V is an irreducible representation of G if it contains no propernonzero subrepresentations of G .
I Analogous to prime numbers, finite simple groups, etc.
I Roughly: irreducible representations are simplest actions ofthe symmetries in G .
36 / 91
![Page 37: Computation of Invariants for Harish-Chandra Modules of SU p q) …housley/BUpresentation2010.pdf · 2010-11-06 · Lie Groups Representations Geometry More Symmetry Results Computation](https://reader035.vdocuments.net/reader035/viewer/2022070805/5f03a1057e708231d409fe45/html5/thumbnails/37.jpg)
Lie GroupsRepresentations
GeometryMore Symmetry
Results
IrreducibilityLie Algebra RepresentationsInfinite Dimensional Case
Irreducibility
I V is an irreducible representation of G if it contains no propernonzero subrepresentations of G .
I Analogous to prime numbers, finite simple groups, etc.
I Roughly: irreducible representations are simplest actions ofthe symmetries in G .
37 / 91
![Page 38: Computation of Invariants for Harish-Chandra Modules of SU p q) …housley/BUpresentation2010.pdf · 2010-11-06 · Lie Groups Representations Geometry More Symmetry Results Computation](https://reader035.vdocuments.net/reader035/viewer/2022070805/5f03a1057e708231d409fe45/html5/thumbnails/38.jpg)
Lie GroupsRepresentations
GeometryMore Symmetry
Results
IrreducibilityLie Algebra RepresentationsInfinite Dimensional Case
Irreducibility
I V is an irreducible representation of G if it contains no propernonzero subrepresentations of G .
I Analogous to prime numbers, finite simple groups, etc.
I Roughly: irreducible representations are simplest actions ofthe symmetries in G .
38 / 91
![Page 39: Computation of Invariants for Harish-Chandra Modules of SU p q) …housley/BUpresentation2010.pdf · 2010-11-06 · Lie Groups Representations Geometry More Symmetry Results Computation](https://reader035.vdocuments.net/reader035/viewer/2022070805/5f03a1057e708231d409fe45/html5/thumbnails/39.jpg)
Lie GroupsRepresentations
GeometryMore Symmetry
Results
IrreducibilityLie Algebra RepresentationsInfinite Dimensional Case
Lie Algebra Representations
I If V is a G representation, it becomes a g representation viadifferentiation.
I We complexify g to gC.
I Irreducible representations of gC are important in classifyingirreducible representations of G .
39 / 91
![Page 40: Computation of Invariants for Harish-Chandra Modules of SU p q) …housley/BUpresentation2010.pdf · 2010-11-06 · Lie Groups Representations Geometry More Symmetry Results Computation](https://reader035.vdocuments.net/reader035/viewer/2022070805/5f03a1057e708231d409fe45/html5/thumbnails/40.jpg)
Lie GroupsRepresentations
GeometryMore Symmetry
Results
IrreducibilityLie Algebra RepresentationsInfinite Dimensional Case
Lie Algebra Representations
I If V is a G representation, it becomes a g representation viadifferentiation.
I We complexify g to gC.
I Irreducible representations of gC are important in classifyingirreducible representations of G .
40 / 91
![Page 41: Computation of Invariants for Harish-Chandra Modules of SU p q) …housley/BUpresentation2010.pdf · 2010-11-06 · Lie Groups Representations Geometry More Symmetry Results Computation](https://reader035.vdocuments.net/reader035/viewer/2022070805/5f03a1057e708231d409fe45/html5/thumbnails/41.jpg)
Lie GroupsRepresentations
GeometryMore Symmetry
Results
IrreducibilityLie Algebra RepresentationsInfinite Dimensional Case
Lie Algebra Representations
I If V is a G representation, it becomes a g representation viadifferentiation.
I We complexify g to gC.
I Irreducible representations of gC are important in classifyingirreducible representations of G .
41 / 91
![Page 42: Computation of Invariants for Harish-Chandra Modules of SU p q) …housley/BUpresentation2010.pdf · 2010-11-06 · Lie Groups Representations Geometry More Symmetry Results Computation](https://reader035.vdocuments.net/reader035/viewer/2022070805/5f03a1057e708231d409fe45/html5/thumbnails/42.jpg)
Lie GroupsRepresentations
GeometryMore Symmetry
Results
IrreducibilityLie Algebra RepresentationsInfinite Dimensional Case
Infinite Dimensional Motivations
I Start with a manifold M with a measure.
I Find a real Lie group G that acts on M and preserves themeasure.
I Irreducible representations of complex Lie groups are finitedimensional.
I Consider the action of G on L2(M).
42 / 91
![Page 43: Computation of Invariants for Harish-Chandra Modules of SU p q) …housley/BUpresentation2010.pdf · 2010-11-06 · Lie Groups Representations Geometry More Symmetry Results Computation](https://reader035.vdocuments.net/reader035/viewer/2022070805/5f03a1057e708231d409fe45/html5/thumbnails/43.jpg)
Lie GroupsRepresentations
GeometryMore Symmetry
Results
IrreducibilityLie Algebra RepresentationsInfinite Dimensional Case
Infinite Dimensional Motivations
I Start with a manifold M with a measure.I Find a real Lie group G that acts on M and preserves the
measure.
I Irreducible representations of complex Lie groups are finitedimensional.
I Consider the action of G on L2(M).
43 / 91
![Page 44: Computation of Invariants for Harish-Chandra Modules of SU p q) …housley/BUpresentation2010.pdf · 2010-11-06 · Lie Groups Representations Geometry More Symmetry Results Computation](https://reader035.vdocuments.net/reader035/viewer/2022070805/5f03a1057e708231d409fe45/html5/thumbnails/44.jpg)
Lie GroupsRepresentations
GeometryMore Symmetry
Results
IrreducibilityLie Algebra RepresentationsInfinite Dimensional Case
Infinite Dimensional Motivations
I Start with a manifold M with a measure.I Find a real Lie group G that acts on M and preserves the
measure.I Irreducible representations of complex Lie groups are finite
dimensional.
I Consider the action of G on L2(M).
44 / 91
![Page 45: Computation of Invariants for Harish-Chandra Modules of SU p q) …housley/BUpresentation2010.pdf · 2010-11-06 · Lie Groups Representations Geometry More Symmetry Results Computation](https://reader035.vdocuments.net/reader035/viewer/2022070805/5f03a1057e708231d409fe45/html5/thumbnails/45.jpg)
Lie GroupsRepresentations
GeometryMore Symmetry
Results
IrreducibilityLie Algebra RepresentationsInfinite Dimensional Case
Infinite Dimensional Motivations
I Start with a manifold M with a measure.I Find a real Lie group G that acts on M and preserves the
measure.I Irreducible representations of complex Lie groups are finite
dimensional.
I Consider the action of G on L2(M).
45 / 91
![Page 46: Computation of Invariants for Harish-Chandra Modules of SU p q) …housley/BUpresentation2010.pdf · 2010-11-06 · Lie Groups Representations Geometry More Symmetry Results Computation](https://reader035.vdocuments.net/reader035/viewer/2022070805/5f03a1057e708231d409fe45/html5/thumbnails/46.jpg)
Lie GroupsRepresentations
GeometryMore Symmetry
Results
IrreducibilityLie Algebra RepresentationsInfinite Dimensional Case
Harish-Chandra Modules
I Harish-Chandra modules: algebraizations of infinitedimensional representations.
I We’ll ignore this distinction.
I We can study infinite dimensional representations usingalgebraic and algebro-geometric techniques.
46 / 91
![Page 47: Computation of Invariants for Harish-Chandra Modules of SU p q) …housley/BUpresentation2010.pdf · 2010-11-06 · Lie Groups Representations Geometry More Symmetry Results Computation](https://reader035.vdocuments.net/reader035/viewer/2022070805/5f03a1057e708231d409fe45/html5/thumbnails/47.jpg)
Lie GroupsRepresentations
GeometryMore Symmetry
Results
IrreducibilityLie Algebra RepresentationsInfinite Dimensional Case
Harish-Chandra Modules
I Harish-Chandra modules: algebraizations of infinitedimensional representations.
I We’ll ignore this distinction.
I We can study infinite dimensional representations usingalgebraic and algebro-geometric techniques.
47 / 91
![Page 48: Computation of Invariants for Harish-Chandra Modules of SU p q) …housley/BUpresentation2010.pdf · 2010-11-06 · Lie Groups Representations Geometry More Symmetry Results Computation](https://reader035.vdocuments.net/reader035/viewer/2022070805/5f03a1057e708231d409fe45/html5/thumbnails/48.jpg)
Lie GroupsRepresentations
GeometryMore Symmetry
Results
IrreducibilityLie Algebra RepresentationsInfinite Dimensional Case
Harish-Chandra Modules
I Harish-Chandra modules: algebraizations of infinitedimensional representations.
I We’ll ignore this distinction.
I We can study infinite dimensional representations usingalgebraic and algebro-geometric techniques.
48 / 91
![Page 49: Computation of Invariants for Harish-Chandra Modules of SU p q) …housley/BUpresentation2010.pdf · 2010-11-06 · Lie Groups Representations Geometry More Symmetry Results Computation](https://reader035.vdocuments.net/reader035/viewer/2022070805/5f03a1057e708231d409fe45/html5/thumbnails/49.jpg)
Lie GroupsRepresentations
GeometryMore Symmetry
Results
Geometric InvariantsSU(p, q)
Geometric Invariants
Two geometric invariants to consider:
I Associated variety AV(X ): a variety contained in gC.
I Associated cycle AC(X ): finer invariant that attaches aninteger (multiplicity) to each component of AV(X ).
I We’d like to calculate the multiplicities.
49 / 91
![Page 50: Computation of Invariants for Harish-Chandra Modules of SU p q) …housley/BUpresentation2010.pdf · 2010-11-06 · Lie Groups Representations Geometry More Symmetry Results Computation](https://reader035.vdocuments.net/reader035/viewer/2022070805/5f03a1057e708231d409fe45/html5/thumbnails/50.jpg)
Lie GroupsRepresentations
GeometryMore Symmetry
Results
Geometric InvariantsSU(p, q)
Geometric Invariants
Two geometric invariants to consider:
I Associated variety AV(X ): a variety contained in gC.
I Associated cycle AC(X ): finer invariant that attaches aninteger (multiplicity) to each component of AV(X ).
I We’d like to calculate the multiplicities.
50 / 91
![Page 51: Computation of Invariants for Harish-Chandra Modules of SU p q) …housley/BUpresentation2010.pdf · 2010-11-06 · Lie Groups Representations Geometry More Symmetry Results Computation](https://reader035.vdocuments.net/reader035/viewer/2022070805/5f03a1057e708231d409fe45/html5/thumbnails/51.jpg)
Lie GroupsRepresentations
GeometryMore Symmetry
Results
Geometric InvariantsSU(p, q)
Geometric Invariants
Two geometric invariants to consider:
I Associated variety AV(X ): a variety contained in gC.
I Associated cycle AC(X ): finer invariant that attaches aninteger (multiplicity) to each component of AV(X ).
I We’d like to calculate the multiplicities.
51 / 91
![Page 52: Computation of Invariants for Harish-Chandra Modules of SU p q) …housley/BUpresentation2010.pdf · 2010-11-06 · Lie Groups Representations Geometry More Symmetry Results Computation](https://reader035.vdocuments.net/reader035/viewer/2022070805/5f03a1057e708231d409fe45/html5/thumbnails/52.jpg)
Lie GroupsRepresentations
GeometryMore Symmetry
Results
Geometric InvariantsSU(p, q)
Geometric Invariants
Two geometric invariants to consider:
I Associated variety AV(X ): a variety contained in gC.
I Associated cycle AC(X ): finer invariant that attaches aninteger (multiplicity) to each component of AV(X ).
I We’d like to calculate the multiplicities.
52 / 91
![Page 53: Computation of Invariants for Harish-Chandra Modules of SU p q) …housley/BUpresentation2010.pdf · 2010-11-06 · Lie Groups Representations Geometry More Symmetry Results Computation](https://reader035.vdocuments.net/reader035/viewer/2022070805/5f03a1057e708231d409fe45/html5/thumbnails/53.jpg)
Lie GroupsRepresentations
GeometryMore Symmetry
Results
Geometric InvariantsSU(p, q)
SU(p, q)
I For this group, associated variety for irreducible X is anirreducible variety.
I We only need to compute one multiplicity to get AC(X ).
53 / 91
![Page 54: Computation of Invariants for Harish-Chandra Modules of SU p q) …housley/BUpresentation2010.pdf · 2010-11-06 · Lie Groups Representations Geometry More Symmetry Results Computation](https://reader035.vdocuments.net/reader035/viewer/2022070805/5f03a1057e708231d409fe45/html5/thumbnails/54.jpg)
Lie GroupsRepresentations
GeometryMore Symmetry
Results
Geometric InvariantsSU(p, q)
SU(p, q)
I For this group, associated variety for irreducible X is anirreducible variety.
I We only need to compute one multiplicity to get AC(X ).
54 / 91
![Page 55: Computation of Invariants for Harish-Chandra Modules of SU p q) …housley/BUpresentation2010.pdf · 2010-11-06 · Lie Groups Representations Geometry More Symmetry Results Computation](https://reader035.vdocuments.net/reader035/viewer/2022070805/5f03a1057e708231d409fe45/html5/thumbnails/55.jpg)
Lie GroupsRepresentations
GeometryMore Symmetry
Results
The Weyl GroupCellsSymmetric Group Representations
More Symmetry: the Weyl Group
I The Weyl group W is a finite set of internal symmetries of G .
I W = NG (T )/ZG (T ).
I The Weyl group for SU(p, q) is the symmetric group Sp+q.
55 / 91
![Page 56: Computation of Invariants for Harish-Chandra Modules of SU p q) …housley/BUpresentation2010.pdf · 2010-11-06 · Lie Groups Representations Geometry More Symmetry Results Computation](https://reader035.vdocuments.net/reader035/viewer/2022070805/5f03a1057e708231d409fe45/html5/thumbnails/56.jpg)
Lie GroupsRepresentations
GeometryMore Symmetry
Results
The Weyl GroupCellsSymmetric Group Representations
More Symmetry: the Weyl Group
I The Weyl group W is a finite set of internal symmetries of G .
I W = NG (T )/ZG (T ).
I The Weyl group for SU(p, q) is the symmetric group Sp+q.
56 / 91
![Page 57: Computation of Invariants for Harish-Chandra Modules of SU p q) …housley/BUpresentation2010.pdf · 2010-11-06 · Lie Groups Representations Geometry More Symmetry Results Computation](https://reader035.vdocuments.net/reader035/viewer/2022070805/5f03a1057e708231d409fe45/html5/thumbnails/57.jpg)
Lie GroupsRepresentations
GeometryMore Symmetry
Results
The Weyl GroupCellsSymmetric Group Representations
More Symmetry: the Weyl Group
I The Weyl group W is a finite set of internal symmetries of G .
I W = NG (T )/ZG (T ).
I The Weyl group for SU(p, q) is the symmetric group Sp+q.
57 / 91
![Page 58: Computation of Invariants for Harish-Chandra Modules of SU p q) …housley/BUpresentation2010.pdf · 2010-11-06 · Lie Groups Representations Geometry More Symmetry Results Computation](https://reader035.vdocuments.net/reader035/viewer/2022070805/5f03a1057e708231d409fe45/html5/thumbnails/58.jpg)
Lie GroupsRepresentations
GeometryMore Symmetry
Results
The Weyl GroupCellsSymmetric Group Representations
Cells
I Let X be an infinite dimensional representation of SU(p, q).
I X is contained in a finite cell C = {X1,X2, . . . ,Xk} ofrepresentations that all have the same associated variety.
I Take the formal Z-span of the elements of C.
I spanZ C becomes an irreducible representation of the Weylgroup Sp+q.
I Let mXidenote the multiplicity in the associated variety of Xi .
I The representation relates the multiplicities mXifor the
various Xi in C.
I If we know mXjfor some Xj we can calculate mXi
for theother Xi in the cell C.
58 / 91
![Page 59: Computation of Invariants for Harish-Chandra Modules of SU p q) …housley/BUpresentation2010.pdf · 2010-11-06 · Lie Groups Representations Geometry More Symmetry Results Computation](https://reader035.vdocuments.net/reader035/viewer/2022070805/5f03a1057e708231d409fe45/html5/thumbnails/59.jpg)
Lie GroupsRepresentations
GeometryMore Symmetry
Results
The Weyl GroupCellsSymmetric Group Representations
Cells
I Let X be an infinite dimensional representation of SU(p, q).
I X is contained in a finite cell C = {X1,X2, . . . ,Xk} ofrepresentations that all have the same associated variety.
I Take the formal Z-span of the elements of C.
I spanZ C becomes an irreducible representation of the Weylgroup Sp+q.
I Let mXidenote the multiplicity in the associated variety of Xi .
I The representation relates the multiplicities mXifor the
various Xi in C.
I If we know mXjfor some Xj we can calculate mXi
for theother Xi in the cell C.
59 / 91
![Page 60: Computation of Invariants for Harish-Chandra Modules of SU p q) …housley/BUpresentation2010.pdf · 2010-11-06 · Lie Groups Representations Geometry More Symmetry Results Computation](https://reader035.vdocuments.net/reader035/viewer/2022070805/5f03a1057e708231d409fe45/html5/thumbnails/60.jpg)
Lie GroupsRepresentations
GeometryMore Symmetry
Results
The Weyl GroupCellsSymmetric Group Representations
Cells
I Let X be an infinite dimensional representation of SU(p, q).
I X is contained in a finite cell C = {X1,X2, . . . ,Xk} ofrepresentations that all have the same associated variety.
I Take the formal Z-span of the elements of C.
I spanZ C becomes an irreducible representation of the Weylgroup Sp+q.
I Let mXidenote the multiplicity in the associated variety of Xi .
I The representation relates the multiplicities mXifor the
various Xi in C.
I If we know mXjfor some Xj we can calculate mXi
for theother Xi in the cell C.
60 / 91
![Page 61: Computation of Invariants for Harish-Chandra Modules of SU p q) …housley/BUpresentation2010.pdf · 2010-11-06 · Lie Groups Representations Geometry More Symmetry Results Computation](https://reader035.vdocuments.net/reader035/viewer/2022070805/5f03a1057e708231d409fe45/html5/thumbnails/61.jpg)
Lie GroupsRepresentations
GeometryMore Symmetry
Results
The Weyl GroupCellsSymmetric Group Representations
Cells
I Let X be an infinite dimensional representation of SU(p, q).
I X is contained in a finite cell C = {X1,X2, . . . ,Xk} ofrepresentations that all have the same associated variety.
I Take the formal Z-span of the elements of C.
I spanZ C becomes an irreducible representation of the Weylgroup Sp+q.
I Let mXidenote the multiplicity in the associated variety of Xi .
I The representation relates the multiplicities mXifor the
various Xi in C.
I If we know mXjfor some Xj we can calculate mXi
for theother Xi in the cell C.
61 / 91
![Page 62: Computation of Invariants for Harish-Chandra Modules of SU p q) …housley/BUpresentation2010.pdf · 2010-11-06 · Lie Groups Representations Geometry More Symmetry Results Computation](https://reader035.vdocuments.net/reader035/viewer/2022070805/5f03a1057e708231d409fe45/html5/thumbnails/62.jpg)
Lie GroupsRepresentations
GeometryMore Symmetry
Results
The Weyl GroupCellsSymmetric Group Representations
Cells
I Let X be an infinite dimensional representation of SU(p, q).
I X is contained in a finite cell C = {X1,X2, . . . ,Xk} ofrepresentations that all have the same associated variety.
I Take the formal Z-span of the elements of C.
I spanZ C becomes an irreducible representation of the Weylgroup Sp+q.
I Let mXidenote the multiplicity in the associated variety of Xi .
I The representation relates the multiplicities mXifor the
various Xi in C.
I If we know mXjfor some Xj we can calculate mXi
for theother Xi in the cell C.
62 / 91
![Page 63: Computation of Invariants for Harish-Chandra Modules of SU p q) …housley/BUpresentation2010.pdf · 2010-11-06 · Lie Groups Representations Geometry More Symmetry Results Computation](https://reader035.vdocuments.net/reader035/viewer/2022070805/5f03a1057e708231d409fe45/html5/thumbnails/63.jpg)
Lie GroupsRepresentations
GeometryMore Symmetry
Results
The Weyl GroupCellsSymmetric Group Representations
Cells
I Let X be an infinite dimensional representation of SU(p, q).
I X is contained in a finite cell C = {X1,X2, . . . ,Xk} ofrepresentations that all have the same associated variety.
I Take the formal Z-span of the elements of C.
I spanZ C becomes an irreducible representation of the Weylgroup Sp+q.
I Let mXidenote the multiplicity in the associated variety of Xi .
I The representation relates the multiplicities mXifor the
various Xi in C.
I If we know mXjfor some Xj we can calculate mXi
for theother Xi in the cell C.
63 / 91
![Page 64: Computation of Invariants for Harish-Chandra Modules of SU p q) …housley/BUpresentation2010.pdf · 2010-11-06 · Lie Groups Representations Geometry More Symmetry Results Computation](https://reader035.vdocuments.net/reader035/viewer/2022070805/5f03a1057e708231d409fe45/html5/thumbnails/64.jpg)
Lie GroupsRepresentations
GeometryMore Symmetry
Results
The Weyl GroupCellsSymmetric Group Representations
Cells
I Let X be an infinite dimensional representation of SU(p, q).
I X is contained in a finite cell C = {X1,X2, . . . ,Xk} ofrepresentations that all have the same associated variety.
I Take the formal Z-span of the elements of C.
I spanZ C becomes an irreducible representation of the Weylgroup Sp+q.
I Let mXidenote the multiplicity in the associated variety of Xi .
I The representation relates the multiplicities mXifor the
various Xi in C.
I If we know mXjfor some Xj we can calculate mXi
for theother Xi in the cell C.
64 / 91
![Page 65: Computation of Invariants for Harish-Chandra Modules of SU p q) …housley/BUpresentation2010.pdf · 2010-11-06 · Lie Groups Representations Geometry More Symmetry Results Computation](https://reader035.vdocuments.net/reader035/viewer/2022070805/5f03a1057e708231d409fe45/html5/thumbnails/65.jpg)
Lie GroupsRepresentations
GeometryMore Symmetry
Results
The Weyl GroupCellsSymmetric Group Representations
Strategy
I For SU(p, q) and any cell C of representations, we can alwaysfind an Xi ∈ C so that mXi
can be computed by geometricmeans.
(Springer fiber.)
I Compute the Sp+q representation on spanZ C.
I Compute mXifor other Xi in C.
65 / 91
![Page 66: Computation of Invariants for Harish-Chandra Modules of SU p q) …housley/BUpresentation2010.pdf · 2010-11-06 · Lie Groups Representations Geometry More Symmetry Results Computation](https://reader035.vdocuments.net/reader035/viewer/2022070805/5f03a1057e708231d409fe45/html5/thumbnails/66.jpg)
Lie GroupsRepresentations
GeometryMore Symmetry
Results
The Weyl GroupCellsSymmetric Group Representations
Strategy
I For SU(p, q) and any cell C of representations, we can alwaysfind an Xi ∈ C so that mXi
can be computed by geometricmeans. (Springer fiber.)
I Compute the Sp+q representation on spanZ C.
I Compute mXifor other Xi in C.
66 / 91
![Page 67: Computation of Invariants for Harish-Chandra Modules of SU p q) …housley/BUpresentation2010.pdf · 2010-11-06 · Lie Groups Representations Geometry More Symmetry Results Computation](https://reader035.vdocuments.net/reader035/viewer/2022070805/5f03a1057e708231d409fe45/html5/thumbnails/67.jpg)
Lie GroupsRepresentations
GeometryMore Symmetry
Results
The Weyl GroupCellsSymmetric Group Representations
Strategy
I For SU(p, q) and any cell C of representations, we can alwaysfind an Xi ∈ C so that mXi
can be computed by geometricmeans. (Springer fiber.)
I Compute the Sp+q representation on spanZ C.
I Compute mXifor other Xi in C.
67 / 91
![Page 68: Computation of Invariants for Harish-Chandra Modules of SU p q) …housley/BUpresentation2010.pdf · 2010-11-06 · Lie Groups Representations Geometry More Symmetry Results Computation](https://reader035.vdocuments.net/reader035/viewer/2022070805/5f03a1057e708231d409fe45/html5/thumbnails/68.jpg)
Lie GroupsRepresentations
GeometryMore Symmetry
Results
The Weyl GroupCellsSymmetric Group Representations
Strategy
I For SU(p, q) and any cell C of representations, we can alwaysfind an Xi ∈ C so that mXi
can be computed by geometricmeans. (Springer fiber.)
I Compute the Sp+q representation on spanZ C.
I Compute mXifor other Xi in C.
68 / 91
![Page 69: Computation of Invariants for Harish-Chandra Modules of SU p q) …housley/BUpresentation2010.pdf · 2010-11-06 · Lie Groups Representations Geometry More Symmetry Results Computation](https://reader035.vdocuments.net/reader035/viewer/2022070805/5f03a1057e708231d409fe45/html5/thumbnails/69.jpg)
Lie GroupsRepresentations
GeometryMore Symmetry
Results
The Weyl GroupCellsSymmetric Group Representations
Problem
It can be difficult to compute the Sp+q representation on spanZ C.
69 / 91
![Page 70: Computation of Invariants for Harish-Chandra Modules of SU p q) …housley/BUpresentation2010.pdf · 2010-11-06 · Lie Groups Representations Geometry More Symmetry Results Computation](https://reader035.vdocuments.net/reader035/viewer/2022070805/5f03a1057e708231d409fe45/html5/thumbnails/70.jpg)
Lie GroupsRepresentations
GeometryMore Symmetry
Results
The Weyl GroupCellsSymmetric Group Representations
Symmetric Group Representations
I Let n = p + q.
I Basis: {e1 − e2, e2 − e3, . . . , en−1 − en}.I Let Sn act in the “obvious” way.
For example, acting by (12):e1 − e2 → e2 − e1 and e3 − e1 → e3 − e2.This is the standard representation V of Sn.
70 / 91
![Page 71: Computation of Invariants for Harish-Chandra Modules of SU p q) …housley/BUpresentation2010.pdf · 2010-11-06 · Lie Groups Representations Geometry More Symmetry Results Computation](https://reader035.vdocuments.net/reader035/viewer/2022070805/5f03a1057e708231d409fe45/html5/thumbnails/71.jpg)
Lie GroupsRepresentations
GeometryMore Symmetry
Results
The Weyl GroupCellsSymmetric Group Representations
Symmetric Group Representations
I Let n = p + q.
I Basis: {e1 − e2, e2 − e3, . . . , en−1 − en}.
I Let Sn act in the “obvious” way.
For example, acting by (12):e1 − e2 → e2 − e1 and e3 − e1 → e3 − e2.This is the standard representation V of Sn.
71 / 91
![Page 72: Computation of Invariants for Harish-Chandra Modules of SU p q) …housley/BUpresentation2010.pdf · 2010-11-06 · Lie Groups Representations Geometry More Symmetry Results Computation](https://reader035.vdocuments.net/reader035/viewer/2022070805/5f03a1057e708231d409fe45/html5/thumbnails/72.jpg)
Lie GroupsRepresentations
GeometryMore Symmetry
Results
The Weyl GroupCellsSymmetric Group Representations
Symmetric Group Representations
I Let n = p + q.
I Basis: {e1 − e2, e2 − e3, . . . , en−1 − en}.I Let Sn act in the “obvious” way.
For example, acting by (12):e1 − e2 → e2 − e1 and e3 − e1 → e3 − e2.This is the standard representation V of Sn.
72 / 91
![Page 73: Computation of Invariants for Harish-Chandra Modules of SU p q) …housley/BUpresentation2010.pdf · 2010-11-06 · Lie Groups Representations Geometry More Symmetry Results Computation](https://reader035.vdocuments.net/reader035/viewer/2022070805/5f03a1057e708231d409fe45/html5/thumbnails/73.jpg)
Lie GroupsRepresentations
GeometryMore Symmetry
Results
The Weyl GroupCellsSymmetric Group Representations
Symmetric Group Representations
I Let n = p + q.
I Basis: {e1 − e2, e2 − e3, . . . , en−1 − en}.I Let Sn act in the “obvious” way.
For example, acting by (12):e1 − e2 → e2 − e1 and e3 − e1 → e3 − e2.
This is the standard representation V of Sn.
73 / 91
![Page 74: Computation of Invariants for Harish-Chandra Modules of SU p q) …housley/BUpresentation2010.pdf · 2010-11-06 · Lie Groups Representations Geometry More Symmetry Results Computation](https://reader035.vdocuments.net/reader035/viewer/2022070805/5f03a1057e708231d409fe45/html5/thumbnails/74.jpg)
Lie GroupsRepresentations
GeometryMore Symmetry
Results
The Weyl GroupCellsSymmetric Group Representations
Symmetric Group Representations
I Let n = p + q.
I Basis: {e1 − e2, e2 − e3, . . . , en−1 − en}.I Let Sn act in the “obvious” way.
For example, acting by (12):e1 − e2 → e2 − e1 and e3 − e1 → e3 − e2.This is the standard representation V of Sn.
74 / 91
![Page 75: Computation of Invariants for Harish-Chandra Modules of SU p q) …housley/BUpresentation2010.pdf · 2010-11-06 · Lie Groups Representations Geometry More Symmetry Results Computation](https://reader035.vdocuments.net/reader035/viewer/2022070805/5f03a1057e708231d409fe45/html5/thumbnails/75.jpg)
Lie GroupsRepresentations
GeometryMore Symmetry
Results
The Weyl GroupCellsSymmetric Group Representations
More Representations of Sn
Irreducible representations of Sn are parametrized by Youngdiagrams with n boxes.
Construction: take subspaces of tensor powers of the standardrepresentation.
75 / 91
![Page 76: Computation of Invariants for Harish-Chandra Modules of SU p q) …housley/BUpresentation2010.pdf · 2010-11-06 · Lie Groups Representations Geometry More Symmetry Results Computation](https://reader035.vdocuments.net/reader035/viewer/2022070805/5f03a1057e708231d409fe45/html5/thumbnails/76.jpg)
Lie GroupsRepresentations
GeometryMore Symmetry
Results
The Weyl GroupCellsSymmetric Group Representations
More Representations of Sn
Irreducible representations of Sn are parametrized by Youngdiagrams with n boxes.
Construction: take subspaces of tensor powers of the standardrepresentation.
76 / 91
![Page 77: Computation of Invariants for Harish-Chandra Modules of SU p q) …housley/BUpresentation2010.pdf · 2010-11-06 · Lie Groups Representations Geometry More Symmetry Results Computation](https://reader035.vdocuments.net/reader035/viewer/2022070805/5f03a1057e708231d409fe45/html5/thumbnails/77.jpg)
Lie GroupsRepresentations
GeometryMore Symmetry
Results
The Weyl GroupCellsSymmetric Group Representations
More Representations of Sn
Irreducible representations of Sn are parametrized by Youngdiagrams with n boxes.
Construction: take subspaces of tensor powers of the standardrepresentation.
77 / 91
![Page 78: Computation of Invariants for Harish-Chandra Modules of SU p q) …housley/BUpresentation2010.pdf · 2010-11-06 · Lie Groups Representations Geometry More Symmetry Results Computation](https://reader035.vdocuments.net/reader035/viewer/2022070805/5f03a1057e708231d409fe45/html5/thumbnails/78.jpg)
Lie GroupsRepresentations
GeometryMore Symmetry
Results
The Weyl GroupCellsSymmetric Group Representations
Hook Type Representations
Hook type diagram: upside down L.
Two rows with one box on the bottom row: standardrepresentation.
78 / 91
![Page 79: Computation of Invariants for Harish-Chandra Modules of SU p q) …housley/BUpresentation2010.pdf · 2010-11-06 · Lie Groups Representations Geometry More Symmetry Results Computation](https://reader035.vdocuments.net/reader035/viewer/2022070805/5f03a1057e708231d409fe45/html5/thumbnails/79.jpg)
Lie GroupsRepresentations
GeometryMore Symmetry
Results
The Weyl GroupCellsSymmetric Group Representations
Hook Type Representations
Hook type diagram: upside down L.
Two rows with one box on the bottom row: standardrepresentation.
79 / 91
![Page 80: Computation of Invariants for Harish-Chandra Modules of SU p q) …housley/BUpresentation2010.pdf · 2010-11-06 · Lie Groups Representations Geometry More Symmetry Results Computation](https://reader035.vdocuments.net/reader035/viewer/2022070805/5f03a1057e708231d409fe45/html5/thumbnails/80.jpg)
Lie GroupsRepresentations
GeometryMore Symmetry
Results
The Weyl GroupCellsSymmetric Group Representations
Hook Type Representations
General hook type with m + 1 rows:∧m V , where V is the
standard representations.
Example: (12) action on (e1 − e2) ∧ (e2 − e3) for∧2 V :
(e2 − e1) ∧ (e1 − e3)
= −(e1 − e2) ∧ (e1 − e2 + e2 − e3)
= −(e1 − e2) ∧ (e1 − e2)− (e1 − e2) ∧ (e2 − e3)
= −(e1 − e2) ∧ (e2 − e3).
80 / 91
![Page 81: Computation of Invariants for Harish-Chandra Modules of SU p q) …housley/BUpresentation2010.pdf · 2010-11-06 · Lie Groups Representations Geometry More Symmetry Results Computation](https://reader035.vdocuments.net/reader035/viewer/2022070805/5f03a1057e708231d409fe45/html5/thumbnails/81.jpg)
Lie GroupsRepresentations
GeometryMore Symmetry
Results
The Weyl GroupCellsSymmetric Group Representations
Hook Type Representations
General hook type with m + 1 rows:∧m V , where V is the
standard representations.Example: (12) action on (e1 − e2) ∧ (e2 − e3) for
∧2 V :
(e2 − e1) ∧ (e1 − e3)
= −(e1 − e2) ∧ (e1 − e2 + e2 − e3)
= −(e1 − e2) ∧ (e1 − e2)− (e1 − e2) ∧ (e2 − e3)
= −(e1 − e2) ∧ (e2 − e3).
81 / 91
![Page 82: Computation of Invariants for Harish-Chandra Modules of SU p q) …housley/BUpresentation2010.pdf · 2010-11-06 · Lie Groups Representations Geometry More Symmetry Results Computation](https://reader035.vdocuments.net/reader035/viewer/2022070805/5f03a1057e708231d409fe45/html5/thumbnails/82.jpg)
Lie GroupsRepresentations
GeometryMore Symmetry
Results
The Weyl GroupCellsSymmetric Group Representations
Hook Type Representations
General hook type with m + 1 rows:∧m V , where V is the
standard representations.Example: (12) action on (e1 − e2) ∧ (e2 − e3) for
∧2 V :
(e2 − e1) ∧ (e1 − e3)
= −(e1 − e2) ∧ (e1 − e2 + e2 − e3)
= −(e1 − e2) ∧ (e1 − e2)− (e1 − e2) ∧ (e2 − e3)
= −(e1 − e2) ∧ (e2 − e3).
82 / 91
![Page 83: Computation of Invariants for Harish-Chandra Modules of SU p q) …housley/BUpresentation2010.pdf · 2010-11-06 · Lie Groups Representations Geometry More Symmetry Results Computation](https://reader035.vdocuments.net/reader035/viewer/2022070805/5f03a1057e708231d409fe45/html5/thumbnails/83.jpg)
Lie GroupsRepresentations
GeometryMore Symmetry
Results
The Weyl GroupCellsSymmetric Group Representations
Hook Type Representations
General hook type with m + 1 rows:∧m V , where V is the
standard representations.Example: (12) action on (e1 − e2) ∧ (e2 − e3) for
∧2 V :
(e2 − e1) ∧ (e1 − e3)
= −(e1 − e2) ∧ (e1 − e2 + e2 − e3)
= −(e1 − e2) ∧ (e1 − e2)− (e1 − e2) ∧ (e2 − e3)
= −(e1 − e2) ∧ (e2 − e3).
83 / 91
![Page 84: Computation of Invariants for Harish-Chandra Modules of SU p q) …housley/BUpresentation2010.pdf · 2010-11-06 · Lie Groups Representations Geometry More Symmetry Results Computation](https://reader035.vdocuments.net/reader035/viewer/2022070805/5f03a1057e708231d409fe45/html5/thumbnails/84.jpg)
Lie GroupsRepresentations
GeometryMore Symmetry
Results
The Weyl GroupCellsSymmetric Group Representations
Hook Type Representations
General hook type with m + 1 rows:∧m V , where V is the
standard representations.Example: (12) action on (e1 − e2) ∧ (e2 − e3) for
∧2 V :
(e2 − e1) ∧ (e1 − e3)
= −(e1 − e2) ∧ (e1 − e2 + e2 − e3)
= −(e1 − e2) ∧ (e1 − e2)− (e1 − e2) ∧ (e2 − e3)
= −(e1 − e2) ∧ (e2 − e3).
84 / 91
![Page 85: Computation of Invariants for Harish-Chandra Modules of SU p q) …housley/BUpresentation2010.pdf · 2010-11-06 · Lie Groups Representations Geometry More Symmetry Results Computation](https://reader035.vdocuments.net/reader035/viewer/2022070805/5f03a1057e708231d409fe45/html5/thumbnails/85.jpg)
Lie GroupsRepresentations
GeometryMore Symmetry
Results
The Weyl GroupCellsSymmetric Group Representations
Hook Type Representations
General hook type with m + 1 rows:∧m V , where V is the
standard representations.Example: (12) action on (e1 − e2) ∧ (e2 − e3) for
∧2 V :
(e2 − e1) ∧ (e1 − e3)
= −(e1 − e2) ∧ (e1 − e2 + e2 − e3)
= −(e1 − e2) ∧ (e1 − e2)− (e1 − e2) ∧ (e2 − e3)
= −(e1 − e2) ∧ (e2 − e3).
85 / 91
![Page 86: Computation of Invariants for Harish-Chandra Modules of SU p q) …housley/BUpresentation2010.pdf · 2010-11-06 · Lie Groups Representations Geometry More Symmetry Results Computation](https://reader035.vdocuments.net/reader035/viewer/2022070805/5f03a1057e708231d409fe45/html5/thumbnails/86.jpg)
Lie GroupsRepresentations
GeometryMore Symmetry
Results
Strategy
I Find a hook type cell C.
I Find one Xj in the cell such that computation of mXjis easy.
I Find mXifor other Xi in C by using the Sn representation on
spanZ C.
86 / 91
![Page 87: Computation of Invariants for Harish-Chandra Modules of SU p q) …housley/BUpresentation2010.pdf · 2010-11-06 · Lie Groups Representations Geometry More Symmetry Results Computation](https://reader035.vdocuments.net/reader035/viewer/2022070805/5f03a1057e708231d409fe45/html5/thumbnails/87.jpg)
Lie GroupsRepresentations
GeometryMore Symmetry
Results
Strategy
I Find a hook type cell C.
I Find one Xj in the cell such that computation of mXjis easy.
I Find mXifor other Xi in C by using the Sn representation on
spanZ C.
87 / 91
![Page 88: Computation of Invariants for Harish-Chandra Modules of SU p q) …housley/BUpresentation2010.pdf · 2010-11-06 · Lie Groups Representations Geometry More Symmetry Results Computation](https://reader035.vdocuments.net/reader035/viewer/2022070805/5f03a1057e708231d409fe45/html5/thumbnails/88.jpg)
Lie GroupsRepresentations
GeometryMore Symmetry
Results
Strategy
I Find a hook type cell C.
I Find one Xj in the cell such that computation of mXjis easy.
I Find mXifor other Xi in C by using the Sn representation on
spanZ C.
88 / 91
![Page 89: Computation of Invariants for Harish-Chandra Modules of SU p q) …housley/BUpresentation2010.pdf · 2010-11-06 · Lie Groups Representations Geometry More Symmetry Results Computation](https://reader035.vdocuments.net/reader035/viewer/2022070805/5f03a1057e708231d409fe45/html5/thumbnails/89.jpg)
Lie GroupsRepresentations
GeometryMore Symmetry
Results
Result
We get a formula for mXiwhere Xi is any infinite dimensional
representation in a hook type cell:
mXi= Am
1∏|τk |!
∑σ∈Sτ
sgn(σ)σ·
∑σ′∈Sm
sgn(σ′)σ′ ·
( ∏i=1...m
xm−i+1τ(i)
)where
Am =1
m! · (m − 1)! · · · 1.
89 / 91
![Page 90: Computation of Invariants for Harish-Chandra Modules of SU p q) …housley/BUpresentation2010.pdf · 2010-11-06 · Lie Groups Representations Geometry More Symmetry Results Computation](https://reader035.vdocuments.net/reader035/viewer/2022070805/5f03a1057e708231d409fe45/html5/thumbnails/90.jpg)
Lie GroupsRepresentations
GeometryMore Symmetry
Results
Result
We get a formula for mXiwhere Xi is any infinite dimensional
representation in a hook type cell:
mXi= Am
1∏|τk |!
∑σ∈Sτ
sgn(σ)σ·
∑σ′∈Sm
sgn(σ′)σ′ ·
( ∏i=1...m
xm−i+1τ(i)
)where
Am =1
m! · (m − 1)! · · · 1.
90 / 91
![Page 91: Computation of Invariants for Harish-Chandra Modules of SU p q) …housley/BUpresentation2010.pdf · 2010-11-06 · Lie Groups Representations Geometry More Symmetry Results Computation](https://reader035.vdocuments.net/reader035/viewer/2022070805/5f03a1057e708231d409fe45/html5/thumbnails/91.jpg)
Lie GroupsRepresentations
GeometryMore Symmetry
Results
Details
Details are available at www.math.utah.edu/~housley →research.
91 / 91