arXiv++ Combinatorics

We describe how Mirkovic-Vilonen polytopes arise naturally from the categorification of Lie algebras using Khovanov-Lauda-Rouquier algebras. This gives an explicit description of the unique crystal isomorphism between simple representations of the KLR algebra and MV polytopes. MV polytopes, as defined from the geometry of the affine Grassmannian, only make sense for finite dimensional semi-simple Lie algebras, but our construction actually gives a map from the infinity crystal to polytopes in all symmetrizable Kac-Moody algebras. However, to make the map injective and have well-defined crystal operators on the image, we must in general decorate our polytopes with some extra information. We suggest that the resulting KLR polytopes are the general-type analogues of MV polytopes. We give a combinatorial description of the resulting decorated polytopes in all affine cases, and show that this recovers the affine MV polytopes recently defined by Kamnitzer and Baumann and the first author in symmetric affine types. We also briefly discuss the situation beyond affine type.

Let g be a complex finite-dimensional simple Lie algebra. Given a positive integer k and a dominant weight λ, we define a preorder on the set $P(λ, k)$ of k-tuples of dominant weights which add up to λ. Let $P(λ, k)/\sim$ be the corresponding poset of equivalence classes defined by the preorder. We show that if λis a multiple of a fundamental weight (and k is general) or if k=2 (and λis general), then $P(λ, k)/\sim$ coincides with the set of S_k-orbits in $P(λ,k)$, where S_k acts on $P(λ, k)$ as the permutations of components. If g is of type A_n and k=2, we show that the S_2-orbit of the row shuffle defined by Fomin et al is the unique maximal element in the poset. Given an element of $P(λ, k)$, consider the tensor product of the corresponding simple finite-dimensional g-modules. We show that (for general g, λ, and k) the dimension of this tensor product increases along with the partial order. We also show that in the case when λis a multiple of a fundamental minuscule weight (g and k are general) or if g is of type A_2 and k=2 (λis general), there exists an inclusion of tensor products of g-modules along with the partial order. In particular, if g is of type A_n, this means that the difference of the characters is Schur positive.

In this paper we study (associative) Nijenhuis algebras, with emphasis on the relationship between the category of Nijenhuis algebras and the categories of NS algebras. This is in analogy to the well-known theory of the adjoint functor from the category of Lie algebras to that of associative algebras, and the more recent results on the adjoint functor from the categories of dendriform and tridendriform algebras to that of Rota-Baxter algebras. We first give an explicit construction of free Nijenhuis algebras and then apply it to obtain the universal enveloping Nijenhuis algebra of an NS algebra. We further apply the construction to determine the binary quadratic nonsymmetric algebra, called the N-dendriform algebra, that is compatible with the Nijenhuis algebra. As it turns out, the N-dendriform algebra has more relations than the NS algebra.

In this paper, we discuss the Poincaré series of Kac-Moody Lie algebras, especially for indefinite type. Firstly, we compute the Poincaré series of certain indefinite Kac-Moody Lie algebras whose Cartan matrices have the same type of $2\times 2$ principal sub-matrices. Secondly, we show that the Poincaré series of Kac-Moody Lie algebras satisfy certain interesting properties. Lastly we give some applications of the Poincaré series to other fields. Particularly we construct some counter examples to a conjecture of Victor Kac\cite{Kac_85} and a conjecture of Chapavalov, Leites and Stekolshchik\cite{CDR_10}.

This is an expanded version of the lectures given by the author on the 3rd school "Lie algebras, algebraic groups and invariant theory" in Togliatti, Russia. In these notes we explain the concept of a categorical Kac-Moody action by studying an example of the category of rational representations of a general linear group in positive characteristic. We also deal with some more advanced topics: a categorical action on the polynomial representations and crystals of categorical actions.

We study the root polytope $\mathcal P_Φ$ of a finite irreducible crystallographic root system $Φ$ using its relation with the abelian ideals of a Borel subalgebra of a simple Lie algebra with root system $Φ$. We determine the hyperplane arrangement corresponding to the faces of codimension 2 of $\mathcal P_Φ$ and analyze its relation with the facets of $\mathcal P_Φ$. For $Φ$ of type $A_n$ or $C_n$, we show that the orbits of some special subsets of abelian ideals under the action of the Weyl group parametrize a triangulation of $\mathcal P_Φ$. We show that this triangulation restricts to a triangulation of the positive root polytope $\mathcal P_Φ^+$.

We consider the population of critical points generated from the trivial critical point of the master function with no variables and associated with the trivial representation of the affine Lie algebra $\hat{\frak{sl}}_N$. We show that the critical points of this population define rational solutions of the equations of the mKdV hierarchy associated with $\hat{\frak{sl}}_N$. We also construct critical points from suitable $N$-tuples of tau-functions. The construction is based on a Wronskian identity for tau-functions. In particular, we construct critical points from suitable $N$-tuples of Schur polynomials and prove a Wronskian identity for Schur polynomials.

We study the category of graded representations with finite--dimensional graded pieces for the current algebra associated to a simple Lie algebra. This category has many similarities with the category $\cal O$ of modules for $\lie g$ and in this paper, we use the combinatorics of Macdonald polynomials to prove an analogue of the famous BGG duality in the case of $\lie{sl}_{n+1}$.

In this paper we prove that the generating series of the Poincare polynomials of quasihomogeneous Hilbert schemes of points in the plane has a beautiful decomposition into an infinite product. We also compute the generating series of the numbers of quasihomogeneous components in a moduli space of sheaves on the projective plane. The answer is given in terms of characters of the affine Lie algebra $\hat{sl}_m$.

The operation of squaring (coproduct followed by product) in a combinatorial Hopf algebra is shown to induce a Markov chain in natural bases. Chains constructed in this way include widely studied methods of card shuffling, a natural "rock-breaking" process, and Markov chains on simplicial complexes. Many of these chains can be explictly diagonalized using the primitive elements of the algebra and the combinatorics of the free Lie algebra. For card shuffling, this gives an explicit description of the eigenvectors. For rock-breaking, an explicit description of the quasi-stationary distribution and sharp rates to absorption follow.

We describe a presentation for the descent algebra of the symmetric group $\sym{n}$ as a quiver with relations. This presentation arises from a new construction of the descent algebra as a homomorphic image of an algebra of forests of binary trees which can be identified with a subspace of the free Lie algebra. In this setting, we provide a new short proof of the known fact that the quiver of the descent algebra of $\sym{n}$ is given by restricted partition refinement. Moreover, we describe certain families of relations and conjecture that for fixed $n\in\mathbb{N}$, the finite set of relations from these families that are relevant for the descent algebra of $\sym{n}$ generates the ideal of relations, and hence yields an explicit presentation by generators and relations of the algebra.

Let $g$ be a simple Lie algebra and $Ab$ the poset of non-trivial abelian ideals of a fixed Borel subalgebra of $g$. In 2003 (IMRN, no.35, 1889--1913), we constructed a partition of $Ab$ into the subposets $Ab_μ$, parameterised by the long positive roots of $g$, and established some properties of these subposets. In this note, we show that this partition is compatible with intersections, relate it to the Kostant-Peterson parameterisation of abelian ideals and to the centralisers of abelian ideals. We also prove that the poset of positive roots of $g$ is a join-semilattice.

A combinatorial description of the crystal B(infinity) for finite-dimensional simple Lie algebras in terms of certain Young tableaux was developed by J. Hong and H. Lee. We establish an explicit bijection between these Young tableaux and canonical bases indexed by Lusztig's parametrization, and obtain a combinatorial rule for expressing the Gindikin-Karpelevich formula as a sum over the set of Young tableaux.

Let $\A$ be a finitely generated semigroup with 0. An $\A$-module over $\fun$ (also called an $\A$--set), is a pointed set $(M,*)$ together with an action of $\A$. We define and study the Hall algebra $\H_{\A}$ of the category $\C_{\A}$ of finite $\A$--modules. $\H_{\A}$ is shown to be the universal enveloping algebra of a Lie algebra $\n_{\A}$, called the \emph{Hall Lie algebra} of $\C_{\A}$. In the case of the $\fm$ - the free monoid on one generator $\fm$, the Hall algebra (or more precisely the Hall algebra of the subcategory of nilpotent $\fm$-modules) is isomorphic to Kreimer's Hopf algebra of rooted forests. This perspective allows us to define two new commutative operations on rooted forests. We also consider the examples when $\A$ is a quotient of $\fm$ by a congruence, and the monoid $G \cup \{0\}$ for a finite group $G$.

The number of ad-nilpotent ideals of the Borel subalgebra of the classical Lie algebra of type B_n is determined using combinatorial arguments involving a generalization of Dyck-paths. We also solve a similar problem for the untwisted affine Lie algebra of type ~B_n, where we instead enumerate a certain class of ideals called basic ideals. This leads to an explicit formula for the number of basic ideals in ~B_n, which gives rise to a new integer sequence.

Let $Φ$ be a finite crystallographic irreducible root system and $\mathcal P_Φ$ be the convex hull of the roots in $Φ$. We give a uniform explicit description of the polytope $\mathcal P_Φ$, analyze the algebraic-combinatorial structure of its faces, and provide connections with the Borel subalgebra of the associated Lie algebra. We also give several enumerative results.

We consider integrable, category O-modules of indecomposable symmetrizable Kac-Moody algebras. We prove that unique factorization of tensor products of irreducible modules holds in this category, upto twisting by one dimensional modules. This generalizes a fundamental theorem of Rajan for finite dimensional simple Lie algebras over C. Our proof is new even for the finite dimensional case, and uses an interplay of representation theory and combinatorics to analyze the Kac-Weyl character formula.

A Leonard pair is a pair of diagonalizable linear transformations of a finite-dimensional vector space, each of which acts in an irreducible tridiagonal fashion on an eigenbasis for the other one. In the present paper we give an elementary but comprehensive account of how the following are related: (i) Krawtchouk polynomials; (ii) finite-dimensional irreducible modules for the Lie algebra ${\mathfrak{sl}_2}$; (iii) a class of Leonard pairs said to have Krawtchouk type. Along the way we obtain elementary proofs of some well-known facts about Krawtchouk polynomials, such as the three-term recurrence, the orthogonality, the difference equation, and the generating function. The paper is a tutorial meant for a graduate student or a researcher unfamiliar with the above topics.

We determine the three fundamental invariants in the entries of a $3 \times 3 \times 3$ array over $\mathbb{C}$ as explicit polynomials in the 27 variables $x_{ijk}$ for $1 \le i, j, k \le 3$. By the work of Vinberg on $θ$-groups, it is known that these homogeneous polynomials have degrees 6, 9 and 12; they freely generate the algebra of invariants for the Lie group $SL_3(\mathbb{C}) \times SL_3(\mathbb{C}) \times SL_3(\mathbb{C})$ acting irreducibly on its natural representation $\mathbb{C}^3 \otimes \mathbb{C}^3 \otimes \mathbb{C}^3$. These generators have respectively 1152, 9216 and 209061 terms; we find compact expressions in terms of the orbits of the finite group $(S_3 \times S_3 \times S_3) \rtimes S_3$ acting on monomials of weight zero for the action of the Lie algebra $\mathfrak{sl}_3(\mathbb{C}) \oplus \mathfrak{sl}_3(\mathbb{C}) \oplus \mathfrak{sl}_3(\mathbb{C})$.

The alcove model of the first author and A. Postnikov uniformly describes highest weight crystals of semisimple Lie algebras. We construct a generalization, called the quantum alcove model. In joint work of the first author with S. Naito, D. Sagaki, A. Schilling, and M. Shimozono, this was shown to uniformly describe tensor products of column shape Kirillov-Reshetikhin crystals in all untwisted affine types; moreover, an efficient formula for the corresponding energy function is available. In the second part of this paper, we specialize the quantum alcove model to types $A$ and $C$. We give explicit affine crystal isomorphisms from the specialized quantum alcove model to the corresponding tensor products of column shape Kirillov-Reshetikhin crystals, which are realized in terms of Kashiwara-Nakashima columns.