arXiv++ Combinatorics

Bergeron and Ceballos defined a Hopf algebra structure on equivalence classes of subword complexes. We introduce a category of subword complexes, endow it with a proto-exact-like structure, and show that the corresponding dual Hall Hopf algebra is isomorphic to the algebra of Bergeron-Ceballos. We prove that the full subcategory of root-independent objects is proto-abelian in the sense of Dyckerhoff. We give a categorical lift of flips in subword complexes. We consider a version of a category of formal direct sums of subobjects for a root-independent subword complex and interpret it in terms of quivers. If the corresponding quiver is a tree, the category is endowed with a proto-exact structure. We show that its Hall algebra is isomorphic to the Hall algebra of the category of representations of this quiver over $\mathbb{F}_1$. Under certain conditions, a flip corresponds to changing a proto-exact structure while keeping the category the same up to isomorphism, which corresponds to a non-trivial automorphism of the Hall algebra. In type $A$, this leads to a realization of the nilpotent part of the universal enveloping algebra and its automorphisms.

We equip the graded polynomial algebra generated by nonplanar rooted binary trees with a Hopf algebra structure by defining a coproduct which disallows cutting both children of any given vertex, refining Connes-Kreimer's notion of admissible cuts. We show that the terms in this coproduct have an additional combinatorial interpretation in terms of subsets of leaves, which facilitates the construction of Hopf algebra morphisms involving this Hopf algebra, and creates a connection with a Hopf algebra of Bruned used in the renormalization of stochastic processes. Finally, we show that this Hopf algebra is dual to the universal enveloping algebra of a Lie algebra arising from a pre-Lie operator on binary trees based on edge-insertion.

In this paper, we introduce the notion of post-Hopf algebroids, generalizing the pre-Hopf algebroids introduced in [Bronasco, Laurent, 2025] in the study of exotic aromatic S-series. We construct action post-Hopf algebroids through actions of post-Hopf algebras. We show that the universal enveloping algebra of a post-Lie-Rinehart algebra (post-Lie algebroid) is naturally a post-Hopf algebroid. As a byproduct, we construct the free post-Lie-Rinehart algebra using a magma algebra with a linear map to the derivation Lie algebra of a commutative associative algebra. Applications in geometric numerical integration on manifolds are given.

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.

The Naito--Sagaki conjecture asserts that the branching rule for the restriction of finite-dimensional, irreducible polynomial representations of $GL_{2n}(\mathbb{C})$ to $Sp_{2n}(\mathbb{C})$ amounts to the enumeration of certain ``rational paths'' satisfying specific conditions. This conjecture can be thought of as a non-Levi type analog of the Levi type branching rule, stated in terms of the path model due to Littelmann, and was proved combinatorially in 2018 by Schumann--Torres. In this paper, we give a new proof of the Naito--Sagaki conjecture independently of Schumann--Torres, using the branching rule based on the crystal basis theory for $\imath$quantum groups of type $\mathrm{AII}_{2n-1}$. Here, note that $\imath$quantum groups are certain coideal subalgebras of a quantized universal enveloping algebra obtained by $q$-deforming symmetric pairs, and also regarded as a generalization of quantized universal enveloping algebras; these were defined by Letzter in 1999, and since then their representation theory has become an active area of research. The main ingredients of our approach are certain combinatorial operations, such as promotion operators and Kashiwara operators, which are well-suited to the representation theory of complex semisimple Lie algebras.

Recently the notion of post-Hopf algebra was introduced, with the universal enveloping algebra of a post-Lie algebra as the fundamental example. A novel property is that any cocommutative post-Hopf algebra gives rise to a sub-adjacent Hopf algebra with a generalized Grossman-Larson product. By twisting the post-Hopf product, we provide a combinatorial antipode formula for the sub-adjacent Hopf algebra of the universal enveloping algebra of a post-Lie algebra. Relating to such a sub-adjacent Hopf algebra, we also obtain a closed inverse formula for the Oudom-Guin isomorphism in the context of post-Lie algebras. Especially as a byproduct, we derive a cancellation-free antipode formula for the Grossman-Larson Hopf algebra of ordered trees through a concrete tree-grafting expression.

We explicitly provide minimal Gröbner bases for simple, finite-dimensional modules of complex Lie algebras of types A and C, using a homogeneous ordering that is compatible with the PBW filtration on the universal enveloping algebras.

The universal enveloping algebra $U(\mathfrak{sl}_2)$ of $\mathfrak{sl}_2$ is a unital associative algebra over $\mathbb C$ generated by $E,F,H$ subject to the relations \begin{align*} [H,E]=2E, \qquad [H,F]=-2F, \qquad [E,F]=H. \end{align*} The element $$ Λ=EF+FE+\frac{H^2}{2} $$ is called the Casimir element of $U(\mathfrak{sl}_2)$. Let $Δ:U(\mathfrak{sl}_2)\to U(\mathfrak{sl}_2)\otimes U(\mathfrak{sl}_2)$ denote the comultiplication of $U(\mathfrak{sl}_2)$. The universal Hahn algebra $\mathcal H$ is a unital associative algebra over $\mathbb C$ generated by $A,B,C$ and the relations assert that $[A,B]=C$ and each of \begin{align*} [C,A]+2A^2+B, \qquad [B,C]+4BA+2C \end{align*} is central in $\mathcal H$. Inspired by the Clebsch--Gordan coefficients of $U(\mathfrak{sl}_2)$, we discover an algebra homomorphism $\natural:\mathcal H\to U(\mathfrak{sl}_2)\otimes U(\mathfrak{sl}_2)$ that maps \begin{eqnarray*} A &\mapsto & \frac{H\otimes 1-1\otimes H}{4}, \\ B &\mapsto & \frac{Δ(Λ)}{2}, \\ C &\mapsto & E\otimes F-F\otimes E. \end{eqnarray*} By pulling back via $\natural$ any $U(\mathfrak{sl}_2)\otimes U(\mathfrak{sl}_2)$-module can be considered as an $\mathcal H$-module. For any integer $n\geq 0$ there exists a unique $(n+1)$-dimensional irreducible $U(\mathfrak{sl}_2)$-module $L_n$ up to isomorphism. We study the decomposition of the $\mathcal H$-module $L_m\otimes L_n$ for any integers $m,n\geq 0$. We link these results to the Terwilliger algebras of Johnson graphs. We express the dimensions of the Terwilliger algebras of Johnson graphs in terms of binomial coefficients.

The universal enveloping algebra $U(\mathfrak{sl}_2)$ of $\mathfrak{sl}_2$ is a unital associative algebra over $\mathbb C$ generated by $E,F,H$ subject to the relations \begin{align*} [H,E]=2E, \qquad [H,F]=-2F, \qquad [E,F]=H. \end{align*} The distinguished central element $$ Λ=EF+FE+\frac{H^2}{2} $$ is called the Casimir element of $U(\mathfrak{sl}_2)$. The universal Hahn algebra $\mathcal H$ is a unital associative algebra over $\mathbb C$ with generators $A,B,C$ and the relations assert that $[A,B]=C$ and each of \begin{align*} α=[C,A]+2A^2+B, \qquad β=[B,C]+4BA+2C \end{align*} is central in $\mathcal H$. The distinguished central element $$ Ω=4ABA+B^2-C^2-2βA+2(1-α)B $$ is called the Casimir element of $\mathcal H$. By investigating the relationship between the Terwilliger algebras of the hypercube and its halved graph, we discover the algebra homomorphism $\natural:\mathcal H\rightarrow U(\mathfrak{sl}_2)$ that sends \begin{eqnarray*} A &\mapsto & \frac{H}{4}, \\ B & \mapsto & \frac{E^2+F^2+Λ-1}{4}-\frac{H^2}{8}, \\ C & \mapsto & \frac{E^2-F^2}{4}. \end{eqnarray*} We determine the image of $\natural$ and show that the kernel of $\natural$ is the two-sided ideal of $\mathcal H$ generated by $β$ and $16 Ω-24 α+3$. By pulling back via $\natural$ each $U(\mathfrak{sl}_2)$-module can be regarded as an $\mathcal H$-module. For each integer $n\geq 0$ there exists a unique $(n+1)$-dimensional irreducible $U(\mathfrak{sl}_2)$-module $L_n$ up to isomorphism. We show that the $\mathcal H$-module $L_n$ ($n\geq 1$) is a direct sum of two non-isomorphic irreducible $\mathcal H$-modules.

The present paper has been motivated by an aspiration for understanding the weight system corresponding to the Lie algebra $\mathfrak{gl}_N$. The straightforward approach to computing the values of a Lie algebra weight system on a general chord diagram amounts to elaborating calculations in the noncommutative universal enveloping algebra, in spite of the fact that the result belongs to the center of the latter. The first approach is based on a suggestion due to M. Kazarian to define an invariant of permutations taking values in the center of the universal enveloping algebra of $\mathfrak{gl}_N$. The restriction of this invariant to involutions without fixed points (such an involution determines a chord diagram) coincides with the value of the $\mathfrak{gl}_N$ -weight system on this chord diagram. We describe the recursion allowing one to compute the $\mathfrak{gl}_N$ -invariant of permutations and demonstrate how it works in a number of examples. The second approach is based on the Harish-Chandra isomorphism for the Lie algebras $\mathfrak{gl}_N$. This isomorphism identifies the center of the universal enveloping algebra $\mathfrak{gl}_N$ with the ring $Λ^*(N)$ of shifted symmetric polynomials in $N$ variables. The Harish-Chandra projection can be applied separately for each monomial in the defining polynomial of the weight system; as a result, the main body of computations can be done in a commutative algebra, rather than noncommutative one.

The crystal bases are quite useful combinatorial tools to study the representations of quantized universal enveloping algebras $U_q(\mathfrak{g})$. The polyhedral realization for $B(\infty)$ is a combinatorial description of the crystal base, which is defined as an image of embedding $Ψ_ι:B(\infty)\hookrightarrow \mathbb{Z}^{\infty}_ι$, where $ι$ is an infinite sequence of indices and $\mathbb{Z}^{\infty}_ι$ is an infinite $\mathbb{Z}$-lattice with a crystal structure associated with $ι$. It is a natural problem to find an explicit form of the polyhedral realization ${\rm Im}(Ψ_ι)$. In this article, supposing that $\mathfrak{g}$ is of affine type ${\rm A}^{(1)}_{n-1}$, ${\rm C}^{(1)}_{n-1}$, ${\rm A}^{(2)}_{2n-2}$ or ${\rm D}^{(2)}_{n}$ and $ι$ satisfies the condition of `adaptedness', we describe ${\rm Im}(Ψ_ι)$ by using several combinatorial objects such as extended Young diagrams and Young walls.

Each knot invariant can be extended to singular knots according to the skein rule. A Vassiliev invariant of order at most $n$ is defined as a knot invariant that vanishes identically on knots with more than $n$ double points. A chord diagram encodes the order of double points along a singular knot. A Vassiliev invariant of order $n$ gives rise to a function on chord diagrams with $n$ chords. Such a function should satisfy some conditions in order to come from a Vassiliev invariant. A weight system is a function on chord diagrams that satisfies so-called 4-term relations. Given a Lie algebra $\mathfrak{g}$ equipped with a non-degenerate invariant bilinear form, one can construct a weight system with values in the center of the universal enveloping algebra $U(\mathfrak{g})$. In this paper, we calculate $\mathfrak{sl}_3$ weight system for chord diagram whose intersection graph is complete bipartite graph $K_{2,n}$.

In this paper we study the growth of the differential identities of some algebras with derivations, i.e., associative algebras where a Lie algebra $L$ (and its universal enveloping algebra $U(L)$) acts on them by derivations. In particular, we study in detail the differential identities and the cocharacter sequences of some algebras whose sequence of differential codimensions has polynomial growth. Moreover, we shall give a complete description of the differential identities of the algebra $UT_2$ of $2\times 2$ upper triangular matrices endowed with all possible action of a Lie algebra by derivations. Finally, we present the structure of the differential identities of the infinite dimensional Grassmann $G$ with respect to the action of a finite dimensional Lie algebra $L$ of inner derivations.

The crystals for a finite-dimensional complex reductive Lie algebra $\mathfrak{g}$ encode the structure of its representations, yet can also reveal surprising new structure of their own. We study the cactus group $C_{\mathfrak{g}}$, constructed using the Dynkin diagram of $\mathfrak{g}$, and its combinatorial action on any $\mathfrak{g}$-crystal via Schützenberger involutions. We compare this action with that of the Berenstein-Kirillov group on Gelfand-Tsetlin patterns. Henriques and Kamnitzer define an action of $C_n=C_{\mathfrak{gl}_n}$ on $n$-tensor products of $\mathfrak{g}$-crystals, for any $\mathfrak{g}$ as above. We discuss the crystal corresponding to the $\mathfrak{gl}_n \times \mathfrak{gl}_m$-representation $Λ^N(\mathbb{C}^n \otimes \mathbb{C}^m),$ derive skew Howe duality on the crystal level and show that the two types of cactus group actions agree in this setting. A future application of this result is discussed in studying two families of maximal commutative subalgebras of the universal enveloping algebra, the shift of argument and Gaudin algebras, where an algebraically constructed monodromy action matches that of the cactus group.

We study using combinatorial methods the structural coefficients of the formal homogeneous universal enveloping algebra Uh(sl2) of the special linear algebra sl2 over a field of characteristic zero. We provide explicit formulae for the product of generic elements in Uh(sl2), and construct combinatorial objects giving flesh to these formulae.

Quasi-triangular Hopf algebras were introduced by Drinfel'd in his construction of solutions to the Yang--Baxter Equation. This algebra is built upon $\mathcal{U}_h(\mathfrak{sl}_2)$, the quantized universal enveloping algebra of the Lie algebra $\mathfrak{sl}_2$. In this paper, combinatorial structure in $\mathcal{U}_h(\mathfrak{sl}_2)$ is elicited, and used to assist in highly intricate calculations in this algebra. To this end, a combinatorial methodology is formulated for straightening algebraic expressions to a canonical form in the case $n=1$. We apply this formalism to the quasi-triangular Hopf algebras and obtain a constructive account not only for the derivation of the Drinfel'd's $R$-matrix, but also for the arguably mysterious ribbon elements of $\mathcal{U}_h(\mathfrak{sl}_2)$. Finally, we extend these techniques to the higher dimensional algebras $\mathcal{U}_h(\mathfrak{sl}_{n+1})$. While these explicit algebraic results are well-known, our contribution is in our formalism and perspective: our emphasis is on the combinatorial structure of these algebras and how that structure may guide algebraic constructions.

A combinatorial formula for Pfaffian for the universal enveloping algebra of the affine Kac - Moody algebra of even orthogonal Lie algebra is proved. It allows easily to compute the image of this Segal-Sugawara vector under the Harish-Chandra homomorphism and to deduce formulas for classical Pfaffian of universal enveloping algebra of the even orthogonal Lie algebra.

Regular $A_n$-crystals are certain edge-colored directed graphs which are related to representations of the quantized universal enveloping algebra $U_q(\mathfrak{sl}_{n+1})$. For such a crystal $K$ with colors $1,2,...,n$, we consider its maximal connected subcrystals with colors $1,...,n-1$ and with colors $2,...,n$ and characterize the interlacing structure for all pairs of these subcrystals. This is used to give a recursive description of the combinatorial structure of $K$ and develop an efficient procedure of assembling $K$.

All iterated skew polynomial extensions arising from quantized universal enveloping algebras of Kac-Moody algebras are special examples of a very large, axiomatically defined class of algebras, called CGL extensions. For the purposes of constructing initial clusters for quantum cluster algebra structures on an algebra R, and classification of the automorphisms of R, one needs embeddings of R into quantum tori T which have the property that R contains the corresponding quantum affine space algebra A. We explicitly construct such an embedding A \subseteq R \subset T for each CGL extension R using the methods of noncommutative noetherian unique factorization domains and running a Gelfand-Tsetlin type procedure with normal, instead of central elements. Along the way we classify the homogeneous prime elements of all CGL extensions and we prove that each CGL extension R has an associated maximal torus which covers the automorphisms of R corresponding to all normal elements. For symmetric CGL extensions, we describe the relationship between our quantum affine space algebra A and Cauchon's quantum affine space algebra generated by elements obtained via deleting derivations.

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