The $q$-analog of Kostant's weight multiplicity formula is an alternating sum over a finite group, known as the Weyl group, whose terms involve the $q$-analog of Kostant's partition function. This formula, when evaluated at $q=1$, gives the multiplicity of a weight in a highest weight representation of a simple Lie algebra. In this paper, we consider the Lie algebra $\mathfrak{sl}_4(\mathbb{C})$ and give closed formulas for the $q$-analog of Kostant's weight multiplicity. This formula depends on the following two sets of results. First, we present closed formulas for the $q$-analog of Kostant's partition function by counting restricted colored integer partitions. These formulas, when evaluated at $q=1$, recover results of De Loera and Sturmfels. Second, we describe and enumerate the Weyl alternation sets, which consist of the elements of the Weyl group that contribute nontrivially to Kostant's weight multiplicity formula. From this, we introduce Weyl alternation diagrams on the root lattice of $\mathfrak{sl}_4(\mathbb{C})$, which are associated to the Weyl alternation sets. This work answers a question posed in 2019 by Harris, Loving, Ramirez, Rennie, Rojas Kirby, Torres Davila, and Ulysse.
Consider the weight $λ$ which is the sum of all simple roots of a simple Lie algebra. Using Kostant's weight multiplicity formula we describe and enumerate the contributing terms to the multiplicity of the zero weight in the representation with highest weight $λ$. We prove that in Lie algebras of type $A$ and $B$, the number of contributing terms to the multiplicity of the zero-weight space in the representation with highest weight $λ$ is given by a Fibonacci number, and that in Lie algebras of type $C$ and $D$, the analogous result is given by a multiple of a Lucas number.
Kostant's weight $q$-multiplicity formula is an alternating sum over a finite group known as the Weyl group, whose terms involve the $q$-analog of Kostant's partition function. The $q$-analog of the partition function is a polynomial-valued function defined by $\wp_q(ξ)=\sum_{i=0}^k c_i q^i$, where $c_i$ is the number of ways the weight $ξ$ can be written as a sum of exactly $i$ positive roots of a Lie algebra $\mathfrak{g}$. The evaluation of the $q$-multiplicity formula at $q = 1$ recovers the multiplicity of a weight in an irreducible highest weight representation of $\mathfrak{g}$. In this…
Given a simple Lie algebra $\mathfrak{g}$, Kostant's weight $q$-multiplicity formula is an alternating sum over the Weyl group whose terms involve the $q$-analog of Kostant's partition function. For $ξ$ (a weight of $\mathfrak{g}$), the $q$-analog of Kostant's partition function is a polynomial-valued function defined by $\wp_q(ξ)=\sum c_i q^i$ where $c_i$ is the number of ways $ξ$ can be written as a sum of $i$ positive roots of $\mathfrak{g}$. In this way, the evaluation of Kostant's weight $q$-multiplicity formula at $q = 1$ recovers the multiplicity of a weight in a highest weight represen…
Even though weight multiplicity formulas, such as Kostant's formula, exist their computational use is extremely cumbersome. In fact, even in cases when the multiplicity is well understood, the number of terms considered in Kostant's formula is factorial in the rank of the Lie algebra and the value of the partition function is unknown. In this paper we address the difficult question: What are the contributing terms to the multiplicity of the zero weight in the adjoint representation of a finite dimensional Lie algebra? We describe and enumerate the cardinalities of these sets (through linear ho…
Kostant's partition function counts the number of distinct ways to express a weight of a classical Lie algebra $\mathfrak{g}$ as a sum of positive roots of $\mathfrak{g}$. We refer to each of these expressions as decompositions of a weight. Our main result considers an infinite family of weights, irrespective of Lie type, for which we establish a closed formula for the $q$-analog of Kostant's partition function and then prove that the (normalized) distribution of the number of positive roots in the decomposition of any of these weights converges to a Gaussian distribution as the rank of the Li…
Kostant's partition function is a vector partition function that counts the number of ways one can express a weight of a Lie algebra $\mathfrak{g}$ as a nonnegative integral linear combination of the positive roots of $\mathfrak{g}$. Multiplex juggling sequences are generalizations of juggling sequences that specify an initial and terminal configuration of balls and allow for multiple balls at any particular discrete height. Magic multiplex juggling sequences generalize further to include magic balls, which cancel with standard balls when they meet at the same height. In this paper, we establi…
We apply some recent developments of Baldoni-DeLoera-Vergne on vector partition functions, to Kostant and Steinberg formulas, in the case of $A_r$. We therefore get a fast {\sc Maple} program that computes for $A_r$: the multiplicity $c_{λ,μ}$ of the weight $μ$ in the representation $V(λ)$ of highest weight $λ$; the multiplicity $c_{λ,μ,ν}$ of the representation $V(ν)$ in $V(λ)\otimes V(μ)$. The computation also gives the locally polynomial functions $c_{λ,μ}$ and $c_{λ,μ,ν}$.
Berenshtein and Zelevinskii provided an exhaustive list of pairs of weights $(λ,μ)$ of simple Lie algebras $\mathfrak{g}$ (up to Dynkin diagram isomorphism) for which the multiplicity of the weight $μ$ in the representation of $\mathfrak{g}$ with highest weight $λ$ is equal to one. Using Kostant's weight multiplicity formula we describe and enumerate the contributing terms to the multiplicity for subsets of these pairs of weights and show that, in these cases, the cardinality of these contributing sets is enumerated by (multiples of) Fibonacci numbers. We conclude by using these results to com…
For a reductive Lie algebra $\mathfrak h$ and a simple finite-dimensional $\mathfrak h$-module $V$, the set of weights of $V$, $P(V)$, has a natural poset structure. We consider antichains in the weight poset $P(V)$ and a certain operator $\mathfrak X$ acting on antichains. Eventually, we impose stronger constraints on $(\mathfrak h,V)$ and stick to the case in which $\mathfrak h$ and $V$ are associated with a $Z$-grading of a simple Lie algebra $\mathfrak g$. Then $V$ is a weight multiplicity free $\mathfrak h$-module and $P(V)$ can be regarded as a subposet of $Δ^+$, where $Δ$ is the root sy…
We study weight posets of weight multiplicity free (=wmf) representations $R$ of reductive Lie algebras. Specifically, we are interested in relations between $\dim R$ and the number of edges in the Hasse diagram of the corresponding weight poset, $# E(R)$. We compute the number of edges and upper covering polynomials for the weight posets of all wmf-representations. We also point out non-trivial isomorphisms between weight posets of different irreducible wmf-representations. Our main results concern wmf-representations associated with periodic gradings or Z-gradings of simple Lie algebras. For…
For $\mathbb N^*:=\mathbb N \setminus \{0\}$, we consider the collection $\mathfrak M(N)$ of all the $N$ rows, for which, for $n=1,\cdots,N$, the $n-th$ row consists of an increasing sequence $(a_j^n)_j$ of real numbers. For $\mathfrak A \in \mathfrak M(N)$, we define its spectrum $σ(\mathfrak A)$ by $σ(\mathfrak A)=\{λ\in \mathbb R \;|\; λ=\sum_{n=1}^Na_{j_n}^n\}\,,$ where $(j_1,j_2,\dots,j_N)\in (\mathbb N^*)^N$. This spectrum is discrete and consists of an infinite sequence that can be ordered as a strictly increasing sequence $λ_k(\mathfrak A)$. For $λ\in σ(\mathfrak A)$ we denote by $m(λ,…
Schubert polynomials $\mathfrak{S}_w$ are polynomial representatives for cohomology classes of Schubert varieties in a complete flag variety, while Grothendieck polynomials $\mathfrak{G}_w$ are analogous representatives for the $K$-theory classes of the structure sheaves of Schubert varieties. In the special case that $\mathfrak{S}_w$ is a multiplicity-free sum of monomials, K. Mészáros, L. Setiabrata, and A. St. Dizier conjectured that $\mathfrak{G}_w$ can be easily computed from $\mathfrak{S}_w$ via Möbius inversion on a certain poset. We prove this conjecture.
