arXiv Analytics

Sign in

arXiv:1611.00114 [math.RT]AbstractReferencesReviewsResources

Faces of highest weight modules and the universal Weyl polyhedron

Gurbir Dhillon, Apoorva Khare

Published 2016-11-01Version 1

Let $V$ be a highest weight module over a Kac-Moody algebra $\mathfrak{g}$, and let conv $V$ denote the convex hull of its weights. We determine the combinatorial isomorphism type of conv $V$, i.e. we completely classify the faces and their inclusions. In the special case where $\mathfrak{g}$ is semisimple, this brings closure to a question studied by Cellini-Marietti [IMRN 2015] for the adjoint representation, and by Khare [J. Algebra 2016; Trans. Amer. Math. Soc., to appear] for most modules. The determination of faces of finite-dimensional modules up to the Weyl group action and some of their inclusions also appears in previous work of Satake [Ann. of Math. 1960], Borel-Tits [IHES Publ. Math. 1965], Vinberg [Izv. Akad. Nauk 1990], and Casselman [Austral. Math. Soc. 1997]. For any subset of the simple roots, we introduce a remarkable convex cone, which we call the universal Weyl polyhedron, which controls the convex hulls of all modules parabolically induced from the corresponding Levi factor. Namely, the combinatorial isomorphism type of the cone stores the classification of faces for all such highest weight modules, as well as how faces degenerate as the highest weight gets increasingly singular. To our knowledge, this cone is new in finite and infinite type. We further answer a question of Michel Brion, by showing that the localization of conv $V$ along a face is always the convex hull of the weights of a parabolically induced module. Finally, as we determine the inclusion relations between faces representation-theoretically from the set of weights, without recourse to convexity, we answer a similar question for highest weight modules over symmetrizable quantum groups.

Comments: We recall preliminaries and results from the companion paper arXiv:1606.09640
Categories: math.RT, math.CO, math.MG
Subjects: 17B10, 17B67, 22E47, 17B37, 20G42, 52B20
Related articles: Most relevant | Search more
arXiv:1606.09640 [math.RT] (Published 2016-06-30)
Highest weight modules to first order
arXiv:1104.0907 [math.RT] (Published 2011-04-05)
Weyl group action and semicanonical bases
arXiv:1301.1140 [math.RT] (Published 2013-01-07, updated 2014-09-11)
Faces and maximizer subsets of highest weight modules