2020/12/14 by G. Krishna Teja, Teja, G Krishna
Mathematics · Physics and Astronomy · #17B22 #17B67 #17B70 #52B20 #52B99 #Advanced Algebra and Geometry #Algebraic structures and combinatorial models #Combinatorics (math.CO) #FOS: Mathematics #Nonlinear Waves and Solitons #Primary: 17B10 #Representation Theory (math.RT) #Secondary: 17B20
paper · pdf · doi:10.48550/arxiv.2012.07775
openalex publication_date 2020/12/14 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/28
In Lie theory the partial sum property (PSP) says that for a root system in any Kac-Moody algebra, every positive root is an ordered sum of simple roots whose partial sums are all roots. In this paper, we present two generalizations: 1) "Parabolic generalization": if I is a subset of simple roots, every root with positive I-height is an ordered sum of roots of I-height 1, whose partial sums are all roots. In fact we show this on the Lie algebra level, by showing that every root space is spanned by the Lie words formed from root vectors of I-height 1. As an application, we provide a "minimal" description for the set of weights of every (non-integrable) simple highest weight module over any Kac-Moody algebra. This seems to be novel even in finite type. 2) Generalization to weights of weight modules: the PSP gives a chain of roots between 0 (fixed) and any positive root. We generalize this to the weights of weight modules to get a chain of weights between any two comparable weights. This was shown by S. Kumar for any finite-dimensional simple module over a semisimple Lie algebra. In this paper, we extend this result to (i) a large class of highest weight modules over any Kac-Moody algebra \mathfrakg, which includes all simple highest weight modules over \mathfrakg; (ii) more generally, for non-highest weight modules such as \mathfrakg itself (adjoint representation) and arbitrary submodules of parabolic Verma modules over \mathfrakg; (iii) arbitrary integrable modules over semisimple \mathfrakg. Additionally, we also prove the "parabolic" generalizations of this second generalization to the best possible extent. We also find all the highest weight modules which have their sets of weights same as those of parabolic Verma modules and provide a Minkowski difference formula for weights of arbitrary highest weight modules over Kac-Moody \mathfrakg.