×

Orbital varieties of the minimal orbit. (English) Zbl 0908.17002

From the abstract: Let \({\mathfrak g}\) be a complex simple Lie algebra with triangular decomposition \({\mathfrak g} = {\mathfrak n}^{+} \oplus {\mathfrak n}^{-}\). For any nilpotent orbit \(O\), an orbital variety \({\mathcal V}\) of \(O\) is defined to be an irreducible component of \({\mathfrak n}^{+} \cap O\). We say that \({\mathcal V}\) is strongly (resp. weakly) quantizable if there exists a \(U (\mathfrak g)\) module \(L\) isomorphic to \(R[{\mathcal V}]\) as a \(U ({\mathfrak h})\) module, up to a weight shift (resp. whose associated variety is \({\mathcal V}\)). Here we obtain an explicit necessary and sufficient condition for strong (resp. weak) quantization of an orbital variety of the minimal non-zero nilpotent orbit. This shows that there is always at least one orbital variety admitting strong quantization, a result which hopefully should hold for any nilpotent orbit as the corresponding annihilator would be completely prime. On the other hand it also shows that even weak quantization can fail, and even when this holds strong quantization can fail. In this latter case using the Demazure operators we show exactly how close the formal character of \(R[{\mathcal V}]\) can approach that of a \(U({\mathfrak g})\) module and suggest that a similar behaviour holds in general.

MSC:

17B10 Representations of Lie algebras and Lie superalgebras, algebraic theory (weights)
17B35 Universal enveloping (super)algebras

References:

[1] D. BARBASCH and D. A. VOGAN , Primitive ideals and orbital integrals in complex classical groups , (Math. Ann., Vol. 259, 1982 , pp. 153-199). MR 83m:22026 | Zbl 0489.22010 · Zbl 0489.22010 · doi:10.1007/BF01457308
[2] E. BENLOLO , Sur la quantification de certaines variétés orbitales , (Bull. Sci. Math., Vol. 3, 1994 , pp. 225-241). MR 95i:17012 | Zbl 0820.17005 · Zbl 0820.17005
[3] R. BEZRUKAVNIKOV , Koszul property and Frobenius splitting of Schubert varieties , (Preprint, Tel-Aviv, 1995 ).
[4] W. BORHO and J.-L. BRYLINSKI , Differential operators on homogeneous spaces III , (Invent. Math., Vol. 80, 1985 , pp. 1-68). MR 87i:22045 | Zbl 0577.22014 · Zbl 0577.22014 · doi:10.1007/BF01388547
[5] I. N. BERNSTEIN , I. M. GELFAND and S. I. GELFAND , Schubert cells and cohomology of the spaces G/P , (Russian Math. Surveys, Vol. 28, 1973 , pp. 1-26). MR 55 #2941 | Zbl 0289.57024 · Zbl 0289.57024 · doi:10.1070/rm1973v028n03ABEH001557
[6] W. BORHO and J. C. JANTZEN , Über primitive Ideale in der Einhüllenden einer halbeinfachen Lie-Algebren , (Invent. Math., Vol. 39, 1977 , pp. 1-53). MR 56 #12079 | Zbl 0327.17002 · Zbl 0327.17002 · doi:10.1007/BF01695950
[7] N. BOURBAKI , Groupes et algèbres de Lie Chap. IV-VI, Hermann, Paris, 1968 . · Zbl 0186.33001
[8] A. BRAVERMAN and A. JOSEPH , The minimal realization from deformation theory , (J. Algebra, In the press). Zbl 0908.17006 · Zbl 0908.17006 · doi:10.1006/jabr.1997.7349
[9] R. W. CARTER , Finite Groups of Lie Type , (Wiley-Interscience, New York, 1985 ). MR 87d:20060 | Zbl 0567.20023 · Zbl 0567.20023
[10] M. DEMAZURE , Une nouvelle formule des caractères , (Bull. Sci. Math., Vol. 98, 1974 , pp. 163-172). MR 55 #3009 | Zbl 0365.17005 · Zbl 0365.17005
[11] M. DUFLO , Sur la classification des idéaux primitifs dans l’algèbre enveloppante d’une algèbre de Lie semi-simple , (Ann. Math., Vol. 105, 1977 , pp. 107-120). MR 55 #3013 | Zbl 0346.17011 · Zbl 0346.17011 · doi:10.2307/1971027
[12] O. GABBER , The integrability of the characteristic variety , (Amer. J. Math., Vol. 103, 1981 , pp. 445-468). MR 82j:58104 | Zbl 0492.16002 · Zbl 0492.16002 · doi:10.2307/2374101
[13] D. GARFINKEL , A new construction of the Joseph ideal , (Thesis, Princeton, 1978 ). · Zbl 0394.70008
[14] R. HOTTA , On Joseph’s construction of Weyl group representations , (Tohoku Math. J., Vol. 36, 1984 , pp. 49-74). Article | MR 86h:20061 | Zbl 0545.20029 · Zbl 0545.20029 · doi:10.2748/tmj/1178228903
[15] R. S. IRVING , The socle filtration of a Verma module , (Ann. Ec. Norm. Sup., Vol. 21, 1988 ) 47-65. Numdam | MR 89h:17015 | Zbl 0706.17006 · Zbl 0706.17006
[16] S. P. INAMDAR and V. B. MEHTA , Frobenius splitting of Schubert varieties and linear syzygies , (Amer. J. Math., Vol. 116, 1994 , pp. 1569-1586). MR 96a:14054 | Zbl 0817.14032 · Zbl 0817.14032 · doi:10.2307/2375059
[17] J. C. JANTZEN , Zur Charakterformel gewisser Darstellungen halbeinfacher Gruppen und Lie-algebren , (Math. Z., Vol. 140, 1974 ), 127-149). Article | MR 55 #5756 | Zbl 0288.20059 · doi:10.1007/BF01213951
[18] J. C. JANTZEN , Moduln mit einem höchsten Gewicht , (Lecture Notes in Mathematics LN750, Springer, Berlin, 1979 ). MR 81m:17011 | Zbl 0426.17001 · Zbl 0426.17001
[19] J. C. JANTZEN , Einhüllenden Algebren halbeinfacher Lie-Algebren , (Springer, Berlin, 1983 ). Zbl 0541.17001 · Zbl 0541.17001
[20] A. JOSEPH , The minimal orbit in a simple Lie algebra and its associated maximal ideal , (Ann. Ec. Norm. Sup., Vol. 9, 1976 , pp. 1-30). Numdam | MR 53 #8168 | Zbl 0346.17008 · Zbl 0346.17008
[21] A. JOSEPH , Gelfand-Kirillov dimension for the annihilators of simple quotients of Verma modules , (J. Lond. Math. Soc., Vol. 18, 1978 ), 50-60). MR 58 #22202 | Zbl 0401.17007 · Zbl 0401.17007 · doi:10.1112/jlms/s2-18.1.50
[22] A. JOSEPH , Goldie rank in the enveloping algebra of a semisimple Lie algebra II , (J. Algebra, Vol. 65, 1980 , pp. 284-306). MR 82f:17009 | Zbl 0441.17004 · Zbl 0441.17004 · doi:10.1016/0021-8693(80)90217-3
[23] A. JOSEPH , On the variety of a highest weight module , (J. Algebra, Vol. 88, 1984 , pp. 238-278). MR 85j:17014 | Zbl 0539.17006 · Zbl 0539.17006 · doi:10.1016/0021-8693(84)90100-5
[24] A. JOSEPH , On the associated variety of a primitive ideal , (J. Algebra, Vol. 93, 1985 , pp. 509-523). MR 86m:17014 | Zbl 0594.17009 · Zbl 0594.17009 · doi:10.1016/0021-8693(85)90172-3
[25] A. JOSEPH , On the Demazure character formula , (Ann. Ec. Norm. Sup., Vol. 18, 1985 , pp. 381-419). Numdam | MR 87g:17006a | Zbl 0589.22014 · Zbl 0589.22014
[26] A. JOSEPH , A surjectivity theorem for rigid highest weight modules , (Invent. Math., Vol. 92, 1988 , pp. 567-596). MR 89d:17013 | Zbl 0657.17004 · Zbl 0657.17004 · doi:10.1007/BF01393748
[27] A. JOSEPH , The primitive spectrum of an enveloping algebra , (Astérisque, Vol. 173-174, 1989 , pp. 13-53). MR 91b:17012 | Zbl 0714.17011 · Zbl 0714.17011
[28] A. JOSEPH , On the characteristic polynomials for orbital varieties , (Ann. Ec. Norm. Sup., Vol. 22, 1989 , pp. 569-603). Numdam | MR 91d:17014 | Zbl 0695.17003 · Zbl 0695.17003
[29] A. JOSEPH , Annihilators and associated varieties of unitary highest weight modules , (Ann. Ec. Norm. Sup., Vol. 25, 1992 , pp. 1-45). Numdam | MR 93e:17010 | Zbl 0752.17007 · Zbl 0752.17007
[30] A. JOSEPH , Quantum Groups and their primitive ideals , (Springer, Berlin, 1995 ). MR 96d:17015 | Zbl 0808.17004 · Zbl 0808.17004
[31] A. JOSEPH , Orbital varieties, Goldie rank polynomials and unitary highest weight modules , (pp. 53-98 in Algebraic and analytical methods in representation theory, Eds. H. Schlicktkrull and B. Orsted, Academic Press, San Diego, 1997 ). MR 97k:17017 | Zbl 0914.17006 · Zbl 0914.17006
[32] M. KASHIWARA and T. TANISAKI , in preparation.
[33] T. LEVASSEUR and J. T. STAFFORD , Rings of differential operators on classical rings of invariants , (Mem. Amer. Math. Soc., Vol. 412, 1989 ). MR 90i:17018 | Zbl 0691.16019 · Zbl 0691.16019
[34] G. LUSZTIG , Characters of reductive groups over a finite field , (Annals of Mathematics studies 107, Princeton Univ. Press, New Jersey 1984 ). MR 86j:20038 | Zbl 0556.20033 · Zbl 0556.20033
[35] G. LUSZTIG , Leading coefficients of character values of Hecke algebras , (Proc. Sym. Pure Math., Vol. 47, 1987 , pp. 235-262). MR 89b:20087 | Zbl 0657.20037 · Zbl 0657.20037
[36] A. MELNIKOV , Irreducibility of the associated variety of simple highest weight modules , (C. R. Acad. Sc., Paris, Serie I, Vol. 316, 1993 , pp. 53-57). MR 93k:17012 | Zbl 0780.17005 · Zbl 0780.17005
[37] N. SPALTENSTEIN , On the fixed point set of a unipotent element on the variety of Borel subgroups , (Topology, Vol. 16, 1977 , 203-204). MR 56 #5735 | Zbl 0445.20021 · Zbl 0445.20021 · doi:10.1016/0040-9383(77)90022-2
[38] R. STEINBERG , On the desingularization of the unipotent variety , (Invent. Math., Vol. 36, 1976 , pp. 209-224). MR 55 #3101 | Zbl 0352.20035 · Zbl 0352.20035 · doi:10.1007/BF01390010
[39] P. STRÖMBECK , On left ideals in A1 and their associated graded ideals , (J. Algebra, Vol. 55, 1978 , pp. 116-144). Zbl 0399.16002 · Zbl 0399.16002 · doi:10.1016/0021-8693(78)90195-3
[40] T. TANISAKI , Circulated notes 1985 .
[41] M. VERGNE , Polynômes de Joseph et représentations de Springer , (Ann. Ec. Norm. Sup., Vol. 23, 1990 , pp. 543-562). Numdam | MR 92c:17014 | Zbl 0718.22009 · Zbl 0718.22009
[42] D. VOGAN , A generalized T-invariant for the primitive spectrum of a semisimple Lie , (Math. Ann., Vol. 242, 1979 , pp. 209-224). MR 81e:17014 | Zbl 0387.17007 · Zbl 0387.17007 · doi:10.1007/BF01420727
[43] J. WOLF , Spaces of Constant Curvature , McGraw-Hill, New York, 1962 . · Zbl 0113.15302
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.