arXiv++ Combinatorics

This paper gives a Schur-Weyl duality approach to the representation theory of the affine Hecke algebras of type C with unequal parameters. The first step is to realize the affine braid group of type $C_k$ as the group of braids on $k$ strands with two poles. Generalizing familiar methods from the one pole (type A) case, this provides commuting actions of the quantum group $U_q\mathfrak{g}$ and the affine braid group of type $C_k$ on a tensor space $M\otimes N \otimes V^{\otimes k}$. Special cases provide Schur-Weyl pairings between the affine Hecke algebra of type $C_k$ and the quantum group of type $\mathfrak{gl}_n$, resulting in natural labelings of many representations of the affine Hecke algebras of type C by partitions. Following an analysis of the structure of weights of affine Hecke algebra representations (extending the one parameter case to the three parameter case necessary for affine Hecke algebras of type C), we provide an explicit identification of the affine Hecke algebra representations that appear in tensor space (essentially by identifying their Langlands parameters).

We introduce new families of cylindric symmetric functions as subcoalgebras in the ring of symmetric functions $Λ$ (viewed as a Hopf algebra) which have non-negative structure constants. Combinatorially these cylindric symmetric functions are defined as weighted sums over cylindric reverse plane partitions or - alternatively - in terms of sets of affine permutations. We relate their combinatorial definition to an algebraic construction in terms of the principal Heisenberg subalgebra of the affine Lie algebra $\mathfrak{\widehat{sl}}_n$ and a specialised cyclotomic Hecke algebra. Using Schur-Weyl duality we show that the new cylindric symmetric functions arise as matrix elements of Lie algebra elements in the subspace of symmetric tensors of a particular level-0 module which can be identified with the small quantum cohomology ring of the $k$-fold product of projective space. The analogous construction in the subspace of alternating tensors gives the known set of cylindric Schur functions which are related to the small quantum cohomology ring of Grassmannians. We prove that cylindric Schur functions form a subcoalgebra in $Λ$ whose structure constants are the 3-point genus 0 Gromov-Witten invariants. We show that the new families of cylindric functions obtained from the subspace of symmetric tensors also share the structure constants of a symmetric Frobenius algebra, which we define in terms of tensor multiplicities of the generalised symmetric group $G(n,1,k)$.

We introduce the notion of a \emph{Whitney dual} of a graded poset. Two posets are Whitney duals to each other if (the absolute value of) their Whitney numbers of the first and second kind are interchanged between the two posets. We define new types of edge and chain-edge labelings which we call \emph{Whitney labelings}. We prove that every graded poset with a Whitney labeling has a Whitney dual. Moreover, we show how to explicitly construct a Whitney dual using a technique involving quotient posets. As applications of our main theorem, we show that geometric lattices, the lattice of noncrossing partitions, the poset of weighted partitions studied by González D'León-Wachs, and most of the R$^*$S-labelable posets studied by Simion-Stanley all have Whitney duals. Our technique gives a combinatorial description of a Whitney dual of the noncrossing partition lattice in terms of a family of noncrossing Dyck paths. Our method also provides an explanation of the Whitney duality between the poset of weighted partitions and a poset of rooted forests studied by Reiner and Sagan. An integral part of this explanation is a new chain-edge labeling for the poset of weighted partitions which we show is a Whitney labeling. Finally, we show that a graded poset with a Whitney labeling admits a local action of the $0$-Hecke algebra of type $A$ on its set of maximal chains. The characteristic of the associated representation is Ehrenborg's flag quasisymmetric function. The existence of this action implies, using a result of McNamara, that when the maximal intervals of the constructed Whitney duals are bowtie-free, they are also snellable. In the case where these maximal intervals are lattices, they are supersolvable.

Motivated by work of Coxeter (1957), we study a class of algebras associated to Coxeter groups, which we term 'generalized nil-Coxeter algebras'. We construct the first finite-dimensional examples other than usual nil-Coxeter algebras; these form a $2$-parameter type $A$ family that we term $NC_A(n,d)$. We explore the combinatorial properties of these algebras, including the Coxeter word basis, length function, maximal words, and their connection to Khovanov's categorification of the Weyl algebra. Our broader motivation arises from complex reflection groups and the Broue-Malle-Rouquier freeness conjecture (1998). With generic Hecke algebras over real and complex groups in mind, we show that the 'first' finite-dimensional examples $NC_A(n,d)$ are in fact the only ones, outside of the usual nil-Coxeter algebras. The proofs use a diagrammatic calculus akin to crystal theory.

We combinatorially describe entries of the transition matrices which relate monomial bases of the zero-weight space of the quantum matrix bialgebra. This description leads to a combinatorial rule for evaluating induced sign characters of the type $A$ Hecke algebra $H_n(q)$ at all elements of the form $(1 + T_{s_{i_1}}) \cdots (1 + T_{s_{i_m}})$, including the Kazhdan-Lusztig basis elements indexed by $321$-hexagon-avoiding permutations. This result is the first subtraction-free rule for evaluating all elements of a basis of the $H_n(q)$-trace space at all elements of a basis of $H_n(q)$.

Analogues of 1-shuffle elements for complex reflection groups of type $G(m,1,n)$ are introduced. A geometric interpretation for $G(m,1,n)$ in terms of rotational permutations of polygonal cards is given. We compute the eigenvalues, and their multiplicities, of the 1-shuffle element in the algebra of the group $G(m,1,n)$. Considering shuffling as a random walk on the group $G(m,1,n)$, we estimate the rate of convergence to randomness of the corresponding Markov chain. We report on the spectrum of the 1-shuffle analogue in the cyclotomic Hecke algebra $H(m,1,n)$ for $m=2$ and small $n$.

We introduce a generalization of semistandard composition tableaux called permuted composition tableaux. These tableaux are intimately related to permuted basement semistandard augmented fillings studied by Haglund, Mason and Remmel. Our primary motivation for studying permuted composition tableaux is to enumerate all possible ordered pairs of permutations $(σ_1,σ_2)$ that can be obtained by standardizing the entries in two adjacent columns of an arbitrary composition tableau. We refer to such pairs as compatible pairs. To study compatible pairs in depth, we define a $0$-Hecke action on permuted composition tableaux. This action naturally defines an equivalence relation on these tableaux. Certain distinguished representatives of the resulting equivalence classes in the special case of two-columned tableaux are in bijection with compatible pairs. We provide a bijection between two-columned tableaux and labeled binary trees. This bijection maps a quadruple of descent statistics for 2-columned tableaux to left and right ascent-descent statistics on labeled binary trees introduced by Gessel, and we use it to prove that the number of compatible pairs is $(n+1)^{n-1}$.

Let $p$ be an odd prime and let $n$ be a natural number. In this article we determine the irreducible constituents of the permutation module induced by the action of the symmetric group $\mathfrak{S}_n$ on the cosets of a Sylow $p$-subgroup $P_n$. As a consequence, we determine the number of irreducible representations of the corresponding Hecke algebra $\mathcal{H}(\mathfrak{S}_n, P_n, 1_{P_n})$.

We study a shift action defined on multipartitions and on residue multisets of their Young diagrams. We prove that the minimal orbit cardinality among all multipartitions associated to a given multiset depends only on the orbit cardinality of the multiset. Using abaci, this problem reduces to a convex optimisation problem over the integers with linear constraints. We solve it by proving an existence theorem for binary matrices with prescribed row, column and block sums. Finally, we give some applications to the representation theory of the Hecke algebra of the complex reflection group $G(r,p,n)$.

Recently Tewari and van Willigenburg constructed modules of the 0-Hecke algebra that are mapped to the quasisymmetric Schur functions by the quasisymmetric characteristic and decomposed them into a direct sum of certain submodules. We show that these submodules are indecomposable by determining their endomorphism rings.

We construct an action of the Hecke algebra $H_n(q)$ on a quotient of the polynomial ring $F[x_1, \dots, x_n]$, where $F = \mathbb{Q}(q)$. The dimension of our quotient ring is the number of $k$-block ordered set partitions of $\{1, 2, \dots, n \}$. This gives a quantum analog of a construction of Haglund-Rhoades-Shimozono and interpolates between their result at $q = 1$ and work of Huang-Rhoades at $q = 0$.

Given a module $M$ for the algebra $\mathcal{D}_{\mathtt{q}}(G)$ of quantum differential operators on $G$, and a positive integer $n$, we may equip the space $F_n^G(M)$ of invariant tensors in $V^{\otimes n}\otimes M$, with an action of the double affine Hecke algebra of type $A_{n-1}$. Here $G= SL_N$ or $GL_N$, and $V$ is the $N$-dimensional defining representation of $G$. In this paper we take $M$ to be the basic $\mathcal{D}_{\mathtt{q}}(G)$-module, i.e. the quantized coordinate algebra $M= \mathcal{O}_{\mathtt{q}}(G)$. We describe a weight basis for $F_n^G(\mathcal{O}_{\mathtt{q}}(G))$ combinatorially in terms of walks in the type $A$ weight lattice, and standard periodic tableaux, and subsequently identify $F_n^G(\mathcal{O}_{\mathtt{q}}(G))$ with the irreducible "rectangular representation" of height $N$ of the double affine Hecke algebra.

We study walk algebras and Hecke algebras for Kac-Moody root systems. Each choice of orientation for the set of real roots gives rise to a corresponding "oriented" basis for each of these algebras. We show that the notion of distinguished subexpression naturally arises when studying the transition matrix between oriented bases. We then relate these notions to the geometry of Kac-Moody flag varieties and Bott-Samelson varieties. In particular, we show that the number of points over a finite field in certain intersections of these varieties is given by change of basis coefficients between oriented bases of the Hecke algebra. Using these results we give streamlined derivations of Deodhar's formula for $R$-polynomials and point-counting formulas for specializations of nonsymmetric Macdonald polynomials $E_λ(\mathsf{q},t)$ at $\mathsf{q}=0,\infty$.

We give a new simple characterization of the set of Kleshchev multipartitions, and more generally of the set of Uglov multipartitions. These combinatorial objects play an important role in various areas of representation theory of quantum groups, Hecke algebras or finite reductive groups. As a consequence, we obtain a proof of a generalization of a conjecture by Dipper, James and Murphy and a generalization of the LLT algorithm for arbitrary level.

First we develop the theory of local rules for coboundary categories. Then we describe the local rules in two main cases. First for the quantum groups in general and in the seminormal representations of the Hecke algebras. Then for crystals in general and specifically for crystals of minuscule representations. Finally we show how growth diagrams can be extended to construct the action of the cactus group on highest weight words.

Let $n,k,$ and $r$ be nonnegative integers and let $S_n$ be the symmetric group. We introduce a quotient $R_{n,k,r}$ of the polynomial ring $\mathbb{Q}[x_1, \dots, x_n]$ in $n$ variables which carries the structure of a graded $S_n$-module. When $r \geq n$ or $k = 0$ the quotient $R_{n,k,r}$ reduces to the classical coinvariant algebra $R_n$ attached to the symmetric group. Just as algebraic properties of $R_n$ are controlled by combinatorial properties of permutations in $S_n$, the algebra of $R_{n,k,r}$ is controlled by the combinatorics of objects called {\em tail positive words}. We calculate the standard monomial basis of $R_{n,k,r}$ and its graded $S_n$-isomorphism type. We also view $R_{n,k,r}$ as a module over the 0-Hecke algebra $H_n(0)$, prove that $R_{n,k,r}$ is a projective 0-Hecke module, and calculate its quasisymmetric and nonsymmetric 0-Hecke characteristics. We conjecture a relationship between our quotient $R_{n,k,r}$ and the delta operators of the theory of Macdonald polynomials.

We construct and investigate Specht modules $\mathcal{S}^λ$ for cyclotomic quiver Hecke algebras in type $C^{(1)}_\ell$ and $C_\infty$, which are labelled by multipartitions $λ$. It is shown that in type $C_\infty$, the Specht module $\mathcal{S}^λ$ has a homogeneous basis indexed by standard tableaux of shape $λ$, which yields a graded character formula and good properties with the exact functors $E_i^Λ$ and $F_i^Λ$. For type $C^{(1)}_\ell$, we propose a conjecture.

Let the symmetric group $\mathfrak{S}_n$ act on the polynomial ring $\mathbb{Q}[\mathbf{x}_n] = \mathbb{Q}[x_1, \dots, x_n]$ by variable permutation. The coinvariant algebra is the graded $\mathfrak{S}_n$-module $R_n := {\mathbb{Q}[\mathbf{x}_n]} / {I_n}$, where $I_n$ is the ideal in $\mathbb{Q}[\mathbf{x}_n]$ generated by invariant polynomials with vanishing constant term. Haglund, Rhoades, and Shimozono introduced a new quotient $R_{n,k}$ of the polynomial ring $\mathbb{Q}[\mathbf{x}_n]$ depending on two positive integers $k \leq n$ which reduces to the classical coinvariant algebra of the symmetric group $\mathfrak{S}_n$ when $k = n$. The quotient $R_{n,k}$ carries the structure of a graded $\mathfrak{S}_n$-module; Haglund et. al. determine its graded isomorphism type and relate it to the Delta Conjecture in the theory of Macdonald polynomials. We introduce and study a related quotient $S_{n,k}$ of $\mathbb{F}[\mathbf{x}_n]$ which carries a graded action of the 0-Hecke algebra $H_n(0)$, where $\mathbb{F}$ is an arbitrary field. We prove 0-Hecke analogs of the results of Haglund, Rhoades, and Shimozono. In the classical case $k = n$, we recover earlier results of Huang concerning the 0-Hecke action on the coinvariant algebra.

Drinfeld orbifold algebras are a type of deformation of skew group algebras generalizing graded Hecke algebras of interest in representation theory, algebraic combinatorics, and noncommutative geometry. In this article, we classify all Drinfeld orbifold algebras for symmetric groups acting by the natural permutation representation. This provides, for nonabelian groups, infinite families of examples of Drinfeld orbifold algebras that are not graded Hecke algebras. We include explicit descriptions of the maps recording commutator relations and show there is a one-parameter family of such maps supported only on the identity and a three-parameter family of maps supported only on 3-cycles and 5-cycles. Each commutator map must satisfy properties arising from a Poincaré-Birkhoff-Witt condition on the algebra, and our analysis of the properties illustrates reduction techniques using orbits of group element factorizations and intersections of fixed point spaces.

We introduce an affine Schur algebra via the affine Hecke algebra associated to Weyl group of affine type C. We establish multiplication formulas on the affine Hecke algebra and affine Schur algebra. Then we construct monomial bases and canonical bases for the affine Schur algebra. The multiplication formula allows us to establish a stabilization property of the family of affine Schur algebras that leads to the modified version of an algebra ${\mathbf K}^{\mathfrak c}_n$. We show that ${\mathbf K}^{\mathfrak c}_n$ is a coideal subalgebra of quantum affine algebra ${\bf U}(\hat{\mathfrak{gl}}_n)$, and $\big({\mathbf U}(\hat{ \mathfrak{gl}}_n), {\mathbf K}^{\mathfrak c}_n)$ forms a quantum symmetric pair. The modified coideal subalgebra is shown to admit monomial and stably canonical bases. We also formulate several variants of the affine Schur algebra and the (modified) coideal subalgebra above, as well as their monomial and canonical bases. This work provides a new and algebraic approach which complements and sheds new light on our previous geometric approach on the subject. In the appendix by four of the authors, new length formulas for the Weyl groups of affine classical types are obtained in a symmetrized fashion.