arXiv++ Combinatorics

Given a pair of complementary subgroups $P$ and $N$ of a finite group $G$, we first discuss how the same type of functions $\mathbb E\colon P\times N\to \mathbb T$, which we call bi-$1$-cocycles, appear naturally in the study of projective representations of $G$ of Heisenberg type and second cohomology of $G$ and of its dual quantum group $\widehat G$. We show then that such representations are irreducible and the corresponding ordinary and dual $2$-cocycles are nondegenerate if and only if the matrix $(\mathbb E(p,n))_{p,n}$ is invertible, if and only if it is Hadamard. We illustrate the result with examples arising from symplectic nilpotent Lie algebras over finite fields with two complementary Lagrangian subalgebras.

The Knizhnik--Zamolodchikov (KZ) connection is defined on the constant bundle determined by $n$ finite-dimensional irreducible representations of a simple Lie algebra $\mathfrak{g}$ and a nonzero complex parameter $κ$, over the configuration space of $n$ distinct points on the affine line. Work of Schechtman--Varchenko and Looijenga shows that, when $κ$ is rational, the resulting local systems admit natural motivic realizations, called KZ motives. The Kazhdan--Lusztig equivalence identifies the local systems underlying these motivic variations with certain representations of the pure braid group arising from the corresponding Lusztig quantum group at a root of unity. We formulate conjectures relating the weight filtrations of KZ motives to structures in quantum-group representation theory, particularly tilting modules and the Jantzen and Andersen filtrations, and provide evidence for these conjectures. Our methods use a new deformation of the representation ring that records the first moments of the weight filtration, together with Schmid's theorem on limiting mixed Hodge structures and results on the Hodge filtration obtained in earlier joint work with S. Mukhopadhyay.

The cactus group acts on tensor products of crystals and, through Bender--Knuth involutions, on semistandard Young tableaux. We show that the big cactus group $J'_n=π_1^{\mathfrak S_n}(\overline M_{0,n}(\mathbb R))$, $n\ge3$, is obtained from the cactus group by imposing $n-1$ Dynkin-reversal relations, which say that conjugation by the full reversal acts on the Bender--Knuth generators by the Dynkin diagram automorphism; the quotient map is induced by forgetting the distinguished marked point. We give a second presentation, in which these relations are replaced by the requirement that every reduced word for the longest element of $\mathfrak S_n$ adapted to an orientation of $A_{n-1}$ represents the full reversal. These relations also hold on rectangular tableaux, where every adapted reduced word therefore acts as evacuation, and on invariant tensors: for finite normal crystals of any complex semisimple Lie algebra, the cactus action on invariants factors through $J'_n$. We prove the latter combinatorially in type $A$ and in general via Gaudin eigenline coverings. Haiman's promotion relation follows from a single adapted-word relation, but for $n\ge4$ it is strictly weaker than the whole family.

In this paper we study the Kleshchev multipartitions that label simple modules of certain cyclotomic Hecke algebras with parameters $1$ and $-1$. The $2$-residue statistic divides these multipartitions into blocks. We deduce a bivariate generating function for the blocks using representation theory. We also relate the generating functions of multipartitions in a fixed block to string functions associated by Kac and Peterson to irreducible highest weight modules of a type $A_1^{(1)}$ affine Lie algebra. By considering matrices formed by these generating functions, we reprove some results of Kac--Peterson on string functions using the Macdonald identities of Rosengren--Schlosser. As an application, we obtain new infinite product formulas for these generating functions.

We formulate a version of Schur--Weyl duality for the current Lie algebra $\mathfrak{gl}_V[x,y]=\mathfrak{gl}_V\otimes\mathbb{C}[x,y]$. Under this duality, the Garsia--Haiman modules of the $N!$-conjecture become cyclic and cocyclic $\mathfrak{gl}_V[x,y]$-modules, and we describe them as iterated fusion and cofusion products of tautological $\mathfrak{gl}_V$-modules. We show that Haiman's $N!$-theorem for a diagram is equivalent to the coincidence of the fusion and the cofusion filtrations on the tensor product of the local Weyl modules attached to its rows, and that the fusion and cofusion products of Garsia--Haiman modules are associative. Let $λ$ and $μ$ be Young diagrams obtained by removing two different corners from the same diagram. We construct an iterated fusion product of $S^2V$ with local Weyl modules, which is a quotient of the common quotient of the Garsia--Haiman modules of $λ$ and $μ$, fits into short exact sequences with each of them, and has Butler's intersection polynomial as its character. This gives a representation-theoretic proof of Butler's conjecture. The same construction gives lower bounds for the dimensions in the $N!/k$-conjecture.

The paper studies the distribution of dimensions of irreducible representations of a finite group and compares them with the sizes of its conjugacy classes. We study these questions for a fixed reductive group over growing finite fields, for $\mathrm{GL}_n(\mathbb{F}_q)$ where $q$ is fixed but $n$ varies, and for the symmetric group $S_n$ as $n$ varies. We also discuss finite nilpotent groups arising from Lie algebras over finite fields. As a consequence of Kirillov theory, we deduce that for ``selfdual'' nilpotent groups whose nilpotency class is less than the characteristic of the field, the squares of the dimensions of irreducible representations match the sizes of conjugacy classes, with multiplicity. These groups thus provide a large class of examples with this property.

We consider the Cartan square $V^{2λ}$ of a minuscule representation $V^λ$ of a simply laced complex simple Lie algebra $\mathfrak g$. We construct for $V^{2λ}$ a family of bases, which we call quiver bases, each indexed by the set $\operatorname{RPP}_2(P_λ)$ of reverse plane partitions of height two on the minuscule poset $P_λ$ of $V^λ$. Let $Q$ be a quiver on the Dynkin diagram of $\mathfrak g$, and let $c_Q$ be the corresponding Coxeter element. The quiver basis $\mathcal B^Q$ is distinguished by the following property: Up to sign, the action of the Tits representative $\dot c_Q$ on $\mathcal B^Q$ lifts the action of $c_Q$, via piecewise-linear toggles, on $\operatorname{RPP}_2(P_λ)$. This proves uniformly that, for any minuscule poset $P$, piecewise-linear Coxeter-motion and rowmotion on $\operatorname{RPP}_2(P)$ exhibit the cyclic sieving phenomenon. In type~$A$, the quiver basis for the standard orientation recovers, up to rescaling, the canonical basis, whose compatibility with the long cycle was established by Rhoades. In other types, however, we show the canonical basis is not compatible with any Coxeter element.

The Lie algebra of multiple zeta values is realized as the space $\operatorname{ARI}^{\operatorname{pol}}_{\underline{al}\ast \underline{il}}$ of alternal moulds whose swap is alternil up to a constant mould, equipped with the $ari$ bracket. In this paper, we study the larger space $\operatorname{BARI}_{\underline{il},swap}^{\operatorname{pol}}$ of alternil, swap-invariant bimoulds, which is conjecturally the Lie algebra for multiple $q$-zeta values. We propose an explicit formula for a Lie bracket $uri$ on this space. Moreover, we prove that the Lie algebra $\operatorname{ARI}^{\operatorname{pol}}_{\underline{al}\ast \underline{il}}$ embeds into $\operatorname{BARI}_{\underline{il},swap}^{\operatorname{pol}}$, with the $ari$ bracket translating directly into the $uri$ bracket. Finally, we examine the associated-depth graded of $\operatorname{BARI}_{\underline{il},swap}^{\operatorname{pol}}$, extending the known depth-graded setup for $\operatorname{ARI}_{\underline{al}\ast \underline{il}}^{\operatorname{pol}}$.

We give explicit, uniform formulas for the graded characters and total ranks of the Lie algebra homology of finite-dimensional representations in all classical types. In many cases, these compute the Tor groups of finite length modules over polynomial rings, and this is the first in a series of papers to investigate total rank conjectures from this perspective. These formulas refine and generalize the classical $ρ$-decomposition of Kostant, and in particular we prove that the characters involved exhibit three structural phenomena: divisibility (by a large power of 2), equidistribution, and uniform factorization formulas.

Given a finite dimensional Lie algebra $L$ on a finite field $\mathbb{F}_{p^n}$ of prime power order $p^n$ (with $n$ positive integer and $p$ prime), we consider the number of modular pairs $(A,B)$ in the lattice of all subalgebras $\mathcal{L}(L)$ and introduce the notion of ``subalgebra commutativity degree'' of $L$. This represents the probability to find that two randomly chosen subalgebras $A$ and $B$ of $L$ are permutable. We investigate the subalgebra commutativity degree of $L$ in connection with recent techniques of algebraic combinatorics and number theory, providing upper and lower bounds which may influence the structure of $L$. A specific study for the subalgebra commutativity degree of Heisenberg algebras is executed.

We give an explicit finite sum for the number of ideals of the Lie algebra of strictly lower triangular $n\times n$ matrices over $\mathbb F_q$, valid for every prime power $q$. The sum runs over integer compositions, with weights expressed using ordinary and Gaussian binomial coefficients. A contraction bijection transforms Gagnon's configuration sum into a weighted enumeration of nonnesting partitions, with antichains of intervals chosen independently in each block. We derive a Stieltjes continued fraction for the block weights. Lagrange inversion and the coefficient formula for Stieltjes--Rogers polynomials then yield the explicit sum.

Exceptional CR-quadrics are studied. An example of an exceptional (4,4)-quadric is constructed; it realizes the minimum exceptional type with respect to both n and k. Its graded Lie algebra is described. The available information on exceptional types is summarized, and the lattice of CR-types is decomposed into the disjoint union of three sets: A, the types for which exceptional quadrics are impossible; B, the types for which examples of exceptional quadrics are known; and C, the types whose status is currently unknown (neither an example nor a nonexistence proof is known). Several questions are posed.

Kashiwara--Nakashima tableaux and Gelfand--Tsetlin patterns of orthogonal type are famous as combinatorial models of the finite-dimensional irreducible representations of the special orthogonal Lie algebras $\mathfrak{so}_N$. The former is constructed based on the representation theory of quantum groups, especially the theory of crystals, while the latter based on the branching rule for $(\mathfrak{so}_N,\mathfrak{so}_{N-1})$. In the present paper, we construct a natural bijection between them by means of the representation theory of quantum symmetric pairs corresponding to $(\mathfrak{so}_N,\mathfrak{so}_{N-1})$.

In this article, we construct noncommutative cluster varieties, $\mathcal{A}_{R,S}$, for each reduced root system $R$ and marked surface $S$ simultaneously generalizing the cluster varieties of Fock-Goncharov, Li, Goncharov-Shen, Berenstein-Retakh, Goncharov-Kontsevich, and our previously introduced polygonal cluster algebras. Additionally, we define a large class of algebraic groups, we call Jordan split groups. Given a reduced root system $R$ and a family of Jordan algebras, the Lie algebra for $G$ is constructed by unifying the Tits-Kantor-Koecher construction for a single Jordan algebra with the construction of a split Lie algebra. The notion of Jordan split groups is closely related to a grading of its Lie algebra by the root system $R$. We show that these gradings are usually induced by a choice of standard parabolic subalgebra $\mathfrak{p}_Θ$ and we classify $R$-graded pairs $(G,Θ)$ via a condition depending only on the subset $Θ\subset Δ$ of the set of simple roots. Next, we define Jordan algebra points of $\mathcal{A}_{R,S}$ which parameterize $G$-local systems on $S$ with boundary decoration related to cosets $G/U_Θ$ when $G$ is Jordan split of type $R$. When $S$ is a disk, points of $\mathcal{A}_{R,S}$ parameterize configurations of decorated flags. We use this to give noncommutative cluster structures on the double $R$-Bruhat cells of $G$, generalizing the cluster algebras of Berenstein-Fomin-Zelevinsky. When each Jordan algebra is formally real, we say that $G$ has a positive structure with respect to $Θ$. This defines a positive semigroup in $G$. For real algebraic groups, the pairs $(G,Θ)$ which have positive structures are exactly those which admit a positive structure as defined by Guichard-Wienhard and we give algebraic proofs of many of the properties of positive configurations of flags and of positive representations.

Hessenberg varieties $\mathcal{H}\mathrm{ess}(\mathsf{X},\mathbf{h})$ are subvarieties of the flag variety parameterized by a Hessenberg function $\mathbf{h}: [n] \to [n]$ and a matrix $\mathsf{X} \in \mathfrak{gl}_n(\mathbb{C})$. In recent work, Goldin and the second author showed the existence of flat degenerations of Hessenberg varieties to nilpotent Hessenberg varieties over the minimal sheet. This implies that all Hessenberg varieties over the minimal sheet have the same dimension. Our main result generalizes this dimension result to arbitrary sheets. Specifically, we prove that for a fixed Hessenberg function $\mathbf{h}:[n] \to [n]$, all Hessenberg varieties $\mathcal{H}\mathrm{ess}(\mathsf{X},\mathbf{h})$ defined in the type $A$ flag variety by linear operators $\mathsf{X}$ from the same sheet of the Lie algebra $\mathfrak{gl}_n(\mathbb{C})$ have the same dimension.

Let $L$ be a finite-dimensional Lie algebra over a field $F$. The comaximal graph $Γ(L)$ has as vertices the proper nonzero subalgebras of $L$, two of them adjacent whenever they generate $L$; its structure was previously classified for Lie algebras of dimension at most 3 over finite fields. Here we extend that work in two directions. First, we obtain explicit formulas for the number of triangles $t(Γ(L))$ for every three-dimensional Lie algebra over $\F_q$. Second, we extend the classification to several four-dimensional families over $\mathbb{F}_q$, the abelian, Heisenberg, and filiform algebras, and $\mathfrak{gl}_2(\F_q)$. We also relate graph-theoretic properties of $Γ(L)$, such as completeness and the role of the Frattini subalgebra, to structural properties of $L$, including supersolvability. These results yield new combinatorial invariants for finite-dimensional Lie algebras over finite fields.

The classical bond lattice of a graph was used in a formula of Whitney to compute the chromatic polynomial. In this paper, we use weighted versions of the bond lattice, to introduce and study a new polynomial and a new symmetric function invariant of a graph. Examples of the new polynomial invariant include the classical Narayana polynomials (for the path graph), the tree-Eulerian polynomials (for the complete graph), and the binomial-Eulerian polynomials (for the star graph). These examples suggest an interesting connection to $h$-polynomials of general graph-associahedra. We prove that for any chordal graph, our polynomial graph invariant is $γ$-positive. Multiweighted bond posets yield a symmetric function graph invariant that is an analog of the chromatic polynomial. The highest degree homogeneous component of this symmetric function is of particular interest. The parking function symmetric function introduced by Haiman arises as an example, as do symmetric functions studied by the first author in connection with multibracketed Lie algebras and with colored exterior algebras. The $γ$-positivity result mentioned above is a specialization of an $e$-positivity result for the highest degree homogeneous component, which we prove for any chordal graph using the theory of lexicographic shellability. We conjecture that this symmetric function is Schur-log-concave, which specializes to Huh's log-concavity theorem for the chromatic polynomial.

We consider the space of $(n-1)$-colored graphs on a fixed set of $N$ vertices. Each edge position of the complete graph $K_N$ has $n$ possible states: the absence of an edge and $n-1$ colors. This gives a natural identification of the space of such graphs with the tensor power $(\mathbb C^n)^{\otimes m}$, where $m=\binom N2$, and defines on it the diagonal action of the Lie algebra $\mathfrak{gl}_n$, and, after restriction, the action of $\mathfrak{sl}_n$. For a fixed profile $α=(α_0,\dots,α_{n-1})$, we consider the graph $J(m;α)$ whose vertices are colored graphs of this profile and whose adjacency is defined by a single exchange of states in two edge positions. This graph is the transposition graph on the set of words with fixed profile, also known as the \emph{multislice}. The main result is an expression of the adjacency operator in terms of the root operators of $\mathfrak{sl}_n$ and a derivation of its spectrum by means of the quadratic Casimir operator of $\mathfrak{gl}_n$ and the Schur--Weyl decomposition. It is proved that the adjacency operator belongs to the center of the algebra $\End_{S_m}(\mathcal C_α)$. The contribution of each spectral block to the multiplicity of the corresponding eigenvalue is described in terms of a Kostka number and the dimension of a Specht module. For $n=2$, one obtains the classical Johnson graph and its known spectrum. As applications, a formula for the valency is established, connectivity is proved, the Hoffman bound for independent sets is obtained, and the three-state case is considered in detail; in this case the natural symmetrized subspace realizes the module $\Sym^m(\mathbb C^3)$.

We construct the planar Linares--Otto--Tempelmayr Hopf algebra, thereby filling the missing planar noncommutative multi-index corner in the square relating the LOT, Butcher--Connes--Kreimer, and Munthe-Kaas--Wright Hopf algebras. Starting from the free associative algebra on a weighted alphabet $\mathbb Z_{\ge -1}\times A$, we define an insertion-type product yielding a post-Lie structure on the Lie algebra generated by the linear span $V(A)$ of weight $-1$ monomials whose proper left prefixes all have nonnegative weight, and the Guin--Oudom construction then produces the planar LOT Hopf algebra. We introduce a planar tree fertility map from decorated planar rooted trees to monomials in $V(A)$, prove that it is a linear isomorphism, and obtain a natural Hopf algebra isomorphism with the Munthe-Kaas--Wright Hopf algebra. We further derive an explicit coproduct formula in terms of left-admissible cuts, establish the extraction-contraction coproduct, and construct a word symmetrization operator compatible with the classical tree symmetrization operator.

The paper studies the graph algebra whose monomial basis is naturally indexed by simple graphs on a fixed set of vertices. This algebra is at the same time the algebra of pseudo-Boolean functions on the Boolean cube and a natural object of algebraic combinatorics, related to the Boolean lattice of subsets of the edge set of the complete graph. The main aim of the paper is to study two compatible representation-theoretic structures on this algebra: the action of the Lie algebra $\mathfrak{sl}_2$, arising from the operators of adding and deleting one edge, and the action of the pair group $S_n^{(2)}$, induced by the renumbering of vertices. It is proved that the graph algebra with this $\mathfrak{sl}_2$-action is isomorphic to a tensor power of the standard two-dimensional $\mathfrak{sl}_2$-module, and on this basis its decomposition into irreducible $\mathfrak{sl}_2$-modules is obtained. Primitive spaces, that is, the kernels of the edge-deletion operator on rank components, are also described, and it is shown that they have a natural interpretation in terms of two-row Specht modules. It is then established that the $\mathfrak{sl}_2$-action commutes with the action of the pair group. It follows that the space of graph invariants also inherits the structure of an $\mathfrak{sl}_2$-module. Using Schur--Weyl duality, primitive invariants are described through the fixed parts of the restrictions of two-row Specht modules from the full symmetric group on the edge set to the pair group. As a consequence, the classical enumeration of non-isomorphic graphs by the number of edges receives a representation-theoretic refinement: the orbital components entering the Burnside--Polya formula decompose into natural primitive contributions associated with the $\mathfrak{sl}_2$-structure and two-row Specht modules.