Standard parabolic subsets of highest weight modules
HTML articles powered by AMS MathViewer
- by Apoorva Khare PDF
- Trans. Amer. Math. Soc. 369 (2017), 2363-2394 Request permission
Erratum: Trans. Amer. Math. Soc. 369 (2017), 3015-3015.
Abstract:
In this paper we study certain fundamental and distinguished subsets of weights of an arbitrary highest weight module over a complex semisimple Lie algebra. These sets $\textrm {wt}_J \mathbb {V}^\lambda$ are defined for each highest weight module $\mathbb {V}^\lambda$ and each subset $J$ of simple roots; we term them âstandard parabolic subsets of weightsâ. It is shown that for any highest weight module, the sets of simple roots whose corresponding standard parabolic subsets of weights are equal form intervals in the poset of subsets of the set of simple roots under containment. Moreover, we provide closed-form expressions for the maximum and minimum elements of the aforementioned intervals for all highest weight modules $\mathbb {V}^\lambda$ over semisimple Lie algebras $\mathfrak {g}$. Surprisingly, these formulas only require the Dynkin diagram of $\mathfrak {g}$ and the integrability data of $\mathbb {V}^\lambda$. As a consequence, we extend classical work by Satake, Borel-Tits, Vinberg, and Casselman, as well as recent variants by Cellini-Marietti to all highest weight modules.
We further compute the dimension, stabilizer, and vertex set of standard parabolic faces of highest weight modules and show that they are completely determined by the aforementioned closed-form expressions. We also compute the $f$-polynomial and a minimal half-space representation of the convex hull of the set of weights. These results were recently shown for the adjoint representation of a simple Lie algebra, but analogues remain unknown for any other finite- or infinite-dimensional highest weight module. Our analysis is uniform and type-free, across all semisimple Lie algebras and for arbitrary highest weight modules.
References
- Federico Ardila, Matthias Beck, Serkan HoĆten, Julian Pfeifle, and Kim Seashore, Root polytopes and growth series of root lattices, SIAM J. Discrete Math. 25 (2011), no. 1, 360â378. MR 2801233, DOI 10.1137/090749293
- Nicolas Bourbaki, Lie groups and Lie algebras. Chapters 4â6, Elements of Mathematics (Berlin), Springer-Verlag, Berlin, 2002. Translated from the 1968 French original by Andrew Pressley. MR 1890629, DOI 10.1007/978-3-540-89394-3
- Paola Cellini and Mario Marietti, Root polytopes and Borel subalgebras, Int. Math. Res. Not. IMRN 12 (2015), 4392â4420. MR 3356759, DOI 10.1093/imrn/rnu070
- Paola Cellini and Paolo Papi, Abelian ideals of Borel subalgebras and affine Weyl groups, Adv. Math. 187 (2004), no. 2, 320â361. MR 2078340, DOI 10.1016/j.aim.2003.08.011
- Vyjayanthi Chari, R. J. Dolbin, and T. Ridenour, Ideals in parabolic subalgebras of simple Lie algebras, Symmetry in mathematics and physics, Contemp. Math., vol. 490, Amer. Math. Soc., Providence, RI, 2009, pp. 47â60. MR 2555969, DOI 10.1090/conm/490/09586
- Vyjayanthi Chari and Jacob Greenstein, A family of Koszul algebras arising from finite-dimensional representations of simple Lie algebras, Adv. Math. 220 (2009), no. 4, 1193â1221. MR 2483719, DOI 10.1016/j.aim.2008.11.007
- Vyjayanthi Chari, Apoorva Khare, and Tim Ridenour, Faces of polytopes and Koszul algebras, J. Pure Appl. Algebra 216 (2012), no. 7, 1611â1625. MR 2899824, DOI 10.1016/j.jpaa.2011.10.014
- Jacques Dixmier, Enveloping algebras, Graduate Studies in Mathematics, vol. 11, American Mathematical Society, Providence, RI, 1996. Revised reprint of the 1977 translation. MR 1393197, DOI 10.1090/gsm/011
- S. L. Fernando, Lie algebra modules with finite-dimensional weight spaces. I, Trans. Amer. Math. Soc. 322 (1990), no. 2, 757â781. MR 1013330, DOI 10.1090/S0002-9947-1990-1013330-8
- Jin Hong and Seok-Jin Kang, Introduction to quantum groups and crystal bases, Graduate Studies in Mathematics, vol. 42, American Mathematical Society, Providence, RI, 2002. MR 1881971, DOI 10.1090/gsm/042
- James E. Humphreys, Representations of semisimple Lie algebras in the BGG category $\scr {O}$, Graduate Studies in Mathematics, vol. 94, American Mathematical Society, Providence, RI, 2008. MR 2428237, DOI 10.1090/gsm/094
- Joel Kamnitzer, MirkoviÄ-Vilonen cycles and polytopes, Ann. of Math. (2) 171 (2010), no. 1, 245â294. MR 2630039, DOI 10.4007/annals.2010.171.245
- Joel Kamnitzer, Categorification of Lie algebras, SĂ©minaire Bourbaki 1072 (2013), 1â22.
- Apoorva Khare, Faces and maximizer subsets of highest weight modules, J. Algebra 455 (2016), 32â76. MR 3478853, DOI 10.1016/j.jalgebra.2016.02.004
- Apoorva Khare and Tim Ridenour, Faces of weight polytopes and a generalization of a theorem of Vinberg, Algebr. Represent. Theory 15 (2012), no. 3, 593â611. MR 2912474, DOI 10.1007/s10468-010-9261-3
- Zhuo Li, Youâan Cao, and Zhenheng Li, Orbit structures of weight polytopes, preprint, arXiv:1411.6140 [math.RT].
- Karola MĂ©szĂĄros, Root polytopes, triangulations, and the subdivision algebra, II, Trans. Amer. Math. Soc. 363 (2011), no. 11, 6111â6141. MR 2817421, DOI 10.1090/S0002-9947-2011-05371-7
- M. S. Putcha and L. E. Renner, The system of idempotents and the lattice of ${\scr J}$-classes of reductive algebraic monoids, J. Algebra 116 (1988), no. 2, 385â399. MR 953159, DOI 10.1016/0021-8693(88)90225-6
- Ă. B. Vinberg, Some commutative subalgebras of a universal enveloping algebra, Izv. Akad. Nauk SSSR Ser. Mat. 54 (1990), no. 1, 3â25, 221 (Russian); English transl., Math. USSR-Izv. 36 (1991), no. 1, 1â22. MR 1044045, DOI 10.1070/IM1991v036n01ABEH001925
Additional Information
- Apoorva Khare
- Affiliation: Departments of Mathematics and Statistics, Stanford University, Stanford, California 94305
- MR Author ID: 750359
- ORCID: 0000-0002-1577-9171
- Email: khare@stanford.edu
- Received by editor(s): September 30, 2014
- Received by editor(s) in revised form: March 10, 2015, March 11, 2015, and April 1, 2015
- Published electronically: June 20, 2016
- © Copyright 2016 American Mathematical Society
- Journal: Trans. Amer. Math. Soc. 369 (2017), 2363-2394
- MSC (2010): Primary 17B10; Secondary 17B20, 52B15, 52B20
- DOI: https://doi.org/10.1090/tran/6710
- MathSciNet review: 3592514