Standard parabolic subsets of highest weight modules

DOI10.1090/TRAN/6710MaRDI QIDQ2951905zbMATH OpenOpenAlexFDO

Authors Apoorva Khare

Publication date 10 January 2017

Published in Transactions of the American Mathematical Society (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1409.4133

zbMATH Keywords

parabolic Verma moduleWeyl polytopehighest weight module\(f\)-polynomialinclusion relationsface mapstandard parabolic subset

Mathematics Subject Classification ID

Lattice polytopes in convex geometry (including relations with commutative algebra and algebraic geometry) (52B20) Representations of Lie algebras and Lie superalgebras, algebraic theory (weights) (17B10) Simple, semisimple, reductive (super)algebras (17B20) Symmetry properties of polytopes (52B15)

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 ${mwt}_{J}mathbb{V}^{l}ambda$ are defined for each highest weight module $mathbb{V}^{l}ambda$ 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}^{l}ambda$ over semisimple Lie algebras $mathfrakg$. Surprisingly, these formulas only require the Dynkin diagram of $mathfrakg$ and the integrability data of $mathbb{V}^{l}ambda$. 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.

Recommendations

• scientific article; zbMATH DE number 1222244
• Highest weight modules associated with classical irreducible regular prehomogeneous vector spaces of commutative parabolic type
• On the variety of a highest weight module
• scientific article; zbMATH DE number 4152640
• Highest weight modules for semisimple Lie algebras
• Partially integrable highest weight modules
• scientific article; zbMATH DE number 719239
• Moduli of parabolic sheaves and filtered Kronecker modules
• Ample parabolic subalgebras

Cites work

• scientific article; zbMATH DE number 1713119 (Why is no real title available?)
• scientific article; zbMATH DE number 1757924 (Why is no real title available?)
• scientific article; zbMATH DE number 918232 (Why is no real title available?)
• A family of Koszul algebras arising from finite-dimensional representations of simple Lie algebras
• Abelian ideals of Borel subalgebras and affine Weyl groups
• Faces and maximizer subsets of highest weight modules
• Faces of polytopes and Koszul algebras
• Faces of weight polytopes and a generalization of a theorem of Vinberg
• Geometric constructions of the irreducible representations of GL_n
• Ideals in Parabolic Subalgebras of Simple Lie Algebras
• Lie Algebra Modules with Finite Dimensional Weight Spaces, I
• Mirković-Vilonen cycles and polytopes.
• ON CERTAIN COMMUTATIVE SUBALGEBRAS OF A UNIVERSAL ENVELOPING ALGEBRA
• Representations of semisimple Lie algebras in the BGG category O
• Root Polytopes and Borel Subalgebras
• Root Polytopes and Growth Series of Root Lattices
• Root polytopes, triangulations, and the subdivision algebra, II
• The system of idempotents and the lattice of \({\mathcal J}\)-classes of reductive algebraic monoids

Cited in

(8)

• Faces and maximizer subsets of highest weight modules
• Faces of weight polytopes and a generalization of a theorem of Vinberg
• Coxeter submodular functions and deformations of Coxeter permutahedra
• Faces of highest weight modules and the universal Weyl polyhedron
• Weak faces of highest weight modules and root systems
• Techniques in equivariant Ehrhart theory
• Weak faces and a formula for weights of highest weight modules via parabolic partial sum property for roots
• Gorenstein Fano generic torus orbit closures in G/P

This page was built for publication: Standard parabolic subsets of highest weight modules

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2951905)