1: \begin{abstract}

2: Let $V$ be a highest weight module over a Kac--Moody algebra

3: $\mathfrak{g}$, and let $\conv V$ denote the convex hull of its weights.

4: We determine the combinatorial isomorphism type of $\conv V$, i.e.~we

5: completely classify the faces and their inclusions.

6: In the special case where $\mathfrak{g}$ is semisimple, this brings

7: closure to a question studied by Cellini and Marietti [\textit{IMRN}

8: 2015] for the adjoint representation, and by Khare [\textit{J.~Algebra}

9: 2016; \textit{Trans.~Amer.~Math.~Soc.} 2017] for most modules. The

10: determination of faces of finite-dimensional modules up to the Weyl group

11: action and some of their inclusions also appears in previous works of

12: Satake [\textit{Ann.~of Math.} 1960],

13: Borel and Tits [\textit{IHES Publ.~Math.} 1965],

14: Vinberg [\textit{Izv.~Akad.~Nauk} 1990],

15: and Casselman [\textit{Austral.~Math.~Soc.} 1997].

16: 

17: For any subset of the simple roots, we introduce a remarkable convex

18: cone which we call the universal Weyl polyhedron,

19: which controls the convex hulls of all modules parabolically induced from

20: the corresponding Levi factor. Namely, the combinatorial isomorphism type

21: of the cone stores the classification of faces for all such highest

22: weight modules, as well as how faces degenerate as the highest weight

23: gets increasingly singular. To our knowledge, this cone is new in finite

24: and infinite type.

25: 

26: We further answer a question of Michel Brion, by showing that the

27: localization of $\conv V$ along a face is always the convex hull of the

28: weights of a parabolically induced module.

29: Finally, as we determine the inclusion relations between faces

30: representation-theoretically from the set of weights, without recourse to

31: convexity, we answer a similar question for highest weight modules over

32: symmetrizable quantum groups.

33: \end{abstract}

34: