arXiv++ Combinatorics

The $t=0$ specialization of the Mimachi-Noumi Cauchy-type identity rewrites certain infinite product in terms of specialized nonsymmetric Macdonald polynomials of type $GL_n$. We interpret the infinite product as a character of the space of functions on a certain matrix space. We show that the space of functions admits a filtration such that the graded pieces are isomorphic to the tensor products of certain generalized global Weyl modules of the Iwahori algebra. We identify the characters of the graded pieces with the terms of the specialized Mimachi-Noumi formula. We conjecture the existence of an analogous filtration on the space of functions on the Iwahori group for all simple Lie algebras and prove the conjecture for $SL_n$. Our construction can be seen as a current algebra extension of the van der Kallen filtration on functions on a Borel subgroup.

We describe recent achievements in the theory of weight systems, which are functions on chord diagrams satisfying so-called $4$-term relations. Our main attention is devoted to constructions of weight systems. The two main sources of these constructions that are discussed in the paper are invariants of intersection graphs of chord diagrams that satisfy $4$-term relations for graphs and metrized Lie algebras. For the simplest nontrivial metrized Lie algebra $\mathfrak {sl}(2)$, we present recent results about the explicit form of generating functions for the values of the corresponding weight system on important families of chord diagrams. We also explain another recent result: construction of recurrence relations for computing the values of the $\mathfrak{gl}(N)$-weight system. These relations are based on M. Kazarian's extension of the $\mathfrak{gl}(N)$-weight system to arbitrary permutations. Certain recent papers suggest an approach to extending weight systems and graph invariants to arbitrary embedded graphs, which is based on the study of the corresponding Hopf algebra structures; we describe this approach. Weight systems defined on arbitrary embedded graphs correspond to finite type invariants of links (multicomponent knots).

We define a virtual cactus group and show that the cactus group action on Littelmann paths is compatible with the virtualization map defined by Pan-Scrimshaw \cite{PS18}. Our definition generalizes the group with the same name defined for the symplectic Lie algebra by the author in joint work with O. Azenhas and M. Tarighat-Feller.

In this note we conjecture Rogers-Ramanujan type colored partition identities for an array with odd number of rows w such that the first and the last row consist of even positive integers. In a strange way this is different from the partition identities for the array with odd number of rows w such that the first and the last row consist of odd positive integers -- the partition identities conjectured by S. Capparelli, A. Meurman, A. Primc and the author and related to standard representations of the affine Lie algebra of type $C^{(1)}_\ell$ for $w=2\ell+1$. The conjecture is based on numerical evidence.

For an affine Lie algebra $\hat{\mathfrak g}$ the coefficients of certain vertex operators which annihilate level $k$ standard $\hat{\mathfrak g}$-modules are the defining relations for level $k$ standard modules. In this paper we study a combinatorial structure of the leading terms of these relations for level $k=2$ standard $\hat{\mathfrak g}$-modules for affine Lie algebras of type $C_{n}\sp{(1)}$ and the main result is a construction of combinatorially parameterized relations among the coefficients of annihilating fields. It is believed that the constructed relations among relations will play a key role in a construction of Groebner-like basis of the maximal ideal of the universal vertex operator algebra $V^ k_{\mathfrak g}$ for $k=2$.

In this paper, we consider polyhedral realizations for crystal bases $B(λ)$ of irreducible integrable highest weight modules of a quantized enveloping algebra $U_q(\mathfrak{g})$, where $\mathfrak{g}$ is a classical affine Lie algebra of type ${\rm A}^{(1)}_{n-1}$, ${\rm C}^{(1)}_{n-1}$, ${\rm A}^{(2)}_{2n-2}$ or ${\rm D}^{(2)}_{n}$. We will give explicit forms of polyhedral realizations in terms of extended Young diagrams or Young walls that appear in the representation theory of quantized enveloping algebras of classical affine type. As an application, a combinatorial description of $\varepsilon_k^*$ functions on $B(\infty)$ will be given.

The hypoplactic monoid was introduced by Krob and Thibon through a presentation and through quasi-ribbon tableaux and an insertion algorithm. Just as Kashiwara crystals enriched the structure of the plactic monoid and allowed its generalization, the first and third authors of this paper introduced a construction of the hypoplactic monoid by identifying vertices in a quasi-crystal graph derived from the crystal graph associated to the general linear Lie algebra. Although this construction is based on Kashiwara's work, it cannot be extended to other crystal graphs, since the analogous quasi-Kashiwara operators on words do not admit a recursive definition. This paper addresses these issues. A general notion of quasi-crystal is introduced, followed by a study of its properties and relation with crystals. A combinatorial study of quasi-crystals is then made by associating a quasi-crystal graph to each quasi-crystal, which for the class of seminormal quasi-crystals results in a one-to-one correspondence. To model the binary operation of the hypoplactic monoid by quasi-crystals, a notion of quasi-tensor product of quasi-crystals is introduced, along with a combinatorial way of computing it similar to the signature rule for the tensor product of crystals. This framework allows the generalization of the classical hypoplactic monoid to a family of hypoplactic monoids associated to the various simple Lie algebras. The quasi-crystal structure is then used to establish algebraic properties of the hypoplactic monoid associated to the symplectic Lie algebra.

We describe a procedure to attach a nilpotent strong homotopy Lie algebra to every simple hypergraph and prove that two hypergraphs are isomorphic if and only if the corresponding strong homotopy Lie algebras are isomorphic. As an application, we characterize hypergraphs admitting a system of distinct representatives in terms of symplectic forms on the corresponding strong homotopy Lie algebra. We conclude with a combinatorial description of the cohomology of these strong homotopy Lie algebras in low degree.

Given an arbitrary choice of two sets of nonzero Boltzmann weights for $n$-color lattice models, we provide explicit algebraic conditions on these Boltzmann weights which guarantee a solution (i.e., a third set of weights) to the Yang-Baxter equation. Furthermore we provide an explicit one-dimensional parametrization of all solutions in this case. These $n$-color lattice models are so named because their admissible vertices have adjacent edges labeled by one of $n$ colors with additional restrictions. The two-colored case specializes to the six-vertex model, in which case our results recover the familiar quadric condition of Baxter for solvability. The general $n$-color case includes important solutions to the Yang-Baxter equation like the evaluation modules for the quantum affine Lie algebra $U_q(\hat{\mathfrak{sl}}_n)$. Finally, we demonstrate the invariance of this class of solutions under natural transformations, including those associated with Drinfeld twisting.

The full Kostant-Toda (f-KT) lattice is a natural generalization of the classical tridiagonal Toda lattice. We study singular structure of solutions of the f-KT lattices defined on simple Lie algebras in two different ways: through the $τ$-functions and through the Kowalevski-Painlevé analysis. The $τ$-function formalism relies on and is equivalent to the representation theory of the underlying Lie algebras, while the Kowalevski-Painlevé analysis is representation independent and we are able to characterize all the terms in the Laurent series solutions of the f-KT lattices via the structure theory of the Lie algebras. Through the above analysis we compactify the initial condition spaces of f-KT lattice by the corresponding flag varieties, that is fixing the spectral parameters which are invariant under the f-KT flows, we build a one to one correspondence between solutions of the f-KT lattices and points in the corresponding flag varieties. As all the important characters we obtain in the Kowalevski-Painlevé analysis are integral valued, results in this paper are valid in any field containing the rational field.

We identify the free half shuffle algebra of Schützenberger (1958) with an algebra of real-valued functionals on paths, where the half shuffle emulates integration of a functional against another. We then provide two, to our knowledge, new identities in arity 3 involving its commutator (area), and show that these are sufficient to recover the Zinbiel and Tortkara identities of Dzhumadil'daev (2007). We use these identities to prove that any element of the free half shuffle algebra can be expressed as a polynomial over iterated areas. Moreover, we consider minimal sets of iterated integrals defined through the recursive application of the half shuffle on Hall trees. Leveraging the duality between this set of Hall integrals and classical Hall bases of the free Lie algebra, we prove using combinatorial arguments that any element of the free half shuffle algebra can be written uniquely as a polynomial over Hall integrals. We interpret this result as a structure theorem for streamed information, loosely analogous to the unique prime factorisation of integers, allowing to split any real valued function on streamed data into two parts: a first that extracts and packages the streamed information into recursively defined atomic objects (Hall integrals), and a second that evaluates a polynomial function in these objects without further reference to the original stream. The question of whether a similar result holds if Hall integrals are replaced by Hall areas is left as an open conjecture. Finally, we construct a canonical, but to our knowledge, new decomposition of the free half shuffle algebra as shuffle power series in the greatest letter of the original alphabet with coefficients in a sub-algebra freely generated by a new alphabet with an infinite number of letters. We use this construction to provide a second proof of our structure theorem.

Chess tableaux are a special kind of standard Young tableaux where, in the chessboard coloring of the Young diagram, even numbers always appear in white cells and odd numbers in black cells. If, for $λ$ a partition of $n$, $\text{Chess}(λ)$ denotes the number of chess tableaux of shape $λ$, then Chow, Eriksson and Fan observed that $\displaystyle\sum_{λ\vdash n} \text{Chess}(λ)^2$ is divisible by unusually large powers of $2$. In this paper, we give an explanation for this phenomenon, proving a lower bound of $n-O(\sqrt{n})$ for the $2$-adic valuation of this sum and a generalization of it. We do this by exploiting a connection with a certain representation of the affine Lie algebra $\widehat{\mathfrak{sl}_2}$ on the vector space with basis indexed by partitions. Our result about chess tableaux then follows from a study of the basic representation of $\widehat{\mathfrak{sl}_2}$ with coefficients taken from the ring of rational numbers with odd denominators.

Let $G$ be a non-compact classical semisimple Lie group and let $G/V$ be the adjoint orbit with respect to a fixed element in $G$. These manifolds can be equipped with an almost-Kähler structure and we provide explicit formulae for the existence of special almost-complex structures on $G/V$ purely in terms of the combinatorics of the associated Vogan diagram. The formulae are given separately for Lie groups whose Lie algebras are of type $A_{\ell}$, $B_{\ell}$, $C_{\ell}$, $D_{\ell}$, where $\ell$ denotes the rank of the Lie algebra.

By interpreting Kostka numbers as tensor product multiplicities in the BGG category O for the special linear Lie algebras, we provide a new proof of the classical Jacobi--Trudi identities for skew Schur polynomials, derived from the celebrated Weyl character formula. We re-establish the Schur positivity of certain truncations in the Jacobi--Trudi expansion of skew Schur polynomials and obtain Schur positivity results for similar truncations in the Jacobi--Trudi-type expansion of the product of two Schur polynomials. Furthermore, we interpret the coefficients in the Schur polynomial expansions of these Jacobi--Trudi truncations as tensor product multiplicities in the BGG category O.

It is known that there exists an order isomorphism between the Weyl group orbit through a minuscule weight of a simply-laced finite-dimensional simple Lie algebra and the set of all order filters in a self-dual connected d-complete poset. In this paper, we try to extend this fact to the case of multiply-laced finite-dimensional simple Lie algebras by using the "folding" technique with respect to a Dynkin diagram automorphism.

We provide an observation relating several known and conjectured $q$-series identities to the theory of principal subspaces of basic modules for twisted affine Lie algebras. We also state and prove two new families of $q$-series identities. The first family provides quadruple sum representations for Nandi's identities, including a manifestly positive representation for the first identity. The second is a family of new mod 10 identities connected with principal characters of level 4 integrable, highest-weight modules of $\mathrm{D}_4^{(3)}$.

Diagrammatic notation has become a ubiquitous computational tool; early examples include Penrose's graphical notation for tensor calculus, Feynman's diagrams for perturbative quantum field theory, and Cvitanovic's birdtracks for Lie algebras. Category theory provides a robust framework in which to understand the nature of such diagrams, and Joyal and Street formalized this framework by introducing string diagrams, governed by the syntax of monoidal 1-categories. The notion of "manifold diagrams" generalizes string diagrams to higher dimensions, and can be interpreted in higher-categorical terms by a process of geometric dualization. The closely related notion of "tame tangles" describes a well-behaved class of embedded manifolds that can likewise be interpreted categorically. In this paper we formally introduce the notions of manifold diagrams and of tame tangles, and show that they admit a combinatorial classification, by using results from the toolbox of framed combinatorial topology. We then study the stability of tame tangles under perturbation; the local forms of perturbation stable tame tangles provide combinatorial models of differential singularities. As an illustration we describe various such combinatorial singularities in low dimensions. We conclude by observing that all smooth 4-manifolds can be presented as tame tangles, and conjecture that the same is true for smooth manifolds of any dimension.

A $(2k+1)-$dimensional Lie algebra is called contact if it admits a one-form $\varphi$ such that $\varphi\wedge(d\varphi)^k\neq 0.$ Here, we extend recent work to describe a combinatorial procedure for generating contact, type-A Lie poset algebras whose associated posets have chains of arbitrary cardinality, and we conjecture that our construction leads to a complete characterization.

We continue our study and classification of structures on the Fano plane ${\cal F}$ and its dual ${\cal F}^\ast$ involved in the construction of octonions and the Lie algebra $\mathfrak g_2 (\mathbb F)$ over a field $\mathbb F$. These are a "composition factor": ${\cal F}\times {\cal F} \to\{-1, 1\}$, inducing an octonion multiplication, and a function $δ^\ast : Aut({\cal F}) \times {\cal F}^\ast \to \{-1, 1\}$ such that $g \in Aut({\cal F})$ can be lifted to an automorphism of the octonions iff $δ^\ast(g, \cdot)$ is the Radon transform of a function on ${\cal F}$. We lift the action of $Aut({\cal F})$ on ${\cal F}$ to the action of a non-trivial eight-fold covering $Aut({\cal F})$ on a twofold covering $\hat {\cal F}$ of ${\cal F}$ contained in the octonions. This extends tautologically to an action on the octonions by automorphism. Finally, we associate to incident point-line pairs a generating set of $\mathfrak g_2 (\mathbb F)$ and express brackets in terms of the incidence geometry of ${\cal F}$ and $ε$.

We explicitly realize an internal action of the symplectic cactus group, recently defined by Halacheva for any complex, reductive, finite-dimensional Lie algebra, on crystals of Kashiwara-Nakashima tableaux. Our methods include a symplectic version of jeu de taquin due to Sheats and Lecouvey, symplectic reversal, and virtualization due to Baker. As an application, we define and study a symplectic version of the Berenstein-Kirillov group and show that it is a quotient of the symplectic cactus group. In addition two relations for symplectic Berenstein-Kirillov group are given that do not follow from the defining relations of the symplectic cactus group.