arXiv++ Combinatorics

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 Z-gradings, we prove that $0< 2dim R-# E(R) < h$, where $h$ is the Coxeter number of $\mathfrak g$. For periodic gradings, we prove that $0\le 2dim R-# E(R)$.

Let X be an ordered alphabet. Lie_2(n) (and P_2(n) respectively) are the multilinear parts of the free Lie algebra (and the free Poisson algebra respectively) on X with a pair of compatible Lie brackets. In this paper, we prove the dimension formulas for these two algebras conjectured by B. Feigin by constructing bases for Lie_2(n) (and P_2(n)) from combinatorial objects. We also define a complementary space Eil_2(n) to Lie_2(n), give a pairing between Lie_2(n) and Eil_2(n), and show that the pairing is perfect.

For a complex simple Lie algebra, the dimension $K_{λμ}$ of the $μ$ weight space of a finite dimensional representation of highest weight $λ$ is the same as the number of Littelmann paths of type $λ$ and weight $μ$. In this paper we give an explicit construction of a path of type $λ$ and weight $μ$ whenever $K_{λμ}\ne 0$. This construction has additional consequences, it produces an explicit point in the building which chamber retracts to $λ$ and sector retracts to $μ$, and an explicit point of the affine Grassmannian in the corresponding Mirković-Vilonen intersection. In an appendix we discuss the connection between retractions in buildings and alcove walks.

M.-P. Schützenberger asked to determine the support of the free Lie algebra ${\mathcal L}_{{\mathbb Z}_{m}}(A)$ on a finite alphabet $A$ over the ring ${\mathbb Z}_{m}$ of integers $\bmod m$ and all the corresponding pairs of twin and anti-twin words, i.e., words that appear with equal (resp. opposite) coefficients in each Lie polynomial. We study these problems using the adjoint endomorphism $l^{*}$ of the left normed Lie bracketing $l$ of ${\mathcal L}_{{\mathbb Z}_{m}}(A)$. Calculating $l^{*}(w)$ via all factors of a given word $w$ of fixed length and the shuffle product, we recover the result of Duchamp and Thibon $(1989)$ for the support of the free Lie ring in a much more natural way. We rephrase these problems, for words of length $n$, in terms of the action of the left normed multi-linear Lie bracketing $l_{n}$ of ${\mathcal L}_{{\mathbb Z}_{m}}(A)$ - viewed as an element of the group ring of the symmetric group ${\mathcal S}_{n}$ - on $λ$-tabloids, where $λ$ is a partition of $n$. For words $w$ in two letters, represented by a subset $I$ of $[n] = \{1, 2, ..., n \}$, this leads us to the {\em Pascal descent polynomial} $p_{n}(I)$, a particular commutative multi-linear polynomial which equals to a signed binomial coefficient when $|I| = 1$ and allows us to obtain a sufficient condition on $n$ and $I$ in order that $w$ lies in ${\mathcal L}_{{\mathbb Z}_{m}}(A)$. We also have a particular conjecture for twin and anti-twin words for the free Lie ring and show that it is enough to be checked for $|A| = 2$.

Let $K$ denote a field and let $V$ denote a vector space over $K$ with finite positive dimension. We consider a pair of linear transformations $A:V \to V$ and $A^*:V \to V$ that satisfy the following conditions: (i) each of $A,A^*$ is diagonalizable; (ii) there exists an ordering $\{V_i\}{i=0}^d$ of the eigenspaces of $A$ such that $A^* V_i \subseteq V_{i-1} + V_{i} + V_{i+1}$ for $0 \leq i \leq d$, where $V_{-1}=0$ and $V_{d+1}=0$; (iii) there exists an ordering $\{V^*_i\}{i=0}^δ$ of the eigenspaces of $A^*$ such that $A V^*_i \subseteq V^*_{i-1} + V^*_{i} + V^*_{i+1}$ for $0 \leq i \leq δ$, where $V^*_{-1}=0$ and $V^*_{δ+1}=0$; (iv) there is no subspace $W$ of $V$ such that $AW \subseteq W$, $A^* W \subseteq W$, $W \neq 0$, $W \neq V$. We call such a pair a {\it tridiagonal pair} on $V$. It is known that $d=δ$ and for $0 \leq i \leq d$ the dimensions of $V_i$, $V_{d-i}$, $V^*_i$, $V^*_{d-i}$ coincide. The pair $A,A^*$ is called {\it sharp} whenever $\dim V_0=1$. It is known that if $K$ is algebraically closed then $A,A^*$ is sharp. Assuming $A,A^*$ is sharp, we use the data $Φ=(A; \{V_i\}{i=0}^d; A^*; \{V^*_i\}{i=0}^d)$ to define a polynomial $P$ in one variable and degree at most $d$. We show that $P$ remains invariant if $Φ$ is replaced by $(A;\{V_{d-i}\}{i=0}^d; A^*; \{V^*_i\}{i=0}^d)$ or $(A;\{V_i\}{i=0}^d; A^*; \{V^*_{d-i}\}{i=0}^d)$ or $(A^*; \{V^*_i\}{i=0}^d; A; \{V_i\}{i=0}^d)$. We call $P$ the {\it Drinfel'd polynomial} of $A,A^*$. We explain how $P$ is related to the classical Drinfel'd polynomial from the theory of Lie algebras and quantum groups. We expect that the roots of $P$ will be useful in a future classification of the sharp tridiagonal pairs. We compute the roots of $P$ for the case in which $V_i$ and $V^*_i$ have dimension 1 for $0 \leq i \leq d$.

This work is part of a project on weight bases for the irreducible representations of semisimple Lie algebras with respect to which the representation matrices of the Chevalley generators are given by explicit formulas. In the case of sl_n, the celebrated Gelfand-Tsetlin basis is the only such basis known. Using the setup of supporting graphs developed by Donnelly, we present a simple combinatorial proof of the Gelfand-Tsetlin formulas based on a rational function identity. Some properties of the Gelfand-Tsetlin basis are derived via an algorithm for solving certain equations on the lattice of semistandard Young tableaux.

Two standard invariants used to study the fundamental group G of the complement X of a hyperplane arrangement are the Malcev completion of G and the cohomology groups of X with coefficients in rank one local systems. In this paper, we develop a tool that unifies these two approaches. This tool is the Malcev completion S_p of G relative to a homomorphism p from G into (C^*)^N. This is a prosolvable group that is tightly controlled by the cohomology groups of X with coefficients in rank one local systems. The prounipotent radical U_p of the relative completion S_p corresponds to a pronilpotent Lie algebra u_p. We provide an example of a hyperplane complement X for which this algebra is not quadratically presented. In addition, we show that if X is a hyperplane complement and Y is a subtorus of the character torus, then S_p is combinatorially determined for general p in Y. Finally, we show that the relative completion S_p is generally constant over subvarieties of the character torus.

We discover an explicit expansion formula for the powers $s$ of the Euler Product (or Dedekind $η$-function) in terms of hook lengths of partitions, where the exponent $s$ is any complex number. Several classical formulas have been derived for certain integers $s$ by Euler, Jacobi, Klein, Fricke, Atkin, Winquist, Dyson and Macdonald. In particular, Macdonald obtained expansion formulas for the integer exponents $s$ for which there exists a semi-simple Lie algebra of dimension $s$. For the type $A_l^{(a)}$ he has expressed the $(t^2-1)$-st power of the Euler Product as a sum of weighted integer vectors of length $t$ for any integer $t$. Kostant has considered the general case for any positive integer $s$ and obtained further properties. ----- The present paper proposes a new approach. We convert the weighted vectors of length $t$ used by Macdonald in his identity for type $A_l^{(a)}$ to weighted partitions with free parameter $t$, so that a new identity on the latter combinatorial structures can be derived without any restrictions on $t$. The surprise is that the weighted partitions have a very simple form in terms of hook lengths of partitions. As applications of our formula, we find some new identities about hook lengths, including the "marked hook formula". We also improve a result due to Kostant. The proof of the Main Theorem is based on Macdonald's identity for $A_l^{(a)}$ and on the properties of a bijection between $t$-cores and integer vectors constructed by Garvan, Kim and Stanton.

We define the cluster algebra associated with the Q-system for the Kirillov-Reshetikhin characters of the quantum affine algebra $U_q(\hat{\g})$ for any simple Lie algebra g, generalizing the simply-laced case treated in [Kedem 2007]. We describe some special properties of this cluster algebra, and explain its relation to the deformed Q-systems which appeared on our proof of the combinatorial-KR conjecture. We prove that the polynomiality of the cluster variables in terms of the ``initial cluster seeds'', including solutions of the Q-system, is a consequence of the Laurent phenomenon and the boundary conditions. We also give a formulation of both Q-systems and generalized T-systems as cluster algebras with coefficients. This provides a proof of the polynomiality of solutions of generalized T-systems with appropriate boundary conditions.

The Littelmann path moel gives a realization of the crystals of integrable representations of symmetrizable Kac-Moody Lie algebras. Recent work of Gaussent-Littelmann and others has demonstrated a connection between this model and the geometry of the loop Grassmannian. The alcove walk model is a version of the path model which is intimately connected to the combinatorics of the affine Hecke algebra. In this paper we define a refined alcove walk model which encodes the points of the affine flag variety. We show that this combinatorial indexing naturally indexes the "cells" in generalized Mirkovic-Vilonen intersections.

We show that Lusztig's conjecture on the irreducible characters of a reductive algebraic group over a field of positive characteristic is equivalent to the generic multiplicity conjecture, which gives a formula for the Jordan-H"older multiplicities of baby Verma modules over the corresponding Lie algebra. Then we give a short overview of a recent proof of the latter conjecture for almost all base fields via the theory of sheaves on moment graphs.

In this paper we discuss the "Factorization phenomenon" which occurs when a representation of a Lie algebra is restricted to a subalgebra, and the result factors into a tensor product of smaller representations of the subalgebra. We analyze this phenomenon for symmetrizable Kac-Moody algebras (including finite-dimensional, semi-simple Lie algebras). We present a few factorization results for a general embedding of a symmetrizable Kac-Moody algebra into another and provide an algebraic explanation for such a phenomenon using Spin construction. We also give some application of these results for semi-simple finite dimensional Lie algebras. We extend the notion of Spin functor from finite-dimensional to symmetrizable Kac-Moody algebras, which requires a very delicate treatment. We introduce a certain category of orthogonal $\g$-representations for which, surprisingly, the Spin functor gives a $\g$-representation in Bernstein-Gelfand-Gelfand category $Ø$. Also, for an integrable representation $\Spin$ produces an integrable representation. We give the formula for the character of Spin representation for the above category and work out the factorization results for an embedding of a finite dimensional semi-simple Lie algebra into its untwisted affine Lie algebra. Finally, we discuss classification of those representations for which $\Spin$ is irreducible.

In this paper we give a direct proof of the equality of certain generating function associated with tensor product multiplicities of Kirillov-Reshetikhin modules for each simple Lie algebra g. Together with the theorems of Nakajima and Hernandez, this gives the proof of the combinatorial version of the Kirillov-Reshetikhin conjecture, which gives tensor product multiplicities in terms of restricted fermionic summations.

We describe various combinatorial aspects of the Birkhoff-Connes-Kreimer factorization in perturbative renormalisation. The analog of Bogoliubov's preparation map on the Lie algebra of Feynman graphs is identified with the pre-Lie Magnus expansion. Our results apply to any connected filtered Hopf algebra, based on the pro-nilpotency of the Lie algebra of infinitesimal characters.

We introduce a class of Schur type functions associated with polynomial sequences of binomial type. This can be regarded as a generalization of the ordinary Schur functions and the factorial Schur functions. This generalization satisfies some interesting expansion formulas, in which there is a curious duality. Moreover this class includes examples which are useful to describe the eigenvalues of Capelli type central elements of the universal enveloping algebras of classical Lie algebras.

A new q-binomial theorem for Macdonald polynomials is employed to prove an A_n analogue of the celebrated Selberg integral. This confirms the g=A_n case of a conjecture by Mukhin and Varchenko concerning the existence of a Selberg integral for every simple Lie algebra g.

The pre-Lie operad can be realized as a space T of labelled rooted trees. A result of F. Chapoton shows that the pre-Lie operad is a free twisted Lie algebra. That is, the S-module T is obtained as the plethysm of the S-module Lie with an S-module F. In the context of species, we construct an explicit basis of F. This allows us to give a new proof of Chapoton's results. Moreover it permits us to show that F forms a sub nonsymmetric operad of the pre-Lie operad T.

For a rank two root system and a pair of nonnegative integers, using only elementary combinatorics we construct two posets. The constructions are uniform across the root systems A1+A1, A2, C2, and G2. Examples appear in Figures 3.2 and 3.3. We then form the distributive lattices of order ideals of these posets. Corollary 5.4 gives elegant quotient-of-products expressions for the rank generating functions of these lattices (thereby providing answers to a 1979 question of Stanley). Also, Theorem 5.3 describes how these lattices provide a new combinatorial setting for the Weyl characters of representations of rank two semisimple Lie algebras. Most of these lattices are new; the rest of them (or related structures) have arisen in work of Stanley, Kashiwara, Nakashima, Littelmann, and Molev. In a future paper, one author shows that the posets constructed here form a Dynkin diagram-indexed answer to a combinatorially posed classification question. In a companion paper, some of these lattices are used to explicitly construct some representations of rank two semisimple Lie algebras. This implies that these lattices are strongly Sperner.

The aim of this note is to introduce a compound basis for the space of symmetric functions. Our basis consists of products of Schur functions and $Q$-functions. The basis elements are indexed by the partitions. It is well known that the Schur functions form an orthonormal basis for our space. A natural question arises. How are these two bases connected? In this note we present some numerical results of the transition matrix for these bases. In particular we will see that the determinant of the transition matrix is a power of 2. This is not a surprising fact. However the explicit formula involves an interesting combinatorial feature. Our compound basis comes from the twisted homogeneous realization of the basic representation of the affine Lie algebras. This note is not written in a standard style of mathematical articles. It is more like a draft of a talk. In particular proofs are not given here. Details and proofs will be published elsewhere.

Dendriform structures arise naturally in algebraic combinatorics (where they allow, for example, the splitting of the shuffle product into two pieces) and through Rota-Baxter algebra structures (the latter appear, among others, in differential systems and in the renormalization process of pQFT). We prove new combinatorial identities in dendriform dialgebras that appear to be strongly related to classical phenomena, such as the combinatorics of Lyndon words, rewriting rules in Lie algebras, or the fine structure of the Malvenuto-Reutenauer algebra. One of these identities is an abstract noncommutative, dendriform, generalization of the Bohnenblust-Spitzer identity and of an identity involving iterated Chen integrals due to C.S. Lam.