R. M. Green,Tianyuan Xu
Abstract:We introduce a new partial order on the set of all antichains of a fixed size in a given poset. When applied to minuscule posets, these partial orders give rise to distributive lattices that appear in the branching rules for minuscule representations of simply laced complex simple Lie algebras.
What problem does this paper attempt to address?
This paper mainly discusses a new partial order relation on a given set of anti-chains with a certain size, called ≤k. In specific types of finite posets known as minuscule posets, this newly defined order relation gives rise to distributive lattices, which are associated with the branching rules of simple Lie algebras for minuscule representations. The authors introduce a notation ≤k, defined by the relation between a pair of elements a and b in the covering relation, such that if a <Pb, then A≺kB, where A and B are anti-chains. In this way, they are able to describe and study different types of minuscule posets and prove that in some cases, these sets of anti-chains form distributive lattices.
Specifically, the main contributions of the paper include:
1. Defining the partial order ≤k and proving that it is coarser than the induced order relation ≤J from the ideal containment relation under certain conditions.
2. Investigating this new order on anti-chains in minuscule posets, which can be labeled by vertices, and showing that Ak(P) forms a distributive lattice under ≤k in these types of posets.
3. For minuscule posets of type A, establishing an isomorphism between Ak(P) and C(a,k)×C(b,k), and providing a structural description of Ak(P) for non-type A minuscule posets.
4. Connecting these results with the minuscule representations of simple Lie algebras for simple Lie groups, demonstrating the appearance of Ak(P) as weight posets.
The goal of the paper is to gain a deeper understanding of the structure of anti-chains on posets, particularly in the context related to Lie algebra theory. This contributes to the understanding of the properties and interactions of these mathematical objects.