arXiv++ Combinatorics

Infinite-dimensional Lie superalgebras, particularly Borcherds-Kac-Moody (BKM) superalgebras, play a fundamental role in mathematical physics, number theory, and representation theory. In this paper, we study the root multiplicities of BKM superalgebras via their denominator identities, deriving explicit combinatorial formulas in terms of graph invariants associated with marked (quasi) Dynkin diagrams. We introduce partially commutative Lie superalgebras (PCLSAs) and provide a direct combinatorial proof of their denominator identity, where the generating set runs over the super heaps monoid. A key notation in our approach is marked multi-colorings and their associated polynomials, which generalize chromatic polynomials and offer a method for computing root multiplicities. As applications, we characterize the roots of PCLSAs and establish connections between their universal enveloping algebras and right-angled Coxeter groups, leading to explicit formulas for their Hilbert series. These results further deepen the interplay between Lie superalgebras, graph theory, and algebraic combinatorics.

We derive a piecewise-linear formula for the rigid representation of a Dynkin quiver of a given dimension vector, and illustrate the formula in several examples.

The derived algebra of a symmetrizible Kac-Moody algebra $\lie g$ is generated (as a Lie algebra) by its root spaces corresponding to real roots. In this paper, we address the natural reverse question: given any subset of real root vectors, is the Lie subalgebra of $\lie g$ generated by these again the derived algebra of a Kac-Moody algebra? We call such Lie subalgebras root generated, give an affirmative answer to the above question and show that there is a one-to-one correspondence between them, real closed subroot systems and $π$-systems contained in the positive system of $\lie g$. Finally, we apply these identifications to all untwised affine types in order to classify symmetric regular subalgebras first introduced by Dynkin in the finite-dimensional setting. We show that any root generated subalgebra associated to a maximal real closed subroot system can be embedded into a unique maximal symmetric regular subalgebra.

We study and derive identities for the multi-variate independence polynomials from the perspective of heaps theory. Using the inversion formula and the combinatorics of partially commutative algebras we show how the multi-variate version of Godsil type identity as well as the fundamental identity can be obtained from weight preserving bijections. Finally, we obtain a new multi-variate identity involving connected bipartite subgraphs similar to the Christoffel-Darboux type identities obtained by Bencs.

We obtain an explicit crystal isomorphism between two realizations of crystal bases of finite dimensional irreducible representations of simple Lie algebras of type A and D. The first realization we consider is a geometric construction in terms of irreducible components of certain Nakajima quiver varieties established by Saito and the second is a realization in terms of isomorphism classes of quiver representations obtained by Reineke. We give a homological description of the irreducible components of Lusztig's quiver varieties which correspond to the crystal of a finite dimensional representation and describe the promotion operator in type A to obtain a geometric realization of Kirillov-Reshetikhin crystals.

We develop a Borel-de Siebenthal theory for affine reflection systems by classifying their maximal closed subroot systems. Affine reflection systems (introduced by Loos and Neher) provide a unifying framework for root systems of finite-dimensional semi-simple Lie algebras, affine and toroidal Lie algebras, and extended affine Lie algebras. In the special case of nullity $k$ toroidal Lie algebras, we obtain a one-to-one correspondence between maximal closed subroot systems with full gradient and triples $(q,(b_i),H)$, where $q$ is a prime number, $(b_i)$ is a $n$-tuple of integers in the interval $[0,q-1]$ and $H$ is a $(k\times k)$ Hermite normal form matrix with determinant $q$. This generalizes the $k=1$ result of Dyer and Lehrer in the setting of affine Lie algebras.

A filtration of a representation whose successive quotients are isomorphic to Demazure modules is called an excellent filtration. In this paper we study graded multiplicities in excellent filtrations of fusion products for the current algebra $\mathfrak{sl}_2[t]$. We give a combinatorial formula for the polynomials encoding these multiplicities in terms of two dimensional lattice paths. Corollaries to our main theorem include a combinatorial interpretation of various objects such as the coeffficients of Ramanujan's fifth order mock theta functions $φ_0, φ_1, ψ_0, ψ_1$, Kostka polynomials for hook partitions and quotients of Chebyshev polynomials. We also get a combinatorial interpretation of the graded multiplicities in a level one flag of a local Weyl module associated to the simple Lie algebras of type $B_n \text{ and } G_2$.

We establish a connection between root multiplicities for Borcherds-Kac-Moody algebras and graph coloring. We show that the generalized chromatic polynomial of the graph associated to a given Borcherds algebra can be used to give a closed formula for certain root multiplicities. Using this connection we give a second interpretation, namely that the root multiplicity of a given root coincides with the number of acyclic orientations with a unique sink of a certain graph (depending on the root). Finally, using the combinatorics of Lyndon words we construct a basis for the root spaces corresponding to these roots and determine the Hilbert series in the case when all simple roots are imaginary. As an application we give a Lie theoretic proof of Stanley's reciprocity theorem of chromatic polynomials.

We study a family of finite--dimensional representations of the hyperspecial parabolic subalgebra of the twisted affine Lie algebra of type $\tt A_2^{(2)}$. We prove that these modules admit a decreasing filtration whose sections are isomorphic to stable Demazure modules in an integrable highest weight module of sufficiently large level. In particular, we show that any stable level $m'$ Demazure module admits a filtration by level $m$ Demazure modules for all $m\ge m'$. We define the graded and weighted generating functions which encode the multiplicity of a given Demazure module and establish a recursive formulae. In the case when $m'=1,2$ and $m=2,3$ we determine these generating functions completely and show that they define hypergeoemetric series and that they are related to the $q$--Fibonacci polynomials defined by Carlitz.

We study the PBW filtration on irreducible finite--dimensional representations for the Lie algebra of type $\tt B_n$. We prove in several cases, including all multiples of the adjoint representation and all irreducible finite--dimensional representations for $\tt B_3$, that there exists a normal polytope such that the lattice points of this polytope parametrize a basis of the corresponding associated graded space. As a consequence we obtain several classes of favourable modules and graded combinatorial character formulas.

We study the category of finite--dimensional bi--graded representations of toroidal current algebras associated to finite--dimensional complex simple Lie algebras. Using the theory of graded representations for current algebras, we construct in different ways objects in that category and prove them to be isomorphic. As a consequence we obtain generators and relations for certain types of fusion products including the $N$--fold fusion product of $V(λ)$. This result shows that the fusion product of these types is independent of the chosen parameters, proving a special case of a conjecture by Feigin and Loktev. Moreover, we prove a conjecture by Chari, Fourier and Sagaki on truncated Weyl modules for certain classes of dominant integral weights and show that they are realizable as fusion products. In the last section we consider the case $\mathfrak{g}=\mathfrak{sl}_2$ and compute a PBW type basis for truncated Weyl modules of the associated current algebra.

We study the polytope model for the affine type $A$ Kirillov-Reshetikhin crystals and prove that the action of the affine Kashiwara operators can be described in a remarkable simple way. Moreover, we investigate the combinatorial $R$-matrix on a tensor product of polytopes and characterize the map explicitly on the highest weight elements. We further give a formula for the local energy function and provide an alternative proof for the perfectness. We determine for any dominant highest weight element $Λ$ of level $\ell$ the elements $b_Λ, b^Λ$ involved in the definition of perfect crystals and give an explicit description of the ground-state path in the tensor product of polytopes.

We describe a set $\mathcal{R}^{\infty}$ consisting of tuples of integer sequences and provide certain explicit maps on it. We show that this defines a semiregular crystal for $\mathfrak{sl}_{n+1}$ and $\mathfrak{sp}_{2n}$ respectively. Furthermore we define for any dominant integral weight $λ$ a connected subcrystal $\mathcal{R}(λ)$ in $\mathcal{R}^{\infty}$, such that this crystal is isomorphic to the crystal graph $B(λ)$. Finally we provide an explicit description of these connected crystals $\mathcal{R}(λ)$.

On the polytope defined in Feigin, Fourier, and Littelmann (2011), associated to any rectangle highest weight, we define a structure of an type $A_n$-crystal. We show, by using the Stembridge axioms, that this crystal is isomorphic to the one obtained from Kashiwara's crystal bases theory. Further we define on this polytope a bijective map and show that this map satisfies the properties of a weak promotion operator. This implies in particular that we provide an explicit realization of Kirillov-Reshetikhin crystals for the affine type $A^{(1)}_n$ via polytopes.