arXiv++ Combinatorics

The numbers $f_λ$ of standard tableaux of shape $λ\vdash n$ satisfy 2 fundamental recursions: $f_λ= \sum f_{λ^-}$ and $(n + 1)f_λ=\sum f_{λ^+}$, where $λ^-$ and $λ^+$ run over all shapes obtained from $λ$ by adding or removing a square respectively. The first of these recursions is trivial; the second can be proven algebraically from the first. These recursions together imply algebraically the dimension formula $n! =\sum f_λ^2$ for the irreducible representations of $S_n$. We show that a combinatorial analysis of this classical algebraic argument produces an infinite family of algorithms, among which are the classical Robinson-Schensted row and column insertion algorithms. Each of our algorithms yields a bijective proof of the dimension formula.

The irreducible representations of symmetric groups can be realized as certain graded pieces of invariant rings, equivalently as global sections of line bundles on partial flag varieties. There are various ways to choose useful bases of such Specht modules $S^λ$. Particularly powerful are web bases, which make important connections with cluster algebras and quantum link invariants. Unfortunately, web bases are only known in very special cases -- essentially, only the cases $λ=(d,d)$ and $λ=(d,d,d)$. Building on work of B. Rhoades (2017), we construct an apparent web basis of invariant polynomials for the $2$-parameter family of Specht modules with $λ$ of the form $(d,d,1^\ell)$. The planar diagrams that appear are noncrossing set partitions, and we thereby obtain geometric interpretations of earlier enumerative results in combinatorial dynamics.

For an irreducible complex reflection group $W$ of rank $n$ containing $N$ reflections, we put $g=2N/n$ and construct a $(g+1)^n$-dimensional irreducible representation of the Cherednik algebra which is (as a vector space) a quotient of the diagonal coinvariant ring of $W$. We propose that this representation of the Cherednik algebra is the single largest representation bearing this relationship to the diagonal coinvariant ring, and that further corrections to this estimate of the dimension of the diagonal coinvariant ring by $(g+1)^n$ should be orders of magnitude smaller. A crucial ingredient in the construction is the existence of a dot action of a certain product of symmetric groups acting on the parameter space of the rational Cherednik algebra and leaving invariant both the finite Hecke algebra and the spherical subalgebra; this fact is a consequence of ideas of Berest-Chalykh on the relationship between the Cherednik algebra and quasi-invariants.

We consider the skew Howe duality for the action of certain dual pairs of Lie groups $(G_1, G_2)$ on the exterior algebra $\bigwedge(\mathbb{C}^{n} \otimes \mathbb{C}^{k})$ as a probability measure on Young diagrams by the decomposition into the sum of irreducible representations. We prove a combinatorial version of this skew Howe for the pairs $(\mathrm{GL}_{n}, \mathrm{GL}_{k})$, $(\mathrm{SO}_{2n+1}, \mathrm{Pin}_{2k})$, $(\mathrm{Sp}_{2n}, \mathrm{Sp}_{2k})$, and $(\mathrm{Or}_{2n}, \mathrm{SO}_{k})$ using crystal bases, which allows us to interpret the skew Howe duality as a natural consequence of lattice paths on lozenge tilings of certain partial hexagonal domains. The $G_1$-representation multiplicity is given as a determinant formula using the Lindström-Gessel-Viennot lemma and as a product formula using Dodgson condensation. These admit natural $q$-analogs that we show equals the $q$-dimension of a $G_2$-representation (up to an overall factor of $q$), giving a refined version of the combinatorial skew Howe duality. Using these product formulas (at $q =1$), we take the infinite rank limit and prove the diagrams converge uniformly to the limit shape.

We define $G$-cospectrality of two $G$-gain graphs $(Γ,ψ)$ and $(Γ',ψ')$, proving that it is a switching isomorphism invariant. When $G$ is a finite group, we prove that $G$-cospectrality is equivalent to cospectrality with respect to all unitary representations of $G$. Moreover, we show that two connected gain graphs are switching equivalent if and only if the gains of their closed walks centered at an arbitrary vertex $v$ can be simultaneously conjugated. In particular, the number of switching equivalence classes on an underlying graph $Γ$ with $n$ vertices and $m$ edges, is equal to the number of simultaneous conjugacy classes of the group $G^{m-n+1}$. We provide examples of $G$-cospectral non-switching isomorphic graphs and we prove that any gain graph on a cycle is determined by its $G$-spectrum. Moreover, we show that when $G$ is a finite cyclic group, the cospectrality with respect to a faithful irreducible representation implies the cospectrality with respect to any other faithful irreducible representation, and that the same assertion is false in general.

The complex irreducible representations of the symmetric group carry an important canonical basis called the Kazhdan-Lusztig basis. Although it is difficult to express how general permutations act on this basis, some distinguished permutations have beautiful descriptions. In 2010 Rhoades showed that the long cycle $(1, 2,..., n)$ acts by the jeu-de-taquin promotion operator in the case when the irreducible representation is indexed by a rectangular partition. We prove a generalisation of this theorem in two directions: on the one hand we lift the restriction on the shape of the partition, and on the other hand we enlarge the result to the collection of all separable permutations.

Kostka-Foulkes polynomials are Lusztig's $q$-analogues of weight multiplicities for irreducible representations of semisimple Lie algebras. It has long been known that these polynomials have non-negative coefficients. A statistic on semistandard Young tableaux with partition content, called \textit{charge}, was used to give a combinatorial formula exhibiting this fact in type $A$. Defining a charge statistic beyond type $A$ has been a long-standing problem. Here, we take a completely new approach based on the definition of Kostka-Foulkes polynomials as an alternating sum over Kostant partitions, which can be thought of as formal sums of positive roots. We use a sign-reversing involution to obtain a positive expansion, in which the relevant statistic is simply the number of parts in the Kostant partitions. The hope is that the simplicity of this new crystal-like model will naturally extend to other classical types.

We consider an "orientifold" generalization of Khovanov-Lauda-Rouquier algebras, depending on a quiver with an involution and a framing. Their representation theory is related, via a Schur-Weyl duality type functor, to Kac-Moody quantum symmetric pairs, and, via a categorification theorem, to highest weight modules over an algebra introduced by Enomoto and Kashiwara. Our first main result is a new shuffle realization of these highest weight modules and a combinatorial construction of their PBW and canonical bases in terms of Lyndon words. Our second main result is a classification of irreducible representations of orientifold KLR algebras and a computation of their global dimension in the case when the framing is trivial.

We consider "odd symplectic Lie algebras" defined in terms of maximal rank skew-symmetric forms. We provide FFLV polytopes for these algebras and prove their standard properties. In particular, we obtain a new graded character formula and PBW bases for an analogue of irreducible representations in terms of lattice points of FFLV polytopes.

Given a complex simple Lie algebra $\mathfrak g$ and a dominant weight $λ$, let $\mathcal B_λ$ be the crystal poset associated to the irreducible representation of $\mathfrak g$ with highest weight $λ$. In the first part of the article, we introduce the \emph{crystal pop-stack sorting operator} $\mathsf{Pop}_{\lozenge}\colon\mathcal B_λ\to\mathcal B_λ$, a noninvertible operator whose definition extends that of the pop-stack sorting map and the recently-introduced Coxeter pop-stack sorting operators. Every forward orbit of $\mathsf{Pop}_{\lozenge}$ contains the minimal element of $\mathcal B_λ$, which is fixed by $\mathsf{Pop}_{\lozenge}$. We prove that the maximum size of a forward orbit of $\mathsf{Pop}_{\lozenge}$ is the Coxeter number of the Weyl group of $\mathfrak g$. In the second part of the article, we characterize exactly when a type $A$ crystal is a lattice.

We obtain new calculations of the top weight rational cohomology of the moduli spaces $\mathcal{M}_{2,n}$, equivalently the rational homology of the tropical moduli spaces $Δ_{2,n}$, as a representation of $S_n$. These calculations are achieved fully for all $n\leq 10$, and partially -- for specific irreducible representations of $S_n$ -- for $n\le 22$. We also present conjectures, verified up to $n=22$, for the multiplicities of the irreducible representations $\mathrm{std}_n$ and $\mathrm{std}_n\otimes \mathrm{sgn}_n$. We achieve our calculations via a comparison with the homology of compactified configuration spaces of graphs. These homology groups are equipped with commuting actions of a symmetric group and the outer automorphism group of a free group. In this paper, we construct an efficient free resolution for these homology representations, from which we extract calculations on irreducible representations one at a time, simplifying the calculation of these homology representations.

Given a finite group $G$ and its representation $ρ$, the corresponding McKay graph is a graph $Γ(G,ρ)$ whose vertices are the irreducible representations of $G$; the number of edges between two vertices $π,τ$ of $Γ(G,ρ)$ is $dim Hom_G(π\otimes ρ, τ) $. The collection of all McKay graphs for a given group $G$ encodes, in a sense, its character table. Such graphs were also used by McKay to provide a bijection between the finite subgroups of $SU(2)$ and the affine Dynkin diagrams of types $A, D, E$, the bijection given by considering the appropriate McKay graphs. In this paper, we classify all (undirected) trees which are McKay graphs of finite groups and describe the corresponding pairs $(G,ρ)$; this classification turns out to be very concise. Moreover, we give a partial classification of McKay graphs which are forests, and construct some non-trivial examples of such forests.

We study a $b$-deformation of monotone Hurwitz numbers, obtained by deforming Schur functions into Jack symmetric functions. We give an evolution equation for this model and derive from it Virasoro constraints, thereby proving a conjecture of Féray on Jack characters. A combinatorial model of non-oriented monotone Hurwitz maps which generalizes monotone transposition factorizations is provided. In the case $b=1$ we obtain an explicit Schur expansion of the model and show that it obeys the BKP integrable hierarchy. This Schur expansion also proves a conjecture of Oliveira--Novaes relating zonal polynomials with irreducible representations of $O(N)$. We also relate the model to an $O(N)$ version of the Brézin--Gross--Witten integral, which we solve explicitly in terms of Pfaffians in the case of even multiplicities.

We study the existence of unitriangular basic sets for the symmetric group which behave nicely with respect to the Mullineux involution. Such sets give a natural labelling for the modular irreducible representations. We show that, for any odd prime p, the p-blocks of the symmetric group with weight 2 have stable unitriangular basic sets which we describe by studying the combinatorics of partitions in these blocks.

We give a combinatorial formula for the character of a finite-dimensional irreducible representation of the periplectic Lie superalgebra $\mathfrak{p}(n)$. The character of irreducible module $L(μ)$ is given by a cancellation-free alternating sum over the characters of thick or thin Kac modules, $Δ(λ)$ or $\nabla(λ)$, such that there exists a ribbon tiling of a skew Young diagram $λ/μ$.

We generalize the famous weight basis constructions of the finite-dimensional irreducible representations of $\mathfrak{sl}(n,\mathbb{C})$ obtained by Gelfand and Tsetlin in 1950. Using combinatorial methods, we construct one such basis for each finite-dimensional representation of $\mathfrak{sl}(n,\mathbb{C})$ associated to a given skew Schur function. Our constructions use diamond-colored distributive lattices of skew-shaped semistandard tableaux that generalize some classical Gelfand--Tsetlin (GT) lattices. Our constructions take place within the context of a certain programmatic study of poset models for semisimple Lie algebra representations and Weyl group symmetric functions undertaken by the first-named author and others. Some key aspects of the methodology of that program are recapitulated here. Combinatorial and representation-theoretic applications of our constructions are pursued here and elsewhere.

Flagged Schur modules generalize the irreducible representations of the general linear group under the action of the Borel subalgebra. Their characters include many important generalizations of Schur polynomials, such as Demazure characters, flagged skew Schur polynomials, and Schubert polynomials. In this paper, we prove the characters of flagged Schur modules can be computed using a simple combinatorial algorithm due to Kohnert if and only if the indexing diagram is northwest. This gives a new proof that characters of flagged Schur modules are nonnegative sums of Demazure characters and gives a representation theoretic interpretation for Kohnert polynomials.

We prove that the ith graded pieces of the Orlik-Solomon algebras or Cordovil algebras of resonance arrangements form a finitely generated FS^op-module, thus obtaining information about the growth of their dimensions and restrictions on the irreducible representations of symmetric groups that they contain.

The combinatorics of reduced words and commutation classes plays an important role in geometric representation theory. A string polytope is a lattice polytope associated to each reduced word of the longest element $w_0$ in the symmetric group which encodes the character of a certain irreducible representation of a Lie group of type $A$. In this paper, we provide a recursive formula for the number of reduced words of $w_0$ such that the corresponding string polytopes are combinatorially equivalent to a Gelfand-Cetlin polytope. The recursive formula involves the number of standard Young tableaux of shifted shape. We also show that each commutation class is completely determined by a list of quantities called indices.

We compare crystal combinatorics of the level 2 Fock space with the classification of unitary irreducible representations of type B rational Cherednik algebras to study how unitarity behaves under parabolic restriction. First, we show that any finite-dimensional unitary irreducible representation of such an algebra is labeled by a bipartition consisting of a rectangular partition in one component and the empty partition in the other component. This is a new proof of a result that can be deduced from theorems of Montarani and Etingof-Stoica. Second, we show that the crystal operators that remove boxes preserve the combinatorial conditions for unitarity, and that the parabolic restriction functors categorifying the crystals send irreducible unitary representations to unitary representations. Third, we find the supports of the unitary representations.