arXiv++ Combinatorics

We define, for each subset $S$ of primes, an $S_n$-module $Lie_n^S$ with interesting properties. When $S=\emptyset,$ this is the well-known representation $Lie_n$ of $S_n$ afforded by the free Lie algebra. The most intriguing case is $S=\{2\},$ giving a decomposition of the regular representation as a sum of {exterior} powers of modules $Lie_n^{(2)}.$ This is in contrast to the theorems of Poincaré-Birkhoff-Witt and Thrall which decompose the regular representation into a sum of symmetrised $Lie$ modules. We show that nearly every known property of $Lie_n$ has a counterpart for the module $Lie_n^{(2)},$ suggesting connections to the cohomology of configuration spaces via the character formulas of Sundaram and Welker, to the Eulerian idempotents of Gerstenhaber and Schack, and to the Hodge decomposition of the complex of injective words arising from Hochschild homology, due to Hanlon and Hersh. For arbitrary $S,$ the symmetric and exterior powers of the module $Lie_n^S$ allow us to deduce Schur positivity for a new class of multiplicity-free sums of power sums.

Let $\mathfrak{g}$ be a finite-dimensional simple complex Lie algebra. A layer sum is introduced as the sum of formal exponentials of the distinct weights appearing in an irreducible $\mathfrak{g}$-module. It is argued that the character of every finite-dimensional irreducible $\mathfrak{g}$-module admits a decomposition in terms of layer sums, with only non-negative integer coefficients. Ensuing results include a new approach to the computation of Weyl characters and weight multiplicities, and a closed-form expression for the number of distinct weights in a finite-dimensional irreducible $\mathfrak{g}$-module. The latter is given by a polynomial in the Dynkin labels, of degree equal to the rank of $\mathfrak{g}$.

We utilize the technique of staircases and jagged partitions to provide analytic sum-sides to some old and new partition identities of Rogers-Ramanujan type. Firstly, we conjecture a class of new partition identities related to the principally specialized characters of certain level $2$ modules for the affine Lie algebra $A_9^{(2)}$. Secondly, we provide analytic sum-sides to some earlier conjectures of the authors. Next, we use these analytic sum-sides to discover a number of further generalizations. Lastly, we apply this technique to the well-known Capparelli identities and present analytic sum-sides which we believe to be new. All of the new conjectures presented in this article are supported by a strong mathematical evidence.

We consider the conjugation-action of the Borel subgroup of the symplectic or the orthogonal group on the variety of nilpotent complex elements of nilpotency degree $2$ in its Lie algebra. We translate the setup to a representation-theoretic context in the language of a symmetric quiver algebra. This makes it possible to provide a parametrization of the orbits via a combinatorial tool that we call symplectic/orthogonal oriented link patterns. We deduce information about numerology. We then generalize these classifications to standard parabolic subgroups for all classical groups. Finally, our results are restricted to the nilradical.

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$.

Given a real $n \times m$ matrix $B$, its operator norm can be defined as $$|B|=\max_{|v|=1}|Bv|.$$ We consider a matrix "small" if it has non-negative integer entries and its operator norm is less than $2$. These matrices correspond to bipartite graphs with spectral radius less than $2$, which can be classified as disjoint unions of Coxeter graphs. This gives a direct route to an $ADE$-classification result in terms of very basic mathematical objects. Our goal here is to see these results as part of a general program of classification of small objects, relating quadratic forms, reflection groups, root systems, and Lie algebras.

Flag varieties are well-known algebraic varieties with many important geometric, combinatorial, and representation theoretic properties. A Hessenberg variety is a subvariety of a flag variety identified by two parameters: an element $X$ of the Lie algebra $\mathfrak{g}$ and a Hessenberg subspace $H\subseteq \mathfrak{g}$. This paper considers when two Hessenberg spaces define the same Hessenberg variety when paired with $X$. To answer this question we present the containment poset $\mathcal{P}_X$ of type $A$ Hessenberg varieties with a fixed first parameter $X$ and prove directly that if $X$ is not a multiple of the element $\bf 1$ then the Hessenberg spaces containing the Borel subalgebra determine distinct Hessenberg varieties. Lastly we give a natural involution on $\mathcal{P}_X$ that induces a homeomorphism of varieties and prove additional properties of $\mathcal{P}_X$ when $X$ is a regular nilpotent element.

The real vector space of non-oriented graphs is known to carry a differential graded Lie algebra structure. Cocycles in the Kontsevich graph complex, expressed using formal sums of graphs on $n$ vertices and $2n-2$ edges, induce -- under the orientation mapping -- infinitesimal symmetries of classical Poisson structures on arbitrary finite-dimensional affine real manifolds. Willwacher has stated the existence of a nontrivial cocycle that contains the $(2\ell+1)$-wheel graph with a nonzero coefficient at every $\ell\in\mathbb{N}$. We present detailed calculations of the differential of graphs; for the tetrahedron and pentagon-wheel cocycles, consisting at $\ell = 1$ and $\ell = 2$ of one and two graphs respectively, the cocycle condition $d(γ) = 0$ is verified by hand. For the next, heptagon-wheel cocycle (known to exist at $\ell = 3$), we provide an explicit representative: it consists of 46 graphs on 8 vertices and 14 edges.

We initiate a study of the representation of the symmetric group on the multilinear component of an $n$-ary generalization of the free Lie algebra, which we call a free LAnKe. Our central result is that the representation of the symmetric group $S_{2n-1}$ on the multilinear component of the free LAnKe with $2n-1$ generators is given by an irreducible representation whose dimension is the $n$th Catalan number. This leads to a more general result on eigenspaces of a certain linear operator, which has additional consequences. We also obtain a new presentation of Specht modules of staircase shape as a consequence of our central result.

We define a subclass of Hessenberg varieties called abelian Hessenberg varieties, inspired by the theory of abelian ideals in a Lie algebra developed by Kostant and Peterson. We give an inductive formula for the $S_n$-representation on the cohomology of an abelian regular semisimple Hessenberg variety with respect to the action defined by Tymoczko. Our result implies that a graded version of the Stanley-Stembridge conjecture holds in the abelian case, and generalizes results obtained by Shareshian-Wachs and Teff. Our proof uses previous work of Stanley, Gasharov, Shareshian-Wachs, and Brosnan-Chow, as well as results of the second author on the geometry and combinatorics of Hessenberg varieties. As part of our arguments, we obtain inductive formulas for the Poincaré polynomials of regular abelian Hessenberg varieties.

The absolute value of the coefficient of $q$ in the chromatic polynomial of a graph $G$ is known as the chromatic discriminant of $G$ and is denoted $α(G)$. There is a well known recurrence formula for $α(G)$ that comes from the deletion-contraction rule for the chromatic polynomial. In this paper we prove another recurrence formula for $α(G)$ that comes from the theory of Kac-Moody Lie algebras. We start with a brief survey on many interesting algebraic and combinatorial interpretations of $α(G)$. We use two of these interpretations (in terms of acyclic orientations and spanning trees) to give two bijective proofs for our recurrence formula of $α(G)$.

In 2005 J.L. Waldspurger proved the following theorem: given a finite real reflection group $W$, the closed positive root cone is tiled by the images of the open weight cone under the action of the linear transformations $id-w$. Shortly thereafter E. Meinrencken extended the result to affine Weyl groups. P.V. Bibikov and V.S. Zhgoon then gave a uniform proof for a discrete reflection group acting on a simply-connected space of constant curvature. In this paper we show that the Waldspurger and Meinrenken theorems of type A give a new perspective on the combinatorics of the symmetric group. In particular, for each permutation matrix $w \in \mathfrak{S}_n$ we define a non-negative integer matrix $\mathbf{WT}(w)$, called the Waldspurger transform of $w$. The definition of the matrix $\mathbf{WT}(w)$ is purely combinatorial but its columns are the images of the fundamental weights under the action of $id-w$, expressed in simple root coordinates. The possible columns of $\mathbf{WT}(w)$ (which we call UM vectors) are in bijection with many interesting structures including: unimodal Motzkin paths, abelian ideals in nilradical of the Lie algebra $\mathfrak{sl}_n(\mathbb{C})$, Young diagrams with maximum hook length $n$, and integer points inside a certain polytope. We show that the sum of the entries of $\mathbf{WT}(w)$ is equal to half the entropy of the corresponding permutation $w$, which is known to equal the rank of $w$ in the Dedekind-MacNeille completion of the Bruhat order. Inspired by this, we extend the Waldpurger transform $\mathbf{WT}(M)$ to alternating sign matrices $M$ and give an intrinsic characterization of the image. This provides a geometric realization of Dedekind-MacNeille completion of the Bruhat order (a.k.a. the lattice of alternating sign matrices).

We give a purely combinatorial proof of the positivity of the stabilized forms of the generalized exponents associated to each classical root system. In finite type A_{n-1}, we rederive the description of the generalized exponents in terms of crystal graphs without using the combinatorics of semistandard tableaux or the charge statistic. In finite type C_n, we obtain a combinatorial description of the generalized exponents based on the so-called distinguished vertices in crystals of type A_{2n-1}, which we also connect to symplectic King tableaux. This gives a combinatorial proof of the positivity of Lusztig t-analogues associated to zero weight spaces in the irreducible representations of symplectic Lie algebras. We also present three applications of our combinatorial formula, and discuss some implications to relating two type C branching rules. Our methods are expected to extend to the orthogonal types.

In this paper we consider partial linear spaces induced on the point set of a polar space, but with as lines the hyperbolic lines of this polar space. We give some geometric characterizations of these and related spaces. The results have applications in group theory, in the theory of Lie algebras and in graph theory.

In this paper, we study the classical and pre-Lie Magnus expansions, discussing how we can find a recursion for the pre-Lie case which already incorporates the pre-Lie identity. We give a combinatorial vision of a numerical method proposed by S. Blanes, F. Casas, and J. Ros, on a writing of the classical Magnus expansion in a free Lie algebra, using a pre-Lie structure.

We study ideals in Hall algebras of monoid representations on pointed sets corresponding to certain conditions on the representations. These conditions include the property that the monoid act via partial permutations, that the representation possess a compatible grading, and conditions on the support of the module. Quotients by these ideals lead to combinatorial Hopf algebras which can be interpreted as Hall algebras of certain sub-categories of modules. In the case of the free commutative monoid on n generators, we obtain a co-commutative Hopf algebra structure on $n$-dimensional skew shapes, whose underlying associative product amounts to a "stacking" operation on the skew shapes. The primitive elements of this Hopf algebra correspond to connected skew shapes, and form a graded Lie algebra by anti-symmetrizing the associative product. We interpret this Hopf algebra as the Hall algebra of a certain category of coherent torsion sheaves on $\mathbb{A}_{/ \mathbb{F}_1}^n$ supported at the origin, where $\mathbb{F}_1$ denotes the field of one element. This Hopf algebra may be viewed as an $n$-dimensional generalization of the Hopf algebra of symmetric functions, which corresponds to the case $n=1$.

From the datum of an integer partition and a classical Lie algebra, one can define a Markov chain on an associated multiplicative graph. For each classical family A, C, B, D, we thus obtain a sequence of Markov chain which is indexed by the rank of the considered algebra. In this article we show that, for each type, the transition kernel of the Markov chain has a limit when the rank tends to infinity. Moreover, the limit kernel does not depend on the considered type.

The weight multiplicities of finite dimensional simple Lie algebras can be computed individually using various methods. Still, it is hard to derive explicit closed formulas. Similarly, explicit closed formulas for the multiplicities of maximal weights of affine Kac--Moody algebras are not known in most cases. In this paper, we study weight multiplicities for both finite and affine cases of classical types for certain infinite families of highest weights modules. We introduce new classes of Young tableaux, called the {\em $($spin$)$ rigid tableaux}, and prove that they are equinumerous to the weight multiplicities of the highest weight modules under our consideration. These new classes of Young tableaux arise from crystal basis elements for dominant maximal weights of the integrable highest weight modules over affine Kac--Moody algebras. By applying combinatorics of tableaux such as the Robinson--Schensted algorithm and new insertion schemes, and using integrals over orthogonal groups, we reveal hidden structures in the sets of weight multiplicities and obtain explicit closed formulas for the weight multiplicities. In particular we show that some special families of weight multiplicities form the Pascal, Catalan, Motzkin, Riordan and Bessel triangles.

The aim of this paper is to bring together the three objects in the title. Recall that, given a Lie algebra $\mathfrak{g}$, the Eulerian idempotent is a canonical projection from the enveloping algebra $U(\mathfrak{g})$ to $\mathfrak{g}$. The Baker-Campbell-Hausdorff product and the Magnus expansion can both be expressed in terms of the Eulerian idempotent, which makes it interesting to establish explicit formulas for the latter. We show how to reduce the computation of the Eulerian idempotent to the computation of a logarithm in a certain pre-Lie algebra of planar, binary, rooted trees. The problem of finding formulas for the pre-Lie logarithm, which is interesting in its own right -- being related to operad theory, numerical analysis and renormalization -- is addressed using techniques inspired by umbral calculus. As a consequence of our analysis, we find formulas both for the Eulerian idempotent and the pre-Lie logarithm in terms of the combinatorics of trees.

Kashiwara's crystal graphs have a natural monoid structure that arises by identifying words labelling vertices that appear in the same position of isomorphic components. The celebrated plactic monoid (the monoid of Young tableaux), arises in this way from the crystal graph for the $q$-analogue of the general linear Lie algebra $\mathfrak{gl}_{n}$, and the so-called Kashiwara operators interact beautifully with the combinatorics of Young tableaux and with the Robinson--Schensted--Knuth correspondence. The authors previously constructed an analogous `quasi-crystal' structure for the related hypoplactic monoid (the monoid of quasi-ribbon tableaux), which has similarly neat combinatorial properties. This paper constructs an analogous `crystal-type' structure for the sylvester and Baxter monoids (the monoids of binary search trees and pairs of twin binary search trees, respectively). Both monoids are shown to arise from this structure just as the plactic monoid does from the usual crystal graph. The interaction of the structure with the sylvester and Baxter versions of the Robinson-Schensted-Knuth correspondence is studied. The structure is then applied to prove results on the number of factorizations of elements of these monoids, and to prove that both monoids satisfy non-trivial identities.