partition algebra

The partition algebra is an associative algebra with a basis of set-partition diagrams and multiplication given by diagram concatenation. Its subalgebras include diagram algebras such as the Brauer algebra, the Temperley-Lieb algebra, or the group algebra of the symmetric group. Representations of the partition algebra are built from sets of diagrams and from representations of the symmetric group.

Definition

Diagrams

A partition of $2k$ elements labelled $1,\bar 1, 2,\bar 2,\dots, k,\bar k$ is represented as a diagram, with lines connecting elements in the same subset. In the following example, the subset $\$ gives rise to the lines $\bar 1 - \bar 4, \bar 4 -\bar 5, \bar 5 - 6$, and could equivalently be represented by the lines $\bar 1- 6, \bar 4 - 6, \bar 5 - 6, \bar 1 - \bar 5$ (for instance).

For $n\in \mathbb$ and $k\in \mathbb^*$, the partition algebra $P_k(n)$ is defined by a $\mathbb$-basis made of partitions, and a multiplication given by diagram concatenation. The concatenated diagram comes with a factor $n^D$, where $D$ is the number of connected components that are disconnected from the top and bottom elements.

Generators and relations

The partition algebra $P_k(n)$ is generated by $3k-2$ elements of the type

These generators obey relations that include
:$s_i^2 = 1 \quad , \quad s_is_s_i = s_s_is_ \quad, \quad p_i^2 = np_i \quad , \quad b_i^2= b_i \quad , \quad p_i b_i p_i = p_i$
Other elements that are useful for generating subalgebras include

In terms of the original generators, these elements are
:$e_i = b_ip_ip_b_i \quad , \quad l_i = s_ip_i \quad , \quad r_i=p_is_i$

Properties

The partition algebra $P_k(n)$ is an associative algebra. It has a multiplicative identity

The partition algebra $P_k(n)$ is semisimple for $n\in\mathbb - \$. For any two $n,n'$ in this set, the algebras $P_k(n)$ and $P_k(n')$ are isomorphic.

The partition algebra is finite-dimensional, with $\dim P_k(n) = B_$ (a Bell number).

Subalgebras

Eight subalgebras

Subalgebras of the partition algebra can be defined by the following properties:
* Whether they are planar i.e. whether lines may cross in diagrams.
* Whether subsets are allowed to have any size $1,2,\dots,2k$, or size $1,2$, or only size $2$.
* Whether we allow top-top and bottom-bottom lines, or only top-bottom lines. In the latter case, the parameter $n$ is absent, or can be eliminated by $p_i\to \fracp_i$.

Combining these properties gives rise to 8 nontrivial subalgebras, in addition to the partition algebra itself:

The symmetric group algebra $\mathbb S_k$ is the group ring of the symmetric group $S_k$ over $\mathbb$. The Motzkin algebra is sometimes called the dilute Temperley-Lieb algebra in the physics literature.

Properties

The listed subalgebras are semisimple for $n\in\mathbb - \$.

Inclusions of planar into non-planar algebras:
:$PP_k(n) \subset P_k(n) \quad , \quad M_k(n) \subset RB_k(n) \quad ,\quad TL_k(n)\subset B_k(n) \quad, \quad PR_k \subset R_k$
Inclusions from constraints on subset size:
:$B_k(n) \subset RB_k(n) \subset P_k(n) \quad ,\quad TL_k(n) \subset M_k(n) \subset PP_k(n) \quad , \quad \mathbbS_k \subset R_k$
Inclusions from allowing top-top and bottom-bottom lines:
:$R_k \subset RB_k(n) \quad , \quad PR_k\subset M_k(n) \quad ,\quad \mathbbS_k \subset B_k(n)$
We have the isomorphism:
:$PP_k(n^2) \cong TL_(n) \quad , \quad \left\{\begin{array}{l} p_i \mapsto n e_{2i-1} \\ b_i \mapsto \frac{1}{n} e_{2i} \end{array}\right.$

More subalgebras

In addition to the eight subalgebras described above, other subalgebras have been defined:
* The totally propagating partition subalgebra $\text{prop}P_k$ is generated by diagrams whose blocks all propagate, i.e. partitions whose subsets all contain top and bottom elements. These diagrams from the dual symmetric inverse monoid, which is generated by $s_i, b_ip_{i+1}b_{i+1}$.
* The quasi-partition algebra $QP_k(n)$ is generated by subsets of size at least two. Its generators are $s_i,b_i,e_i$ and its dimension is $1+\sum_{j=1}^{2k} (-1)^{j-1} B_{2k-j}$.
* The uniform block permutation algebra $U_k$ is generated by subsets with as many top elements as bottom elements. It is generated by $s_i, b_i$.

An algebra with a half-integer index $k+\frac12$ is defined from partitions of $2k+2$ elements by requiring that $k+1$ and $\overline{k+1}$ are in the same subset. For example, $P_{k+\frac12}$ is generated by $s_{i\leq k-1},b_{i\leq k},p_{i\leq k}$ so that $P_k\subset P_{k+\frac12}\subset P_{k+1}$, and $\dim P_{k+\frac12} =B_{2k+1}$.

Periodic subalgebras are generated by diagrams that can be drawn on an annulus without line crossings. Such subalgebras include a translation element $u=$ such that $u^k=1$. The translation element and its powers are the only combinations of $s_i$ that belong to periodic subalgebras.

Representations

Structure

For an integer $0\leq \ell \leq k$, let $D_\ell$ be the set of partitions of $k+\ell$ elements $1,2,\dots, k$ (bottom) and $\bar 1,\bar 2,\dots,\bar \ell$ (top), such that no two top elements are in the same subset, and no top element is alone. Such partitions are represented by diagrams with no top-top lines, with at least one line for each top element. For example, in the case $k=12, \ell = 5$:

Partition diagrams act on $D_\ell$ from the bottom, while the symmetric group $S_\ell$ acts from the top. For any Specht module $V_\lambda$ of $S_\ell$ (with therefore $, \lambda, =\ell$), we define the representation of $P_k(n)$
:$\mathcal{P}_\lambda = \mathbb{C} D_{, \lambda\otimes_{\mathbb{C} S_{, \lambda} V_\lambda\ .$
The dimension of this representation is
:$\dim\mathcal{P}_\lambda = f_\lambda \sum_{\ell = , \lambda^k \left\{ {k\atop \ell} \right\} \binom{\ell}{, \lambda \ ,$
where $\left\{ {k\atop \ell} \right\}$ is a Stirling number of the second kind, $\binom{\ell}{, \lambda$ is a binomial coefficient, and $f_\lambda = \dim S_\lambda$ is given by the hook length formula.

A basis of $\mathcal{P}_\lambda$ can be described combinatorially in terms of set-partition tableaux: Young tableaux whose boxes are filled with the blocks of a set partition.

Assuming that $P_k(n)$ is semisimple, the representation $\mathcal{P}_\lambda$ is irreducible, and the
set of irreducible finite-dimensional representations of the partition algebra is
:$\text{Irrep}\left(P_k(n)\right) = \left\{ \mathcal{P}_\lambda \right\}_{0\leq , \lambda, \leq k}\ .$

Representations of subalgebras

Representations of non-planar subalgebras have similar structures as representations of the partition algebra. For example, the Brauer-Specht modules of the Brauer algebra are built from Specht modules, and certain sets of partitions.

In the case of the planar subalgebras, planarity prevents nontrivial permutations, and Specht modules do not appear. For example, a standard module of the Temperley-Lieb algebra is parametrized by an integer $0\leq \ell\leq k$ with $\ell\equiv k\bmod 2$, and a basis is simply given by a set of partitions.

The following table lists the irreducible representations of the partition algebra and eight subalgebras.
{, class="wikitable" ; text-align:center;"
, -
! Algebra
! Parameter
! Conditions
! Dimension
, -
, $P_k(n)$
, $\lambda$
, $0\leq , \lambda, \leq k$
, $f_\lambda \sum_{\ell = , \lambda^k \left\{ {k\atop \ell} \right\} \binom{\ell}{, \lambda$
, -
, $PP_k(n)$
, $\ell$
, $0\leq \ell\leq k$
, $\binom{2k}{k+\ell}-\binom{2k}{k+\ell+1}$
, -
, $RB_k(n)$
, $\lambda$
, $0\leq , \lambda, \leq k$
, $f_\lambda \binom{k}{, \lambda \sum_{m=0}^{\left\lfloor\frac{k-, \lambda{2}\right\rfloor} \binom{k-, \lambda{2m} (2m-1)!!$
, -
, $M_k(n)$
, $\ell$
, $0\leq \ell\leq k$
, $\sum_{m=0}^{\left\lfloor\frac{k-\ell}{2}\right\rfloor} \binom{k}{\ell+2m} \left\{\binom{\ell+2m}{m}-\binom{\ell+2m}{m-1}\right\}$
, -
, $B_k(n)$
, $\lambda$
, $\begin{array}{c} 0\leq , \lambda, \leq k \\ , \lambda, \equiv k\bmod 2\end{array}$
, $f_\lambda \binom{k}{, \lambda (k-, \lambda, -1)!!$
, -
, $TL_k(n)$
, $\ell$
, $\begin{array}{c} 0\leq \ell\leq k \\ \ell\equiv k\bmod 2\end{array}$
, $\binom{k}{\frac{k+\ell}{2 -\binom{k}{\frac{k+\ell+2}{2$
, -
, $R_k$
, $\lambda$
, $0\leq , \lambda, \leq k$
, $f_\lambda \binom{k}{, \lambda$
, -
, $PR_k$
, $\ell$
, $0\leq \ell\leq k$
, $\binom{k}{\ell}$
, -
, $\mathbb{C} S_k$
, $\lambda$
, $, \lambda, =k$
, $f_\lambda$

The irreducible representations of $\text{prop}P_k$ are indexed by partitions such that $0<, \lambda, \leq k$ and their dimensions are $f_\lambda \left\{ {k\atop , \lambda \right\}$. The irreducible representations of $QP_k$ are indexed by partitions such that $0\leq, \lambda, \leq k$. The irreducible representations of $U_k$ are indexed by sequences of partitions.

Schur-Weyl duality

Assume $n\in \mathbb{N}^*$.
For $V$ a $n$-dimensional vector space with basis $v_1,\dots, v_n$, there is a natural action of the partition algebra $P_k(n)$ on the vector space $V^{\otimes k}$. This action is defined by the matrix elements of a partition $\{1,\bar 1, 2,\bar 2,\dots, k,\bar k\}=\sqcup_h E_h$ in the basis $(v_{j_1}\otimes \cdots \otimes v_{j_k})$:
:$\left(\sqcup_h E_h\right)_{j_1,j_2,\dots ,j_k}^{j_{\bar 1}, j_{\bar 2},\dots ,j_{\bar k = \mathbf{1}_{r,s\in E_h\implies j_r=j_s} \ .$
This matrix element is one if all indices corresponding to any given partition subset coincide, and zero otherwise. For example, the action of a Temperley-Lieb generator is
:$e_i \left(v_{j_1}\otimes \cdots \otimes v_{j_i}\otimes v_{j_{i+1\otimes \cdots \otimes v_{j_k}\right) = \delta_{j_i,j_{i+1\sum_{j=1}^n v_{j_1}\otimes \cdots \otimes v_{j}\otimes v_{j}\otimes \cdots \otimes v_{j_k}\ .$

Duality between the partition algebra and the symmetric group

Let $n\geq 2k$ be integer.
Let us take $V$ to be the natural permutation representation of the symmetric group $S_n$. This $n$-dimensional representation is a sum of two irreducible representations: the standard and trivial representations, V= -1,1oplus /math>.

Then the partition algebra $P_k(n)$ is the centralizer of the action of $S_n$ on the tensor product space $V^{\otimes k}$,
:$P_k(n) \cong \text{End}_{S_n}\left(V^{\otimes k}\right)\ .$
Moreover, as a bimodule over $P_k(n)\times S_n$, the tensor product space decomposes into irreducible representations as
:
V^{\otimes k} = \bigoplus_{0\leq , \lambda, \leq k} \mathcal{P}_\lambda \otimes V_{ \lambda, ,\lambda\ ,

where \lambda, ,\lambda/math> is a Young diagram of size $n$ built by adding a first row to $\lambda$, and V_{ \lambda, ,\lambda is the corresponding Specht module of $S_n$.

Dualities involving subalgebras

The duality between the symmetric group and the partition algebra generalizes the original Schur-Weyl duality between the general linear group and the symmetric group. There are other generalizations. In the relevant tensor product spaces, we write $V_n$ for an irreducible $n$-dimensional representation of the first group or algebra:
{, class="wikitable" ; text-align:center;"
, -
! Tensor product space
! Group or algebra
! Dual algebra or group
! Comments
, -
, $\left(V_{n-1}\oplus V_1\right)^{\otimes k}$
, $S_n$
, $P_k(n)$
, The duality for the full partition algebra
, -
, $\left(V_{n-2}\oplus V_1\oplus V_1\right)^{\otimes k}$
, $S_{n-1}$
, $P_{k+\frac12}(n)$
, Case of a partition algebra with a half-integer index
, -
, $V_n^{\otimes k}$
, $GL_n(\mathbb{C})$
, $S_$