Abstract
The rook monoid, also known as the symmetric inverse monoid, is the archetypal structure when it comes to extend the principle of symmetry. In this paper, we establish a Schur–Weyl duality between this monoid and an extension of the classical Schur algebra, which we name the extended Schur algebra. We also explain how this relates to Solomon’s Schur–Weyl duality between the rook monoid and the general linear group and mention some advantages of our approach.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
Throughout this article, \(\mathbb {F}\) is a field of characteristic zero unless explicitly specified and V is a d-dimensional vector space over \(\mathbb {F}\). The symmetric group \(S_{n}\) acts on the tensor space \(\otimes ^{n} V\) by place permutations. By fixing a basis of V, GL(V) can be identified with the general linear group of all \(d\times d\) non-singular matrices with entries in \(\mathbb {F}\), herein denoted \(G_{d}\). If V is the natural module for the group algebra \(\mathbb {F}G_{d}\), then \(G_{d}\) acts diagonally on \(\otimes ^{n} V\). This action commutes with that of \(S_{n}\) on \(\otimes ^{n} V\) by place permutations. In case \(\mathbb {F}= \mathbb {C}\), Schur [38] established that each action generates the full centralizer of the other on \(\textrm{End}_{\, \mathbb {F}}(\otimes ^{n} V)\), a result which was made popular by Weyl [45]. This seminal example of a double centralizer phenomenon, now known as the classical Schur–Weyl duality, provides a deep insight on the interactions between the representation theories of \(G_{d}\) and \(S_{n}\).
Results of Thrall [43], De Concini and Procesi [7], Carter and Lusztig [4] and Green [16] show that the classical Schur–Weyl duality remains true if \(\mathbb {F}\) is an infinite field of any characteristic. More recently, the classical Schur–Weyl duality was extended to sufficiently large finite fields by Benson and Doty [1].
These results can be better understood in the context of Schur algebras [16]. Implicit in zero characteristic in Schur’s Ph.D thesis [37], Schur algebras were defined over arbitrary infinite fields by J. A. Green in his seminal monograph [16]. The Schur algebra \(\mathcal {S}_{\, \scriptscriptstyle {\mathbb {F}}}(d,n)\) can be identified with the centralizer algebra \(\textrm{End}_{\, \mathbb {\mathbb {F}}S_{n}}(\otimes ^{n} V)\) of \(\mathbb {F}S_{n}\) on \(\otimes ^{n} V\) with respect to place permutations and the family \(\left\{ \mathcal {S}_{\, \scriptscriptstyle {\mathbb {F}}}(d,r) \right\} _{r\ge 0}\) completely determines the polynomial representations of \(\mathbb {F}G_{d}\). Moreover, \(\mathcal {S}_{\, \scriptscriptstyle {\mathbb {F}}}(d,n)\) is an important example of a cellular algebra [15]. Thus, the classical Schur–Weyl duality can be stated in terms of these finite-dimensional algebras in a very general setting.
There are numerous other examples of “Schur–Weyl dualities". For instance, in characteristic zero, the centralizer algebras associated with the diagonal action of subgroups of \(G_{d}\) such as the orthogonal group \(O_{d}\) and the symmetric group \(S_{d}\) on \(\otimes ^{n} V\) are, respectively, the Brauer algebra [3] and the partition algebra [24, 27,28,29] (see also [22]). As before, the translation of these results in the language of Schur algebras and their generalizations has widely expanded our knowledge of the properties of these algebras in the modular case (see, among many others, [2, 8, 13]).
In 2002, Solomon [40] established a Schur–Weyl duality between \(G_{d}\) and an important finite inverse monoid. Inverse monoids were introduced in [44] as a natural generalization of groups to deal with aspects of symmetry which the latter could not capture (see [26] for further details on this viewpoint). The archetypal example of such a structure is the symmetric inverse monoid, also called the rook monoid [39].
For our purposes, the rook monoid \(R_{n}\) is the set of all bijective partial maps from \(\textbf{n}=\{1, \ldots , n\}\) to itself under the usual composition of partial functions. It contains \(S_{n}\) and it is isomorphic to the monoid under matrix multiplication of all \(n\times n\) matrices with at most one entry equal to \(1_{\mathbb {F}}\) in each row and in each column and zeros elsewhere. It plays the same rôle for inverse monoids that \(S_{n}\) does for groups and thus it is the archetypal structure when it comes to extend the principle of symmetry.
In his influential article [40], L. Solomon proved that \(R_{n}\) acts on tensors by “place permutations". More precisely, he showed that, if \(\mathbb {F}\) has characteristic zero and \(d\ge n\), \(\mathbb {F}R_{n}\) acts as the centralizer algebra for the action of \(G_{d}\) on \(\otimes ^{n} U\), where \(U=V\oplus U_{0}\) is the direct sum of the natural d-dimensional module V and the trivial module \(U_{0}\).
Since its publication, this result proved to be a special case of an important Schur–Weyl duality on tensor spaces for the Hecke algebra analog for \(R_{n}\), known as the q-rook monoid (see [20, 35, 41] and references therein). It also influenced other authors into establishing Schur–Weyl dualities between \(R_{n}\) and other finite inverse semigroups [25]. Moreover, it led to the investigation of a number of interesting algebras. For instance, the centralizer algebras associated with the restriction of the action of \(G_{d}\) on \(\otimes ^{n} U\) to subgroups such as the orthogonal subgroup \(O_{d}\) and the symmetric \(S_{d}\) are, respectively, the rook Brauer algebra [21, 30] and the rook partition algebra [18].
The main purpose of this article is to show that Solomon’s Schur–Weyl duality for \(R_{n}\) and \(G_{d}\) can be stated in terms of an extension of the classical Schur algebra.
We achieve this by defining an \(\mathbb {F}\)-algebra \(\mathcal {S}_{\,\scriptscriptstyle {\mathbb {F}}}(d, \textbf{n})\) which we call the extended Schur algebra and which satisfies
We then prove that \(\mathcal {S}_{\, \scriptscriptstyle {\mathbb {F}}}(d, \textbf{n})\) determines the homogeneous polynomial representations of \(\mathbb {F}G_{d}\) of degree at most n, a result that holds for arbitrary infinite fields. Finally, we establish a Schur–Weyl duality between \(\mathcal {S}_{\, \scriptscriptstyle {\mathbb {F}}}(d, \textbf{n})\) and \(R_{n}\) on \(\otimes ^{n} U\), when \(d\ge n\) and \(\mathbb {F}\) has zero characteristic. To show that our viewpoint provides a deeper insight on the representation theory of \(R_{n}\) and its interactions to those of general linear and symmetric groups, we also mention some applications of our approach.
This paper is organized as follows. Section 2 begins with a brief overview on (split) semisimple algebras, double centralizer theory and classical Schur–Weyl duality. This is followed by a description of structural aspects of the classical Schur algebra \(\mathcal {S}_{\, \scriptscriptstyle {\mathbb {F}}}(d,n)\) and an outline of the representation theory of the rook monoid \(R_{n}\).
In Sect. 3, we view \(G_{d}\subseteq G_{d+1}\) under a natural embedding and we explain how the restriction of the diagonal action of \(G_{d+1}\) on \(\otimes ^{n} U\) to \(G_{d}\) gives rise to the extended Schur algebra \(\mathcal {S}_{\, \scriptscriptstyle {\mathbb {F}}}(d, \textbf{n})\). After describing this algebra’s structure, we prove that the module category for \(\mathcal {S}_{\, \scriptscriptstyle {\mathbb {F}}}(d, \textbf{n})\) is equivalent to the category of homogeneous polynomial \(G_{d}\)-modules of degree at most n. Finally, we establish a Schur–Weyl duality on \(\otimes ^{n} U\) between \(\mathcal {S}_{\, \scriptscriptstyle {\mathbb {F}}}(d, \textbf{n})\) and \(\mathbb {F}R_{n}\). We end by explaining how this result relates to Solomon’s Schur–Weyl duality [40] and mentioning some consequences of our approach.
We should note that some of the techniques used herein apply to infinite fields of any characteristic. The fact that our main result relies on the semisimplicity of the monoid algebra of \(R_{n}\) has made us decide to work in characteristic zero. However, since we hope to treat the modular case in the near future, we have pointed out all the results in this article that remain true for arbitrary infinite fields.
2 Preliminaries
2.1 Double centralizer theory and classical Schur–Weyl duality
Henceforth, the term “module" refers to a finite-dimensional left module unless explicitly stated otherwise and \(\mathbb {F}\) is a field of characteristic zero. Let \(\mathcal {A}\) be a finite-dimensional split semisimple algebra over \(\mathbb {F}\). By classical Artin–Wedderburn theory [6, Theorem 3.34], this means that there is an isomorphism of \(\mathbb {F}\)-algebras
for some finite index set \(\Lambda \) and positive integers \(d_{\lambda }\). For each \(\lambda \in \Lambda \), there is, up to isomorphism, one simple \(\mathcal {A}\)-module \(S_{\lambda }\) and \(\left\{ S_{\lambda }: \lambda \in \Lambda \right\} \) is a complete set of representatives of the isomorphism classes of simple modules of \(\mathcal {A}\).
If M is a finite-dimensional \(\mathcal {A}\)-module, its decomposition into simple \(\mathcal {A}\)-modules is given by
where \(m_{\lambda }\) is a non-negative integer called the multiplicity of \(\lambda \) in M. We say that \(\lambda \in \Lambda \) appears in M if M contains a submodule isomorphic to \(S_{\lambda }\) (that is, if \(m_{\lambda }>0\)).
Let \(\rho : \mathcal {A} \rightarrow \textrm{End}_{\, \mathbb {F}}(M)\) be the representation corresponding to the \(\mathcal {A}\)-module M with decomposition given by Expression (1). The centralizer algebra of \(\mathcal {A}\) on M is the finite-dimensional \(\mathbb {F}\)-algebra
The action of \(\textrm{End}_{\, \mathcal {A}}(M)\) on M defined by \(\phi \cdot x = \phi (x)\), with \(\phi \in \textrm{End}_{\, \mathcal {A}}(M)\) and \(x\in M\), turns M into an \(\textrm{End}_{\, \mathcal {A}}(M)\)-module. Since the actions of \(\mathcal {A}\) and \(\textrm{End}_{\, \mathcal {A}}(M)\) on M commute, \(\rho \) induces a homomorphism of \(\mathbb {F}\)-algebras \(\rho : \mathcal {A} \rightarrow \textrm{End}_{\, \textrm{End}_{\, \mathcal {A}}(M)}(M)\). In case M is a right \(\mathcal {A}\)-module, the corresponding homomorphism is obtained via the representation \(\rho : \mathcal {A}^{\circ } \rightarrow \textrm{End}_{\mathbb {F}}(M)\) of \(\mathcal {A}^{\circ }\) on M, where \(\mathcal {A}^{\circ }\) is the opposite algebra of \(\mathcal {A}\).
The next theorem summarizes the basic dual relationship between the \(\mathbb {F}\)-algebras \(\mathcal {A}\) and \(\textrm{End}_{\mathcal {A}}(M)\) and can be found (with a different formulation) in [6, Section 3.D].
Theorem 1
(Double Centralizer Theorem) Let \(\mathcal {A}\) be a finite-dimensional split semisimple \(\mathbb {F}\)-algebra and let \(\{S_{\lambda }: \lambda \in \Lambda \}\) be a complete set of representatives of the isomorphism classes of simple \(\mathcal {A}\)-modules with \(\dim _{\scriptscriptstyle {\mathbb {F}}}(S_{\lambda })=d_{\lambda }\), for all \(\lambda \in \Lambda \). Let M be an \(\mathcal {A}\)-module such that \(\displaystyle {M\cong \bigoplus _{\lambda \in \Lambda ^{'}} m_{\lambda } S_{\lambda }}\), with \(\Lambda ^{'} = \{\lambda \in \Lambda : m_{\lambda } > 0\}\). Then:
-
(a)
There is an isomorphism of \(\mathbb {F}\)-algebras \(\displaystyle {\textrm{End}_{\, \mathcal {A}}(M)\cong \bigoplus _{\lambda \in \Lambda ^{'}} \mathcal {M}_{m_{\lambda }}(\mathbb {F})}\); in particular, \(\textrm{End}_{\, \mathcal {A}}(M)\) is a finite-dimensional (split) semisimple \(\mathbb {F}\)-algebra;
-
(b)
As an \(\textrm{End}_{\, \mathcal {A}}(M)\)-module, \(\displaystyle {M\cong \bigoplus _{\, \lambda \in \Lambda ^{'}} d_{\lambda }E_{\lambda }}\), where, for each \(\lambda \in \Lambda ^{'}\), \(E_{\lambda }\) is a simple \(\textrm{End}_{\, \mathcal {A}}(M)\)-module of dimension \(m_{\lambda }\);
-
(c)
If M is a faithful \(\mathcal {A}\)-module, the corresponding representation \(\rho :\mathcal {A} \rightarrow \textrm{End}_{\, \mathbb {F}}(M)\) induces an isomorphism of \(\mathbb {F}\)-algebras
$$\begin{aligned} \mathcal {A} \cong \textrm{End}_{\, \textrm{End}_{\, \mathcal {A}}(M)}(M), \end{aligned}$$i.e., the actions of \(\mathcal {A}\) and \(\textrm{End}_{\mathcal {A}}(M)\) on M generate the full centralizer of the other in \(\textrm{End}_{\, \mathbb {F}}(M)\).
Schur–Weyl duality is a cornerstone of representation theory that amounts to two double centralizer results which involve the symmetric and general linear groups.
Since \(\mathbb {F}\) has characteristic zero, it is known that the group algebra of the symmetric group \(\mathbb {F}S_{n}\) is a split semisimple algebra of dimension \(n \, !\) (see, for example, [23, Theorem 5.9.]). On the other hand, the isomorphism classes of simple modules for \(\mathbb {F}S_{n}\) are indexed by partitions of n.
By a partition of n, we mean a sequence \(\lambda = (\lambda _{1}, \lambda _{2}, \ldots , \lambda _{t})\) of weakly decreasing non-negative integers (\(\lambda _{1}\ge \lambda _{2}\ge \ldots \ge \lambda _{t}\ge 0\)) whose sum is equal to n. We refer to \(\lambda _{1}, \ldots , \lambda _{t}\) as the parts of \(\lambda \) and write \(\lambda \vdash n\) to indicate that \(\lambda \) is a partition of n.
Let V be an \(\mathbb {F}\)-space of dimension d. For reasons that will become apparent later, we view \(\otimes ^{n} V\) as a right \(\mathbb {F}S_{n}\)-module on which \(S_{n}\) acts by place permutations as
for all \(v_{1}, \ldots , v_{n} \in V\) and \(\sigma \in S_{n}\).
Let \(G_{d}\) be the general linear group of all \(d\times d\) invertible matrices with entries in \(\mathbb {F}\). If V has as \(\mathbb {F}\)-basis \(\{e_{1}, \ldots , e_{d}\}\), we consider the natural left action of \(G_{d}\) on V, defined on basis elements by
where, for all \(1\le i, j \le d\), \(c_{i,j}: G_{d}\rightarrow \mathbb {F}\) is the coordinate function which sends a matrix in \(G_{d}\) to its (i, j)-th entry. It follows that \(G_{d}\) acts on \(\otimes ^{n} V\) via the diagonal action
for all \(v_{1}, \ldots , v_{n}\in V\) and \(g \in G_{d}\).
Hence, \(\otimes ^{n} V\) is both a left \(\mathbb {F}G_{d}\)-module and a right \(\mathbb {F}S_{n}\)-module via place permutations. It is easily seen that these actions commute. In case \(\mathbb {F}= \mathbb {C}\), the following theorem goes back to Schur’s famous 1927 article [38]. As mentioned in the introduction, the result holds over infinite fields of any characteristic.
Theorem 2
Let V be a d-dimensional vector space over \(\mathbb {F}\) and regard \(\otimes ^{n} V\) both as the left diagonal \(\mathbb {F}G_{d}\)-module and the right \(\mathbb {F}S_{n}\)-module by place permutations. Let \(\rho : \mathbb {F}G_{d} \rightarrow \textrm{End}_{\, \mathbb {F}}(\otimes ^{n} V)\) and \(\hat{\rho }: (\mathbb {F}S_{n})^{\circ } \rightarrow \textrm{End}_{\, \mathbb {F}}(\otimes ^{n} V)\) be the corresponding representations. Then:
-
(a)
\(\rho (\mathbb {F}G_{d})= \textrm{End}_{\, \mathbb {F}S_{n}}(\otimes ^{n} V)\);
-
(b)
\(\hat{\rho }(\mathbb {F}S_{n}))= \textrm{End}_{\, \mathbb {F}G_{d}}(\otimes ^{n} V)\);
-
(c)
if \(d\ge n\), then \(\hat{\rho }\) is injective and thus it induces an isomorphism of \(\mathbb {F}\)-algebras
$$\begin{aligned} (\mathbb {F}S_{n})^{\circ } \cong \textrm{End}_{\, \mathbb {F}G_{d} }(\otimes ^{n} V). \end{aligned}$$
2.2 The classical Schur algebra
Throughout this paper, we shall adopt Green’s viewpoint [16] on the polynomial representations of \(G_{d}\) and hence work with Schur algebras (see also [31]). All of the results presented in this section are valid for infinite fields of arbitrary characteristic.
For all \(1\le i,j \le d\), let \(c_{i,j}: G_{d}\rightarrow \mathbb {F}\) be the previously defined (i, j)-th coordinate function. The polynomial algebra \(\mathcal {A}(d) \equiv \mathbb {F}[c_{i,j}: 1\le i,j \le d]\) has the structure of a bialgebra with comultiplication and counit given by
For each non-negative integer n, let \(\mathcal {A}(d,n)\) be the \(\mathbb {F}\)-subspace of homogeneous polynomials of degree n. The bialgebra \(\mathcal {A}(d)\) has a natural grading as
Since each \(\mathcal {A}(d,n)\) has the structure of a subcoalgebra of \(\mathcal {A}(d)\), its linear dual \(\mathcal {A}(d,n)^{*}=\textrm{Hom}_{\, \mathbb {F}}(\mathcal {A}(d,n); \mathbb {F})\) is an associative algebra over \(\mathbb {F}\) which we denote \(\mathcal {S}_{\, \scriptscriptstyle {\mathbb {F}}}(d,n)\) and call the (classical) Schur algebra.
We shall need some notation. If \(n\ge 1\), recall that \(\textbf{n} = \{1\,, \ldots \,, n\}\). We write \(\Gamma _{\textbf{n}}(d)\) for the set of all maps \(\alpha : \textbf{n}\rightarrow \textbf{d}\), identifying each \(\alpha \) with the n-tuple \((\alpha (1), \ldots , \alpha (n))\) or, equivalently, \((\alpha _{1}, \ldots , \alpha _{n})\). The symmetric group \(S_{n}\) acts on the right on \(\Gamma _{\textbf{n}}(d)\) by the rule \(\alpha \sigma = (\alpha _{\sigma (1)}, \ldots , \alpha _{\sigma (n)})\), for \(\alpha = (\alpha _{1}, \ldots , \alpha _{n})\in \Gamma _{\textbf{n}}(d)\) and \(\sigma \in S_{n}\). Similarly, \(S_{n}\) acts on the right on \(\Gamma _{\textbf{n}}(d)\times \Gamma _{\textbf{n}}(d)\) by \((\alpha , \beta )\sigma = (\alpha \sigma , \beta \sigma )\). If \(\alpha , \beta , \gamma , \nu \in \Gamma _{\textbf{n}}(d)\), \(\alpha \sim \beta \) means that \(\alpha \) and \(\beta \) are in the same \(S_{n}\)-orbit of \(\Gamma _{\textbf{n}}(d)\) and \((\alpha , \beta )\sim (\gamma , \nu )\) means that \((\alpha , \beta )\) and \((\gamma , \nu )\) are in the same \(S_{n}\)-orbit of \(\Gamma _{\textbf{n}}(d)\times \Gamma _{\textbf{n}}(d)\).
The space \(\mathcal {A}(d,n)\) has as an \(\mathbb {F}\)-basis the set of all monomials of degree n in the \(d^{2}\) variables \(c_{i, j}\). Each such monomial can be written as \(c_{\alpha , \beta }=c_{\alpha _{1}, \beta _{1}}\ldots c_{\alpha _{n}, \beta _{n}}\) for some \(\alpha , \beta \in \Gamma _{\textbf{n}}(d)\) and there is an “equality” rule [16, Equation (2.1b)]
for all \(\alpha , \beta , \gamma , \nu \in \Gamma _{\textbf{n}}(d)\). Let \(\Omega _{n}\) be an arbitrary set of representatives of the \(S_{n}\)-orbits of \(\Gamma _{\textbf{n}}(d)\times \Gamma _{\textbf{n}}(d)\). Hence, \(\{c_{\alpha , \beta }: (\alpha , \beta ) \in \Omega _{n}\}\) is an \(\mathbb {F}\)-basis of \(\mathcal {A}(d,n)\) and thus
We write \(\{\xi _{\alpha , \beta }: (\alpha , \beta ) \in \Omega _{n}\}\) for the \(\mathbb {F}\)-basis of \(\mathcal {S}_{\, \scriptscriptstyle {\mathbb {F}}}(d,n)\) dual to that of \(\mathcal {A}(d,n)\). Of course, \(\dim _{\, \scriptscriptstyle {\mathbb {F}}} ( \mathcal {S}_{\, \scriptscriptstyle {\mathbb {F}}}(d,n) ) = \dim _{\, \scriptscriptstyle {\mathbb {F}}} ( \mathcal {A}(d,n))\) and, for all \(\alpha , \beta , \gamma , \nu \in \Gamma _{\textbf{n}}(d)\),
The algebra structure on \(\mathcal {S}_{\, \scriptscriptstyle {\mathbb {F}}}(d,n)\) is the dual of the coalgebra structure on \(\mathcal {A}(d,n)\). This implies the following rule for the multiplication in \(\mathcal {S}_{\, \scriptscriptstyle {\mathbb {F}}}(d,n)\),
for all \(\alpha , \beta \in \Gamma _{\textbf{n}}(d)\) and \(\xi , \eta \in \mathcal {S}_{\, \scriptscriptstyle {\mathbb {F}}}(d,n)\).
The importance of Schur algebras stems from the fact that they determine the finite-dimensional polynomial representations of \(\mathbb {F}G_{d}\). We say that a representation \(\rho : \mathbb {F}G_{d} \rightarrow \textrm{End}_{\, \mathbb {F}} (W)\) on an \(\mathbb {F}\)-space W is polynomial if its coefficient functions lie in \(\mathcal {A}(d)\) and homogeneous of degree n if its coefficient functions lie in \(\mathcal {A}(d,n)\). Following Schur’s arguments for \(\mathbb {F}=\mathbb {C}\), J. A. Green proved that every polynomial representation of \(\mathbb {F}G_{d}\) is a direct sum of homogeneous ones [16, Theorem 2.2c] and that the category of \(\mathcal {S}_{\, \scriptscriptstyle {\mathbb {F}}}(d,n)\)-modules is equivalent to the category of homogeneous polynomial modules of \(\mathbb {F}G_{d}\) of degree n (see [16, pp. 23–25]).
For our purposes, we focus on the \(\mathbb {F}G_{d}\)-module \(\otimes ^{n} V\) with action given by Expression (4). If \(\{e_{1}, \ldots , e_{d}\}\) is an \(\mathbb {F}\)-basis of V, then \(\{e_{\alpha }^{\otimes } = e_{\alpha (1)}\otimes \ldots \otimes e_{\alpha (n)}: \alpha \in \Gamma _{\textbf{n}}(d)\}\) is an \(\mathbb {F}\)-basis of \(\otimes ^{n} V\). Hence, the left diagonal \(\mathbb {F}G_{d}\)-action can be expressed as
Since the \(c_{\alpha , \beta }\) all lie in \(\mathcal {A}(d,n)\), this amounts to saying that \(\otimes ^{n} V\) is a polynomial \(\mathbb {F}G_{d}\)-module which is homogeneous of degree n. As a left \(\mathcal {S}_{\, \scriptscriptstyle {\mathbb {F}}}(d,n)\)-module,
It is easily seen that the previous \(\mathcal {S}_{\, \scriptscriptstyle {\mathbb {F}}}(d,n)\)-action commutes with the right action of \(S_{n}\) on \(\otimes ^{n}V\) given by place permutations. In truth, the Schur–Weyl duality between \(G_{d}\) and \(S_{n}\) on \(\otimes ^{n} V\) can be stated in terms of \(\mathcal {S}_{\, \scriptscriptstyle {\mathbb {F}}}(d,n)\). The proof of the first isomorphism exhibited in the following theorem can be found in [16, Theorem 2.6c]. The other isomorphism follows from [4, p. 209, Lemma] and [16, Section 2.4].
Theorem 3
Let V be a d-dimensional vector space over \(\mathbb {F}\). Regard \(\otimes ^{n} V\) both as a left \(\mathcal {S}_{\, \scriptscriptstyle {\mathbb {F}}}(d,n)\)-module with action given by Equality (8) and a right \(\mathbb {F}S_{n}\)-module with action given by Equality (2). If \(d\ge n\), then each action generates the full centralizer of the other on \(\textrm{End}_{\, \mathbb {F}}(\otimes ^{n} V)\) and, as \(\mathbb {F}\)-algebras,
2.3 Representations of the rook monoid
The representation theory of finite inverse semigroups was established in the 1950’s by Munn [32,33,34] and Ponizovskiĭ [36]. For the special case of the rook monoid, their results were furthered and deepened in zero characteristic by L. Solomon [40].
Recall that \(\textbf{n}=\{1,\ldots ,n\}\). Our convention for the multiplication in \(R_{n}\) is that the composition \(\sigma \tau \) of the elements \(\sigma , \tau \in R_{n}\) is defined by first applying \(\tau \) and then \(\sigma \). If \(\sigma \in R_{n}\), we write \(D(\sigma )\subseteq \textbf{n}\) for the domain of \(\sigma \) and \(R(\sigma )\subseteq \textbf{n}\) for its range.
For instance, \(\sigma = \left( \begin{array}{ccccc} 1 &{} 2 &{} 3 &{} 4 &{} 5 \\ - &{} 4 &{} 5 &{} 2 &{} - \end{array} \right) \) and \(\tau = \left( \begin{array}{ccccc} 1 &{} 2 &{} 3 &{} 4 &{} 5 \\ 3 &{} 1 &{} 2 &{} - &{} - \end{array} \right) \) are elements of \(R_{5}\) with \(D(\sigma )=\{2,3,4\}\), \(R(\sigma )=\{2,4,5\}\) and \(D(\tau ) = R(\tau )=\{1,2,3\}\).
We agree that \(R_{n}\) contains a map \(\epsilon _{\emptyset }\) with empty domain and range which behaves as a zero element in \(R_{n}\). With this convention, it is easy to see that
If \(\sigma \in R_{n}\), we define the rank of \(\sigma \), denoted \(rk(\sigma )\), as the size of its domain. We adopt the convention that the only element in \(R_{n}\) of rank zero is \(\epsilon _{\emptyset }\) and that \(S_{0}=\{\epsilon _{\emptyset }\}\) is a group with a single element. Note that any \(\sigma \in R_{n}\) of rank n is a permutation of \(\textbf{n}\) and thus \(S_{n}\subseteq R_{n}\). A minute’s thought reveals that \(S_{r}\subseteq R_{n}\), for \(r=0,1, \ldots , n\).
The set of idempotents of \(R_{n}\) is the commutative submonoid of all the partial identities \(\epsilon _{X}:X\rightarrow X\), with \(X\subseteq \textbf{n}\). For each \(X\subseteq \textbf{n}\), \(\epsilon _{X}R_{n}\epsilon _{X}\) is a monoid with identity \(\epsilon _{X}\), whose group of units \(G_{X}\) is called the maximal subgroup of \(R_{n}\) at \(\epsilon _{X}\).
Two idempotents \(\epsilon _{X}\) and \(\epsilon _{Y}\) are said to be isomorphic if \(G_{X}\cong G_{Y}\) as groups. If \(0\le r\le n\) and \(X\subseteq \textbf{n}\) is a set of size r, it is not hard to verify that
Thus, each maximal subgroup of \(R_{n}\) can be identified with some symmetric group \(S_{r}\).
In order to classify the isomorphisms classes of simple modules of \(\mathbb {F}R_{n}\), we shall need some notation. If \(\sigma \in R_{n}\), we define the inverse of \(\sigma \), denoted \(\sigma ^{-}\), as the only element of \(R_{n}\) which satisfies \(D(\sigma ^{-})=R(\sigma )\) and \(\sigma ^{-}\sigma =\epsilon _{D(\sigma )}\).
If \(0\le r\le n\) and \(X\subseteq \textbf{n}\) is a set of size r, we denote by \(\iota _{X}\) the unique order-preserving bijection between \(\textbf{r}\) and X (identifying \(\textbf{0}\) with the empty set). Note that any \(\sigma \in R_{n}\) of rank r with \(D(\sigma )=X\) and \(R(\sigma )=Y\) can be mapped to \(S_{r}\) via
In particular, \(\mathfrak {p}(\epsilon _{X})=\epsilon _{\textbf{r}}\in S_{r}\), for all \(X\subseteq \textbf{n}\) of size r.
For our purposes, we also need to introduce special algebras. If \(1\le r \le n\), let \(\mathcal {M}_{\left( {\begin{array}{c}n\\ r\end{array}}\right) }(\mathbb {F}S_{r})\) be the \(\mathbb {F}\)-algebra of all matrices with rows and columns indexed by subsets I, J of \(\textbf{n}\) of size r and entries in \(\mathbb {F}S_{r}\). If \(r=0\), we identify \(\mathcal {M}_{\left( {\begin{array}{c}n\\ r\end{array}}\right) }(\mathbb {F}S_{r})\) with \(\mathbb {F}\). Set
If \(1\le r\le n\) and \(I,J\subseteq \textbf{n}\) are such that \(|I|=|J|=r\), let \(E_{I,J}\) be the standard matrix with \(\epsilon _{\textbf{r}}\in S_{r}\) in position (I, J) and zeros elsewhere. If \(r=0\), set \(1_{\mathbb {F}}=E_{\emptyset , \emptyset }\). It is clear that \(\mathcal {R}_{n}\) has as \(\mathbb {F}\)-basis
The following result is essentially due to Munn [32, 34] and Ponizovskiĭ [36] although it can be found explicitly in [40, Lemma 2.17] and [42, Theorem 4.4].
Theorem 4
Let \(\mathbb {F}\) be a field of characteristic zero. There is an isomorphism of \(\mathbb {F}\)-algebras \(\phi : \mathbb {F}R_{n}\rightarrow \mathcal {R}_{n}\) given by
with inverse given on basis elements \(\sigma \in S_{r}\) and \(E_{I,J}\) with \(|I|=|J|=r\) by
In particular, \(\mathbb {F}R_{n}\) is a finite-dimensional (split) semisimple algebra over \(\mathbb {F}\).
As a consequence of the previous theorem, the isomorphism classes of simple modules of \(R_{n}\) are in one-to-one correspondence with those of its maximal subgroups. In order to highlight the constructive aspect of Theorem 4, we express this result in terms of matrix representations of \(\mathbb {F}R_{n}\).
Let \(\mu \vdash r\) with \(0\le r\le n\) and let \(\rho _{\mu }: \mathbb {F}S_{r} \rightarrow \mathcal {M}_{k}(\mathbb {F})\) be an irreducible matrix representation of \(\mathbb {F}S_{r}\). If \(r=0\), we agree that there is an empty partition \(\mu =(0)\) and the corresponding irreducible representation of \(\mathbb {F}S_{0} \) is given by \(\rho _{(0)}(\epsilon _{\emptyset })=1_{\mathbb {F}}\).
It follows from Theorem 4 that \(\rho _{\mu }\) induces a matrix representation of \(\mathbb {F}R_{n}\), denoted by \(\rho _{\mu }^{*}: \mathbb {F}R_{n} \rightarrow \mathcal {M}_{k\,\left( {\begin{array}{c}n\\ r\end{array}}\right) }(\mathbb {F})\), and given by
for all \(\sigma \in R_{n}\). The previous expression is due to L. Solomon (see Eq. 2.26 in [40]). In the setting of finite inverse semigroups, Munn [34] showed that these representations determine the isomorphism type of \(\mathbb {F}R_{n}\).
Theorem 5
(Munn) Let \(\mathbb {F}\) be a field of characteristic zero. The set
is a complete set of inequivalent irreducible matrix representations of \(\mathbb {F}R_{n}\). Thus, the isomorphism classes of simple modules of \(\mathbb {F}R_{n}\) are indexed by the set of partitions
3 Representing the rook monoid and the extended Schur algebra on tensors
Throughout this section, \(\mathbb {F}\) is a field of characteristic zero, d and n are positive integers such that \(d\ge n\) and \(G_{d}\) is viewed as the subgroup of \(G_{d+1}\) of all matrices of the form
where \(g \in G_{d}\). All the results exposed in Sects. 3.1 and 3.2 remain valid if \(\mathbb {F}\) is replaced by an infinite field of any characteristic.
3.1 A natural restriction
Let \(U=V\oplus U_{0}\) be an \(\mathbb {F}\)-space of dimension \(d+1\), where V and \(U_{0}\) are seen as subspaces of U of respective dimensions d and 1. As before, \(\{e_{1}, \ldots , e_{d}\}\) is an arbitrary but fixed basis of V and \(U_{0} = \mathbb {F}e_{\infty }\) for some vector \(e_{\infty }\in U\) which turns \(\{e_{1}, \ldots , e_{d}, e_{\infty }\}\) into an \(\mathbb {F}\)-basis of U. We assume the linear ordering \(1<2<\ldots<d<\infty \).
It follows from Sect. 2 that \(\otimes ^{n} U\) is a finite-dimensional homogeneous polynomial \(\mathbb {F}G_{d+1}\)-module of degree n via the diagonal action of \(G_{d+1}\) on \(\otimes ^{n} U\) (see Eq. (4) with d replaced by \(d+1\)). We study this action’s restriction to \(G_{d}\).
To do so, we need some notation. Let \(1\le r \le n\) and let \(X=\{x_{1}< \ldots < x_{r}\}\subseteq \textbf{n}\) be a set of size r. We write \(\Gamma _{X}(d)\) for the set of all maps \(\alpha : X \rightarrow \textbf{d}\) identifying \(\alpha \in \Gamma _{X}(d)\) with the r-tuple \((\alpha (x_{1}), \ldots , \alpha (x_{r}))\in \textbf{d}^{r}\). We also agree that \(\Gamma _{\emptyset }(d)\) has a single element which is identified with the empty set.
If \(\alpha , \beta \in \Gamma _{X}(d)\), then \(c_{\alpha , \beta }=c_{\alpha (x_{1}), \beta (x_{1})}\ldots c_{\alpha (x_{r}), \beta (x_{r})}\in \mathcal {A}(d,r)\) is as before a monomial of degree r in the \(d^{2}\) variables \(c_{i,j}\). If \(\iota _{X}\) is the unique order-preserving bijection between \(\textbf{r}\) and X (see Sect. 2.3), the same monomial can be written as
where \(\gamma =\alpha \iota _{X}, \nu =\beta \iota _{X}\in \Gamma _{\textbf{r}}(d)\).
This notation is particularly useful to represent the \(\mathbb {F}\)-basis of \(\otimes ^{n} U\) induced by \(\{e_{1}, \ldots , e_{d}, e_{\infty }\}\). If \(X\subseteq \textbf{n}\) and \(\alpha \in \Gamma _{X}(d)\), the decomposable tensor \(e_{\alpha }^{\otimes }\in \otimes ^{n} U\) is defined as \(e_{\alpha }^{\otimes } = e_{\widehat{\alpha }(1)} \otimes \ldots \otimes e_{\widehat{\alpha }(n)}\), where the map \(\widehat{\alpha }: \textbf{n} \rightarrow \textbf{d}\cup \{\infty \}\) is given by
It is clear that \(\otimes ^{n} U\) has as an \(\mathbb {F}\)-basis the set \(\{e_{\alpha }^{\otimes }: \alpha \in \Gamma _{X}(d), \ X\subseteq \textbf{n} \}\). For instance, if \(d=6\), \(n=5\), \(X=\{1,3,5\}\) and \(\alpha =(6,2,2)\in \Gamma _{\{1,3,5\}}(6)\), then the corresponding basis element of \(\otimes ^{5} U\) is given by
Proposition 6
Let U be a \((d+1)\)-dimensional vector space over \(\mathbb {F}\). The restriction to \(G_{d}\) of the left diagonal action of \(G_{d+1}\) on \(\otimes ^{n} U\) is given by
Proof
Let \(g\in G_{d}\). Under the identification \(G_{d} \le G_{d+1}\), the natural action of g on basis elements of U becomes
We turn to the action of g on basis elements of the diagonal \(\mathbb {F}G_{d+1}\)-module \(\otimes ^{n} U\). If \(X=\emptyset \), then we have \(g \cdot e^{\otimes }_{\emptyset }= g \cdot e_{\infty } \otimes \ldots \otimes g \cdot e_{\infty } = e^{\otimes }_{\emptyset }\). Let \(1\le r\le n\) and let \(X=\{x_{1}< \ldots < x_{r}\}\subseteq \textbf{n}\) be a set of size r. If \(\beta \in \Gamma _{X}(d)\), the corresponding basis element of \(\otimes ^{n} U\) is \(e_{\beta }^{\otimes }= e_{\widehat{\beta }(1)}\otimes \ldots \otimes e_{\widehat{\beta }(n)}\), where \(\widehat{\beta }: \textbf{n} \rightarrow \textbf{d}\cup \{\infty \}\) is defined as above. It follows that \(g \cdot e_{\widehat{\beta }(i)} = e_{\infty }\), for all \(i\notin X\) and also that \(g \cdot e_{\beta }^{\otimes } = \displaystyle {g \cdot e_{\widehat{\beta }(1)} \otimes \ldots \otimes g \cdot e_{\widehat{\beta }(n)} \in \sum _{\alpha \in \Gamma _{X}(d)} a_{\alpha } e_{\alpha }^{\otimes }}\), for some \(a_{\alpha }\in \mathbb {F}\). It is now easy to see that
where \(c_{\alpha , \beta }\in \mathcal {A}(d,r)\), for all \(\alpha \in \Gamma _{X}(d)\).
Each \(g\in G_{d}\) gives rise to a linear transformation \(\psi (g)\) on \(\otimes ^{n} U\) and the corresponding representation \(\psi : G_{d} \rightarrow \textrm{End}_{\, \mathbb {F}}(\otimes ^{n} U)\) of \(G_{d}\) can be extended by linearity to \(\mathbb {F}G_{d}\). As such, \(\psi : \mathbb {F}G_{d} \rightarrow \textrm{End}_{\, \mathbb {F}}(\otimes ^{n} U)\) is a homomorphism of \(\mathbb {F}\)-algebras and we may write \(S(G_{d})\) to designate the subalgebra \(\psi (\mathbb {F}G_{d})\) of \(\textrm{End}_{\, \mathbb {F}}(\otimes ^{n} U)\). The algebra \(S(G_{d})\) is intimately related to the extended Schur algebra which we now introduce.
3.2 The extended Schur algebra
The coefficient space produced by the action of \(G_{d}\) on \(\otimes ^{n} U\) described in Proposition 6 suggests that \(\otimes ^{n} U\) can be seen as a representation of a special Schur algebra.
Let \(\mathcal {A}_{\textbf{n}}(d) \, = \, < c_{\alpha , \beta }: (\alpha , \beta ) \in \Gamma _{X}(d)\times \Gamma _{X}(d), X\subseteq \textbf{n}>\) be the \(\mathbb {F}\)-space spanned by all the monomials \(c_{\alpha , \beta }\) of degree at most n in the variables \(c_{i,j}\). A moment’s thought and Eq. (12) reveal that \(\mathcal {A}_{\textbf{n}}(d)\) is the direct sum of the first \(n+1\) homogeneous \(\mathbb {F}\)-spaces \(\mathcal {A}(d,r)\) of the graded bialgebra \(\mathcal {A}(d)\).
It follows that \(\mathcal {A}_{\textbf{n}}(d)\) has as an \(\mathbb {F}\)-basis the set of all distinct monomials of degree r with \(0\le r\le n\). By Eq. (5), we index this basis with the set \( \Omega _{0} \cup \Omega _{1} \cup \ldots \cup \Omega _{n}\), where \(\Omega _{0}=\Gamma _{\emptyset }(d)\times \Gamma _{\emptyset }(d)\) and each \(\Omega _{r}\), with \(1\le r \le n\), is a set of representatives of the \(S_{r}\)-orbits of \(\Gamma _{\textbf{r}}(d)\times \Gamma _{\textbf{r}}(d)\).
As mentioned previously, each \(\mathcal {A}(d,r)\) is a subcoalgebra of \(\mathcal {A}(d)\). Thus, \(\mathcal {A}_{\textbf{n}}(d)\) inherits a coalgebra structure with comultiplication and counit given, respectively, by
for all \(\alpha , \beta \in \Gamma _{X}(d)\) and \(X\subseteq \textbf{n}\). By a standard fact, it follows that
is an associative \(\mathbb {F}\)-algebra of finite dimension.
Definition 1
Let d and n be positive integers. The extended Schur algebra for d and n over the field \(\mathbb {F}\), denoted \(\mathcal {S}_{\, \scriptscriptstyle {\mathbb {F}}}(d, \textbf{n})\), is the associative \(\mathbb {F}\)-algebra of finite dimension given by the linear dual \(\mathcal {S}_{\, \scriptscriptstyle {\mathbb {F}}}(d, \textbf{n}) = \mathcal {A}_{\textbf{n}}(d)^{*}=\textrm{Hom}_{\mathbb {F}} \left( \mathcal {A}_{\textbf{n}}(d); \mathbb {F}\right) \).
Since \(\mathcal {A}_{\textbf{n}}(d) = \displaystyle {\bigoplus _{r=0}^{n} \mathcal {A}(d,r)}\), it follows that \(\mathcal {S}_{\, \scriptscriptstyle {\mathbb {F}}}(d, \textbf{n})\) can be regarded as the \(\mathbb {F}\)-algebra
where each \(\mathcal {S}_{\, \scriptscriptstyle {\mathbb {F}}}(d,r) \) is a classical Schur algebra. Indeed, if \(\xi \in \mathcal {S}_{\, \scriptscriptstyle {\mathbb {F}}}(d,r) \), we identify \(\xi \) with an element of \(\mathcal {S}_{\, \scriptscriptstyle {\mathbb {F}}}(d, \textbf{n}) = \displaystyle {\bigoplus _{r=0}^{n} \mathcal {A}(d,r)^{*}}\) by making it zero on all monomials whose degree is different from r. Under this identification,
is the \(\mathbb {F}\)-basis of \(\mathcal {S}_{\, \scriptscriptstyle {\mathbb {F}}}(d, \textbf{n})\) which is dual to the \(\mathbb {F}\)-basis of \(\mathcal {A}_{\textbf{n}}(d)\) given by
Combined with Eq. (6), this implies that \(\dim _{\, \scriptscriptstyle {\mathbb {F}}} \left( \mathcal {S}_{\, \scriptscriptstyle {\mathbb {F}}}(d, \textbf{n}) \right) = \displaystyle {\left( {\begin{array}{c}d^{2}+n\\ n\end{array}}\right) }\). Indeed,
If \(0\le r\le n\) and \(\alpha , \beta \in \Gamma _{\textbf{r}}(d)\), \(\xi _{\alpha , \beta }\) is the element of \(\mathcal {S}_{\, \scriptscriptstyle {\mathbb {F}}}(d, \textbf{n})\) given by
for all \(\gamma , \nu \in \Gamma _{\textbf{k}}(d)\) and \(0\le k\le n\). As with the classical case (see Eq. (7)), if \(0\le k\le n\) and \(\kappa , \varsigma \in \Gamma _{\textbf{k}}(d)\), we also have an equality rule to take into account, namely,
For now, it is enough to work with the index set \(\displaystyle {\bigcup _{r=0}^{n} \Gamma _{\textbf{r}}(d)}\), since it follows from Eq. (12) and (15) that, for \(\alpha , \beta \in \Gamma _{X}(d)\) with \(X\subseteq \textbf{n}\) such that \(|X|=r\),
with \(\gamma =\alpha \iota _{X}, \nu =\beta \iota _{X} \in \Gamma _{\textbf{r}}(d)\) and \(\iota _{X}:\textbf{r}\rightarrow X\) defined as before.
The multiplication in \(\mathcal {S}_{\, \scriptscriptstyle {\mathbb {F}}}(d, \textbf{n})\) follows from the coalgebra structure on \(\mathcal {A}_{\textbf{n}}(d)\) and hence from Eq. (14). Thus, if \(\xi , \eta \in \mathcal {S}_{\, \scriptscriptstyle {\mathbb {F}}}(d, \textbf{n})\), the product \(\xi \eta \) is defined on any monomial \(c_{\alpha , \beta }\), with \(\alpha , \beta \in \Gamma _{X}(d)\) and \(X\subseteq \textbf{n}\), by
The unit element \(\epsilon \in \mathcal {S}_{\, \scriptscriptstyle {\mathbb {F}}}(d, \textbf{n})\) is given by \(\epsilon (c)=c(I_{d})\), for all \(c \in \mathcal {A}_{\textbf{n}}(d)\). Note that \(\epsilon \in \mathcal {S}_{\, \scriptscriptstyle {\mathbb {F}}}(d, \textbf{n})\) can be expressed as \(\epsilon = \displaystyle {\sum _{r=0}^{n} \epsilon _{r}}\), where \(\epsilon _{r}\) is the identity of \(\mathcal {S}_{\, \scriptscriptstyle {\mathbb {F}}}(d,r)\).
We now turn to the tensor space \(\otimes ^{n} U\) and show that it can be given the structure of a left \( \mathcal {S}_{\, \scriptscriptstyle {\mathbb {F}}}(d, \textbf{n})\)-module. We have however a stronger statement.
Proposition 7
The category of finite-dimensional \(\mathbb {F}G_{d}\)-modules whose coefficient functions lie in \(\displaystyle {\mathcal {A}_{\textbf{n}}(d)= \bigoplus _{r=0}^{n} \mathcal {A}(d,r)}\) is equivalent to that of \(\mathcal {S}_{\, \scriptscriptstyle {\mathbb {F}}}(d, \textbf{n})\)-modules.
Proof
Let \(g\in G_{d}\). For any \(X\subseteq \textbf{n}\) and \(\alpha , \beta \in \Gamma _{X}(d)\), define \(e_{g}(c_{\alpha , \beta })=c_{\alpha , \beta }(g)\). By linear extension, the map \(e_{g}: c\mapsto c(g)\) is a well-defined linear homomorphism of \(\mathcal {S}_{\, \scriptscriptstyle {\mathbb {F}}}(d, \textbf{n}) = \textrm{Hom}_{\mathbb {F}} \left( \mathcal {A}_{\textbf{n}}(d); \mathbb {F}\right) \). If \(g, g' \in G_{d}\), it is clear from Eq. (17) that \(e_{g}e_{g '}=e_{g g '}\) and \(e_{I_{d}}=\epsilon \in \mathcal {S}_{\, \scriptscriptstyle {\mathbb {F}}}(d, \textbf{n})\). Hence, the map \(e: g \mapsto e_{g}\) can be linearly extended to an \(\mathbb {F}\)-algebra homomorphism \(e: \mathbb {F}G_{d} \rightarrow \mathcal {S}_{\, \scriptscriptstyle {\mathbb {F}}}(d, \textbf{n})\).
We assume that any map \(f: G_{d} \rightarrow \mathbb {F}\) is identified with its unique linear extension \(f: \mathbb {F}G_{d} \rightarrow \mathbb {F}\). Under this assumption, if \(k\in \mathbb {F}G_{d}\), then \(e_{k}: \mathcal {A}_{\textbf{n}}(d)\rightarrow \mathbb {F}\) is given by \(e_{k}(c)=c(k)\), for all \(c\in \mathcal {A}_{\textbf{n}}(d)\). The arguments in [16, Proposition 2.4b, (i)] apply mutatis mutandis to \(e: \mathbb {F}G_{d} \rightarrow \mathcal {A}_{\textbf{n}}(d)^{*}\) and hence e is surjective.
We now show that \(f: \mathbb {F}G_{d} \rightarrow \mathbb {F}\) belongs to \(\mathcal {A}_{\textbf{n}}(d)\) if and only if \(f(k)=0\), for all \(k\in \ker e\). If \(f\in \mathcal {A}_{\textbf{n}}(d)\) and \(k\in \ker e\), then \(e_{k}=0\) and \(e_{k}(f)=f(k)=0\). Conversely, let \(f: \mathbb {F}G_{d} \rightarrow \mathbb {F}\) be such that \(f(k)=0\), for all \(k\in \ker e\). Since e is surjective, for all \(\xi \in \mathcal {S}_{\, \scriptscriptstyle {\mathbb {F}}}(d, \textbf{n})\), there is some \(k \in \mathbb {F}G_{d}\) such that \(\xi = e_{k}\). Hence, we define \(y\in \mathcal {S}_{\, \scriptscriptstyle {\mathbb {F}}}(d, \textbf{n})^{*}\) by \(y(\xi )=y(e_{k})=f(k)\), for all \(k\in \mathbb {F}G_{d}\). The condition that \(f(k)=0\), for all \(k\in \ker e\) ensures that y is a well-defined element of \(\mathcal {S}_{\, \scriptscriptstyle {\mathbb {F}}}(d, \textbf{n})^{*}\). Since \(\mathcal {A}_{\textbf{n}}(d)\) is finite-dimensional, we have that \(\mathcal {A}_{\textbf{n}}(d) \cong \mathcal {A}_{\textbf{n}}(d)^{**} = \mathcal {S}_{\, \scriptscriptstyle {\mathbb {F}}}(d, \textbf{n})^{*}\) and hence there is some \(c\in \mathcal {A}_{\textbf{n}}(d)\) such that \(y=c\). Let \(k\in \mathbb {F}G_{d}\), then \(f(k)=y(e_{k})=e_{k}(c)=c(k)\) and thus \(c=f\in \mathcal {A}_{\textbf{n}}(d)\).
Let V be a finite-dimensional left \(\mathbb {F}G_{d}\)-module with basis \(\{v_{b}: b\in B\}\) and associated action \(g \cdot v_{b} = \displaystyle { \sum _{a\in B} \alpha _{a,b}(g) v_{a}}\), for all \(b\in B\) and \(g\in G_{d}\). Suppose that \(\alpha _{a,b}\in \mathcal {A}_{\textbf{n}}(d)\), for all \(a,b \in B\). Then \(\alpha _{a,b}(k)=0\), for all \(k\in \ker e\) and all \(a,b \in B\). The action
for all \(g\in G_{d}\), \(b\in B\), turns V into a left \(\mathcal {S}_{\, \scriptscriptstyle {\mathbb {F}}}(d, \textbf{n})\)-module. Indeed, for all \(\xi \in \mathcal {S}_{\, \scriptscriptstyle {\mathbb {F}}}(d, \textbf{n})\), there is \(k\in \mathbb {F}G_{d}\) such that \(\xi = e_{k}\). If \(\xi = e_{k} = e_{k '}\) for \(k ' \in \mathbb {F}G_{d}\), then \(k-k ' \in \ker e\) and \(\alpha _{a,b}(k-k ')=0\) for all \(a,b \in B\). Hence, \(e_{k}(\alpha _{a,b})=e_{k '}(\alpha _{a,b})\) for all \(a,b\in B\) and the \(\mathcal {S}_{\, \scriptscriptstyle {\mathbb {F}}}(d, \textbf{n})\)-action is well defined.
Conversely, if V is a left \(\mathcal {S}_{\, \scriptscriptstyle {\mathbb {F}}}(d, \textbf{n})\)-module with basis \(\{v_{b}: b\in B\}\) and associated action \(\xi \cdot v_{b}= \displaystyle {\sum _{a\in B} \xi (\alpha _{a,b}) v_{a}}\), for all \(b\in B\) and all \(\xi \in \mathcal {S}_{\, \scriptscriptstyle {\mathbb {F}}}(d, \textbf{n})\), then V can be viewed as an \(\mathbb {F}G_{d}\)-module with action given by
for all \(g\in G_{d}\) and all \(b\in B\), where \(e_{g}=\xi \in \mathcal {S}_{\, \scriptscriptstyle {\mathbb {F}}}(d, \textbf{n})\) and \(\alpha _{a,b}(g)=\xi (\alpha _{a,b})\). Once again, the previous properties show that \(\alpha _{a,b}\in \mathcal {A}_{\textbf{n}}(d)\) and this action is well-defined. The proof is complete and we can now identify both categories by the simple rule: \(k \cdot v = e_{k} \cdot v\), for all \(k\in \mathbb {F}G_{d}\) and \(v\in V\), where V is an object of either categories.
It follows from the proof of this result that the left action of \(\mathcal {S}_{\, \scriptscriptstyle {\mathbb {F}}}(d, \textbf{n})\) on \(\otimes ^{n} U\) is given, for \(\xi \in \mathcal {S}_{\, \scriptscriptstyle {\mathbb {F}}}(d, \textbf{n})\), \(\beta \in \Gamma _{X}(d)\) and \(X\subseteq \textbf{n}\), by
We end this section with an important fact which follows from the semisimplicity of the classical Schur algebras.
Proposition 8
The extended Schur algebra \(\mathcal {S}_{\, \scriptscriptstyle {\mathbb {F}}}(d, \textbf{n})\) is a semisimple algebra over \(\mathbb {F}\).
Proof
As referred previously, we may regard \(\mathcal {S}_{\, \scriptscriptstyle {\mathbb {F}}}(d, \textbf{n})\) as \(\displaystyle {\bigoplus _{r=0}^{n} \mathcal {S}_{\, \scriptscriptstyle {\mathbb {F}}}(d,r)}\), where \( \mathcal {S}_{\, \scriptscriptstyle {\mathbb {F}}}(d,r)\) is the classical Schur algebra. A proof of the semisimplicity of \( \mathcal {S}_{\, \scriptscriptstyle {\mathbb {F}}}(d,r)\) can be found in [16, Corollary (2.6e)] and hence the semisimplicity of \(\mathcal {S}_{\, \scriptscriptstyle {\mathbb {F}}}(d, \textbf{n})\) follows.
3.3 Schur–Weyl duality between the rook monoid and the extended Schur algebra
In what follows, we describe the centralizer algebra \(\textrm{End}_{\, \mathcal {S}_{\, \scriptscriptstyle {\mathbb {F}}}(d, \textbf{n})} (\otimes ^{n} U)\) of \(\mathcal {S}_{\, \scriptscriptstyle {\mathbb {F}}}(d, \textbf{n})\) on the left module \(\otimes ^{n} U\) on which \(\mathcal {S}_{\, \scriptscriptstyle {\mathbb {F}}}(d, \textbf{n})\) acts according to Eq. (18). Throughout this section, \(\mathbb {F}\) is a field of characteristic zero.
For each \(X\subseteq \textbf{n}\), we denote by \(W_{X}\) the \(\mathbb {F}\)-subspace of \(\otimes ^{n} U\) spanned by all the decomposable tensors \(e_{\alpha }^{\otimes }\), with \(\alpha \in \Gamma _{X}(d)\). Since \(\{e_{\alpha }^{\otimes }: \alpha \in \Gamma _{X}(d), X\subseteq \textbf{n}\}\) is an \(\mathbb {F}\)-basis of \(\otimes ^{n} U\), we have the following direct sum decomposition
It follows from Eq. (18) that the left action of an arbitrary \(\xi \in \mathcal {S}_{\, \scriptscriptstyle {\mathbb {F}}}(d, \textbf{n})\) on \(e_{\alpha }^{\otimes }\), with \(\alpha \in \Gamma _{X}(d)\), is such that \(\xi e_{\alpha }^{\otimes }\in W_{X}\). Hence, \(W_{X}\) is an \(\mathcal {S}_{\, \scriptscriptstyle {\mathbb {F}}}(d, \textbf{n})\)-submodule of \(\otimes ^{n} U\) and (19) is a decomposition of \(\otimes ^{n} U\) as a direct sum of left \(\mathcal {S}_{\, \scriptscriptstyle {\mathbb {F}}}(d, \textbf{n})\)-submodules.
The next result shows how \(\textrm{End}_{\, \mathcal {S}_{\, \scriptscriptstyle {\mathbb {F}}}(d, \textbf{n})} (\otimes ^{n} U)\) decomposes into its building blocks.
Lemma 1
Let \(U = V\oplus \mathbb {F}e_{\infty }\) be an \(\mathbb {F}\)-space of dimension \(d+1\) such that V is a d-dimensional \(\mathbb {F}\)-subspace of U.
-
(a)
If \(0\le r\le n\), the tensor space \(\otimes ^{r} V\) is a left \(\mathcal {S}_{\, \scriptstyle {\mathbb {F}}}(d, \textbf{n})\)-module for which there is an isomorphism of \(\mathbb {F}\)-algebras
$$\begin{aligned} \textrm{End}_{ \mathcal {S}_{\, \scriptscriptstyle {\mathbb {F}}}(d, \textbf{n})}(\otimes ^{r} V) \cong (\mathbb {F}S_{r})^{\circ }. \end{aligned}$$ -
(b)
If \(0\le r\le n\) and \(X\subseteq \textbf{n}\) is a set of size r, then, as \(\mathcal {S}_{\, \scriptstyle {\mathbb {F}}}(d, \textbf{n})\)-modules, \(W_{X}\cong \otimes ^{r} V\).
-
(c)
There is a left \(\mathcal {S}_{\, \scriptstyle {\mathbb {F}}}(d, \textbf{n})\)-module isomorphism such that
$$\begin{aligned} \otimes ^{n} U \cong \bigoplus _{r=0}^{n} \left( {\begin{array}{c}n\\ r\end{array}}\right) \otimes ^{r} V \end{aligned}$$where \(\displaystyle { \left( {\begin{array}{c}n\\ r\end{array}}\right) \otimes ^{r} V}\) means a direct sum of \(\left( {\begin{array}{c}n\\ r\end{array}}\right) \) copies of \(\otimes ^{r} V\).
Proof
(a) If \(r=0\), we agree that \(\otimes ^{0} V=\mathbb {F}\) with trivial left \(\mathcal {S}_{\, \scriptscriptstyle {\mathbb {F}}}(d, \textbf{n})\)-action and right \(\mathbb {F}S_{0}\)-action. If \(r\ge 1\), we view \(\otimes ^{r} V\) both as a left \(\mathcal {S}_{\, \scriptscriptstyle {\mathbb {F}}}(d,r)\)-module (via Eq. (8)) and a right \(\mathbb {F}S_{r}\)-module with respect to place permutations. The \(\mathcal {S}_{\, \scriptscriptstyle {\mathbb {F}}}(d,r)\)-action on \(\otimes ^{r} V\) is easily extended to an \(\mathcal {S}_{\, \scriptscriptstyle {\mathbb {F}}}(d, \textbf{n})\)-action by defining \(\xi w=0\), for all \(w\in \otimes ^{r} V\) and all \(\xi \in \mathcal {S}_{\, \scriptscriptstyle {\mathbb {F}}}(d,k)\) with \(k\ne r\). It follows that \(\textrm{End}_{\, \mathcal {S}_{\, \scriptscriptstyle {\mathbb {F}}}(d, \textbf{n})}(\otimes ^{r} V) \equiv \textrm{End}_{\, \mathcal {S}_{\, \scriptscriptstyle {\mathbb {F}}}(d,r)}(\otimes ^{r} V)\) and, by Theorem 3, \(\textrm{End}_{\, \mathcal {S}_{\, \scriptscriptstyle {\mathbb {F}}}(d, \textbf{n})}(\otimes ^{r} V) \cong (\mathbb {F}S_{r})^{\circ }\). (b) The case \(r=0\) is trivial since \(W_{\emptyset }=\mathbb {F}e_{\emptyset }^{\otimes }\). Let \(r\ge 1\). If \(X=\{x_{1}< \ldots < x_{r}\}\subseteq \textbf{n}\) is of size r, the map \(T_{X}: W_{X} \rightarrow \otimes ^{r} V\) defined by \(T_{X}(e_{\alpha }^{\otimes })=e_{\alpha (x_{1})}\otimes \ldots \otimes e_{\alpha (x_{r})}\), for all \(\alpha \in \Gamma _{X}(d)\), and extended linearly to \(W_{X}\), is easily seen to be a left \(\mathcal {S}_{\, \scriptscriptstyle {\mathbb {F}}}(d, \textbf{n})\)-module isomorphism. (c) This follows from (a) and (b) and the direct sum decomposition described in Equality (19).
It is worth noting that the previous lemma remains valid for arbitrary infinite fields.
Recall that the algebra of matrices
has an \(\mathbb {F}\)-basis given by Equality (10) and that \(\mathcal {R}_{n}\) is isomorphic to \(\mathbb {F}R_{n}\) (Theorem 4).
Lemma 2
Let U be an \(\mathbb {F}\)-space of dimension \(d+1\). Let \(\alpha \in \Gamma _{X}(d)\) for some \(X\subseteq \textbf{n}\) and let \(e_{\alpha }^{\otimes }\) be the corresponding basis element of \(\otimes ^{n} U\). If \(\sigma \in S_{r}\) and \(I, J \subseteq \textbf{n}\) are such that \(|I|=|J|=r\), define
Then Eq. (20) gives \(\otimes ^{n} U\) a right \(\mathcal {R}_{n}\)-module structure for which the action of \(\mathcal {R}_{n}\) commutes with that of \(\mathcal {S}_{\, \scriptscriptstyle {\mathbb {F}}}(d, \textbf{n})\) on \(\otimes ^{n} U\).
Proof
Let \(X\subseteq \textbf{n}\) and \(\alpha \in \Gamma _{X}(d)\). By the multiplication rules in \(\mathcal {R}_{n}\), it suffices to check that (20) defines an action for basis elements of \(\mathcal {R}_{n}\) in the same block \(\mathcal {M}_{\left( {\begin{array}{c}n\\ r\end{array}}\right) }(\mathbb {F}S_{r})\). The case \(r=0\) is trivial. If \(r\ge 1\), let \(\sigma , \tau \in S_{r}\) and \(I, J, K, L\subseteq \textbf{n}\) be sets of size r. Then
We also have that \(e_{\alpha }^{\otimes } \centerdot 1_{\mathcal {R}_{n}} = e_{\alpha }^{\otimes }\centerdot \epsilon _{\textbf{r}} E_{X,X} = e^{\otimes }_{\alpha \iota _{X}\epsilon _{\textbf{r}} \iota _{X}^{-}}=e_{\alpha }^{\otimes }\), where
This proves that Expression (20) defines a right action of \(\mathcal {R}_{n}\) on \(\otimes ^{n} U\).
As to the second statement, let \(X\subseteq \textbf{n}\) with \(|X|=r\), \(\beta \in \Gamma _{X}(d)\) and \(\xi \in \mathcal {S}_{\, \scriptscriptstyle {\mathbb {F}}}(d, \textbf{n})\). It is enough to prove that \((\xi e_{\beta }^{\otimes })\centerdot (\sigma E_{I,J})= \xi (e_{\beta }^{\otimes }\centerdot (\sigma E_{I,J}))\) for all \(\sigma \in S_{r}\) and all \(I, J\subseteq \textbf{n}\) of size r. Since, for a fixed \(\sigma \in S_{r}\), \(\alpha \in \Gamma _{I}(d)\) if and only if \(\gamma =\alpha \iota _{I}\sigma \iota _{J}^{-}\in \Gamma _{J}(d)\) and, in such case, \(c_{\alpha , \beta }=c_{\gamma , \beta \iota _{I}\sigma \iota _{J}^{-}}\), we have
The next two results are a Schur–Weyl duality analog for the extended Schur algebra \(\mathcal {S}_{\, \scriptscriptstyle {\mathbb {F}}}(d, \textbf{n})\) and the matrix algebra \(\mathcal {R}_{n} = \displaystyle {\bigoplus _{r=0}^{n} \mathcal {M}_{\left( {\begin{array}{c}n\\ r\end{array}}\right) }(\mathbb {F}S_{r})}\) on \(\otimes ^{n} U\).
Theorem 9
Let U be an \(\mathbb {F}\)-space of dimension \(d+1\). Let \(\mathcal {S}_{\, \scriptscriptstyle {\mathbb {F}}}(d, \textbf{n})\) act on \(\otimes ^{n} U\) as in Eq. (18) and let \(\rho : (\mathcal {R}_{n})^{\circ } \rightarrow \textrm{End}_{\, \mathbb {F}}(\otimes ^{n} U)\) be the representation defined in Lemma 2. If \(d\ge n\), then
is an isomorphism of \(\mathbb {F}\)-algebras.
Proof
We start by showing that \(\dim _{\, \scriptscriptstyle {\mathbb {F}}} (\mathcal {R}_{n})^{\circ } = \dim _{\, \scriptscriptstyle {\mathbb {F}}} \left( \textrm{End}_{\, \mathcal {S}_{\, \scriptscriptstyle {\mathbb {F}}}(d, \textbf{n})}(\otimes ^{n} U) \right) \). This follows from Lemma 1 since, as an \(\mathbb {F}\)-algebra, \(\textrm{End}_{\, \mathcal {S}_{\, \scriptscriptstyle {\mathbb {F}}}(d, \textbf{n})}(\otimes ^{n} U)\) is isomorphic to
Thus \(\dim _{\, \scriptscriptstyle {\mathbb {F}}} \left( \textrm{End}_{\, \mathcal {S}_{\, \scriptscriptstyle {\mathbb {F}}}(d, \textbf{n})}(\otimes ^{n} U) \right) = \displaystyle {\sum _{r=0}^{n} \left( {\begin{array}{c}n\\ r\end{array}}\right) ^{2} r! }= \dim _{\, \scriptscriptstyle {\mathbb {F}}} ( \mathcal {R}_{n} ) = \dim _{\, \scriptscriptstyle {\mathbb {F}}} ( (\mathcal {R}_{n})^{\circ })\).
It remains to show that \(\rho : (\mathcal {R}_{n})^{\circ } \rightarrow \textrm{End}_{\, \mathcal {S}_{\, \scriptscriptstyle {\mathbb {F}}}(d, \textbf{n})}(\otimes ^{n} U)\) is injective. Let \(M\in \mathcal {R}_{n}\) be such that \(\rho (M)=0\). By Expression (10), there are well-determined \(a_{I,J}^{\sigma }\in \mathbb {F}\) such that
Fix \(0\le r\le n\) and choose an arbitrary \(X\subseteq \textbf{n}\) of size r. Let \(\alpha = \epsilon _{X}\in \Gamma _{X}(d)\). Since \(d\ge n\), it follows that \(\epsilon _{X}\) is a well-defined element of \(\Gamma _{X}(d)\). Then \(e_{\alpha }^{\otimes }\in \otimes ^{n} U\) and \(e_{\alpha }^{\otimes }\centerdot M =0\). This implies that
For any \(J\subseteq \textbf{n}\) of size r and any \(\sigma , \tau \in S_{r}\), \(\iota _{X}\sigma \iota _{J}^{-}=\iota _{X}\tau \iota _{J}^{-}\) if and only if \(\sigma = \tau \). Moreover, for any \(K\subseteq \textbf{n}\) of size r, \(\gamma \in \Gamma _{K}(d)\) and \(\beta \in \Gamma _{J}(d)\), we have that \(e_{\gamma }^{\otimes }=e_{\beta }^{\otimes }\) if and only if \(K=J\) and \(\gamma = \beta \). Hence, the left-hand side of the above equation is a linear combination of distinct elements of the \(\mathbb {F}\)-basis \(\{e_{\nu }^{\otimes }: \nu \in \Gamma _{X}(d), X\subseteq \textbf{n}\}\) of \(\otimes ^{n} U\). We deduce that \(a_{X, J}^{\sigma }=0\), for all \(\sigma \in S_{r}\) and \(J\subseteq \textbf{n}\) of size r. Since r and X were chosen arbitrarially, we conclude that \(a_{X, J}^{\sigma }=0\), for all \(0\le r\le n\), all \(\sigma \in S_{r}\) and all \(X, J\subseteq \textbf{n}\) such that \(|X|=|J|=r\). Hence \(M=0\).
Corollary 1
Let \(U = V\oplus \mathbb {F}e_{\infty }\) be an \(\mathbb {F}\)-space of dimension \(d+1\) such that V is a d-dimensional \(\mathbb {F}\)-subspace of U. The centralizer algebra of \(\mathcal {R}_{n}\) on \(\otimes ^{n} U\) is isomorphic to \(\mathcal {S}_{\, \scriptscriptstyle {\mathbb {F}}}(d, \textbf{n})\), that is, as \(\mathbb {F}\)-algebras,
Proof
Since \(\mathcal {R}_{n}\) is a finite-dimensional (split) semisimple \(\mathbb {F}\)-algebra, the assertion follows from Theorem 9 and the Double Centralizer Theorem (Theorem 1).\(\square \)
We now make use of the isomorphism of \(\mathbb {F}\)-algebras of Theorem 4 to establish the promised Schur–Weyl duality between \(\mathcal {S}_{\, \scriptscriptstyle {\mathbb {F}}}(d, \textbf{n})\) and \(\mathbb {F}R_{n}\) on \(\otimes ^{n} U\).
Theorem 10
Let U be an \(\mathbb {F}\)-vector space of dimension \(d+1\) and let \(\mathcal {S}_{\, \scriptscriptstyle {\mathbb {F}}}(d, \textbf{n})\) act on \(\otimes ^{n} U\) as in Eq. (18). For all \(\sigma \in R_{n}\) and all \(\alpha \in \Gamma _{X}(d)\) with \(X\subseteq \textbf{n}\), define
If \(d\ge n\), then the left action of \(\mathcal {S}_{\, \scriptscriptstyle {\mathbb {F}}}(d, \textbf{n})\) and the right action of \(\mathbb {F}R_{n}\) defined by Eq. (21) on \(\otimes ^{n} U\) generate the full centralizers of each other on \(\textrm{End}_{\, \mathbb {F}}(\otimes ^{n} U)\). In addition, there are isomorphisms of \(\mathbb {F}\)-algebras such that
Proof
Let \(\phi : \mathbb {F}R_{n} \rightarrow \mathcal {R}_{n}\) be the \(\mathbb {F}\)-algebra isomorphism of Theorem 4. By Lemma 2 and Theorem 4, the rule \(z \cdot \sigma = z \centerdot \phi (\sigma )\), for all \(z\in \otimes ^{n} U\) and \(\sigma \in R_{n}\), turns \(\otimes ^{n} U\) into a right \(\mathbb {F}R_{n}\)-module. With this right \(\mathbb {F}R_{n}\)-action, the result follows from Theorem 9 and Corollary 1 and the fact that \(\phi \) is an isomorphism of \(\mathbb {F}\)-algebras. The previous right \(\mathbb {F}R_{n}\)-action reduces to Expression (21) for basis elements of \(e_{\alpha }^{\otimes }\) of \(\otimes ^{n} U\), where \(\alpha \in \Gamma _{X}(d)\) for some \(X\subseteq \textbf{n}\). This can be verified by
Let us illustrate how an element of \(R_{n}\) acts on \(\otimes ^{n} U\) with an example. If \(d=n=5\) and \(\alpha =(5,2,2)\in \Gamma _{X}(5)\) with \(X=\{1,4,5\}\), the corresponding basis element of \(\otimes ^{5} U\) is given by
If \(\sigma \in R_{5}\) is the element \(\sigma = \left( \begin{array}{ccccc} 1 &{} 2 &{} 3 &{} 4 &{} 5 \\ 5 &{} - &{} 1 &{} 2 &{} 4 \end{array} \right) \), then \(X\subseteq R(\sigma )=\{1,2,4,5\}\) and \(\alpha \sigma = (2,5,2)\in \Gamma _{Y}(5)\), where \(Y=\{1,3,5\}\). Hence,
On the other hand, if \(\sigma \in S_{n}\subseteq R_{n}\), Expression (21) becomes \(e_{\alpha }^{\otimes } \cdot \sigma = e_{\alpha \sigma }^{\otimes }\), for all \(\alpha \in \Gamma _{X}(d)\) and \(X\subseteq \textbf{n}\). This is the usual right \(S_{n}\)-action by place permutations on \(\otimes ^{n} U\). Indeed, if \(u_{1}, \ldots , u_{n}\) are vectors in U, there are well-determined \(u_{\alpha , X}\in \mathbb {F}\) such that \(u_{1}\otimes \ldots \otimes u_{n} = \displaystyle {\sum _{X\subseteq \textbf{n}} \sum _{\alpha \in \Gamma _{X}(d)} u_{\alpha , X} e_{\alpha }^{\otimes }}\). Since \(\sigma \in S_{n}\), we have that
an equality obtained by reindexation (\(\alpha =\beta \sigma ^{-1} \Leftrightarrow \beta =\alpha \sigma \) and \(\sigma (Y)=X\), for all \(X\subseteq \textbf{n}\)). This implies that
Thus, the restriction of the right \(R_{n}\)-action on \(\otimes ^{n} U\) given by Expression (21) to \(S_{n}\) is the usual right action of \(S_{n}\) on \(\otimes ^{n} U\) by place permutations.
Although it is a lengthy computation, it is possible to show that the \(R_{n}\)-action on \(\otimes ^{n} U\) by “place permutations" defined by L. Solomon in [40, Eq. (5.5)] turns into Expression (21) for basis elements of \(\otimes ^{n} U\). The reader should be aware that Solomon makes use of a different convention than ours when it comes to compose in \(R_{n}\). This means that Theorem 10 is a reformulation in the setting of Schur algebras of Solomon’s important Schur–Weyl duality between \(G_{d}\) and \(R_{n}\) on \(\otimes ^{n} U\) [40, Theorem 5.10].
4 Some remarks
-
(a)
The theory of generalised Schur algebras was introduced by S. Donkin in a series of articles starting in the mid 1980’s [9,10,11]. Given a reductive Lie algebra \(\mathfrak {g}\), let \(\mathfrak {U}\) be the universal enveloping algebra of \(\mathfrak {g}\) and let \(\scriptstyle {\Pi }\) be a finite saturated set of dominant weights. This means that whenever \(\lambda \in \, \scriptstyle {\Pi }\) and \(\mu \le \lambda \) in the usual dominance order, we have \(\mu \in \, \scriptstyle {\Pi }\). A generalised Schur algebra \(S_{\scriptstyle {\mathbb {F}}} (\scriptstyle {\Pi })\) is a quotient \(\displaystyle {\mathfrak {U} / \mathcal {I}}\), where \(\mathcal {I}\) is the ideal of \(\mathfrak {U}\) which consists of all elements of \(\mathfrak {U}\) annihilating every simple \(\mathfrak {U}\)-module of highest weight belonging to \(\scriptstyle {\Pi }\). Each \(S_{\scriptstyle {\mathbb {F}}} (\scriptstyle {\Pi })\) depends only on \(\mathbb {F}\) and \(\scriptstyle {\Pi }\) and is a quasi-hereditary algebra (or, equivalently, the module category for \(S_{\scriptstyle {\mathbb {F}}} (\scriptstyle {\Pi })\) is a highest-weight category in the sense of Cline, Parshall and Scott [5]). Classical Schur algebras are generalised Schur algebras [9, 10]. If we take \(\mathfrak {g}\) to be \(\mathfrak {gl}_{d}\) and \(\scriptstyle {\Pi }\) to be the set of partitions of r with at most d parts with r ranging from 0 to n, \(S_{\scriptstyle {\mathbb {F}}} (\scriptstyle {\Pi })\) can be identified with \(\mathcal {S}_{\, \scriptscriptstyle {\mathbb {F}}}(d, \textbf{n})\). Hence, the extended Schur algebra is a generalised Schur algebra in Donkin’s sense.
-
(b)
Let \(S(G_{d})\) be the algebra introduced after Proposition 6 as the image of the homomorphism of algebras \(\psi : \mathbb {F}G_{d} \rightarrow \textrm{End}_{\, \mathbb {F}}(\otimes ^{n} U)\). If we regard \(\otimes ^{n} U\) as a right \(\mathbb {F}R_{n}\)-module with action given by Eq. (21), similar arguments to those given in the proof of Theorem 9 make it possible to show that \(S(G_{d}) = \textrm{End}_{\, \mathbb {F}R_{n}} (\otimes ^{n} U)\). On the other hand, it follows from Theorem 10 that \(\mathcal {S}_{\, \scriptscriptstyle {\mathbb {F}}}(d, \textbf{n}) = \textrm{End}_{\, \mathbb {F}R_{n}} (\otimes ^{n} U)\). As such, the extended Schur algebra \(\mathcal {S}_{\, \scriptscriptstyle {\mathbb {F}}}(d, \textbf{n})\) is the image in \(\textrm{End}_{\, \mathbb {F}}(\otimes ^{n} U)\) of the action of \(\mathbb {F}G_{d}\) given by Eq. (13) on \(\otimes ^{n} U\) and hence it can be identified with \(S(G_{d})\). This explains in part why the Schur algebra approach is so useful. Indeed, in comparison with Solomon’s Schur–Weyl duality between \(\mathbb {F}G_{d}\) and \(\mathbb {F}R_{n}\) on \(\otimes ^{n} U\) [40], our result can be stated in terms of a finite-dimensional \(\mathbb {F}\)-algebra and there is no loss of information in replacing \(\mathbb {F}G_{d}\) by its quotient \(S(G_{d}) = \mathcal {S}_{\, \scriptscriptstyle {\mathbb {F}}}(d, \textbf{n})\).
-
(c)
In recent years, S. Doty and A. Giaquinto [12] established new instances of Schur–Weyl duality on \(\otimes ^{n} U\) between Artin’s braid group \(B_{d+1}\) and a certain subalgebra \(\mathcal {P}_{n}'(q)\) of the partition algebra \(\mathcal {P}_{n}(q)\) on 2n nodes depending on a parameter q for \(\mathbb {F}= \mathbb {C}\). The specialisation at \(q=1\) of \(\mathcal {P}'_{n}(q)\) is isomorphic to \(\mathbb {C}R_{n}\) and thus their results are closely related to ours. Nevertheless, their methodology is different and our approach is self-contained and independent of [12]. In Section 11, they introduce analogues of Schur algebras that allow them to state their results in terms of finite-dimensional algebras. In the spirit of remark (b) and [17], they define the classical Schur algebra \(\mathcal {S}_{\, \mathbb {C}}(d+1, n)\) as the algebra \(\textrm{End}_{\, \mathbb {C} S_{n}}(\otimes ^{n} U)\) appearing in classical Schur-Weyl duality. They also introduce a Schur algebra analogue depending on a parameter q by considering the image of the representation of \(\mathbb {C} B_{d+1}\) on \(\otimes ^{n} U\). Denoted by \(\mathcal {S}'_{\, q}(d+1, n)\), this algebra can be identified with \(\textrm{End}_{\, \mathcal {P}'_{n}(q)}(\otimes ^{n} U)\) by Schur–Weyl duality. As a consequence, at \(q=1\), \(\mathcal {S}'_{\, q}(d+1, n) = \textrm{End}_{\, \mathcal {P}'_{n}(1)}(\otimes ^{n} U) = \textrm{End}_{\, \mathbb {C} R_{n}}(\otimes ^{n} U)\) and \(\mathcal {S}'_{\, q}(d+1, n)\) is a subalgebra of \(\mathcal {S}_{\, \mathbb {C}}(d+1, n)\). In terms of our notation, at \(q=1\), \(\mathcal {S}'_{\, q}(d+1, n)\) is yet another manifestation of the extended Schur algebra \(\mathcal {S}_{\, \scriptscriptstyle {\mathbb {C}}}(d, \textbf{n})\) as a subalgebra of \(\mathcal {S}_{\, \mathbb {C}}(d+1, n)\).
-
(d)
It is worth noting that our approach opens up new possibilities for better understanding the extent of the interactions between the representation theories of rook monoids, general linear groups, symmetric groups and (extended) Schur algebras:
-
On one hand, our starting point was to view \(G_{d}\) as a subgroup of \(G_{d+1}\). This implies that a simple \(\mathbb {F}G_{d+1}\)-module is also an \(\mathbb {F}G_{d}\)-module. Hence, it makes sense considering its decomposition into simple \(\mathbb {F}G_{d}\)-modules. In the language of Schur algebras, this amounts to decomposing a simple \(\mathcal {S}_{\, \scriptscriptstyle {\mathbb {F}}}(d+1, n)\)-module into simple \(\mathcal {S}_{\, \scriptscriptstyle {\mathbb {F}}}(d, \textbf{n})\)-modules and determining the corresponding multiplicities. This procedure is known as a branching rule for \(\mathcal {S}_{\, \scriptscriptstyle {\mathbb {F}}}(d, \textbf{n}) \subseteq \mathcal {S}_{\, \scriptscriptstyle {\mathbb {F}}}(d+1, n)\) (see [19] and [14, Chapter 8]). Since both \(\mathcal {S}_{\, \scriptscriptstyle {\mathbb {F}}}(d, \textbf{n})\) and \(\mathcal {S}_{\, \scriptscriptstyle {\mathbb {F}}}(d+1, n)\) are finite-dimensional semisimple \(\mathbb {F}\)-algebras, the branching rule for \(\mathcal {S}_{\, \scriptscriptstyle {\mathbb {F}}}(d, \textbf{n}) \subseteq \mathcal {S}_{\, \scriptscriptstyle {\mathbb {F}}}(d+1, n)\) is the same as that for \(\textrm{End}_{\, \mathcal {S}_{\, \scriptscriptstyle {\mathbb {F}}}(d+1, n)} \left( \otimes ^{n} U \right) \subseteq \textrm{End}_{\,\mathcal {S}_{\, \scriptscriptstyle {\mathbb {F}}}(d, \textbf{n})} \left( \otimes ^{n} U \right) \) [19, Theorem 1.7.]. By Theorem 10, this means that it is possible to derive concise proofs of combinatorial formulas for multiplicities associated with the restriction to \(S_{n} \subseteq R_{n}\) of irreducible characters of \(R_{n}\). In the near future, we hope to publish these proofs and recover in an economical way some of the results in [40, Section 3].
-
Another upshot of our approach is that we may use the tools associated with Schur algebras to give a construction of the irreducible modules of the rook monoid realized on tensors which is analogous to that of the dual Specht modules for the symmetric group. Indeed, we may apply Green’s techniques [16, Chapter 6] and define an idempotent \(\zeta \in \mathcal {S}_{\, \scriptscriptstyle {\mathbb {F}}}(d, \textbf{n})\) which satisfies the algebra isomorphism \(\zeta \mathcal {S}_{\, \scriptscriptstyle {\mathbb {F}}}(d, \textbf{n}) \zeta \cong \mathbb {F}R_{n} \). The idempotent \(\zeta \) induces a functor between the module categories for \(\mathcal {S}_{\, \scriptscriptstyle {\mathbb {F}}}(d, \textbf{n})\) and \(\mathbb {F}R_{n}\) and we can make use of this functor to build a complete set of simple modules for \(\mathbb {F}R_{n}\) from the Carter-Lusztig \(\mathcal {S}_{\, \scriptscriptstyle {\mathbb {F}}}(d, \textbf{n})\)-modules [4] realized on \(\otimes ^{n} U\), obtaining an analog for \(R_{n}\) of the dual Specht modules for \(S_{n}\) [16]. We also expect to exhibit this construction in the near future.
-
Finally, in this article, we have laid the foundations for studying the modular representations of the rook monoid on tensors. Although Theorem 4 was stated in characteristic zero and our Schur-Weyl duality between \(R_{n}\) and \(\mathcal {S}_{\, \scriptscriptstyle {\mathbb {F}}}(d, \textbf{n})\) on \(\otimes ^{n} U\) relies heavily on this result, it is possible to show that a Schur–Weyl duality between (a subalgebra of) \(\mathbb {F}R_{n}\) and \(\mathcal {S}_{\, \scriptstyle {\mathbb {F}}}(d, \textbf{n})\) on a tensor space can be established for infinite fields.
-
References
Benson, D., Doty, S.: Schur–Weyl duality over finite fields. Arch. Math. 93(5), 425–435 (2009). https://doi.org/10.1007/s00013-009-0066-8
Bowman, C., Doty, S., Martin, S.: Integral Schur–Weyl duality for partition algebras. Algebr. Comb. 5(2), 371–399 (2022). https://doi.org/10.5802/alco.214
Brauer, R.: On algebras which are connected with the semisimple continuous groups. Ann. Math. 38(4), 857–872 (1937). https://doi.org/10.2307/1968843
Carter, R.W., Lusztig, G.: On the modular representations of the general linear and symmetric groups. Math. Z. 136, 193–242 (1974). https://doi.org/10.1007/BF01214125
Cline, E., Parshall, B., Scott, L.: Finite-dimensional algebras and highest weight categories. J. Reine Angew. Math. 391, 85–99 (1988). https://doi.org/10.1515/crll.1988.391.85
Curtis, C.W., Reiner, I.: Methods of Representation Theory, vol. I. Wiley, New York (1981)
De Concini, C., Procesi, C.: A characteristic free approach to invariant theory. Adv. Math. 21(3), 330–354 (1976). https://doi.org/10.1016/S0001-8708(76)80003-5
Dipper, R., Doty, S., Hu, J.: Brauer algebras, symplectic Schur algebras and Schur–Weyl duality. Trans. Amer. Math. Soc. 360(1), 189–213 (2008). https://doi.org/10.1090/S0002-9947-07-04179-7
Donkin, S.: On Schur algebras and related algebras. I. J. Algebra 104(2), 310–328 (1986). https://doi.org/10.1016/0021-8693(86)90218-8
Donkin, S.: On Schur algebras and related algebras. II. J Algebra 111(2), 354–364 (1987). https://doi.org/10.1016/0021-8693(87)90222-5
Donkin, S.: On Schur algebras and related algebras. III. Integral representations. Math. Proc. Cambridge Philos. Soc. 116(1), 37–55 (1994). https://doi.org/10.1017/S0305004100072376
Doty, S., Giaquinto, A.: Schur–Weyl duality for tensor powers of the Burau representation. Res. Math. Sci 8(3), 47 (2021). https://doi.org/10.1007/s40687-021-00282-3
Doty, S., Hu, J.: Schur–Weyl duality for orthogonal groups. Proc. Lond. Math. Soc. 98(3), 679–713 (2009). https://doi.org/10.1112/plms/pdn044
Goodman, R., Wallach, N.R.: Symmetry, Representations, and Invariants, Graduate Texts in Mathematics, vol. 255. Springer, New York (2009)
Graham, J.J., Lehrer, G.I.: Cellular algebras. Invent. Math. 123(1), 1–34 (1996). https://doi.org/10.1007/BF01232365
Green, J.A.: Polynomial Representations of \({\rm GL}_{n}\). Lecture Notes in Mathematics, vol. 830. Springer-Verlag, Berlin (1980)
Green, J.A.: On certain subalgebras of the Schur algebra. J. Algebra 131(1), 265–280 (1990). https://doi.org/10.1016/0021-8693(90)90175-N
Grood, C.: The rook partition algebra. J. Combin. Theory Ser. A 113(2), 325–351 (2006). https://doi.org/10.1016/j.jcta.2005.03.006
Halverson, T.: Characters of the centralizer algebras of mixed tensor representations of \({\rm Gl}(r,{ C})\) and the quantum group \(\mathfrak{U} _q({\cal{{g} l}(r,{ C})})\). Pacific J. Math. 174(2), 359–410 (1996)
Halverson, T.: Representations of the \(q\)-rook monoid. J. Algebra 273(1), 227–251 (2004). https://doi.org/10.1016/j.jalgebra.2003.11.002
Halverson, T., delMas, E.: Representations of the Rook–Brauer algebra. Comm. Algebra 42(1), 423–443 (2014). https://doi.org/10.1080/00927872.2012.716120
Halverson, T., Ram, A.: Partition algebras. Eur. J. Combin. 26(6), 869–921 (2005). https://doi.org/10.1016/j.ejc.2004.06.005
Jacobson, N.: Basic Algebra II, 2nd edn. W. H. Freeman and Company, New York (1989)
Jones V.F.R.: The Potts model and the symmetric group. In: Subfactors (Kyuzeso, 1993), pp. 259–267. World Scientific, River Edge (1994)
Kudryavtseva, G., Mazorchuk, V.: Schur–Weyl dualities for symmetric inverse semigroups. J. Pure Appl. Algebra 212(8), 1987–1995 (2008). https://doi.org/10.1016/j.jpaa.2007.12.004
Lawson, M.V.: Inverse Semigroups: The Theory of Partial Symmetries. World Scientific, River Edge (1998)
Martin, P.: Temperley–Lieb algebras for nonplanar statistical mechanics–the partition algebra construction. J. Knot Theor. Ramif. 3(1), 51–82 (1994). https://doi.org/10.1142/S0218216594000071
Martin, P.: The structure of the partition algebras. J. Algebra 183(2), 319–358 (1996). https://doi.org/10.1006/jabr.1996.0223
Martin, P.P.: Representations of graph Temperley–Lieb algebras. Publ. Res. Inst. Math. Sci. 26(3), 485–503 (1990). https://doi.org/10.2977/prims/1195170958
Martin, P., Mazorchuk, V.: On the representation theory of partial Brauer algebras. Q. J. Math. 65(1), 225–247 (2014). https://doi.org/10.1093/qmath/has043
Martin, S.: Schur Algebras and Representation Theory, Cambridge Tracts in Mathematics, vol. 112. Cambridge University Press, Cambridge (2008)
Munn, W.D.: On semigroup algebras. Proc. Cambridge Philos. Soc. 51, 1–15 (1955). https://doi.org/10.1017/S0305004100029868
Munn, W.D.: The characters of the symmetric inverse semigroup. Proc. Cambridge Philos. Soc. 53, 13–18 (1957). https://doi.org/10.1017/S0305004100031947
Munn, W.D.: Matrix representations of semigroups. Proc. Cambridge Philos. Soc. 53, 5–12 (1957). https://doi.org/10.1017/S0305004100031935
Paget, R.: Representation theory of \(q\)-rook monoid algebras. J. Algebraic Combin. 24(3), 239–252 (2006). https://doi.org/10.1007/s10801-006-0010-y
Ponizovskiĭ, I.S.: On matrix representations of associative systems. Mat. Sb. 38(80), 241–260 (1956)
Schur I.: Über eine Klasse von Matrizen, die sich einer gegebenen Matrix zuordnen lassen, Dissertation, Friedrich-Wilhelms-Universität zu Berlin (1901) (Republished in: I. Schur, Gesammelte Abhandlungen, Band I, pp. 1–70, Springer, Berlin (1973))
Schur I.: Über die rationalen Darstellungen der allgemeinen linearen Gruppe. Sitzber. Preuß. Ak. Wiss., Physikal. Math. Klasse, 58–75 (1927). (Republished in: I. Schur, Gesammelte Abhandlungen. Band III, pp. 68–85, Springer, Berlin (1973))
Solomon, L.: The Bruhat decomposition, Tits system and Iwahori ring for the monoid of matrices over a finite field. Geom. Dedicata. 36(1), 15–49 (1990). https://doi.org/10.1007/BF00181463
Solomon, L.: Representations of the rook monoid. J. Algebra 256(2), 309–342 (2002). https://doi.org/10.1016/S0021-8693(02)00004-2
Solomon, L.: The Iwahori algebra of \({ M}_ {n}({ F}_{q})\). A presentation and a representation on tensor space. J. Algebra 273(1), 206–226 (2004). https://doi.org/10.1016/j.jalgebra.2003.08.013
Steinberg, B.: Möbius functions and semigroup representation theory. J. Combin. Theor. Ser. A 113(5), 866–881 (2006). https://doi.org/10.1016/j.jcta.2005.08.004
Thrall, R.M.: On the decomposition of modular tensors. II. Ann. Math. 2(45), 639–657 (1944). https://doi.org/10.2307/1969294
Vagner, V.V.: Generalized groups. Doklady Akad. Nauk SSSR 84, 1119–1122 (1952). (In Russian)
Weyl, H.: The Classical Groups. Their Invariants and Representations. Princeton University Press, Princeton, NJ (1939)
Acknowledgements
This research was made within the activities of the Group for Linear, Algebraic and Combinatorial Structures of the Centre for Functional Analysis, Linear Structures and Applications (University of Lisbon, Portugal) and was partially supported by the Portuguese Science Foundation (FCT) through the Strategic Projects UID/MAT/04721/2013 and UIDB/04721/2020. This work is part of the second author’s PhD thesis which was partially supported by the doctoral scholarship SFRH/BD/44393/2008 from the Portuguese Science Foundation (FCT, Portugal). Both authors are grateful to the anonymous referee for helpful suggestions.
Funding
Open access funding provided by FCT|FCCN (b-on).
Author information
Authors and Affiliations
Corresponding author
Additional information
Communicated by Antonio Malheiro.
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
M. André, C.A., Legatheaux Martins, I. Schur–Weyl dualities for the rook monoid: an approach via Schur algebras. Semigroup Forum 109, 38–59 (2024). https://doi.org/10.1007/s00233-024-10434-w
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00233-024-10434-w