On bounded generalized Harish-Chandra modules

Penkov, Ivan; Serganova, Vera

Annales de l'Institut Fourier, Tome 62 (2012) no. 2, pp. 477-496.

Soient $𝔤$ une algèbre de Lie réductive complexe et $𝔨\subset 𝔤$ une sous-algèbre réductive. On dit qu’un $(𝔤,𝔨)$ module $M$ est borné si les $𝔨$-multiplicités de $M$ sont uniformément bornées. Dans cet article, nous commençons une étude générale des $(𝔤,𝔨)$-modules bornés. Nous donnons une condition forte pour qu’une sous-algèbre $𝔨$ soit bornée, c’est-à-dire qu’il existe un $(𝔤,𝔨)$-module simple borné de dimension infinie (Corollaire 4.6) puis nous établissons une condition suffisante pour qu’une sous-algèbre $𝔨$ soit bornée (Theorème 5.1). Nous pouvons alors classifier les sous-algèbres réductives bornées maximales de $𝔤=\mathrm{sl}\left(n\right)$.

Let $𝔤$ be a complex reductive Lie algebra and $𝔨\subset 𝔤$ be any reductive in $𝔤$ subalgebra. We call a $(𝔤,𝔨)$-module $M$ bounded if the $𝔨$-multiplicities of $M$ are uniformly bounded. In this paper we initiate a general study of simple bounded $(𝔤,𝔨)$-modules. We prove a strong necessary condition for a subalgebra $𝔨$ to be bounded (Corollary 4.6), i.e. to admit an infinite-dimensional simple bounded $(𝔤,𝔨)$-module, and then establish a sufficient condition for a subalgebra $𝔨$ to be bounded (Theorem 5.1). As a result we are able to classify the maximal bounded reductive subalgebras of $𝔤=\mathrm{sl}\left(n\right)$.

Classification : 17B10, 22E46
Keywords: Generalized Harish-Chandra module, bounded $(\mathfrak{g},\mathfrak{k})$-module
Mot clés : module de Harish-Chandra généralisé, $(\mathfrak{g},\mathfrak{k})$-module borné

[1] Amitsur, A. S.; Levitzki, J. Minimal identities for algebras, Proc. Amer. Math. Soc., Volume 1 (1950), pp. 449-463 | DOI | MR | Zbl

[2] B. Gross, N. Wallach A distinguished family of unitary representations for the exceptional groups of real rank 4. Lie theory and geometry, Progr. Math., Volume 123 (1994), pp. 289-304 | MR | Zbl

[3] Beĭlinson, Alexandre; Bernstein, Joseph Localisation de $g$-modules, C. R. Acad. Sci. Paris Sér. I Math., Volume 292 (1981) no. 1, pp. 15-18 | MR | Zbl

[4] Bernstein, J.; Gelfand, S. Tensor products of finite and infinite-dimensional representations of semi-simple Lie algebras, Compositio Math., Volume 41 (1980) no. 2, pp. 245-285 | Numdam | MR | Zbl

[5] Borho, W.; Jantzen, J. C. Über primitive Ideale in der Einhüllenden einer halbeinfachen Lie-Algebra, Invent. Math., Volume 39 (1977) no. 1, pp. 1-53 | DOI | MR | Zbl

[6] D. Vogan, Jr. The unitary dual of $G_2$, Invent. Math., Volume 116 (1994), pp. 677-791 | DOI | MR | Zbl

[7] Dixmier, J. Enveloping algebras, 14, North Holland, Amsterdam, 1977 | MR

[8] Dynkin, E. B. The maximal subgroups of the classical groups, Trudy Moscov. Mat. Obsh., Volume 1 (1952), pp. 39-166 | MR | Zbl

[9] Enright, T. J.; Parthasarathy, R.; Wallach, N.; Wolf, J. Unitary derived functor modules with small spectrum, Acta Math., Volume 154 (2006), pp. 105-136 | DOI | MR | Zbl

[10] Faith, C. Algebra II, Ring Theory, Springer-Verlag, 1976 | MR | Zbl

[11] Fernando, S. L. Lie algebra modules with finite-dimensional weight spaces, Trans. Amer. Math. Soc., Volume 322 (1990), pp. 757-781 | MR | Zbl

[12] Guillemin, V.; Quillen, D.; Sternberg, S. The integrability of characteristics, Comm. Pure Appl. Math., Volume 23 (1970), pp. 39-77 | DOI | MR | Zbl

[13] Harish-Chandra Infinite irreducible representations of the Lorentz group, Proc. Roy. Soc. London, Ser. A, Volume 189 (1947), pp. 372-401 | DOI | MR

[14] Joseph, A. On the associated variety of a primitive ideal, J. Algebra, Volume 2 (1985), pp. 509-523 | DOI | MR | Zbl

[15] Joseph, Anthony Some ring-theoretic techniques and open problems in enveloping algebras, Noncommutative rings (Berkeley, CA, 1989) (Math. Sci. Res. Inst. Publ.), Volume 24, Springer, New York, 1992, pp. 27-67 | MR | Zbl

[16] Kac, V. G. Some remarks on nilpotent of orbits, J. Algebra, Volume 64 (1980), pp. 190-213 | DOI | MR | Zbl

[17] Kac, Victor G. Constructing groups associated to infinite-dimensional Lie algebras, Infinite-dimensional groups with applications (Berkeley, Calif., 1984) (Math. Sci. Res. Inst. Publ.), Volume 4, Springer, New York, 1985, pp. 167-216 | MR | Zbl

[18] Kashiwara, M. B-functions and holonomic systems. Rationality of roots of B-functions, Invent. Math., Volume 38 (1976/77), pp. 33-53 | DOI | MR | Zbl

[19] Knapp, Anthony W.; Vogan, David A. Jr. Cohomological induction and unitary representations, Princeton Mathematical Series, 45, Princeton University Press, Princeton, NJ, 1995 | MR | Zbl

[20] Krause, G. R.; Lenagan, T. H. Growth of algebras and Gel${}^{\prime }$fand-Kirillov dimension, Research Notes in Mathematics, 116, Pitman (Advanced Publishing Program), Boston, MA, 1985 | MR | Zbl

[21] Langlands, R. P. On the classification of irreducible representations of real algebraic groups, Representation theory and harmonic analysis on semisimple Lie groups (Math. Surveys Monogr.), Volume 31, Amer. Math. Soc., Providence, RI, 1989, pp. 101-170 | MR | Zbl

[22] Mathieu, Olivier Classification of irreducible weight modules, Ann. Inst. Fourier (Grenoble), Volume 50 (2000) no. 2, pp. 537-592 | DOI | Numdam | MR

[23] Onishchik, A. L.; Vinberg, È. B. Lie groups and algebraic groups, Springer Series in Soviet Mathematics, Springer-Verlag, Berlin, 1990 (Translated from the Russian and with a preface by D. A. Leites) | MR | Zbl

[24] Penkov, I.; Serganova, V. Generalized Harish-Chandra modules, Moscow Math. J., Volume 2 (2002), pp. 753-767 | MR

[25] Penkov, I.; Serganova, V. Bounded simple $\left(𝔤,\mathrm{sl}\left(2\right)\right)$-modules for $\mathrm{rk}𝔤=2$, Journ. Lie Theory, Volume 20 (2010), pp. 581-615 | MR

[26] Penkov, I.; Serganova, V.; Zuckerman, G. On the existence of $(𝔤,𝔨)$-modules of finite type, Duke Math. J., Volume 125 (2004), pp. 329-349 | DOI | MR

[27] Penkov, I.; Zuckerman, G. Generalized Harish-Chandra modules: a new direction of the structure theory of representations, Acta Applic. Math., Volume 81 (2004), pp. 311-326 | DOI | MR

[28] Penkov, I.; Zuckerman, G. Generalized Harish-Chandra modules with generic minimal $𝔨$-type, Asian J. of Math., Volume 8 (2004), pp. 795-812 | MR

[29] Penkov, I.; Zuckerman, G. A construction of generalized Harish-Chandra modules with arbitrary minimal $𝔨$-type, Canad. Math. Bull., Volume 50 (2007), pp. 603-609 | DOI | MR

[30] Schmid, W. Die Randwerte holomorpher Funktionen auf hermitesch symmetrischen Raeumen, Invent. Math., Volume 116 (1969/1970), pp. 61-80 | DOI | MR | Zbl

[31] Silva, M. W. Baldoni; Barbasch, D. The unitary spectrum of real rank one groups, Invent. Math., Volume 72 (1983), pp. 27-55 | DOI | MR | Zbl

[32] Strichartz, R.S. Harmonic analysis on hyperboloids, J. Fuct. Analysis, Volume 12 (1973), pp. 341-383 | DOI | MR | Zbl

[33] Vinberg, E.B.; Kimelfield, B.N. Homogeneous domains on flag manifolds and spherical subgroups of semi-simple Lie groups, Func. Anal. i Pril., Volume 12 (1978), pp. 12-19 | Zbl

[34] Vogan, David A. Jr. Singular unitary representations, Noncommutative harmonic analysis and Lie groups (Marseille, 1980) (Lecture Notes in Math.), Volume 880, Springer, Berlin, 1981, pp. 506-535 | MR | Zbl

[35] Zuckerman, G. Tensor product of finite- and infinite-dimensional representations of semisimple Lie groups, Ann. Math., Volume 106 (1977), pp. 295-308 | DOI | MR | Zbl