Contact us on (02) 8445 2300
For all customer service and order enquiries

Woodslane Online Catalogues

9781470469054 Academic Inspection Copy

Multiplicity-free Representations of Algebraic Groups

Description
Author
Biography
Table of
Contents
Google
Preview
Let K be an algebraically closed field of characteristic zero, and let G be a connected reductive algebraic group over K. We address the problem of classifying triples (G, H, V), where H is a proper connected subgroup of G, and V is a finite-dimensional irreducible G-module such that the restriction of V to H is multiplicity-free -- that is, each of its composition factors appears with multiplicity 1. A great deal of classical work, going back to Dynkin, Howe, Kac, Stembridge, Weyl and others, and also more recent work of the authors, can be set in this context. In this paper we determine all such triples in the case where H and G are both simple algebraic groups of type A, and H is embedded irreducibly in G. While there are a number of interesting familes of such triples (G, H, V), the possibilities for the highest weights of the representations defining the embeddings H < G and G < GL(V) are very restricted. For example, apart from two exceptional cases, both weights can only have support on at most two fundamental weights; and in many of the examples, one or other of the weights corresponds to the alternating or symmetric square of the natural module for either G or H.
Martin W. Liebeck, Imperial College, London, United Kingdom. Gary M. Seitz, University of Oregon, Eugene, Oregon. Donna M. Testerman, Ecole Polytechnique Federale de Lausanne, Switzerland.
1. Introduction 2. Notation 3. Level set-up 4. Results from the Literature 5. Composition Factors In Levels 6. Multiplicity-free families 7. Initial Lemmas 8. The case $X = A_2$ 9. The case $\delta = r\omega _k$ with $r,k\ge 2$ 10. The case $\delta = r\omega _1$, $r\ge 2$ 11. The case $\delta = \omega _i$ with $i\ge 3$ 12. The case $\delta = \omega _2$ 13. The case $\delta = \omega _1+\omega _{l+1}$ 14. Proof of Theorem , Part I: $V_{C^i}(\mu ^i)$ is usually trivial 15. Proof of Theorem , Part II: $\mu ^0$ is not inner 16. Proof of Theorem , Part III: $\langle \lambda , \gamma \rangle = 0$ 17. Proof of Theorem , Part IV: Completion
Google Preview content