arXiv++ Combinatorics

In this paper we give Monk rules for Macdonald polynomials which are analogous to the Monk rules for Schubert polynomials. These formulas are similar to the formulas given by Baratta (2008), but our method of derivation is to use Cherednik's interwiners. Deriving Monk rules by this technique addresses the relationship between the work of Baratta and the product formulas of Yip (2010). Specializations of the Monk formula's at $q=0$ and/or $t=0$ provide Monk rules for Iwahori-spherical polynomials and for finite and affine key polynomials.

We derive a formula for the entries in the change-of-basis matrix between Young's seminormal and natural representations of the symmetric group. These entries are determined as sums over weighted paths in the weak Bruhat graph on standard tableaux, and we show that they can be computed recursively as the weighted sum of at most two previously-computed entries in the matrix. We generalize our results to work for affine Hecke algebras, Ariki-Koike algebras, Iwahori-Hecke algebras, and complex reflection groups given by the wreath product of a finite cyclic group with the symmetric group.

The partition algebra is an associative algebra with a basis of set-partition diagrams and multiplication given by diagram concatenation. It contains as subalgebras a large class of diagram algebras including the Brauer, planar partition, rook monoid, rook-Brauer, Temperley-Lieb, Motzkin, planar rook monoid, and symmetric group algebras. We give a construction of the irreducible modules of these algebras in two isomorphic ways: first, as the span of symmetric diagrams on which the algebra acts by conjugation twisted with an irreducible symmetric group representation and, second, on a basis indexed by set-partition tableaux such that diagrams in the algebra act combinatorially on tableaux. The first representation is analogous to the Gelfand model and the second is a generalization of Young's natural representation of the symmetric group on standard tableaux. The methods of this paper work uniformly for the partition algebra and its diagram subalgebras. As an application, we express the characters of each of these algebras as nonnegative integer combinations of symmetric group characters whose coefficients count fixed points under conjugation.

The symmetric group $\mathsf{S}_n$ and the partition algebra $\mathsf{P}_k(n)$ centralize one another in their actions on the $k$-fold tensor power $\mathsf{M}_n^{\otimes k}$ of the $n$-dimensional permutation module $\mathsf{M}_n$ of $\mathsf{S}_n$. The duality afforded by the commuting actions determines an algebra homomorphism $Φ_{k,n}: \mathsf{P}_k(n) \to \mathsf{End}_{\mathsf{S}_n}(\mathsf{M}_n^{\otimes k})$ from the partition algebra to the centralizer algebra $\mathsf{End}_{\mathsf{S}_n}(\mathsf{M}_n^{\otimes k})$, which is a surjection for all $k, n \in \mathbb{Z}_{\ge 1}$, and an isomorphism when $n \ge 2k$. We present results that can be derived from the duality between $\mathsf{S}_n$ and $\mathsf{P}_k(n)$; for example, (i) expressions for the multiplicities of the irreducible $\mathsf{S}_n$-summands of $\mathsf{M}_n^{\otimes k}$, (ii) formulas for the dimensions of the irreducible modules for the centralizer algebra $\mathsf{End}_{\mathsf{S}_n}(\mathsf{M}_n^{\otimes k})$, (iii) a bijection between vacillating tableaux and set-partition tableaux, (iv) identities relating Stirling numbers of the second kind and the number of fixed points of permutations, and (v) character values for the partition algebra $\mathsf{P}_k(n)$. When $2k >n$, the map $Φ_{k,n}$ has a nontrivial kernel which is generated as a two-sided ideal by a single idempotent. We describe the kernel and image of $Φ_{k,n}$ in terms of the orbit basis of $\mathsf{P}_k(n)$ and explain how the surjection $Φ_{k,n}$ can also be used to obtain the fundamental theorems of invariant theory for the symmetric group.

Assume $\mathsf{M}_n$ is the $n$-dimensional permutation module for the symmetric group $\mathsf{S}_n$, and let $\mathsf{M}_n^{\otimes k}$ be its $k$-fold tensor power. The partition algebra $\mathsf{P}_k(n)$ maps surjectively onto the centralizer algebra $\mathsf{End}_{\mathsf{S}_n}(\mathsf{M}_n^{\otimes k})$ for all $k, n \in \mathbb{Z}_{\ge 1}$ and isomorphically when $n \ge 2k$. We describe the image of the surjection $Φ_{k,n}:\mathsf{P}_k(n) \to \mathsf{End}_{\mathsf{S}_n}(\mathsf{M}_n^{\otimes k})$ explicitly in terms of the orbit basis of $\mathsf{P}_k(n)$ and show that when $2k > n$ the kernel of $Φ_{k,n}$ is generated by a single essential idempotent $\mathsf{e}_{k,n}$, which is an orbit basis element. We obtain a presentation for $\mathsf{End}_{\mathsf{S}_n}(\mathsf{M}_n^{\otimes k})$ by imposing one additional relation, $\mathsf{e}_{k,n} = 0$, to the standard presentation of the partition algebra $\mathsf{P}_k(n)$ when $2k > n$. As a consequence, we obtain the fundamental theorems of invariant theory for the symmetric group $\mathsf{S}_n$. We show under the natural embedding of the partition algebra $\mathsf{P}_n(n)$ into $\mathsf{P}_k(n)$ for $k \ge n$ that the essential idempotent $\mathsf{e}_{n,n}$ generates the kernel of $Φ_{k,n}$. Therefore, the relation $\mathsf{e}_{n,n} = 0$ can replace $\mathsf{e}_{k,n} = 0$ when $k \ge n$.

The partition algebra $\mathsf{P}_k(n)$ and the symmetric group $\mathsf{S}_n$ are in Schur-Weyl duality on the $k$-fold tensor power $\mathsf{M}_n^{\otimes k}$ of the permutation module $\mathsf{M}_n$ of $\mathsf{S}_n$, so there is a surjection $\mathsf{P}_k(n) \to \mathsf{Z}_k(n) := \mathsf{End}_{\mathsf{S}_n}(\mathsf{M}_n^{\otimes k}),$ which is an isomorphism when $n \ge 2k$. We prove a dimension formula for the irreducible modules of the centralizer algebra $\mathsf{Z}_k(n)$ in terms of Stirling numbers of the second kind. Via Schur-Weyl duality, these dimensions equal the multiplicities of the irreducible $\mathsf{S}_n$-modules in $\mathsf{M}_n^{\otimes k}$. Our dimension expressions hold for any $n \geq 1$ and $k\ge0$. Our methods are based on an analog of Frobenius reciprocity that we show holds for the centralizer algebras of arbitrary finite groups and their subgroups acting on a finite-dimensional module. This enables us to generalize the above result to various analogs of the partition algebra including the centralizer algebra for the alternating group acting on $\mathsf{M}_n^{\otimes k}$ and the quasi-partition algebra corresponding to tensor powers of the reflection representation of $\mathsf{S}_n$.

For a finite subgroup $G$ of the special unitary group $SU_2$, we study the centralizer algebra $Z_k(G) = End_G(V^{\otimes k})$ of $G$ acting on the $k$-fold tensor product of its defining representation $V= \mathbb{C}^2$. These subgroups are in bijection with the simply-laced affine Dynkin diagrams. The McKay correspondence relates the representation theory of these groups to the associated Dynkin diagram, and we use this connection to show that the structure and representation theory of $Z_k(G)$ as a semisimple algebra is controlled by the combinatorics of the corresponding Dynkin diagram.

We introduce an associative algebra $\M_k(x)$ whose dimension is the $2k$-th Motzkin number. The algebra $\M_k(x)$ has a basis of "Motzkin diagrams," which are analogous to Brauer and Temperley-Lieb diagrams, and it contains the Temperley-Lieb algebra $\TL_k(x)$ as a subalgebra. We prove that for a particular value of $x$, the algebra $\M_k(x)$ is the centralizer algebra of $\uqsl$ acting on the $k$-fold tensor power of the sum of the 1-dimensional and 2-dimensional irreducible $\uqsl$-modules. We show that $\M_k(x)$ is generated by special diagrams $\ell_i, t_i, r_i \ (1 \le i < k)$ and $p_j \ (1 \le j \le k)$, and that it has a factorization into three subalgebras $\M_k(x) = \RP_k \TL_k(x)\, \LP_k$, all of which have dimensions given by Catalan numbers. We define an action of $\M_k(x)$ on Motzkin paths of rank $r$, and in this way, construct a set of indecomposable modules $\C_k^{(r)}$, $0 \le r \le k$. We prove that $\M_k(x)$ is cellular in the sense of Graham and Lehrer and that the $\C_k^{(r)}$ are the left cell representations. We compute the determinant of the Gram matrix of a bilinear form on $\C_k^{(r)}$ for each $r$ and use these determinants to show that $\M_k(x)$ is semisimple exactly when $x$ is not the root of certain Chebyshev polynomials.

We compute the dimension $d_{n,r}(q) = \dim(\IR_q^r)$ of the defining module $\IR_q^r$ for the $q$-partition algebra. This module comes from $r$-iterations of Harish-Chandra restriction and induction on $\GL_n(\FF_q)$. This dimension is a polynomial in $q$ that specializes as $d_{n,r}(1) = n^r$ and $d_{n,r}(0) = B(r)$, the $r$th Bell number. We compute $d_{n,r}(q)$ in two ways. The first is purely combinatorial. We show that $d_{n,r}(q) = \sum_λf^λ(q) m_r^λ$, where $f^λ(q)$ is the $q$-hook number and $m_r^λ$ is the number of $r$-vacillating tableaux. Using a Schensted bijection, we write this as a sum over integer sequences which, when $q$-counted by inverse major index, gives $d_{n,r}(q)$. The second way is algebraic. We find a basis of $\IR_q^r$ that is indexed by $n$-restricted $q$-set partitions of $\{1,..., r\}$, and we show that there are $d_{n,r}(q)$ of these.

We study the combinatorial representation theory of the ``planar rook algebra" $P_n$. This algebra has a basis consisting of planar rook diagrams and multiplication given by diagram concatenation. For each integer $0 \le k \le n$, we construct natural representations $V^n_k$ which form a complete set of non-isomorphic, irreducible $P_n$-representations. We explicitly decompose the regular representation of $P_n$ into a direct sum of irreducible modules. We compute the Bratteli diagram for the tower of algebras $P_0 \subseteq P_1 \subseteq P_2 \subseteq ...$ and show that this Bratteli diagram is Pascal's triangle. In fact, we show that many of the binomial identities, both additive and multiplicative, have interpretations in terms of the representation theory of the planar rook algebra.

We give combinatorial proofs of two identities from the representation theory of the partition algebra $C A_k(n), n \ge 2k$. The first is $n^k = \sum_λf^λm_k^λ$, where the sum is over partitions $λ$ of $n$, $f^λ$ is the number of standard tableaux of shape $λ$, and $m_k^λ$ is the number of "vacillating tableaux" of shape $λ$ and length $2k$. Our proof uses a combination of Robinson-Schensted-Knuth insertion and jeu de taquin. The second identity is $B(2k) = \sum_λ(m_k^λ)^2$, where $B(2k)$ is the number of set partitions of $\{1, >..., 2k\}$. We show that this insertion restricts to work for the diagram algebras which appear as subalgebras of the partition algebra: the Brauer, Temperley-Lieb, planar partition, rook monoid, planar rook monoid, and symmetric group algebras.