Faces of highest weight modules and the universal Weyl polyhedron

Abstract

Let V be a highest weight module over a Kac–Moody algebra g, and let convV denote the convex hull of its weights. We determine the combinatorial isomorphism type of convV, i.e. we completely classify the faces and their inclusions. In the special case where g is semisimple, this brings closure to a question studied by Cellini and Marietti (2015) [7] for the adjoint representation, and by Khare (2016, 2017) [17,18] 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 works of Satake (1960) [25], Borel and Tits (1965) [3], Vinberg (1990) [26], and Casselman (1997) [6].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 convV 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.