Abstract
We study the quantum affine superalgebra \(U_q(\mathcal {L}\mathfrak {sl}(M,N))\) and its finite-dimensional representations. We prove a triangular decomposition and establish a system of Poincaré-Birkhoff-Witt generators for this superalgebra, both in terms of Drinfel’d currents. We define the Weyl modules in the spirit of Chari–Pressley and prove that these Weyl modules are always finite-dimensional and non-zero. In consequence, we obtain a highest weight classification of finite-dimensional simple representations when \(M \ne N\). Some concrete simple representations are constructed via evaluation morphisms.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
In this paper \(q \in \mathbb {C} {\setminus } \{0\}\) is not a root of unity and our ground field is always \(\mathbb {C}\). We study a quantized version of the enveloping algebra of the affine Lie superalgebra \(\mathcal {L}\mathfrak {sl}(M,N)\), which we denote by \(U_q(\mathcal {L}\mathfrak {sl}(M,N))\).
Some properties of \(U_q(\mathcal {L}\mathfrak {sl}(M,N))\). For \(M,N \in \mathbb {Z}_{\ge 1}\), the quantum affine superalgebra \(U_q(\mathcal {L}\mathfrak {sl}(M,N))\) is defined in terms of Drinfel’d currents. It is the superalgebra with
-
(1)
Drinfel’d generators \(X_{i,n}^{\pm }, h_{i,s}, K_i^{\pm 1}\) for \(1 \le i \le M+N-1, n \in \mathbb {Z}, s \in \mathbb {Z}_{\ne 0}\);
-
(2)
\(\mathbb {Z}_2\)-grading \(|X_{M,n}^{\pm }| = \overline{1}\), and \(|X_{i,n}^{\pm }| = |K_i^{\pm 1}| = |h_{i,s}| = |K_M^{\pm 1}| = |h_{M,s}| = \overline{0}\) for \(i \ne M\);
- (3)
Informally, when \(q=1\), \(U_q(\mathcal {L}\mathfrak {sl}(M,N))\) can be thought of as the universal enveloping algebra of the Lie superalgebra \(\mathcal {L}\mathfrak {sl}(M,N) := \mathfrak {sl}(M,N) \otimes \mathbb {C}[t,t^{-1}]\) with the convention that
Let \(U_q^{\pm }(\mathcal {L}\mathfrak {sl}(M,N))\) (resp. \(U_q^0(\mathcal {L}\mathfrak {sl}(M,N))\)) be the subalgebra of \(U_q(\mathcal {L}\mathfrak {sl}(M,N))\) generated by the \(X_{i,n}^{\pm }\) (resp. the \(K_i^{\pm 1}, h_{i,s}\)). Then the Chevalley relations imply that
and that \(U_q^0(\mathcal {L}\mathfrak {sl}(M,N))\) is a commutative algebra.
When \(M \ne N\), it is shown in [44, Theorem 6.8.2] that \(U_q(\mathcal {L}\mathfrak {sl}(M,N))\) has a Chevalley presentation and is equipped with a Hopf superalgebra structure. Using the coproduct, we can form the tensor product of two representations of \(U_q(\mathcal {L}\mathfrak {sl}(M,N))\). Note however that the coproduct formulae for \(X_{i,n}^{\pm }, h_{i,s}\) are highly non-trivial.
Backgrounds In analogy with the applications of quantum affine algebras in solvable lattice models [23], quantum affine superalgebras also appear as the algebraic supersymmetries of some solvable models. In [8], the quantum affine superalgebra \(U_q(\mathcal {L}\mathfrak {sl}(2,1))\), together with its universal \(R\)-matrix, which exists in the framework of Khoroshkin and Tolstoy [31, 32], was used to define the \(\mathbf Q \)-operators and to deduce their functional relations. These \(\mathbf Q \)-operators were then applied in integrable models of statistic mechanics (3-state \(\mathfrak {gl}(2,1)\)-Perk–Schultz model) and the associated quantum field theory. Here the functional relations come essentially from the tensor product decompositions of representations of \(U_q(\mathcal {L}\mathfrak {sl}(2,1))\) and its Borel subalgebras.
When \(M \ne N\), \(U_q(\widehat{\mathfrak {sl}(M,N)})\) (extended \(U_q(\mathcal {L}\mathfrak {sl}(M,N))\) with derivation) is the quantum supersymmetry analogue of the supersymmetric \(t-J\) model (with or without a boundary). A key problem is to diagonalize the commuting transfer matrices. In [28] for example, Kojima proposed a construction of the boundary state using the machinery of algebraic analysis method. There to obtain the bosonization of the vertex operators [29], one needs to work in some highest weight Fock representations of \(U_q(\widehat{\mathfrak {sl}(M,N)})\).
In the case \(M = N = 2\), the Lie superalgebra \(\mathfrak {sl}(2,2)\) admits a two-fold non-trivial central extension. In [7], using the quantum deformation of this centrally extended algebra and its fundamental representations (which exist infinitely), Beisert-Koroteev deduced Shastry’s spectral \(R\)-matrix \(R(u,v)\). Also it is found [5] that the \(S\)-matrix of AdS/CFT enjoys a symmetry algebra: the conventional Yangian associated to the centrally extended algebra. Later, [6] derived a quantum affine superalgebra \(\widehat{\mathcal {Q}}\) depending essentially on two parameters, together with a Hopf superalgebra structure and its fundamental representations of dimension 4. This algebra is interesting itself as it is explained there to have two conventional “limits”: one is \(U_q(\widehat{\mathfrak {sl}(2,2)})\); the other is the Yangian limit. The two limiting processes carry over to the fundamental representations. Higher representations of this algebra are however still missing.
It is therefore worthwhile to study quantum (affine) superalgebras, Yangians, and their representations. For a symmetrizable quantum affine superalgebra \(U_q(\mathfrak {g})\), early in 1997, Ruibin Zhang has classified integrable irreducible highest weight representations [48] (here being symmetrizable excludes the existence of simple isotopic odd roots). Recently, in [21, 27], the authors obtained a (super)categorification of some quantum symmetrizable Kac-Moody superalgebras and their integrable highest weight modules from quiver Hecke superalgebras. However, the affine Lie superalgebras \(\mathcal {L}\mathfrak {sl}(M,N)\) are not symmetrizable, as they contain simple isotopic odd roots. It is desirable to study \(U_q(\mathcal {L}\mathfrak {sl}(M,N))\) and their representations.
In the paper [47], Zhang considered the \(\mathfrak {gl}(M,N)\) super Yangian and its finite-dimensional representations. The super Yangian \(Y(\mathfrak {gl}(M,N))\) can be viewed as a deformation of the universal enveloping superalgebra \(U(\mathfrak {gl}(M,N)\otimes \mathbb {C}[t])\). Zhang equipped the super Yangian with a Hopf superalgebra structure and wrote explicitly a Poincaré-Birkhoff-Witt (PBW for short) basis. From this PBW basis one reads a triangular decomposition. Zhang proved that all finite-dimensional representations of \(Y(\mathfrak {gl}(M,N))\) are of highest weight with respect to this triangular decomposition, and parametrised these highest weights by polynomials (see Sect. 6 below). The aim of this paper is to develop a similar highest weight representation theory for some quantum affine superalgebras.
We remark that Zhang’s proof of the classification result relied on the coproduct structure \(\Delta \) and on some superalgebra automorphisms \(\phi _s\) of the super Yangian. For the quantum affine superalgebra \(U_q(\mathcal {L}\mathfrak {sl}(M,N))\) defined in terms of Drinfel’d generators, the coproduct structure is highly non-trivial (its existence is not clear a priori), and we do not have the analogue of the automorphisms \(\phi _s\). To overcome such difficulties we propose the PBW argument in this paper, which is independent of coproduct structures.
Main results. In this paper, we study finite-dimensional representations of the quantum affine superalgebras \(U_q(\mathcal {L}\mathfrak {sl}(M,N))\) for \(M, N \in \mathbb {Z}_{>0}\) (possibly \(M = N\)). First, we prove the Drinfel’d type triangular decomposition.
Theorem 3.3
The following multiplication map is an isomorphism of vector superspaces:
Furthermore, the three subalgebras above admit presentations as superalgebras.
With respect to this triangular decomposition, we can define the Verma modules \(\mathbf M (\Lambda )\), which are parametrised by the linear characters \(\Lambda \) on \(U_q^0(\mathcal {L}\mathfrak {sl}(M,N))\), and are isomorphic to \(U_q^-(\mathcal {L}\mathfrak {sl}(M,N))\) as vector superspaces. These Verma modules are important as it is shown that when \(M \ne N\), all finite-dimensional simple \(U_q(\mathcal {L}\mathfrak {sl}(M,N))\)-modules are their quotients up to modification by one-dimensional modules. We are led to consider the existence of finite-dimensional non-zero quotients of \(\mathbf M (\Lambda )\), the so-called modules of highest weight \(\Lambda \).
Let \(V\) be a finite-dimensional quotient of \(\mathbf M (\Lambda )\), with a non-zero even highest weight vector \(v_{\Lambda }\). When \(1 \le i \le M+N-1\) and \(i \ne M\), the subalgebra \(\widehat{U}_i\) generated by \(X_{i,n}^{\pm }, K_i, h_{i,s}\) for \(n \in \mathbb {Z}, s \in \mathbb {Z}_{\ne 0}\) is isomorphic to \(U_{q_i}(\mathcal {L}\mathfrak {sl}_2)\). As \(\widehat{U}_i v_{\Lambda }\) is finite-dimensional, from the highest weight representation theory of \(U_q(\mathcal {L}\mathfrak {sl}_2)\) we conclude that there exists a Drinfel’d polynomial \(P_i \in 1 + z\mathbb {C}[z]\) such that (see Sect. 2.1 below for the \(\phi _{i,n}^{\pm }\))
On the other hand, the subalgebra \(\widehat{U}_M\) is no longer \(U_q(\mathcal {L}\mathfrak {sl}_2)\), but a superalgebra with simpler structure. As \(\widehat{U}_M v_{\Lambda }\) is finite-dimensional, we can eventually find another Drinfel’d polynomial
Now let us set
then we see that
The linear character \(\Lambda \) is completely determined by \({{\underline{P}}} = (P_i)\) and \((f,c)\) in view of Eqs. (1.1)–(1.4). We come out with the set \(\mathcal {R}_{M,N}\) of highest weights consisting of \(\Lambda = ({{\underline{P}}},f,c)\) such that there exists \(Q(z)\) satisfying Relations (1.1)–(1.4). For such \((\Lambda , Q)\), motivated by the theory of Weyl modules for quantum affine algebras [15], we define the Weyl module \(\mathbf W (\Lambda ;Q)\) as the quotient of \(\mathbf M (\Lambda )\) by Relations (1.1)–(1.2). Hence all finite-dimensional non-zero quotients of \(\mathbf M (\Lambda )\), if exist, should be quotients of \(\mathbf W (\Lambda ;Q)\) for some \(Q\). The sufficiency of restrictions (1.1)–(1.4) on the linear characters is guaranteed by
Theorem 4.5
For all \(\Lambda = ({{\underline{P}}},f,c) \in \mathcal {R}_{M,N}\) and \(Q \in 1 + z \mathbb {C}[z]\) such that \(Qf = 0\), \(\deg Q < \dim \mathbf W (\Lambda ;Q) < \infty \).
In consequence, when \(M \ne N\), as remarked above, up to modification by some one-dimensional modules, finite-dimensional simple \(U_q(\mathcal {L}\mathfrak {sl}(M,N))\)-modules are parametrised by their highest weights \(\Lambda \in \mathcal {R}_{M,N}\).
The first inequality \(\deg Q < \dim \mathbf W (\Lambda ;Q)\) comes from a detailed analysis of some weight subspaces of \(\mathbf W (\Lambda ;Q)\), using firmly the triangular decomposition Theorem 3.3. Indeed, we shall see that the \(U_q(\mathcal {L}\mathfrak {sl}(M,N))\)-module structure on \(\mathbf W (\Lambda ;Q)\) determines the parameter \((\Lambda ;Q)\) uniquely, which justifies the definition of a highest weight. For the proof of \(\mathbf W (\Lambda ;Q)\) being finite-dimensional, we argue by induction on \((M,N)\) (this explains the reason for considering also \(M = N\)). We use a system of linear generators for the vector superspace \(U_q(\mathcal {L}\mathfrak {sl}(M,N))\), the so-called PBW generators, to control the size of the Weyl modules. To be more precise, let
be the set of positive roots of the Lie superalgebra \(\mathfrak {sl}(M,N)\) with the ordering: \(\alpha _i + \cdots + \alpha _j < \alpha _{i'} + \cdots + \alpha _{j'}\) if either \(i < i'\) or \(i = i', j < j'\). For \((\beta , n) \in \Delta \times \mathbb {Z}\), we define the root vector \(X_{\beta }(n) \in U_q^+(\mathcal {L}\mathfrak {sl}(M,N))\) as quantum brackets in such a way (Definition 3.11) that finally
Theorem 3.12
The vector superspace \(U_q^+(\mathcal {L}\mathfrak {sl}(M,N))\) is spanned by \(\prod _{\beta \in \Delta }^{\rightarrow } (\prod _{i=1}^{c_{\beta }} X_{\beta }(n_{i,\beta }) )\) where \(c_{\beta } \in \mathbb {Z}_{\ge 0}\) for \(\beta \in \Delta \) and \(n_{i,\beta } \in \mathbb {Z}\) for \(1 \le i \le c_{\beta }\).
The proof of the PBW theorem above is a combinatorial argument by inductions on \((M,N)\) and on the length of weights. We have not considered the problem of linear independence, which is beyond the scope of this paper.
We remark that Eq. (1.2) is by no means superficial. Indeed, for \(\Lambda \in \mathcal {R}_{M,N}\), the quotient of \(\mathbf M (\Lambda )\) by Relation (1.1), denoted by \(\mathbf W (\Lambda )\), is infinite-dimensional. We call \(\mathbf W (\Lambda )\) the universal Weyl module in the sense that all integrable quotients of \(\mathbf M (\Lambda )\) remain quotients of \(\mathbf W (\Lambda )\). In particular, contrary to the case of quantum affine algebras, integrable highest weight \(\nRightarrow \) finite-dimensional highest weight.
The paper is organised as follows. In Sect. 2, we remind the notion of a Weyl module for the quantum affine algebra \(U_q(\mathcal {L}\mathfrak {sl}_N)\), and that of a Kac module for the quantum superalgebra \(U_q(\mathfrak {gl}(M,N))\). In Sect. 3, we define the quantum affine superalgebra \(U_q(\mathcal {L}\mathfrak {sl}(M,N))\) and its enlargement \(U_q(\mathcal {L}'\mathfrak {sl}(M,N))\) in terms of Drinfel’d currents, following Yamane [44]. Here, the enlargement is needed to avoid the problem of linear dependence among the simple roots of \(\mathfrak {sl}(M,N)\). We prove a triangular decomposition (Theorem 3.3) in terms of Drinfel’d currents, following the argument of [18, 22]. Then we define the root vectors (Definition 3.11) and prove Theorem 3.12. In Sect. 4, the notion of a highest weight, the Verma modules \(\mathbf M (\Lambda )\), the Weyl modules \(\mathbf W (\Lambda ;Q)\), and the relative simple modules \(\mathbf S '(\Lambda )\) are defined. We prove that the Weyl modules are always finite-dimensional and non-zero (Theorem 4.5) by using the triangular decomposition and the PBW theorem. When \(M \ne N\), we conclude the highest weight classification of finite-dimensional simple \(U_q(\mathcal {L}\mathfrak {sl}(M,N))\)-modules (Proposition 4.15). The universal Weyl modules are introduced to study integrability property.
In Sect. 5, we recall Yamane’s isomorphism (Theorem 5.2) between Drinfel’d and Chevalley presentations for \(U_q(\mathcal {L}\mathfrak {sl}(M,N))\) in the case \(M \ne N\). From this isomorphism, we deduce a formula for the highest weight of the tensor product of two highest weight vectors (Corollary 5.5) and henceforth a commutative monoid structure on the set \(\mathcal {R}_{M,N}\) of highest weight. From Zhang’s evaluation morphisms (Proposition 5.6) we construct explicitly some simple \(U_q(\mathcal {L}\mathfrak {sl}(M,N))\)-modules (Proposition 5.9).
Section 6 is left to further discussions. We include in the two appendixes the related calculations that are needed in the triangular decomposition and the coproduct formulae for some Drinfel’d currents.
2 Preliminaries
We recall the highest weight representation theories for the quantum affine algebra \(U_q(\mathcal {L}\mathfrak {sl}_N)\) and the quantum superalgebra \(U_q(\mathfrak {gl}(M,N))\). Here we use \(\mathfrak {gl}\) instead of \(\mathfrak {sl}\) to avoid the problem of linear dependence among simple roots when \(M = N\) (see Notation 3.10).
2.1 Weyl modules for the quantum affine algebra \(U_q(\mathcal {L}\mathfrak {sl}_N)\)
Fix \(N \in \mathbb {Z}_{\ge 2}\). Let \((a_{i,j}) \in \mathrm {Mat}(N-1,\mathbb {Z})\) be a Cartan matrix for the simple Lie algebra \(\mathfrak {sl}_N\) with
Following Drinfel’d, the quantum affine algebra \(U_q(\mathcal {L}\mathfrak {sl}_N)\) is an algebra with [3, Theorem 4.7]:
-
(a)
generators \(X_{i,n}^{\pm }, h_{i,s}, K_i^{\pm 1}\) with \(n \in \mathbb {Z}, s \in \mathbb {Z}_{\ne 0}, 1 \le i \le N-1\);
-
(b)
relations for \(1 \le i,j \le N-1, m,n,k \in \mathbb {Z}, s,t \in \mathbb {Z}_{\ne 0}\)
$$\begin{aligned}&K_iK_i^{-1} = K_i^{-1}K_i = 1,\ [K_i,K_j] = [K_i, h_{j,s}] = [h_{i,s},h_{j,t}] = 0, \\&K_i X_{j,n}^{\pm } K_i^{-1} = q^{\pm a_{i,j}} X_{j,n}^{\pm },\ [h_{i,s}, X_{j,n}^{\pm }] = \pm \frac{[s a_{i,j}]_q}{s} X_{j,n+s}^{\pm }, \\&[X_{i,m}^+, X_{j,n}^-] = \delta _{i,j} \frac{\phi _{i,m+n}^+ - \phi _{i,m+n}^-}{q-q^{-1}}, \\&[X_{i,m}^{\pm }, X_{j,n}^{\pm }] = 0 \ \ \ \ \mathrm {if}\ |i-j| > 1, \\&X_{i,m+1}^{\pm } X_{j,n}^{\pm } - q^{\pm a_{i,j}} X_{j,n}^{\pm } X_{i,m+1}^{\pm } = q^{\pm a_{i,j}} X_{i,m}^{\pm } X_{j,n+1}^{\pm } - X_{j,n+1}^{\pm } X_{i,m}^{\pm } \ \ \ \ \mathrm {if}\ |i-j| \le 1, \\&[X_{i,m}^{\pm }, [X_{i,n}^{\pm }, X_{j,k}^{\pm }]_{q^{-1}} ]_q + [X_{i,n}^{\pm }, [X_{i,m}^{\pm }, X_{j,k}^{\pm }]_{q^{-1}} ]_q = 0 \ \ \ \mathrm {if}\ |i-j| = 1. \end{aligned}$$
Here \([n]_q = \frac{q^n-q^{-n}}{q-q^{-1}}, [a,b]_u = ab - u ba\) and \([,] = [,]_1\). The \(\phi _{i,m}^{\pm }\) are defined by the generating series
Note that \(U_q(\mathcal {L}\mathfrak {sl}_N)\) has a structure of Hopf algebra from its Chevalley presentation.
Let \(\Lambda = (P_i(z): 1 \le i \le N-1) \in (1 + z \mathbb {C}[z])^{N-1}\). The Weyl module, \(\mathbf W (\Lambda )\), is the \(U_q(\mathcal {L}\mathfrak {sl}_N)\)-module generated by \(v_{\Lambda }\) with relations (see [15, Sect. 4], or the review [11, Sect. 3.4] where we borrow the notations):
Let \(V\) be an \(U_q(\mathcal {L}\mathfrak {sl}_N)\)-module. We say that \(V\) is integrable if the actions of \(X_{i,0}^{\pm }\) for \(1 \le i \le N-1\) are locally nilpotent. We say that \(V\) is of highest weight \(\Lambda \) if \(V\) is generated by a vector \(v\) satisfying Relations (2.1)–(2.2).
We reformulate [14, Theorem 3.3] and [15, Proposition 4.6] in the case of \(\mathfrak {sl}_N\) as follows.
Theorem 2.1
-
(a)
For all \(\Lambda \in (1+z\mathbb {C}[z])^{N-1}\), we have \(0 < \dim \mathbf W (\Lambda ) < \infty \), and \(\mathbf W (\Lambda )\) has a unique quotient which is a simple \(U_q(\mathcal {L}\mathfrak {sl}_N)\)-module, denoted by \(\mathbf S (\Lambda )\).
-
(b)
All finite-dimensional simple \(U_q(\mathcal {L}\mathfrak {sl}_N)\)-modules are of the form \(\mathbf S (\Lambda ) \otimes \mathbb {C}_{\theta }\) where \(\Lambda \in (1 + z \mathbb {C}[z])^{N-1}\) and \(\mathbb {C}_{\theta }\) is a one-dimensional \(U_q(\mathcal {L}\mathfrak {sl}_N)\)-module.
-
(c)
All integrable modules of highest weight \(\Lambda \) are quotients of \(\mathbf W (\Lambda )\), in particular, they are finite-dimensional.
The Weyl modules \(\mathbf W (\Lambda )\) are generally non-simple, due to the non-semi-simplicity of the category of finite-dimensional \(U_q(\mathcal {L}\mathfrak {sl}_N)\)-modules, a phenomenon that appears also in the classical case \(U(\mathcal {L}\mathfrak {sl}_N)\).
2.2 Kac modules for the quantum superalgebra \(U_q(\mathfrak {gl}(M,N))\)
From this section on, we consider superalgebras. By definition, a superalgebra is an (associative and unitary) algebra \(A\) with a compatible \(\mathbb {Z}_2\)-grading \(A = A_{\overline{0}} \oplus A_{\overline{1}}\), i.e. \(A_{i}A_j \subseteq A_{i+j}\) for \(i,j \in \mathbb {Z}_2\). We remark that a superalgebra can be defined by a presentation: generators, their \(\mathbb {Z}_2\)-degrees, and their defining relations.
Let \(V = V_{\overline{0}} \oplus V_{\overline{1}}\) be a vector superspace. Write \(|v| = i\) for \(i \in \mathbb {Z}_2\) and \(v \in V_i\). Endow the algebra of endomorphisms \(\mathrm {End}(V)\) with the following canonical superalgebra structure:
By a representation of a superalgebra \(A\), we mean a couple \((\rho , V)\) where \(V\) is a vector superspace and \(\rho : A \longrightarrow \mathrm {End}(V)\) is a homomorphism of superalgebras. Call \(V\) an \(A\)-module in this case. When \(A\) is a Hopf superalgebra, given two representations \((\rho _i,V_i)_{i=1,2}\), we can form another representation \(((\rho _1 \,\underline{\otimes }\,\rho _2) \Delta , V_1 \,\underline{\otimes }\,V_2 )\). Here \(\,\underline{\otimes }\,\) means the super tensor product and \(\Delta : A \longrightarrow A \,\underline{\otimes }\,A\) is the coproduct.
On the other hand, a Lie superalgebra is by definition a vector superspace \(V = V_{\overline{0}} \oplus V_{\overline{1}}\) with a Lie bracket \([,]: V \times V \longrightarrow V\) such that \([A_i,A_j] \subseteq A_{i+j}\) and for \(a \in A_i, b \in A_j, c \in A_k\) (with \(i,j,k \in \mathbb {Z}_2\))
When \(A\) is a superalgebra, \([a,b] = ab - (-1)^{ij} ba\) for \(a \in A_i, b \in A_j\) makes \(A\) into a Lie superalgebra. In particular, when \(V\) is the vector superspace with \(V_{\overline{0}} = \mathbb {C}^M\) and \(V_{\overline{1}} = \mathbb {C}^N\), we write \(\mathrm {End}(V)\) as \(\mathfrak {gl}(M,N)\) to emphasis its Lie superalgebra structure. There is a super-trace on \(\mathfrak {gl}(M,N)\) given by
And \(\mathfrak {sl}(M,N) := \ker (\mathrm {str})\) is a sub-Lie-superalgebra of \(\mathfrak {gl}(M,N)\). We refer to [24, 41] for the classification of finite-dimensional simple Lie superalgebras in terms of Dynkin diagrams and Cartan matrices.
Fix \(M,N \in \mathbb {Z}_{\ge 1}\). Equip the free \(\mathbb {Z}\)-module \(\bigoplus _{i=1}^{M+N} \mathbb {Z}\epsilon _i\) with the following bilinear from
For \(1 \le i \le M+N-1\), set \(q_i = q^{l_i}\). The quantum superalgebra \(U_q(\mathfrak {gl}(M,N))\) is a superalgebra with:
-
(a)
generators \(t_i^{\pm 1}, e_j^{\pm }\) where \(1 \le i \le M+N, 1 \le j \le M+N-1\);
-
(b)
\(\mathbb {Z}_2\)-grading \(|e_M^{\pm }| = \overline{1}\) and \(|t_M^{\pm 1}|= |t_i^{\pm 1}| = |e_i^{\pm }| = \overline{0}\) for \(1 \le i \le M+N-1, i \ne M\);
-
(c)
relations for \(1 \le i \le M+N, 1 \le j,k \le M+N-1\) [43, Proposition 10.4.1]
$$\begin{aligned} t_i t_i^{-1}&= 1 = t_i^{-1} t_i,\ t_i e_j^{\pm } t_i^{-1} = q^{\pm l_{i} (\epsilon _{i}, \epsilon _{j} - \epsilon _{j+1}) } e_j^{\pm }, \\ \left[ e_j^+, e_k^{-}\right]&= \delta _{j,k} \frac{t_j^{l_{j}} t_{j+1}^{-l_{j+1}} - t_j^{-l_{j}} t_{j+1}^{l_{j+1}} }{q_j - q_j^{-1}}, \\ \left[ e_j^{\pm }, \left[ e_j^{\pm }, e_k^{\pm }\right] _{q^{-1}}\right] _{q}&= 0 \ \ \ \mathrm {if}\ c_{j,k} = \pm 1, j \ne M, \\ \left[ \left[ \left[ e_{M-1}^{\pm }, e_M^{\pm }\right] _q, e_{M+1}^{\pm }\right] _{q^{-1}}, e_M^{\pm }\right]&= 0 \ \ \ \ \mathrm {when}\ M,N > 1, \end{aligned}$$
where the super-brackets are: \([,] = [,]_1, [a,b]_u = a b - (-1)^{|a||b|} u ba\) for \(a,b\) homogeneous. \(U_q(\mathfrak {gl}(M,N))\) is endowed with a Hopf superalgebra structure as follows [9, Eq. (2.5)]
We remark that the subalgebra \(U_q(\mathfrak {sl}(M,N))\), generated by \(e_i^{\pm }, t_i^{l_i}t_{i+1}^{-l_{i+1}}\) for \(1 \le i \le M+N-1\) is a sub-Hopf-superalgebra. Let \(e^+ := [\cdots [[e_1^+, e_2^+]_{q_2}, e_3^+]_{q_3}],\ldots ,e_{M+N-1}^+]_{q_{M+N-1}}\). The following lemma is needed later.
Lemma 2.2
(see [43, Lemma 5.2.1]) For \(2 \!\le \! j \!\le \! M+N\!-\!1\), \([e^+, e_j^+]_{q^{(\epsilon _1 - \epsilon _{M+N}, \epsilon _{j+1} - \epsilon _j)}} = 0\).
Let \(\mathcal {S}_{M,N}\) be the set of \(\Lambda = (\Lambda _i: 1 \le i \le M+N ) \in \mathbb {C}\) such that [46, Eq. (13)]
Let \(\Lambda \in \mathcal {S}_{M,N}\). The Kac module, \(\mathbf K (\Lambda )\), is the \(U_q(\mathfrak {gl}(M,N))\)-module generated by \(v_{\Lambda }\), with \(\mathbb {Z}_2\)-grading \(\overline{0}\), and relations [46, Sect. 3]
We call it Kac module as it is a generalisation of Kac’s induction module construction for Lie superalgebras [25, Proposition 2.1]. Note that we also have the notion of integrable modules (actions of the \(e_j^{\pm }\) being locally nilpotent) and highest weight modules. The Kac modules in the category of finite-dimensional \(U_q(\mathfrak {gl}(M,N))\)-modules play the same role as the Weyl modules in that of finite-dimensional \(U_q(\mathcal {L}\mathfrak {sl}_N)\)-modules.
Theorem 2.3
-
(a)
For \(\Lambda \in \mathcal {S}_{M,N}\), \(0 < \dim \mathbf K (\Lambda ) < \infty \), and \(\mathbf K (\Lambda )\) has a unique quotient which is a simple \(U_q(\mathfrak {gl}(M,N))\)-module, denoted by \(L(\Lambda )\).
-
(b)
All finite-dimensional simple \(U_q(\mathfrak {gl}(M,N))\)-modules are of the form \(L(\Lambda ) \,\underline{\otimes }\,\mathbb {C}_{\theta }\) where \(\Lambda \in \mathcal {S}_{M,N}\) and \(\mathbb {C}_{\theta }\) is a one-dimensional \(U_q(\mathfrak {gl}(M,N))\)-module.
-
(c)
All integrable modules of highest weight \(\Lambda \) are quotients of \(\mathbf K (\Lambda )\), in particular, they are finite-dimensional.
3 The quantum affine superalgebra \(U_q(\mathcal {L}\mathfrak {sl}(M,N))\)
In this section, we recall the Drinfel’d realization of the quantum affine superalgebra \(U_q(\mathcal {L}\mathfrak {sl}(M,N))\) following Yamane [44, Theorem 8.5.1]. We prove a triangular decomposition for this superalgebra. Then we give a system of linear generators of PBW type in terms of Drinfel’d currents. These turn out to be crucial for the development of finite-dimensional representations in the next section.
3.1 Drinfel’d presentation of \(U_q(\mathcal {L}\mathfrak {sl}(M,N))\)
Following Eq. (2.4), define
Hence \((l_i c_{i,j})\) can be viewed as a Cartan matrix for the Lie superalgebra \(\mathfrak {sl}(M,N)\).
Definition 3.1
[44, Theorem 8.5.1] \(U_q(\mathcal {L}\mathfrak {sl}(M,N))\) is the superalgebra generated by \(X_{i,n}^{\pm }, K_i^{\pm 1}, h_{i,s}\) for \(1 \,\le \, i \,\le \, M+N-1, n \,\in \, \mathbb {Z}, s \,\in \, \mathbb {Z}_{\ne 0}\), with the \(\mathbb {Z}_2\)-grading \(|X_{M,n}^{\pm }| \,=\, \overline{1}\) for \(n \in \mathbb {Z}\) and \(\overline{0}\) for other generators, and with the following relations: \(1 \le i,j \le M+N-1, m,n,k,u \in \mathbb {Z}, s,t \in \mathbb {Z}_{\ne 0}\)
where the \(\phi _{i,n}^{\pm }\) are given by the generating series
We understand that \(U_q(\mathcal {L}\mathfrak {sl}(M,0)) = U_q(\mathcal {L}\mathfrak {sl}_M)\) and \(U_q(\mathcal {L}\mathfrak {sl}(0,N)) = U_{q^{-1}}(\mathcal {L}\mathfrak {sl}_N)\). We also need an extension of the superalgebra \(U_q(\mathcal {L}\mathfrak {sl}(M,N))\). For this, note that there is an action of the group algebra \(\mathbb {C}[K_0,K_0^{-1}]\) on it: for \(i \in \{ 1,\ldots ,M+N-1 \}, s \in \mathbb {Z}_{\ne 0}, n \in \mathbb {Z}\)
Let \(U_q(\mathcal {L}'\mathfrak {sl}(M,N)) := U_q(\mathcal {L}\mathfrak {sl}(M,N)) \rtimes \mathbb {C}[K_0,K_0^{-1}]\).
One can see informally \(U_q(\mathcal {L}'\mathfrak {sl}(M,N))\) as a deformation of the universal enveloping algebra of the Lie superalgebra \(\mathcal {L}'\mathfrak {sl}(M,N)\) where
When \(M = N\), the Lie superalgebra \(\mathcal {L}'\mathfrak {sl}(M,N)\) is nothing but \((\mathfrak {sl}(M,N)^{(1)})^{\fancyscript{H}}\) in Yamane’s notation [44, Sect. 1.5].
3.2 Triangular decomposition
There is an injection of superalgebras \(U_q(\mathcal {L}\mathfrak {sl}(M,N)) \hookrightarrow U_q(\mathcal {L}'\mathfrak {sl}(M,N))\) given by \(x \mapsto x \rtimes 1\). Identify \(U_q(\mathcal {L}\mathfrak {sl}(M,N))\) with a subalgebra of \(U_q(\mathcal {L}'\mathfrak {sl}(M,N))\) from now on.
Notation 3.2
Let \(U_q^{\pm }(\mathcal {L}\mathfrak {sl}(M,N))\) (resp. \(U_q^0(\mathcal {L}\mathfrak {sl}(M,N))\)) be the subalgebra of \(U_q(\mathcal {L}\mathfrak {sl}(M,N))\) generated by the \(X_{i,n}^{\pm }\) (resp. the \(K_i^{\pm 1}, h_{i,s}\)) for all \(i \in \{1,\cdots ,M+N-1\}, n \in \mathbb {Z}, s \in \mathbb {Z}_{\ne 0}\). Let \(U_q^0(\mathcal {L}'\mathfrak {sl}(M,N))\) be the subalgebra of \(U_q(\mathcal {L}'\mathfrak {sl}(M,N))\) generated by \(U_q^0(\mathcal {L}\mathfrak {sl}(M,N))\) and \(K_0^{\pm 1}\). These subalgebras are clearly \(\mathbb {Z}_2\)-homogeneous.
Theorem 3.3
We have the following triangular decomposition for \(U_q(\mathcal {L}\mathfrak {sl}(M,N))\):
-
(a)
the multiplication \(m: U_q^-(\mathcal {L}\mathfrak {sl}(M,N)) \,\underline{\otimes }\,U_q^0(\mathcal {L}\mathfrak {sl}(M,N)) \,\underline{\otimes }\,U_q^+(\mathcal {L}\mathfrak {sl}(M,N)) \longrightarrow U_q(\mathcal {L}\mathfrak {sl}(M,N))\) is an isomorphism of vector superspaces;
-
(b)
\(U_q^{+}(\mathcal {L}\mathfrak {sl}(M,N))\) (resp. \(U_q^-(\mathcal {L}\mathfrak {sl}(M,N))\)) is isomorphic to the algebra with generators \(X_{i,n}^+\) (resp. \(X_{i,n}^-\)) and Relations (3.4)–(3.7) with \(+\) (resp. Relations (3.4)–(3.7) with \(-\));
-
(c)
\(U_q^0(\mathcal {L}\mathfrak {sl}(M,N))\) is an algebra of Laurent polynomials
$$\begin{aligned}&U_q^0(\mathcal {L}\mathfrak {sl}(M,N))\nonumber \\&\quad \cong \mathbb {C}[h_{i,s}: s \in \mathbb {Z}_{\ne 0}, 1 \le i \le M+N-1][K_i,K_i^{-1}: 1 \le i \le M+N-1]. \end{aligned}$$(3.10)
As an immediate consequence, we obtain also a triangular decomposition for \(U_q(\mathcal {L}'\mathfrak {sl}(M,N))\).
Corollary 3.4
The multiplication below
is an isomorphism of vector superspaces. \(U_q^0(\mathcal {L}'\mathfrak {sl}(M,N))\) is an algebra of Laurent polynomials
Another consequence is the existence of (anti-)isomorphisms of superalgebras.
Corollary 3.5
-
(1)
There is an isomorphism of superalgebras \(\tau _1: U_q^+(\mathcal {L}\mathfrak {sl}(M,N)) \longrightarrow U_q^-(\mathcal {L}\mathfrak {sl}(M,N))\) defined by \(\tau _1(X_{i,n}^+) = X_{i,-n}^-\) for all \(n \in \mathbb {Z}\) and \(1 \le i \le M+N-1\).
-
(2)
There is an anti-automorphism of superalgebras \(\tau _2: U_q^+(\mathcal {L}\mathfrak {sl}(M,N)) \longrightarrow U_q^+(\mathcal {L}\mathfrak {sl}(M,N))\) defined by \(\tau _2(X_{i,n}^+) = X_{i,-n}^+\) for all \(n \in \mathbb {Z}\) and \(1 \le i \le M+N-1\).
Proof
In view of Theorem 3.3 about presentations of algebras, it is enough to prove that \(\tau _1,\tau _2\) respect Relations (3.4)–(3.7). \(\square \)
Remark 3.6
-
(1)
The triangular decomposition will be used to construct the Verma modules and to argue that the Weyl modules are non-zero. See Sect. 3.2.
-
(2)
There are two types of triangular decomposition: one is in terms of Chevalley generators, the other Drinfel’d currents. For the Chevalley type, the triangular decomposition for quantum Kac-Moody algebras was proved in [22, Theorem 4.21]. For the Drinfel’d type, Hernandez proved the triangular decomposition for general quantum affinizations [18, Theorem 3.2]. Their ideas of proof are essentially the same, which we shall follow below.
-
(3)
For \(\mathfrak {g}\) a simple finite-dimensional Lie algebra, as demonstrated by Grossé [16, Proposition 8], one can realize the quantum affine algebra \(U_q(\,\widehat{\mathfrak {g}}\,)\) as a quantum double by introducing topological coproducts on the Borel subalgebras with respect to Drinfel’d currents. In this way, the Drinfel’d type triangular decomposition follows automatically and a topological Hopf algebra structure is deduced on \(U_q(\,\widehat{\mathfrak {g}}\,)\). We believe that analogous results hold for \(U_q(\mathcal {L}\mathfrak {sl}(M,N))\). In particular, \(U_q(\mathcal {L}\mathfrak {sl}(M,N))\) could be endowed with a topological Hopf superalgebra structure (with coproduct being Drinfel’d new coproduct).
We proceed to proving Theorem 3.3. Let \(\tilde{V}\) be the superalgebra defined by: generators \(X_{i,n}^{\pm 1}, h_{i,s}, K_i^{\pm 1}\) (\(1 \le i \le M+N-1, n \in \mathbb {Z}, s \in \mathbb {Z}_{\ne 0}\)); \(\mathbb {Z}_2\)-grading \(|X_{M,n}^{\pm }| = \overline{1}\) and \(\overline{0}\) otherwise; Relations (3.1)–(3.3). Define its three subalgebras \(\tilde{V}^{\pm }\) and \(\tilde{V}^0\) analogously. Then \((\tilde{V}^-, \tilde{V}^0, \tilde{V}^+)\) forms a triangular decomposition for \(\tilde{V}\). Moreover, \(\tilde{V}^{+}\) (resp. \(\tilde{V}^-\)) is freely generated by the \(X_{i,n}^+\) (resp. the \(X_{i,n}^-\)), and \(\tilde{V}^0\) is the RHS of (3.10).
For \(1 \le i \le j \le M+N-1\), let \(I_{i,j}^{\pm }\) be the vector subspace of \(\tilde{V}^{\pm }\) generated by the vectors \([X_{i,m}^{\pm }, X_{j,n}^{\pm }]\) if \(c_{i,j} = 0\) and \(X_{i,m+1}^{\pm } X_{j,n}^{\pm } - q^{\pm c_{i,j}} X_{j,n}^{\pm }X_{i,m+1}^{\pm } - q^{\pm c_{i,j}} X_{i,m}^{\pm }X_{j,n+1}^{\pm } + X_{j,n+1}^{\pm } X_{i,m}^{\pm }\) if \(c_{i,j} \ne 0\) for all \(m,n \in \mathbb {Z}\). Let \(I^+\) (resp. \(I^-\)) be the sum of the \(I_{i,j}^+\) (resp. the \(I_{i,j}^-\)).
Lemma 3.7
Let \(1 \le i, k, u \le M+N-1\) with \(k \le u\). Then \([I_{k,u}^{\pm }, X_{i,0}^{\mp }] = 0\) in \(\tilde{V}\). Furthermore, the vector subspaces \(\tilde{V}^-\tilde{V}^0\tilde{V}^+I^+\tilde{V}^+\) and \(\tilde{V}^-I^-\tilde{V}^-\tilde{V}^0\tilde{V}^+\) are two-sided ideals of \(\tilde{V}\).
Proof
We argue that this follows essentially from [18, Theorem 3.2]. If \(i \notin \{k,u\}\), then it is clear that \([I_{k,u}^{\pm }, X_{i,0}^{\mp }] = 0\) from Relation (3.3). Without loss of generality, suppose \(i=k\).
If \(c_{k,u} = 0\) and \(k \ne u\), then \([[X_{k,m}^+, X_{u,n}^+], X_{k,0}^-] = [\frac{\phi _{k,m}^+ - \phi _{k,m}^-}{q_k - q_{k}^{-1}}, X_{u,n}^+]\). Writing \(\phi _{k,m}^{\pm }\) as a product of \(K_k^{\pm 1}, h_{k,s}\) and using the relations \(K_k X_{u,n}^+ = X_{u,n}^+ K_k, h_{k,s} X_{u,n}^+ = X_{u,n}^+ h_{k,s}\), we see that \([\frac{\phi _{k,m}^+ - \phi _{k,m}^-}{q_k - q_{k}^{-1}}, X_{u,n}^+] = 0\). This says that \([I_{k,u}^+, X_{k,0}^-] = 0\). Similarly, \([I_{k,u}^-, X_{k,0}^+] = 0\).
If \(c_{k,u} = 0\) and \(k = u\), then \(k = u = M\). We have
Again the relations \(K_M X_{M,n}^+ = X_{M,n}^+ K_M, h_{M,s}X_{M,n}^+ = X_{M,n}^+ h_{M,s}\) imply that \([I_{M,M}^+,X_{M,0}^-] = 0\). Similarly, \([I_{M,M}^-, X_{M,0}^+] = 0\).
If \(c_{k,u} \ne 0\) and \(k \ne u\), then \(c_{k,u} = \pm 1\) and \([[X_{k,m}^+,X_{u,n}^+],X_{k,0}^-] = [\frac{\phi _{k,m}^+-\phi _{k,m}^-}{q_k -q_k^{-1}}, X_{u,n}^+] \in \tilde{V}\). We want to write this vector as a product of the form \(\tilde{V}^-\tilde{V}^0\tilde{V}^+\) by using only the following relations
We are in the same situation as \(U_{q_k}(\widehat{\mathfrak {sl}_3})\), when showing that the Drinfel’d relations of degree 2 respect the triangular decomposition. It follows from Theorem 3.2 and the technical lemmas in Sect. 3.3.1 of [18] that \([\frac{\phi _{k,m}^+-\phi _{k,m}^-}{q_k -q_k^{-1}}, X_{u,n}^+] = 0\). As a result, \([I_{k,u}^{\pm }, X_{k,0}^{\mp }] = 0\).
Similar considerations lead to \([I_{k,u}^{\pm }, X_{k,0}^{\mp }] = 0\) when \(c_{k,u} \ne 0\) and \(k=u\).
For the second part, note that the \(I_{i,j}^{\pm }\) are stable by the \([h_{u,s},]\). Relation (3.3) applies.\(\square \)
This means that the Drinfel’d relations of degree 2 respect the triangular decomposition. Let \(V\) be the quotient of \(\tilde{V}\) by the two-sided ideal generated by the \(I^+ + I^-\). Then
where the isomorphism is induced by the triangular decomposition for \(\tilde{V}\). Let \(\pi _1: \tilde{V} \longrightarrow V\) be the canonical projection. By abuse of notation, we identify \(X_{i,n}^{\pm }, K_i^{\pm 1}\) and \(h_{i,s}\) with \(\pi _1(X_{i,n}^{\pm }), \pi _1(K_i^{\pm 1})\), and \(\pi _1(h_{i,s})\) respectively. Let \(V^{\pm } = \pi _1(\tilde{V}^{\pm })\) and \(V^0 = \pi _1(\tilde{V}^0)\). The above identifications say that \((V^-,V^0,V^+)\) forms a triangular decomposition for \(V\). Moreover, the projection \(\pi _1\) induces isomorphisms
When \(c_{i,j} = \pm 1\) and \(i \ne M\), let \(J_{i,j}^{\pm }\) be subspace of \(V^{\pm }\) generated by the LHS of Relation (3.6) with \(\pm \) for all \(m,n,k \in \mathbb {Z}\). Let \(J^+\) (resp. \(J^-\)) be the sum of the \(J_{i,j}^+\) (resp. the \(J_{i,j}^-\)). Using Theorem 3.2 and the technical lemmas in Sect. 3.3.1 of [18] we deduce that (the same argument as Lemma 3.7 above).
Lemma 3.8
For all \(1 \le i,j,k \le M+N-1\) such that \(c_{i,j} = \pm 1\) and \(i \ne M\), we have \([J_{i,j}^{\pm }, X_{k,0}^{\mp }] = 0\) in \(V\). Therefore, the vector subspaces \(V^-V^0V^+J^+V^+\) and \(V^-J^-V^-V^0V^+\) are two-sided ideals of \(V\).
In other words, the Serre relations of degree 3 respect the triangular decomposition. Suppose now \(M,N > 1\). Let \(O^+\) (resp. \(O^-\)) be the subspace of \(V^+\) (resp. \(V^-\)) generated by the LHS of Relation (3.7) with \(+\) (resp. with \(-\)) for all \(m,n,k,u \in \mathbb {Z}\).
Lemma 3.9
In the superalgebra \(V\), \([O^{\pm }, X_{i,0}^{\mp }] = 0\) for all \(1 \le i \le M+N-1\). Therefore, \(V^-O^-V^-V^0V^+\) and \(V^-V^0V^+O^+V^+\) are two-sided ideals of \(V\).
Sketch of proof
When \(i \notin \{M-1, M, M+1\}\), this is clear from Relation (3.3). We are reduced to the case \(M = N = 2\). The related calculations are carried out in “Appendix 1”. \(\square \)
By definition the superalgebra \(U_q(\mathcal {L}\mathfrak {sl}(M,N))\) is the quotient of \(V\) by the two-sided ideal \(N\) generated by \(J^+ + J^- + O^+ + O^-\). Now from the two lemmas above we get
from which Theorem 3.3 follows.
3.3 Linear generators of PBW type
We shall find a system of linear generators for the vector superspace \(U_q^+(\mathcal {L}\mathfrak {sl}(M,N))\). In view of Corollary 3.5, this will produce one for \(U_q^-(\mathcal {L}\mathfrak {sl}(M,N))\).
Notation 3.10
-
(1)
For simplicity, in this section, let \(U_{M,N} := U_q^+(\mathcal {L}\mathfrak {sl}(M,N))\).
-
(2)
Let \(A'_{M,N}\) be the subalgebra of \(U_q(\mathcal {L}'\mathfrak {sl}(M,N))\) generated by \(K_i^{\pm 1}\) with \(0 \le i \le M+N-1\). Then \(A'_{M,N} = \mathbb {C}[K_i,K_i^{-1}: 0 \le i \le M+N-1]\) is an algebra of Laurent polynomials (Corollary 3.4). Let \(P_{M,N}\) be the set of algebra homomorphisms \(A'_{M,N} \longrightarrow \mathbb {C}\). Then \(P_{M,N}\) has an abelian group structure: for \(\alpha , \beta \in P_{M,N}\)
$$\begin{aligned} (\alpha + \beta )(K_i^{\pm 1}) = \alpha (K_i^{\pm 1}) \beta (K_i^{\pm 1}),\ \ 0(K_i^{\pm 1}) = 1,\ \ (-\alpha )(K_i^{\pm 1}) = \alpha (K_i^{\mp 1}). \end{aligned}$$From Relations (3.2) and (3.9), we see that \(U_{M,N} = \bigoplus _{\alpha \in P_{M,N}} (U_{M,N})_{\alpha }\) where
$$\begin{aligned} (U_{M,N})_{\alpha } = \{ x \in U_{M,N}\ |\ K_i x K_i^{-1} = \alpha (K_i) x\ \mathrm {for}\ 0 \le i \le M+N-1 \}. \end{aligned}$$Moreover, \((U_{M,N})_{\alpha } (U_{M,N})_{\beta } = (U_{M,N})_{\alpha + \beta }\). Let \(\mathrm {wt}(U_{M,N}) := \{\alpha \in P_{M,N}\ | (U_{M,N})_{\alpha } \ne 0 \}\).
-
(3)
For \(1 \le i \le M+N-1\), define \(\alpha _i \in P_{M,N}\) by: \(\alpha _i(K_j) = {\small {\left\{ \begin{array}{ll} q^{\delta _{i,1}} &{} \mathrm {if}\ j = 0, \\ q^{c_{i,j}} &{} \mathrm {if}\ j > 0. \end{array}\right. }}\) These \(\alpha _i\) are \(\mathbb {Z}\)-linearly independent in \(P_{M,N}\). Let \(Q_{M,N} := \bigoplus _{i=1}^{M+N-1}\mathbb {Z}\alpha _i\) and \(Q_{M,N}^+ := \bigoplus _{i=1}^{M+N-1}\mathbb {Z}_{\ge 0}\alpha _i\). We have \(X_{i,n}^+ \in (U_{M,N})_{\alpha _i}\) and \(\mathrm {wt}(U_{M,N}) \subseteq Q_{M,N}^+\). (It is for the reason of linear independence among \(\alpha _i\) that we introduce \(U_q(\mathcal {L}'\mathfrak {sl}(M,N))\).)
-
(4)
Set \(\Delta _{M,N} := \{ \alpha _i + \alpha _{i+1} + \cdots + \alpha _j \in Q_{M,N}^+\ |\ 1 \le i \le j \le M+N-1 \}\) with the following total ordering: \(\alpha _i + \cdots + \alpha _j \le \alpha _{i'}+ \cdots + \alpha _j\) if \(i < i'\) or \(i=i', j \le j'\).
Following [19, Definition 3.9], we can now define the root vectors.
Definition 3.11
For \(\beta = \alpha _i + \ldots + \alpha _j \in \Delta _{M,N}\) and \(n \in \mathbb {Z}\), define \(X_{\beta }(n) \in (U_{M,N})_{\beta }\) by
with the convention that \(X_{\alpha _i}(n) = X_{i,n}^+ = X_i(n)\).
Similar to the quantum affine algebra \(U_{r,s}(\widehat{\mathfrak {sl}_n})\) [19, Theorem 3.11], we have
Theorem 3.12
The vector space \(U_{M,N}\) is spanned by vectors of the form \(\prod _{\beta \in \Delta _{M,N}}^{\rightarrow } (\prod _{i=1}^{c_{\beta }} X_{\beta }(n_{i,\beta }) )\) where \(c_{\beta } \in \mathbb {Z}_{\ge 0}\) for \(\beta \in \Delta _{M,N}\) and \(n_{i,\beta } \in \mathbb {Z}\) for \(1 \le i \le c_{\beta }\).
Remark 3.13
-
(1)
The above generators are called of Poincaré-Birkhoff-Witt type because on specialisation \(q = 1\) they degenerate to PBW generators for universal enveloping algebra of Lie superalgebras [36, Theorem 6.1.1]. This PBW theorem will be used to argue that the set of weights of a Weyl module is always finite.
-
(2)
We believe that the vectors in Theorem 3.12 with the following conditions form a basis of \(U_{M,N}\): for \(1 \le i < j \le c_{\beta }\), \(n_{i,\beta } \le n_{j,\beta }\) if \(p(\beta ) = \overline{0}\) and \(n_{i,\beta } < n_{j,\beta }\) if \(p(\beta ) = \overline{1}\). Here \(p \in \hom _{\mathbb {Z}}(Q_{M,N}, \mathbb {Z}_2)\) is the parity map given by: \(p(\alpha _i) = {\small {\left\{ \begin{array}{ll} \overline{1}&{} \mathrm {if}\ i = M, \\ \overline{0}&{} \mathrm {otherwise}. \end{array}\right. }}\) Indeed, in the paper [19], the PBW basis Theorem 3.11 was obtained for the two-parameter quantum affine algebra \(U_{r,s}(\widehat{\mathfrak {sl}}_n)\), with the linear independence among the PBW generators following from a general argument of Lyndon words [40]. Hu-Rosso-Zhang called this PBW basis the quantum affine Lyndon basis.
-
(3)
For \(\mathfrak {g}\) a simple finite-dimensional Lie algebra, Beck has found a convex PBW-type basis for the quantum affine algebra \(U_q(\widehat{\mathfrak {g}})\) in terms of Chevalley generators (see [3, Proposition 6.1] and [4, Proposition 3]). When \(\mathfrak {g} = \mathfrak {sl}_2\), the Drinfel’d type Borel subalgebra of \(U_q(\mathcal {L}\mathfrak {sl}_2)\) can be realized as the Hall algebra of the category of coherent sheaves on the projective line \(\mathbb {P}^1(\mathbb {F}_q)\). In this way, the Drinfel’d type PBW basis follows easily ([2, Proposition 25]).
Lemma 3.14
For \(2 \le i \le M+N-1\) and \(n \in \mathbb {Z}\), we have \([X_{\alpha _1+\cdots +\alpha _{M+N-1}}(n), X_i(0)]_{\lambda _i} = 0\) where \(\lambda _i = q^{-(\epsilon _1-\epsilon _{M+N},\epsilon _i - \epsilon _{i+1})}\) (see Eq. (2.4) for the definition of the involved bilinear form).
Proof
Note that the association \(t_1 \mapsto K_0, e_1^{\pm } \mapsto X_{1,\pm n}^{\pm }, e_i^{\pm } \mapsto X_{i,0}^{\pm }\) for \(2 \le i \le M+N-1\) extends to a homomorphism of superalgebras \(U_q(\mathfrak {gl}(M,N)) \longrightarrow U_q(\mathcal {L}'\mathfrak {sl}(M,N))\). Lemma 2.2 applies. \(\square \)
Let \(U_{M,N}'\) be the vector subspace of \(U_{M,N}\) spanned by the vectors in Theorem 3.12. As these vectors are all \(Q_{M,N}\)-homogeneous, \(U_{M,N}'\) is \(Q_{M,N}\)-graded. Our aim is to prove that \(U_{M,N} = U_{M,N}'\), or equivalently, \((U_{M,N})_{\beta } \subseteq (U_{M,N}')_{\beta }\) for all \(\beta \in Q_{M,N}^+\). Remark that \(U_{M,0} = U_{M,0}', U_{0,N} = U_{0,N}'\) and \(U_{1,1} = U_{1,1}'\).
Proposition 3.15
For \(\beta \in \Delta _{M,N}\), \((U_{M,N})_{\beta } = (U_{M,N}')_{\beta }\).
Proof
This comes essentially from Proposition 3.10 of [19], whose proof relied only on the Drinfel’d relations of degree 2.
Proof of Theorem 3.12. This is divided into three steps.
Step 1: induction hypotheses. We shall prove \(U_{M,N} = U_{M,N}'\) by induction on \((M,N)\). This is true when \(MN = 0\) or \(M+N \le 2\). Fix \(M,N \in \mathbb {Z}_{>0}\) with \(M+N \ge 3\). Suppose
Hypothesis A
If \(M', N' \in \mathbb {Z}_{\ge 0}\) verify \(M' \le M, N' \le N, M'+N' < M+N\), then \(U_{M',N'} = U_{M',N'}'\).
We want to show that \((U_{M,N})_{\gamma } = (U_{M,N}')_{\gamma }\) for all \(\gamma \in Q_{M,N}^+\). Define the height function \(h\in \hom _{\mathbb {Z}}( Q_{M,N}, \mathbb {Z})\) by \(h(\alpha _i) = 1\) for all \(1 \le i \le M+N-1\). We proceed by induction on \(h(\gamma )\). From Proposition 3.15 and Relations (3.4)–(3.5), it is clear that \((U_{M,N})_{\gamma } = (U_{M,N}')_{\gamma }\) when \(h(\gamma ) \le 2\). Fix \(k \in \mathbb {Z}_{>2}\). Suppose
Hypothesis B
If \(\gamma \in Q_{M,N}^+\) and \(h(\gamma ) < k\), then \((U_{M,N})_{\gamma } = (U_{M,N}')_{\gamma }\).
Fix \(\beta \in Q_{M,N}^+\) with \(h(\beta ) = k\). We need to ensure \((U_{M,N})_{\beta } \subseteq (U_{M,N}')_{\beta }\).
Step 2: consequences of these hypotheses. To simplify notations, let \(X_{\gamma } := \sum _{n \in \mathbb {Z}} \mathbb {C} X_{\gamma }(n)\) for \(\gamma \in \Delta _{M,N}\) and \(X_i := X_{\alpha _i}\) for \(1 \le i \le M+N-1\).
Claim 1
We have \(X_1 (U_{M,N})_{\beta - \alpha _1} \subseteq (U_{M,N}')_{\beta }\).
Proof
This is a direct application of Hypothesis B, as \(h(\beta - \alpha _1) = k-1\) and \(X_1 U_{M,N}' \subseteq U_{M,N}'\).\(\square \)
Claim 2
For \(2 \le i \le M+N-1\), we have \((U_{M,N})_{\beta - \alpha _i} X_i \subseteq (U_{M,N}')_{\beta }\).
Proof
According to Hypothesis B, it suffices to verify that \(U_{M,N}' X_i \subseteq U_{M,N}'\) for \(2 \le i \le M+N-1\). From the definition of \(U_{M,N}'\), we have to ensure that
where \(\Delta _{M,N}^1 = \{\alpha _s + \cdots + \alpha _t\ |\ 2 \le s \le t \le M+N-1 \}\) is an ordered subset of \(\Delta _{M,N}\). We are reduced to consider the subalgebra of \(U_{M,N}\) generated by the \(X_s(n)\) with \(2 \le s \le M+N-1\) and \(n \in \mathbb {Z}\), which is canonically isomorphic to \(U_{M-1,N}\) (Theorem 3.3). Hypothesis A applies. \(\square \)
Claim 3
For \(2 \le s \le M+N-1\), we have \(X_{\alpha _1+\cdots +\alpha _s} (U_{M,N})_{\beta - \alpha _1-\cdots -\alpha _s} \subseteq (U_{M,N}')_{\beta }\).
Proof
If \(\beta - \alpha _1 - \cdots - \alpha _s \in Q_{M,N}{\setminus } Q_{M,N}^+\), then \((U_{M,N})_{\beta - \alpha _1 - \cdots - \alpha _s} = 0\) and the LHS is 0. If \(\beta = \alpha _1+\cdots +\alpha _s\), then Proposition 3.15 applies. We suppose from now on that \(\beta - \alpha _1-\cdots -\alpha _s \in Q_{M,N}^+{\setminus } \{0\}\). In view of the definition of \(U_{M,N}'\) and Hypothesis B, it is enough to prove that: for \(1 \le t < s \le M+N-1\)
Case \(s < M+N-1\). Suppose \(\beta - (\alpha _1+\cdots +\alpha _s)-(\alpha _1+\cdots +\alpha _t) \in Q_{M,N}^+\). As \(t < s < M+N-1\), \(X_{\alpha _1+\cdots +\alpha _s}\) and \(X_{\alpha _1+\cdots +\alpha _t}\) are both in the subalgebra of \(U_{M,N}\) generated by the \(X_i(n)\) with \(1 \le i \le M+N-2\) and \(n \in \mathbb {Z}\), which is isomorphic to \(U_{M,N-1}\). From Hypothesis A, we get
By induction on \(2 \le s \le M+N-2\) and Claim 1, we get (3.13).
Case \(s = M+N-1\). The idea is to write the LHS of (3.13) as a sum of the form \(\sum _{r=1}^{M+N-2} X_{\alpha _1+\cdots +\alpha _r} U_{M,N}\) in order to reduce to the first case. If \(\beta - (\alpha _1 + \cdots + \alpha _{M+N-1}) - (\alpha _1+\cdots +\alpha _t) \in Q_{M,N}^+{\setminus } \{0\}\), then we can apply Hypothesis B to \((\alpha _1+\cdots +\alpha _{M+N-1}) + (\alpha _1+\cdots +\alpha _t)\):
We return henceforth to the first case \(s < M+N-1\) and conclude. It remains to consider the situation \(\beta = (\alpha _1+\cdots +\alpha _{M+N-1}) + (\alpha _1+\cdots +\alpha _t)\) and we are left to ensure that
for \(1 \le t \le M+N-2\). When \(M+N \le 3\), this can be checked by hand. Assume from now on \(M+N > 3\).
Suppose first that \(t = 1\) and \(\beta = \alpha _1 + (\alpha _1+\cdots +\alpha _{M+N-1})\). From Definition 3.11,
Noting \(X_{M+N-1}(0) X_1(a) = X_1(a) X_{M+N-1}(0)\) (since \(M+N-1 \ge 3\)), we get
The second term of the RHS is contained in \((U_{M,N}')_{\beta }\) thanks to Claim 2. Using Hypothesis B for \(\beta - \alpha _{M+N-1}\) (or Hypothesis A for the subalgebra of \(U_{M,N}\) generated by the \(X_{i}(n)\) with \(1 \le i \le M+N-2\)), we have
and we get \(X_{\alpha _1+\cdots +\alpha _{M+N-1}}(n) X_1(a) \in X_{M+N-1}(0) \sum _{i=1}^{M+N-3} X_{\alpha _1+\cdots +\alpha _i} (U_{M,N}')_{\alpha _1 + \alpha _{i+1}+\cdots +\alpha _{M+N-2}} + U_{M,N}'\). Since \(X_{M+N-1} X_{\alpha _1+\cdots +\alpha _{i}} = X_{\alpha _1+\cdots +\alpha _i} X_{M+N-1}\) for \(1 \le i \le M+N-3\), we arrive at the first case \(s < M+N-1\), and the first term the RHS is contained in \(U_{M,N}'\).
Suppose next \(2 \le t \le M+N-2\), so that \(\beta = (\alpha _1+\cdots +\alpha _t) + (\alpha _1+\cdots +\alpha _{M+N-1})\) and \(k = M+N-1 + t\). Note that
in view of Claim 2. It suffices to prove that for all \(a,b \in \mathbb {Z}\)
From Lemma 3.14, we deduce that
Applying Hypothesis B to \(\alpha _1+\cdots +\alpha _{M+N-1} + \alpha _1\) (which is of height \(k - (t-1)\)), we get
Applying Hypothesis B once more to \((\alpha _2+\cdots +\alpha _t)+(\alpha _1+\cdots +\alpha _i)\) (of height \(< k-1\)), we get
As desired, we return to the first case \(s < M+N-1\). \(\square \)
Step 3: demonstration of Theorem 3.12. Now we are ready to show that \((U_{M,N})_{\beta } \subseteq (U_{M,N}')_{\beta }\). Remark that
where the second equality comes from Hypothesis B applied to \(\beta - \alpha _i\). We are led to verify that
for \(2 \le i \le M+N-1\) and \(1 \le s \le M+N-1\). Assume furthermore \(\beta = \alpha _i + (\alpha _1+\cdots +\alpha _s)\) (using the same argument as one in the proof of the first case of Claim 3), so that \(k = s+1\). When \(i \ge s+1\), thanks to Proposition 3.15 and Relation (3.4), it is clear that \(X_{i}X_{\alpha _1+\cdots +\alpha _s} \subseteq (U_{M,N}')_{\beta }\). Suppose \(i \le s\). If \(s < M+N-1\), then we are working in the subalgebra of \(U_{M,N}\) generated by the \(X_i(n)\) with \(1 \le i \le M+N-2\) and \(n \in \mathbb {Z}\), Hypotheses A applied. Thus assume \(s = M+N-1\) and we are to show
for all \(1 \le i \le M+N-1\). Here \(\beta = \alpha _i + (\alpha _1+\cdots +\alpha _{M+N-1})\) is of height \(k = M+N\).
(a) Suppose that \(i=1\). In view of Relation (3.14),
The second term of the RHS is contained in \((U_{M,N}')_{\beta }\) thanks to Claim 2. For the first term, from Proposition 3.15 (or Hypotheses B applied to \(\beta - \alpha _1\)), we get
and \(X_1(a)X_{M+N-1}(0)X_{M+N-2}(0)\cdots X_2(0) X_1(b) \in \sum _{j=1}^{M+N-1} X_{\alpha _1+\cdots +\alpha _j} (U_{M,N})_{\beta -(\alpha _1+\cdots + \alpha _j)} \subseteq (U_{M,N}')_{\beta }\) thanks to Claims 1,3.
(b) Suppose \(i=M+N-1\). Following the proof of case (a), it is enough to verify that
for \(a,b \in \mathbb {Z}\). From Relations (3.4)–(3.5), we get
and \(w_{a,b} \in X_{M+N-1}(a)^2X_{M+N-2}(-a)X_{M+N-3}(0)\cdots X_2(0)X_1 + \sum _{j=2}^{M+N-1}(U_{M,N})_{\beta - \alpha _j} X_j\), the second term of the RHS being contained in \((U_{M,N}')_{\beta }\) thanks to Claim 2. For the first term: either \(N = 1\) and we have \(X_{M+N-1}(a)^2 = 0\); or \(N > 1\) and the Serre relation of degree 3 between \(X_{M+N-1}(a)\) and \(X_{M+N-2}(-a)\) together with Relation (3.4) implies that
Thus \(w_{a,b} \in \sum _{j=2}^{M+N-1} (U_{M,N})_{\beta - \alpha _j} X_j \subseteq (U_{M,N}')_{\beta }\) thanks to Claim 2.
(c) Suppose at last \(1 < i < M+N-1\). As in the cases (a) and (b), it suffices to verify that
for \(a,b \in \mathbb {Z}\). An argument of Relation (3.4) shows that
Next, using Relation (3.5) between \(X_i\) and \(X_{i+1}\), together with Serre relations around \(X_i\) of degree 3 and Relation (3.7) of degree 4 when \(i=M\) (which guarantees \(M,N > 1\)), we get
Now an argument of Relation (3.4) and Claim 2 ensure that
This completes the proof of Theorem 3.12. \(\square \)
Remark 3.16
In the proof of Theorem 3.12, Relations (3.4)–(3.5) were used repeatedly. The Serre relations of degree 3 appeared first in case (b) of Step 3. Then, to prove (3.15), we find the Serre relations of degree 3 and the oscillation relation of degree 4 (when \(M,N > 1\)) indispensable.
4 Representations of \(U_q(\mathcal {L}\mathfrak {sl}(M,N))\)
In this section, we consider the analogy of Theorem 2.1 for quantum affine superalgebras. As we shall see, in the super case, corresponding to the odd isotopic root \(\alpha _M\), Drinfel’d polynomials have to be replaced by formal series with torsion.
4.1 Highest weight representations
From Theorem 2.1, we see that the highest weights of finite-dimensional simple \(U_q(\mathcal {L}\mathfrak {sl}_N)\)-modules are essentially elements of \((1 + z \mathbb {C}[z])^{N-1}\). For quantum affine superalgebras, this set is replaced by \(\mathcal {R}_{M,N}\).
Definition 4.1
Define \(\mathcal {R}_{M,N}\) to be the set of triples \(({{\underline{P}}}, f, c)\) such that:
-
(a)
\(f(z) = \sum _{n \in \mathbb {Z}} f_n z^n \in \mathbb {C}[[z,z^{-1}]]\) is a formal series annihilated by a non-zero polynomial;
-
(b)
\(c \in \mathbb {C} {\setminus } \{0\}\) with \(\frac{c - c^{-1}}{q-q^{-1}} = f_0\);
-
(c)
\({{\underline{P}}} = (P_i)_{1 \le i \le M+N-1, i \ne M}\) with \(P_i(z) \in 1 + z \mathbb {C}[z]\) for all \(1 \le i \le M+N-1\) and \(i \ne M\).
Define also \(\tilde{\mathcal {R}}_{M,N}\) to be the set of \(({{\underline{P}}}, f, c; Q)\) such that: \(({{\underline{P}}},f,c) \in \mathcal {R}_{M,N}\) and
-
(d)
\(Q(z) \in 1 + z\mathbb {C}[z]\) with \(Q(z) f(z) = 0\).
For convention, we admit that \(\mathcal {R}_{N,0} = \mathcal {R}_{0,N} = \tilde{\mathcal {R}}_{0,N} = \tilde{\mathcal {R}}_{N,0} = (1 + z\mathbb {C}[z])^{N-1}\).
Verma modules. Let \(({{\underline{P}}},f,c) \in \mathcal {R}_{M,N}\). The Verma module, denoted by \(\mathbf M ({{\underline{P}}},f,c)\), is the \(U_q(\mathcal {L}\mathfrak {sl}(M,N))\)-module generated by \(v_{({{\underline{P}}},f,c)}\) of \(\mathbb {Z}_2\)-degree \(\overline{0}\) subject to the relations
Note that \(\mathbf M ({{\underline{P}}},f,c)\) has a natural \(U_q(\mathcal {L}'\mathfrak {sl}(M,N))\)-module structure by demanding
From the triangular decomposition of \(U_q(\mathcal {L}\mathfrak {sl}(M,N))\), we have an isomorphism of vector superspaces
Later in Sect. 6, we will write Relation (4.3) in a form similar to Relation (4.2). See Eq. (6.2).
Weyl modules. Let \(({{\underline{P}}},f,c;Q) \in \tilde{\mathcal {R}}_{M,N}\). The Weyl module, \(\mathbf W ({{\underline{P}}},f,c;Q)\), is the \(U_q(\mathcal {L}\mathfrak {sl}(M,N))\)-module generated by \(v_{({{\underline{P}}},f,c)}\) of \(\mathbb {Z}_2\)-degree \(\overline{0}\) subject to Relations (4.1)–(4.3) and
For the convention, when \((M,N) = (1,1)\), we shall replace Relation (4.7) by the following:
Note that \(\mathbf W ({{\underline{P}}},f,c;Q)\) is endowed with an \(U_q(\mathcal {L}'\mathfrak {sl}(M,N))\)-module structure through Relation (4.4).
Simple modules. Let \(({{\underline{P}}},f,c) \in \mathcal {R}_{M,N}\). From the isomorphism (4.5) we see that the \(U_q(\mathcal {L}'\mathfrak {sl}(M,N))\)-module \(\mathbf M ({{\underline{P}}},f,c)\) has a weight space decomposition (see Notation 3.10)
where \(\lambda _{({{\underline{P}}},f,c)} \in P_{M,N}\) is given by: \(K_0 \mapsto 1\); \(K_M \mapsto c\); \(K_i \mapsto q_i^{\deg P_i}\) for \(1 \le i \le M+N-1\) and \(i \ne M\). In particular, \((\mathbf M ({{\underline{P}}},f,c))_{\lambda _{({{\underline{P}}},f,c)}} = \mathbb {C} v_{({{\underline{P}}},f,c)}\) is one-dimensional. In consequence, there is a unique quotient of \(\mathbf M ({{\underline{P}}},f,c)\) which is simple as a \(U_q(\mathcal {L}'\mathfrak {sl}(M,N))\)-module. This leads to the following
Definition 4.2
For \(({{\underline{P}}},f,c) \in \mathcal {R}_{M,N}\), let \(\mathbf S '({{\underline{P}}},f,c)\) be the simple quotient of \(\mathbf M ({{\underline{P}}},f,c)\) as \(U_q(\mathcal {L}'\mathfrak {sl}(M,N))\)-module.
Remark 4.3
(1) \(\mathbf S '({{\underline{P}}},f,c)\) is not necessarily simple as a \(U_q(\mathcal {L}\mathfrak {sl}(M,N))\)-module.
(2) By definition, we have natural epimorphisms of \(U_q(\mathcal {L}'\mathfrak {sl}(M,N))\)-modules:
for all \(({{\underline{P}}},f,c;Q) \in \tilde{\mathcal {R}}_{M,N}\). If \(\mathbf W ({{\underline{P}}},f,c;Q) \ne 0\), then the first epimorphism factorises through the second. We shall see in the next section that this is indeed always the case.
Lemma 4.4
If \(M \ne N\), then \(\mathbf S '({{\underline{P}}},f,c)\) is a simple \(U_q(\mathcal {L}\mathfrak {sl}(M,N))\)-module for all \(({{\underline{P}}},f,c) \in \mathcal {R}_{M,N}\).
Proof
Let \(A_{M,N}\) be the subalgebra of \(U_q(\mathcal {L}\mathfrak {sl}(M,N))\) generated by \(K_i^{\pm 1}\) for \(1 \le i \le M+N-1\). As in Notation 3.10, there is a unique abelian group structure over \(\mathrm {Alg}(A_{M,N}, \mathbb {C})\) so that the inclusion \(A_{M,N} \hookrightarrow A_{M,N}'\) induces a group homomorphism \(\iota : P_{M,N} \longrightarrow \mathrm {Alg}(A_{M,N},\mathbb {C}), \alpha \mapsto \alpha |_{A_{M,N}}\).
If \(M \ne N\), then the restriction \(\iota |_{Q_{M,N}}: Q_{M,N} \longrightarrow \mathrm {Alg}(A_{M,N}, \mathbb {C})\) is injective. It follows that the decomposition in weight spaces of \(\mathbf M ({{\underline{P}}},f,c)\) with respect to \(\mathrm {Alg}(A_{M,N}',\mathbb {C})\) is exactly one with respect to \(\mathrm {Alg}(A_{M,N},\mathbb {C})\). Thus, all sub-\(U_q(\mathcal {L}\mathfrak {sl}(M,N))\)-modules of \(\mathbf M ({{\underline{P}}},f,c)\) are sub-\(U_q(\mathcal {L}'\mathfrak {sl}(M,N))\)-modules. \(\square \)
4.2 Main result
In this section, we shall see that the Weyl modules we defined before are always finite-dimensional and non-zero, a generalisation of Theorem 2.1 (a). More precisely, we have
Theorem 4.5
For all \(({{\underline{P}}},f,c;Q) \in \tilde{\mathcal {R}}_{M,N}\), we have \(\deg Q < \dim \mathbf W ({{\underline{P}}},f,c;Q) < \infty \).
As an immediate consequence (Remark 4.3)
Corollary 4.6
For all \(({{\underline{P}}},f,c;Q) \in \tilde{\mathcal {R}}_{M,N}\), there are epimorphisms of \(U_q(\mathcal {L}'\mathfrak {sl}(M,N))\)-modules
In particular, \(\mathbf S '({{\underline{P}}},f,c)\) is finite-dimensional.
Remark 4.7
When \(MN = 0\), we understand \(Q(z) = 1\), and Theorem 4.5 above becomes Theorem 2.3 (a). When \(M=N=1\), \(U_q^-(\mathcal {L}\mathfrak {sl}(1,1))\) is an exterior algebra, and Relation (4.8) guarantees that \(\mathbf W (f,c;Q)\) be finite-dimensional.
To prove Theorem 4.5, one can assume \(M > 1, N \ge 1\) due to the following:
Lemma 4.8
Suppose \(MN > 0\). The following defines a superalgebra isomorphism:
for \(1 \le i \le M+N-1, n \in \mathbb {Z}, s \in \mathbb {Z}_{\ne 0}\). Here \(p \in \hom _{\mathbb {Z}}(Q_{M,N},\mathbb {Z}_2)\) is the parity map in Remark 3.13.
Proof
This comes directly from Definition 3.1 of \(U_q(\mathcal {L}\mathfrak {sl}(M,N))\). \(\square \)
We remark that the isomorphism \(\pi _{M,N}\) respects the corresponding triangular decompositions of \(U_q(\mathcal {L}\mathfrak {sl}(M,N))\) and \(U_q(\mathcal {L}\mathfrak {sl}(N,M))\). Hence, \(\pi _{M,N}^{*}\) of a Verma/Weyl module over \(U_q(\mathcal {L}\mathfrak {sl}(N,M))\) is again a Verma/Weyl module over \(U_q(\mathcal {L}\mathfrak {sl}(M,N))\).
Proof of Theorem 4.5. This is divided into two parts. We fix notations first. Let \(({{\underline{P}}},f,c;Q) \in \tilde{\mathcal {R}}_{M,N}\) with \(f(z) = \sum _{n \in \mathbb {Z}} f_n z^n\) and \(Q(z) = \sum _{s=0}^d a_s z^s\) of degree \(d\). Let \(\mathbf M := \mathbf M ({{\underline{P}}},f,c)\) be the Verma module over \(U_q(\mathcal {L}'\mathfrak {sl}(M,N))\). Let \(v := v_{({{\underline{P}}},f,c)} \in \mathbf M \). Let \(\lambda := \lambda _{({{\underline{P}}},f,c)} \in P_{M,N}\) be given by: \(K_0 \mapsto 1\); \(K_M \mapsto c\); \(K_i \mapsto q_i^{\deg P_i}\) for \(1 \le i \le M+N-1\) and \(i \ne M\). Let \(\mathbf W := \mathbf W ({{\underline{P}}},f,c;Q)\).
Part I. Non-triviality of Weyl modules. As noted in the preceding section, \(\mathbf M = \bigoplus _{\mu \in \lambda - Q_{M,N}^+}(\mathbf M )_{\mu }\) where
Furthermore, \((U_q(\mathcal {L}'\mathfrak {sl}(M,N)))_{\alpha } (\mathbf M )_{\mu } \subseteq (\mathbf M )_{\mu + \alpha }\) for \(\alpha \in Q_{M,N}\) (see Notation 3.10). By definition, \(\mathbf W \) is the quotient of \(\mathbf M \) by the sub-\(U_q(\mathcal {L}'\mathfrak {sl}(M,N))\)-module \(J\) generated by \(v_M := \sum _{s=0}^d a_{d-s} X_{M,s}^- v\) and \(v_i \triangleq (X_{i,0}^-)^{1 + \deg P_i} v\) where \(1 \le i \le M+N-1\) and \(i \ne M\). (Here we use the assumption that \(M > 1, N \ge 1\)). Since \(v_M \in (\mathbf M )_{\lambda - \alpha _M}\) and \(v_i \in (\mathbf M )_{\lambda - (1+\deg P_i)\alpha _i}\), \(J\) is \(P_{M,N}\)-graded, and so is \(\mathbf W \):
Let \(J_1 := U_q^+(\mathcal {L}\mathfrak {sl}(M,N)) (\sum _{i=1}^{M+N-1} \mathbb {C}v_i) \subseteq J\). We want to find \((J_1)_{\lambda }\) and \((J_1)_{\lambda - \alpha _M}\). Indeed
where \(X_i^+ := \sum \limits _{n \in \mathbb {Z}} \mathbb {C}X_{i,n}^+\) (we have used these \(X_i^+\) in the proof of Theorem 3.12).
Claim. \((J_1)_{\lambda } = 0\).
Proof
We have \( X_{M,n}^+ v_M = \sum _{s=0}^d a_{d-s} [X_{M,n}^+, X_{M,s}^-]v = \sum _{s=0}^d a_{d-s} f_{n+s}v = 0\) as \((\sum _{s=0}^d a_s z^s)(\sum _m f_m z^m) = 0\). For \(i \ne M\), let \(\widehat{U_i}\) be the subalgebra of \(U_q(\mathcal {L}'\mathfrak {sl}(M,N))\) generated by the \(X_{i,m}^{\pm }, K_i^{\pm 1}, h_{i,s}\) with \(m \in \mathbb {Z}\) and \(s \in \mathbb {Z}_{\ne 0}\). The subspace \(\widehat{U_i} v\) of \(\mathbf M \) is a quotient of the Verma module \(\mathbf M (P_i)\) over \(U_{q_i}(\mathcal {L}\mathfrak {sl}_2)\) of highest weight \(P_i\). Theorem 2.1 (a) forces that \((X_i^+)^{1+\deg P_i} v_i = (X_i^{+})^{1+\deg P_i} (X_{i,0}^-)^{1+\deg P_i} v = 0\), as it must be in the Verma module \(\mathbf M (P_i)\).\(\square \)
From the triangular decomposition of \(U_q(\mathcal {L}'\mathfrak {sl}(M,N))\), we see that \(J = U_q^-(\mathcal {L}\mathfrak {sl}(M,N)) U_q^0(\mathcal {L}'\mathfrak {sl}(M,N)) J_1\) and \((J)_{\lambda } = 0,\ (J)_{\lambda - \alpha _M} = U_q^0(\mathcal {L}'\mathfrak {sl}(M,N))v_M\). As \(M > 1\), \((J)_{\lambda - \alpha _M} = \sum _{n \in \mathbb {Z}} \mathbb {C} v_M(n)\) where \(v_M(n) := \sum _{s=0}^d a_{d-s} X_{M,s+n}^- v\). Using the isomorphism (4.5) and the defining relations of \(U_q^-(\mathcal {L}\mathfrak {sl}(M,N))\), we conclude that \((\mathbf M )_{\lambda - \alpha _M} = \bigoplus _{n \in \mathbb {Z}} \mathbb {C} X_{M,n}^- v\) and \((\mathbf W )_{\lambda - \alpha _M}\) has a presentation as vector space
Remark that \(h_{M-1,1} X_{M,n}^- v = X_{M,n+1}^-v + \theta _{M-1} X_{M,n}^- v\) with \(\theta _{M-1} = - \mathrm {Res}(z^{-2}P_{M-1}(z)) dz\). Conclude
Proposition 4.9
Suppose \(M > 1, N \ge 1\). Using the notations above, we have \(\dim (\mathbf W )_{\lambda } = 1\) and \(\dim (\mathbf W )_{\lambda - \alpha _M} = d = \deg Q\). Moreover, \(Q(z-\theta _{M-1})\) is the characteristic polynomial of \(h_{M-1,1} \in \mathrm {End}((\mathbf W )_{\lambda - \alpha _M})\).
Remark 4.10
(1) This proves the first part of Theorem 4.5: \(\deg Q < \dim \mathbf W \).
(2) The proposition above also says that the polynomial \(Q(z)\) can be reconstructed from the \(U_q(\mathcal {L}'\mathfrak {sl}(M,N))\)-module structure on \(\mathbf W \). (Similarly, when \(M \ne N\), \(Q(z)\) can be deduced from the \(U_q(\mathcal {L}\mathfrak {sl}(M,N))\)-module structure on \(\mathbf W \). See the proof of Lemma 4.4.) The same goes for \({{\underline{P}}}\) by using the theory of Weyl modules over \(U_q(\mathcal {L}\mathfrak {sl}_2)\), and for \((f,c)\) in view of Relation (4.3). In conclusion:
the parameter \(({{\underline{P}}},f,c;Q)\) is uniquely determined by the \(U_q(\mathcal {L}'\mathfrak {sl}(M,N))\)-module structure (or \(U_q(\mathcal {L}\mathfrak {sl}(M,N))\)-module structure when \(M \ne N\)) on \(\mathbf W ({{\underline{P}}},f,c;Q)\).
Part II. Dimension of Weyl modules. As in the proof of Theorem 3.12, we use induction on \((M,N)\). Suppose that the theorem is true for \((M',N')\) such that \(M' \le M, N' \le N\) and \(M'+N' < M+N\). We adapt the notations above and assume \(M > 1, N \ge 1\). It remains to show that \(\mathbf W \) is finite-dimensional. Let \(P\) be the set of weights:
Then \(P \subseteq \lambda - Q_{M,N}^+\). As \(\mathbf W \) is \(P_{M,N}\)-graded, it suffices to prove the following:
-
(1)
for all \(\mu \in P\), \((\mathbf W )_{\mu }\) is finite-dimensional;
-
(2)
\(P\) is a finite subset of \(P_{M,N}\).
For (1), \((\mathbf W )_{\lambda - \alpha _M}\) is of dimension \(\deg Q\). For \(i \ne M\), \((\mathbf W )_{\lambda - \alpha _i}\) being finite-dimensional comes from Relation (4.6) and the theory of Weyl modules over \(U_q(\mathcal {L}\mathfrak {sl}_2)\). One can copy (word by word) the proof of [14, Sect. 5, (b)], or that of [15, Proposition 4.4] where only the Drinfel’d relations of degree 2 were involved.
We proceed to verifying (2). First, by using the isomorphism \(\tau _1: U_q^+(\mathcal {L}\mathfrak {sl}(M,N)) \longrightarrow U_q^-(\mathcal {L}\mathfrak {sl}(M,N))\) in Corollary 3.5 and the root vectors in Definition 3.11, we define: for \(\beta \in \Delta _{M,N}\) and \(n \in \mathbb {Z}\)
Theorem 3.12 says that
where \(U_{M-1,N}^-\) is the subalgebra of \(U_q^-(\mathcal {L}\mathfrak {sl}(M,N))\) generated by the \(X_{i,n}^-\) with \(2 \le i \le M+N-1\) and \(n \in \mathbb {Z}\). According to Theorem 3.3, \(U_{M-1,N}^-\) is isomorphic to \(U_q^-(\mathcal {L}\mathfrak {sl}(M-1,N))\) as superalgebras.
Claim. \(U_{M-1,N}^- v\) is finite-dimensional.
Proof
Let \(U_{M-1,N}\) be the subalgebra of \(U_q(\mathcal {L}\mathfrak {sl}(M,N))\) generated by the \(X_{i,n}^{\pm }, K_i^{\pm 1}, h_{i,s}\) with \(2 \le i \le M+N-1, n \in \mathbb {Z}, s \in \mathbb {Z}_{\ne 0}\). Then \(U_{M-1,N} \cong U_q^-(\mathcal {L}\mathfrak {sl}(M-1,N))\) as superalgebras. Moreover, \(U_{M-1,N} v\) can be realised as a quotient of the the Weyl module \(\mathbf W ((P_i)_{i \ge 2},f,c;Q)\) over \(U_q(\mathcal {L}\mathfrak {sl}(M-1,N))\). From the induction hypothesis, \(U_{M-1,N} v\) is finite-dimensional. Note that \(U_{M-1,N}^-v = U_{M-1,N}v\). \(\square \)
Let \(C_1 := \dim U_{M-1,N}^-v\). Then as a subspace of \(\mathbf W \), \((U_{M-1,N}^-v)_{\lambda - \sum _{i=2}^{M+N-1}c_i \alpha _i } = 0\) if \(c_i \ge C_1\) for some \(2 \le i \le M+N-1\). In consequence, if \(\mu = \lambda - \sum _{i=1}^{M+N-1} u_i \alpha _i \in P\), then
with \(e_i \ge 0\) and \(0 \le f_i < C_1\). It follows that
On the other hand, using the anti-automorphism \(\tau _2\) of Corollary 3.5, we can also write
where \(U_{M,N-1}^-\) is the subalgebra of \(U_q(\mathcal {L}\mathfrak {sl}(M,N))\) generated by the \(X_{i,n}^-\) with \(1 \le i \le M+N-2\) and \(n \in \mathbb {Z}\). Similar argument as in the proof of the claim above shows that \(U_{M,N-1}^-v\) is a finite-dimensional subspace of \(\mathbf W \). Let \(C_2 = \dim U_{M,N-1}^-v\). Then
for some \(e_i' \ge 0\) and \(0 \le f_j' < C_2\). It follows that
Now inequalities (4.10) and (4.11) imply that \(|u_1 - u_2| < \mathrm {max}\{C_1,C_2\}\) for all \(\mu = \lambda - \sum _{i=1}^{M+N-1}u_i \alpha _i \in P\). In particular, \(\mu + s \alpha _1 \notin P\) when \(|s|\gg 0\). Hence, \(X_{1,0}^{+}\) and \(X_{1,0}^{-}\) are locally nilpotent operators on \(\mathbf W \). Let \(U_0\) be the subalgebra of \(U_q(\mathcal {L}'\mathfrak {sl}(M,N))\) generated by the \(X_{1,0}^{\pm }, K_i^{\pm 1}\) with \(0 \le i \le M+N-1\). Then \(U_0\) is an enlargement of \(U_q(\mathfrak {sl}_2)\). From the theory of integrable modules over \(U_q(\mathfrak {sl}_2)\) we see that \(\mu \in P\) implies \(s_1(\mu ) \in P\). Here, for \(\mu = \lambda - \sum \nolimits _{i=1}^{M+N-1} u_i \alpha _i\), we have \(s_1(\mu ) = \lambda - (\deg P_1 -u_1+u_2) \alpha _1 - \sum \nolimits _{i=2}^{M+N-1} u_i \alpha _i\). In view of (4.10),
Now the three inequalities (4.10)–(4.12) say that all the \(u_i\) are bounded by a constant. In other words, \(P\) is finite. This completes the proof of Theorem 4.5. \(\square \)
Remark 4.11
-
(1)
Our proof relied heavily on the theory of Weyl modules over \(U_q(\mathcal {L}\mathfrak {sl}_2)\). Using PBW generators, we deduced the integrability property of Weyl modules: the actions of \(X_{i,0}^{\pm }\) for \(1 \le i \le M+N-1\) are locally nilpotent. Even in the non-graded case of quantum affine algebras considered in [15], the integrability property (Theorem 2.1) is non-trivial (see the references therein).
-
(2)
From integrability, we get an action of Weyl group on the set \(P\) of weights [35, Sect. 41.2]. In the non-graded case, the action of Weyl group already forces that \(P\) be finite (argument of Weyl chambers). In our case, the Weyl group, being \(\mathfrak {S}_{M} \times \mathfrak {S}_N\), is not enough to ensure the finiteness of \(P\). And once again, we used PBW generators to obtain further information on \(P\).
4.3 Classification of finite-dimensional simple representations
In this section, we show that all finite-dimensional simple modules of \(U_q(\mathcal {L}'\mathfrak {sl}(M,N))\) (or \(U_q(\mathcal {L}\mathfrak {sl}(M,N))\) when \(M \ne N\)) are almost of the form \(\mathbf S '({{\underline{P}}},f,c)\) with \(({{\underline{P}}},f,c) \in \mathcal {R}_{M,N}\), a super-version of Theorem 2.1 (b).
Lemma 4.12
Suppose \(MN > 0\) and \((M,N) \ne (1,1)\). Let \(V\) be a finite-dimensional non-zero \(U_q(\mathcal {L}'\mathfrak {sl}(M,N))\)-module. Then there exist a \(\mathbb {Z}_2\)-homogeneous vector \(v \in V {\setminus } \{0\}\), \(\varepsilon _i \in \{\pm 1\}\) for \(1 \le i \le M+N-1, i \ne M\), \(t \in \mathbb {C}{\setminus } \{0\}\) and \(({{\underline{P}}},f,c;Q) \in \tilde{\mathcal {R}}_{M,N}\) satisfying Relations (4.1), (4.3), (4.6), (4.7), \(K_0 v = t v\) and
for \(1 \le i \le M+N-1, i \ne M\).
Proof
We follow the proof of [13, Proposition 3.2] step by step. From the finite-dimensional representation of the commutative algebra \(A_{M,N}'\) on \(V\), one finds \(\lambda \in P_{M,N}\) such that
By replacing \(V\) with \(U_q(\mathcal {L}'\mathfrak {sl}(M,N)) (V)_{\lambda }\), one can suppose that \(V\) is \(P_{M,N}\)-graded: \(V = \bigoplus _{\mu \in P_{M,N}} (V)_{\mu }\). Let \(P := \{\mu \in P_{M,N}\ |\ (V)_{\mu } \ne 0 \}\). Then \(P\) is a finite set. There exists \(\lambda _0 \in P\) such that \(\lambda _0 + \alpha _i \notin P\) for all \(1 \le i \le M+N-1\) (Here we really need the fact that these \(\alpha _i\) are linearly independent). Note that \((V)_{\lambda _0}\) is also \(\mathbb {Z}_2\)-graded. Moreover, \((V)_{\lambda _0}\) is stable by the commutative subalgebra \(U_q^0(\mathcal {L}'\mathfrak {sl}(M,N))\). One can therefore choose a non-zero \(\mathbb {Z}_2\)-homogeneous vector \(v \in (V)_{\lambda _0}\) which is a common eigenvector of \(U_q^0(\mathcal {L}'\mathfrak {sl}(M,N))\). In particular, \(X_{i,n}^+ v = 0\) for all \(1 \le i \le M+N-1\) and \(n \in \mathbb {Z}\), and \(K_0 v = \lambda _0(K_0)v\).
When \(i \ne M\), let \(\widehat{U_i}\) be the subalgebra generated by the \(X_{i,n}^{\pm }, K_i^{\pm 1}, h_{i,s}\) with \(n \in \mathbb {Z}\) and \(s \in \mathbb {Z}_{\ne 0}\). Then \(\widehat{U_i} \cong U_{q_i}(\mathcal {L}\mathfrak {sl}_2)\) as algebras, and \(\widehat{U_i} v\) is a finite-dimensional highest weight \(U_{q_i}(\mathcal {L}\mathfrak {sl}_2)\)-module. One can thus find \((\varepsilon _i, P_i)\) satisfying the above relation thanks to Theorem 2.1 (b).
When \(i = M\), by definition of \(v\), there exists \(f_n \in \mathbb {C}\) for all \(n \in \mathbb {Z}\) such that \(\frac{\phi _{M,n}^+ - \phi _{M,n}^-}{q-q^{-1}} v = f_n v\). On the other hand, as \(X_M^- v\) is finite-dimensional, there exist \(m \in \mathbb {Z}, d \in \mathbb {Z}_{\ge 0}\) and \(a_0,\cdots ,a_d \in \mathbb {C}\) such that
By applying \(h_{M-1,t}\) to the above equation and noting that \(h_{M-1,t} v \!\in \! \mathbb {C} v,\ [h_{M-1,t}, X_{M,s+m}^-] = \frac{[t]_q}{t} X_{M,s+m+t}^-\) we get Relation (4.7) with respect to the polynomial \(Q(z) = \sum _{s=0}^d a_s z^s\). By applying \(X_{M,0}^+\) to Relation (4.7), we conclude that \(Q(z)(\sum _{n \in \mathbb {Z}} f_n z^n) = 0\). \(\square \)
Analogous result holds for the superalgebra \(U_q(\mathcal {L}\mathfrak {sl}(M,N))\) when \(MN > 0\) and \(M \ne N\), as the weights \(\alpha _i|_{A_{M,N}}\) are linearly independent (see the proof of Lemma 4.4). Let \(\tilde{D}\) be the set of superalgebra automorphisms of \(U_q(\mathcal {L}'\mathfrak {sl}(M,N))\) of the following forms:
for \(1 \le i \le M+N-1, n \in \mathbb {Z}, s \in \mathbb {Z}_{\ne 0}\), where \(\varepsilon _i \in \{\pm 1 \}, t \in \mathbb {C} {\setminus } \{0\}\) with \(\varepsilon _M = 1\). Note that such an automorphism always preserves \(U_q(\mathcal {L}\mathfrak {sl}(M,N))\). Let \(D\) be the set of superalgebra automorphisms of \(U_q(\mathcal {L}\mathfrak {sl}(M,N))\) of the form \(\pi |_{U_q(\mathcal {L}\mathfrak {sl}(M,N))}\) with \(\pi \in \tilde{D}\).
Corollary 4.13
Suppose \(MN \,{>}\, 0\) and \((M,N) \ne (1,1)\). All finite-dimensional simple \(U_q(\mathcal {L}'\mathfrak {sl}(M,N))\)-modules are of the form \(\pi ^*(\mathbf S '({{\underline{P}}},f,c))\) where \(({{\underline{P}}},f,c) \in \mathcal {R}_{M,N}\) and \(\pi \in \tilde{D}\).
Definition 4.14
Let \(({{\underline{P}}},f,c) \in \mathcal {R}_{M,N}\) and let \(V\) be a \(U_q(\mathcal {L}\mathfrak {sl}(M,N))\)-module. We say that \(V\) is of highest weight \(({{\underline{P}}},f,c)\) if there is an epimorphism of \(U_q(\mathcal {L}\mathfrak {sl}(M,N))\)-modules: \(\mathbf M ({{\underline{P}}},f,c) \twoheadrightarrow V\).
One can now have a super-version of Theorem 2.1 (b). Let \(\iota : U_q(\mathcal {L}\mathfrak {sl}(M,N))\hookrightarrow U_q(\mathcal {L}'\mathfrak {sl}(M,N))\) be the canonical injection defined in Sect. 3.2.
Proposition 4.15
Suppose \(MN > 0\) and \(M \ne N\).
-
(a)
All finite-dimensional simple \(U_q(\mathcal {L}\mathfrak {sl}(M,N))\)-modules are of the form \(\pi ^*\iota ^* \mathbf S '({{\underline{P}}},f,c)\) where \(({{\underline{P}}},f,c) \in \mathcal {R}_{M,N}\) and \(\pi \in D\).
-
(b)
Let \(V\) be a finite-dimensional \(U_q(\mathcal {L}\mathfrak {sl}(M,N))\)-module of highest weight \(({{\underline{P}}},f,c) \in \mathcal {R}_{M,N}\). Let \(\theta : \mathbf M ({{\underline{P}}},f,c) \twoheadrightarrow V\) be an epimorphism of \(U_q(\mathcal {L}\mathfrak {sl}(M,N))\)-modules. Then there exists \(Q(z) \in \mathbb {C}[z]\) such that \(({{\underline{P}}},f,c;Q) \in \tilde{\mathcal {R}}_{M,N}\) and \(\theta \) factorizes through the canonical epimorphism \(\mathbf M ({{\underline{P}}},f,c) \twoheadrightarrow \mathbf W ({{\underline{P}}},f,c;Q)\).
-
(c)
For \(({{\underline{P}}},f,c;Q_1),({{\underline{P}}},f,c;Q_2) \in \tilde{\mathcal {R}}_{M,N}\), the canonical epimorphism \(\mathbf M ({{\underline{P}}},f,c) \twoheadrightarrow \mathbf W ({{\underline{P}}},f,c;Q_1)\) factorizes through \(\mathbf M ({{\underline{P}}},f,c) \twoheadrightarrow \mathbf W ({{\underline{P}}},f,c;Q_2)\) if and only if \(Q_1(z)\) divides \(Q_2(z)\) as polynomials.
Proof
(a) and (b) come from Lemma 4.12 and Theorem 4.5. For (c), the “if” part is clear from the definition of Weyl modules. Without loss of generality, assume \(M>N\). Suppose that \(\mathbf W ({{\underline{P}}},f,c;Q_2) \twoheadrightarrow \mathbf W ({{\underline{P}}},f,c;Q_1)\) and we have a surjection
which respects clearly the actions of \(h_{M-1,1}\). We conclude from Proposition 4.9. \(\square \)
4.4 Integrable representations
This section deals with generalisations of Theorem 2.1 (c). We shall see that, for all \(\Lambda \in \mathcal {R}_{M,N}\), there exists a largest integrable module of highest weight \(\Lambda \). However, such modules turn out to be infinite-dimensional, contrary to the quantum affine algebra case.
Definition 4.16
Call a \(U_q(\mathcal {L}\mathfrak {sl}(M,N))\)-module integrable if the actions of \(X_{i,0}^{\pm }\) are locally nilpotent for \(1 \le i \le M+N-1\).
Note that the actions of \(X_{M,0}^{\pm }\) are always nilpotent. From the representation theory of \(U_q(\mathfrak {sl}_2)\) [22, Chapter 2], we see that finite-dimensional \(U_q(\mathcal {L}\mathfrak {sl}(M,N))\)-modules are always integrable. In particular, the Weyl modules and all their quotients are integrable.
Universal Weyl modules. Let \(({{\underline{P}}},f,c) \in \mathcal {R}_{M,N}\). The associated universal Weyl module, denoted by \(\mathbf W ({{\underline{P}}},f,c)\), is the \(U_q(\mathcal {L}\mathfrak {sl}(M,N))\)-module generated by \(v_{({{\underline{P}}},f,c)}\) of \(\mathbb {Z}_2\)-degree \(\overline{0}\) subject to Relations (4.1)–(4.3) and (4.6). \(\mathbf W ({{\underline{P}}},f,c)\) becomes a \(U_q(\mathcal {L}'\mathfrak {sl}(M,N))\)-module by Relation (4.4). Note that \(\mathbf W ({{\underline{P}}},f,c)\), being a quotient of \(\mathbf M ({{\underline{P}}},f,c)\), is \(P_{M,N}\)-graded. Let \(\mathrm {wt}(\mathbf W ({{\underline{P}}},f,c)) \subseteq \lambda _{({{\underline{P}}},f,c)} - Q_{M,N}^+\) be the set of weights.
Proposition 4.17
Suppose \(MN > 0\). Fix \(({{\underline{P}}},f,c) \in \mathcal {R}_{M,N}\). Then there exists \(k \in \mathbb {Z}_{>0}\) such that:
In particular, \(\mathbf W ({{\underline{P}}},f,c)\) is integrable.
Proof
The idea is similar to that of the proof of Theorem 4.5: to use PBW generators to deduce restrictions on the set of weights. One also needs the isomorphism \(\pi _{M,N}: U_q(\mathcal {L}\mathfrak {sl}(M,N))\longrightarrow U_q(\mathcal {L}\mathfrak {sl}(N,M)) \) to change the forms of the PBW generators. \(\square \)
Thus, for \(({{\underline{P}}},f,c) \in \mathcal {R}_{M,N}\), the universal Weyl module \(\mathbf W ({{\underline{P}}},f,c)\) is the largest integrable highest weight module of highest weight \(({{\underline{P}}},f,c)\). Note however that \(\mathbf W ({{\underline{P}}},f,c)\) is by no means finite-dimensional when \(MN > 0\). Indeed, for all \(({{\underline{P}}},f,c;Q)\), we have an epimorphism of \(U_q(\mathcal {L}\mathfrak {sl}(M,N))\)-modules \(\mathbf W ({{\underline{P}}},f,c) \twoheadrightarrow \mathbf W ({{\underline{P}}},f,c;Q)\). It follows from Proposition 4.9 that \(\dim \mathbf W ({{\underline{P}}},f,c) > \deg Q\). As \(\deg Q\) can be chosen arbitrarily large, \(\mathbf W ({{\underline{P}}},f,c)\) is infinite-dimensional.
5 Evaluation morphisms
Throughout this section, we assume \(M > 1, N \ge 1\) and \(M \ne N\). After [44, Theorem 8.5.1], there is another presentation of the quantum superalgebra \(U_q(\mathcal {L}\mathfrak {sl}(M,N))\). From this new presentation, we get a structure of Hopf superalgebra on \(U_q(\mathcal {L}\mathfrak {sl}(M,N))\) (in the usual sense). Using evaluation morphisms between \(U_q(\mathcal {L}\mathfrak {sl}(M,N))\) and \(U_q(\mathfrak {gl}(M,N))\), we construct certain finite-dimensional simple \(U_q(\mathcal {L}\mathfrak {sl}(M,N))\)-modules.
5.1 Chevalley presentation of \(U_q(\mathcal {L}\mathfrak {sl}(M,N))\) for \(M \ne N\)
Enlarge the Cartan matrix \(C = (c_{i,j})_{1 \le i,j \le M+N-1}\) to the affine Cartan matrix \(\widehat{C} = (c_{i,j})_{0 \le i,j \le M+N-1}\) with \(c_{0,0} = 0, c_{0,i} = c_{i,0} = -\delta _{i,1} + \delta _{i,M+N-1}\) for \(1 \le i \le M+N-1\). Set \(q_0 = q\).
Definition 5.1
[44, Proposition 6.7.1] \(U_q'(\widehat{\mathfrak {sl}(M,N)})\) is the superalgebra generated by \(E_i^{\pm },K_i^{\pm 1}\) for \(0 \le i \le M+N-1\) with the \(\mathbb {Z}_2\)-grading \(|E_0^{\pm }| = |E_M^{\pm }| = \overline{1}\) and \(\overline{0}\) for other generators, and with the following relations: \(0 \le i,j \le M+N-1\)
Remark that \(c := K_0 K_1 \cdots K_{M+N-1}\) is central in \(U_q'(\widehat{\mathfrak {sl}(M,N)})\). We reformulate part of [44, Theorem 8.5.1]:
Theorem 5.2
There exists a unique superalgebra homomorphism \(\Phi : U_q'(\widehat{\mathfrak {sl}(M,N)})\longrightarrow U_q(\mathcal {L}\mathfrak {sl}(M,N))\) such that:
Furthermore, \(\Phi \) is surjective with kernel \(\ker \Phi = U_q'(\widehat{\mathfrak {sl}(M,N)})(c - 1)\).
Note that \(\Phi (E_0^+) = (-1)^{M+N-1}q^{N-M} X_{\alpha _1+\cdots +\alpha _{M+N-1}}^-(1) \Phi (K_0)\) and \(\Phi (E_0^-) = \Phi (K_0^{-1}) X_{\alpha _1+\cdots +\alpha _{M+N-1}}(-1)\) from Definition 3.11 and the proof of Theorem 4.5.
From the construction of \(U_q'(\widehat{\mathfrak {sl}(M,N)})\) in Sect. 6.1 of [44], we see that \(U_q'(\widehat{\mathfrak {sl}(M,N)})\) is endowed with a Hopf superalgebra structure: for \(0 \le i \le M+N-1\)
Here the coproduct formula is consistent with that of (2.5). Under this coproduct, \(\Delta (c) = c \otimes c\). Hence, \(\ker \Phi = U_q'(\widehat{\mathfrak {sl}(M,N)})(c-1)\) becomes a Hopf ideal of \(U_q'(\widehat{\mathfrak {sl}(M,N)})\), and \(\Phi \) induces a Hopf superalgebra structure on \(U_q(\mathcal {L}\mathfrak {sl}(M,N))\).
To simplify notations, let \(U := U_q(\mathcal {L}\mathfrak {sl}(M,N))\) and \(X^{\pm } := \sum _{i=1}^{M+N-1} X_i^{\pm }\) where \(X_i^{\pm } = \sum _{n \in \mathbb {Z}} \mathbb {C} X_{i,n}^{\pm } \subseteq U\).
Lemma 5.3
For \(1 \le i \le M+N-2\), there exist \(x_{i}^{\pm },y_i^{\pm }, z_i^{\pm } \in \mathbb {C}\) such that modulo \(U (X^-)^2 \,\underline{\otimes }\,U (X^+)^2\)
Moreover, \(z_i^{\pm } = \pm (q_i - q_i^{-1})\). We understand \(X_{0,n}^{\pm } = 0, K_0^{\pm 1} = \Phi (K_0^{\pm 1})\).
The idea is to express \(h_{i,\pm 1}\) as products in the \(\Phi (E_i^{\pm }), \Phi (K_i^{\pm 1})\) with \(0 \le i \le M+N-1\) and then use the coproduct Formulae (5.1). Details are left to “Appendix 2”.
Now we can deduce a similar result of [13, Proposition 4.4]
Proposition 5.4
Let \(1 \le j \le M+N-1\) and \(n \in \mathbb {Z}_{>0}\). In the vector superspace \(U \,\underline{\otimes }\,U\), we have
-
(a)
\(\Delta (X_{j,0}^+) = 1 \,\underline{\otimes }\,X_{j,0}^+ + X_{j,0}^+ \,\underline{\otimes }\,K_j^{-1}\), and modulo \(UX^- \,\underline{\otimes }\,U(X^+)^2\),
$$\begin{aligned}&\Delta (X_{j,n}^+) \equiv 1 \,\underline{\otimes }\,X_{j,n}^+ + X_{j,n}^+ \,\underline{\otimes }\,K_j^{-1} + \sum _{s=1}^n K_j^{-1}\phi _{j,s}^+ \,\underline{\otimes }\,X_{j,n-s}^+, \\&\Delta (X_{j,-n}^+) \equiv K_j^{-2} \,\underline{\otimes }\,X_{j,-n}^+ + X_{j,-n}^+ \,\underline{\otimes }\,K_j^{-1} + \sum _{s=1}^{n-1} K_j^{-1} \phi _{j,-s}^- \,\underline{\otimes }\,X_{j,-n+s}^+, \end{aligned}$$ -
(b)
\(\Delta (X_{j,0}^-) = K_j \,\underline{\otimes }\,X_{j,0}^- + X_{j,0}^- \,\underline{\otimes }\,1\), and modulo \(U(X^-)^2 \,\underline{\otimes }\,U X^+\),
$$\begin{aligned}&\Delta (X_{j,n}^-) \equiv K_j \,\underline{\otimes }\,X_{j,n}^- + X_{j,n}^- \,\underline{\otimes }\,K_j^2 + \sum _{s=1}^{n-1} X_{j,s}^- \,\underline{\otimes }\,K_j \phi _{j,n-s}^+, \\&\Delta (X_{j,-n}^-) \equiv K_j \,\underline{\otimes }\,X_{j,-n}^- + X_{j,-n}^- \,\underline{\otimes }\,1 + \sum _{s=1}^n X_{j,-n+s}^- \,\underline{\otimes }\,K_j \phi _{j,-s}^-, \end{aligned}$$ -
(c)
\(\Delta (\phi _{j,0}^{\pm }) = \phi _{j,0}^{\pm } \,\underline{\otimes }\,\phi _{j,0}^{\pm }\), and modulo \(U X^- \,\underline{\otimes }\,UX^+ + UX^+ \,\underline{\otimes }\,UX^-\),
$$\begin{aligned} \Delta (\phi _{j,\pm n}^{\pm }) \equiv \sum _{s=0}^n \phi _{j, \pm s}^{\pm } \,\underline{\otimes }\,\phi _{j,\pm (n-s)}^{\pm }. \end{aligned}$$(5.2)
Proof
Note that Relation (3.2) implies \([h_{i, s}, X_{i+1,n}^{\pm }] = \mp (-1)^{p(\alpha _i)} X_{i+1,n+s}^{\pm }\) for \(s = \pm 1\). One can prove the first four formulae by induction on \(n\), using repeatedly the above lemma. Take the first formula as an example. Assume that \(M+2 \le j \le M+N-1\) (similar in other cases). Suppose we know the formula for \(\Delta (X_{j,n}^+)\). Then \(\Delta (X_{j,n+1}^+) = -[\Delta (h_{j-1},1), \Delta (X_{j,n}^+)]\). Remark that for \(i \ne j\)
Hence, modulo \(UX^- \,\underline{\otimes }\,U(X^+)^2\), (recall that \(q_{j-1} = q_j = q^{-1}\))
as desired. For the last formula, we use \(\frac{ \phi _{j,n}^+}{q_j - q_j^{-1}} = [X_{j,n}^+,X_{j,0}^-], \frac{\phi _{j,-n}^-}{q_j^{-1}-q_j} = [X_{j,0}^+, X_{j,-n}^-]\) and conclude. \(\square \)
As in the case of quantum affine algebras [14, Proposition 4.3], we get
Corollary 5.5
For \(({{\underline{P}}},f,c), ({{\underline{Q}}},g,d) \in \mathcal {R}_{M,N}\), there exists a morphism of \(U_q(\mathcal {L}\mathfrak {sl}(M,N))\)-modules
such that \(v_{({{\underline{PQ}}},f*g,cd)} \mapsto v_{({{\underline{P}}},f,c)} \,\underline{\otimes }\,v_{({{\underline{Q}}},g,d)}\). Here \(f * g = \frac{f^+ g^+ - f^- g^-}{q-q^{-1}}\) with \(f^{\pm } = c^{\pm 1} \pm (q-q^{-1}) \sum _{s=1}^{\infty } f_{\pm s} z^{\pm s}\) and \(({{\underline{PQ}}})_i = P_i Q_i\) for \(1 \le i \le M+N-1, i \ne M\).
The corollary above endows \(\mathcal {R}_{M,N}\) with a structure of monoid (valid even if \(M=N\)):
where the neutral element is \(({{\underline{1}}}, 0, 1)\). From the commutativity of \((\mathcal {R}_{M,N},*)\) we also see that if the tensor product \(S_1 \,\underline{\otimes }\,S_2\) of two finite-dimensional simple \(U_q(\mathcal {L}\mathfrak {sl}(M,N))\)-modules remains simple, then so does \(S_2 \,\underline{\otimes }\,S_1\) and \(S_1 \,\underline{\otimes }\,S_2 \cong S_2 \,\underline{\otimes }\,S_1\) as \(U_q(\mathcal {L}\mathfrak {sl}(M,N))\)-modules.
5.2 Evaluation morphisms
In this section, we construct some simple modules of \(U_q(\mathcal {L}\mathfrak {sl}(M,N))\) via evaluation morphisms.
As in the case of quantum affine algebras \(U_q(\widehat{\mathfrak {sl}_n})\), we also have evaluation morphisms:
Proposition 5.6
There exists a morphism of superalgebras \(\mathrm {ev}: U_q'(\widehat{\mathfrak {sl}(M,N)}) \longrightarrow U_q(\mathfrak {gl}(M,N))\) such that \(\mathrm {ev}(K_j) = t_j^{l_j} t_{j+1}^{-l_{j+1}},\mathrm {ev}( E_j^{\pm }) = , e_j^{\pm }\) for \(1 \le j \le M+N-1\), \(\mathrm {ev}(K_0) = t_1^{-1} t_{M+N}^{-1}\) and
Remark 5.7
\(\mathrm {ev}(E_0^{\pm })\) appeared implicitly in [45, Lemma 4]. Note however that Zhang did not verify the degree 5 relations in the case \((M,N) = (2,1)\). A lengthy calculation shows that this is true, and that \(\mathrm {ev}\) is always well-defined. The modified element \(K = t_1 t_{M+N}^{-1}\) is needed to ensure that \(K e_i^{\pm } K^{-1} = e_i^{\pm }\) for \(2 \le i \le M+N-2\) and \(K e_i^{\pm } K^{-1} = q^{\pm 1} e_i^{\pm }\) when \(i = 1, M+N-1\). If \(0 < |M-N| \le 2\), then \(K\) can be chosen so that \(K \in U_q(\mathfrak {sl}(M,N))\).
It is clear that \(\mathrm {ev}(K_0\cdots K_{M+N-1}) = 1\). This implies that \(\mathrm {ev}: U_q'(\widehat{\mathfrak {sl}(M,N)}) \longrightarrow U_q(\mathfrak {gl}(M,N))\) factorizes through \(\Phi : U_q(\widehat{\mathfrak {sl}(M,N)}) \twoheadrightarrow U_q(\mathcal {L}\mathfrak {sl}(M,N))\). Let \(\mathrm {ev}': U_q(\mathcal {L}\mathfrak {sl}(M,N))\longrightarrow U_q(\mathfrak {gl}(M,N))\) be the superalgebra morphism thus obtained.
Lemma 5.8
For the superalgebra morphism \(\mathrm {ev}': U_q(\mathcal {L}\mathfrak {sl}(M,N))\longrightarrow U_q(\mathfrak {gl}(M,N))\), we have
-
(a)
\(\mathrm {ev}'(X_{1,n}^+) = t_1^{2n} e_1^+,\ \mathrm {ev}'(X_{1,n}^-) = e_1^- t_1^{2n}\);
-
(b)
for \(2 \le j \le M+N-1\), modulo \(\sum _{i=1}^{M+N-1} U_q(\mathfrak {gl}(M,N)) e_i^+\), \(\mathrm {ev}'(X_{j,n}^+)\equiv 0\) and
$$\begin{aligned} \mathrm {ev}'(X_{j,n}^-) \equiv (\prod _{s=2}^j q_s^{-1})^n e_j^- t_j^{2 l_j n}. \end{aligned}$$
Proof
According to the Formulae (8.1)–(8.2) in “Appendix 2”, we get
The rest is clear in view of Relations (3.2)–(3.3). \(\square \)
Remark that from Definition 3.1 of quantum affine superalgebras \(U_q(\mathcal {L}\mathfrak {sl}(M,N))\) admit naturally a \(\mathbb {Z}\)-grading provided by the second index (the first index gives \(Q_{M,N}\)-grading). From this \(\mathbb {Z}\)-grading, we construct for each \(a \in \mathbb {C} {\setminus } \{0\}\), a superalgebra automorphism \(\Phi _a: U_q(\mathcal {L}\mathfrak {sl}(M,N))\longrightarrow U_q(\mathcal {L}\mathfrak {sl}(M,N))\) defined by:
for \(1 \le i \le M+N-1, n \in \mathbb {Z}, s \in \mathbb {Z}_{\ne 0}\). Furthermore, define the evaluation morphism \(\mathrm {ev}_a\) by
Given a representation \((\rho , V)\) of \(U_q(\mathfrak {gl}(M,N))\), one can construct a family \((\rho \circ \mathrm {ev}_a, \mathrm {ev}_a^* V : a \in \mathbb {C} {\setminus } \{0\})\) of representations of \(U_q(\mathcal {L}\mathfrak {sl}(M,N))\). In particular, one obtains some finite-dimensional simple modules in this way. Take \(a \in \mathbb {C}{\setminus } \{0\}\). Lemma 5.8 together with Theorem 2.3 leads to the following proposition:
Proposition 5.9
Let \(\Lambda \in \mathcal {S}_{M,N}\) and \(a \in \mathbb {C}{\setminus } \{0\}\). Then \(\mathrm {ev}_a^* L(\Lambda ) \cong \iota ^* \mathbf S '({{\underline{P}}},f,c)\) as simple \(U_q(\mathcal {L}\mathfrak {sl}(M,N))\)-modules, where
Example 5.10
When \(\Lambda _i = \delta _{i,1}\), we get the fundamental representation of \(U_q(\mathfrak {gl}(M,N))\) on the vector superspace \(V = V_{\overline{0}} \oplus V_{\overline{1}}\) with \(\dim V_{\overline{0}} = M, \dim V_{\overline{1}} = N\) (see for example [9, Sect. 3.2] for the actions of Chevalley generators). We obtain therefore finite-dimensional simple \(U_q(\mathcal {L}\mathfrak {sl}(M,N))\)-modules corresponding to \(({{\underline{P}}}, 0, 1) \in \mathcal {R}_{M,N}\) where \(P_i(z) = 1 - q \delta _{i,1} a z\) with \(a \in \mathbb {C}{\setminus } \{0\}\).
6 Further discussions
Representations of quantum superalgebras. As we have seen in Sect. 5.2, for \(a \in \mathbb {C}{\setminus } \{0\}\) there exists a superalgebra homomorphism (assuming \(M \ne N\))
One can pull back representations of \(U_q(\mathfrak {gl}(M,N))\) to get those of \(U_q(\mathcal {L}\mathfrak {sl}(M,N))\).
In 2000, Benkart et al. [9] proposed a subcategory \(\mathcal {O}_{\mathrm {int}}\) of finite-dimensional representations of \(U_q(\mathfrak {gl}(M,N))\) over the field \(\mathbb {Q}(q)\) to study the crystal bases. Using the notations in Sect. 2.2, one has also the finite-dimensional simple modules \(L(\Lambda )\) for \(\Lambda \in \mathbb {Z}^{M+N}\) verifying \(\Lambda _i - \Lambda _{i+1} \in \mathbb {Z}_{\ge 0}\) for \(1 \le i \le M+N-1, i \ne M\). Simple modules in \(\mathcal {O}_{\mathrm {int}}\) are of the form \(L(\Lambda ) \,\underline{\otimes }\,D\) where \(D \in \mathcal {O}_{\mathrm {int}}\) is one-dimensional and (Proposition 3.4)
-
(i)
\(\Lambda _M + \Lambda _{M+N} \ge 0\);
-
(ii)
if \(\Lambda _{M+k} > \Lambda _{M+k+1}\) for some \(1 \le k \le N-1\), then \(\Lambda _M + \Lambda _{M+k+1} \ge k\).
The simple module \(L(\Lambda )\) in \(\mathcal {O}_{\mathrm {int}}\) always admits a polarizable crystal base (Theorem 5.1), with the associate crystal \(B(\Lambda )\) being realised as the set of all semi-standard tableaux of shape \(Y_{\Lambda }\) (Definition 4.1). Here \(Y_{\Lambda }\) is a Young diagram constructed from \(\Lambda \). In this way one gets a combinatorial description of the character and the dimension for the simple module \(L(\Lambda )\).
Explicit constructions of representations of the quantum superalgebra \(U_q(\mathfrak {gl}(M,N))\) are also of importance to us. In [33], Ky-Van constructed finite-dimensional representations of \(U_q(\mathfrak {gl}(2,1))\) and studied their basis with respect to its even subalgebra \(U_q(\mathfrak {gl}(2) \oplus \mathfrak {gl}(1))\). Early in [30, 34], certain finite-dimensional representations of \(U_q(\mathfrak {gl}(2,2))\) were constructed together with their decomposition into simple modules with respect to the subalgebra \(U_q(\mathfrak {gl}(2) \oplus \mathfrak {gl}(2))\). In 1991, Palev and Tolstoy [37] deformed the finite-dimensional Kac/simple modules of \(U(\mathfrak {gl}(N,1))\) to the corresponding modules of \(U_q(\mathfrak {gl}(N,1))\) and wrote down the actions of the algebra generators in terms of Gel’fand-Zetlin basis. Later, Palev et al. [38] generalised the above constructions to the quantum superalgebra \(U_q(\mathfrak {gl}(M,N))\). However, their methods applied only to a certain class of irreducible representations, the so-called essentially typical representations. Recently, the coherent state method was applied to construct representations of superalgebras and quantum superalgebras. In [26], Kien–Ky–Nam–Van used the vector coherent state method to construct representations of \(U_q(\mathfrak {gl}(2,1))\). However, for quantum superalgebras \(U_q(\mathfrak {gl}(M,N))\) of higher ranks, the analogous constructions are still not explicit.
Relations with Yangians In the paper [47], Zhang developed a highest weight theory for finite-dimensional representations of the super Yangian \(Y(\mathfrak {gl}(M,N))\), and obtained a classification of finite-dimensional simple modules (Theorems 3, 4). Here the set \(\mathcal {T}_{M,N}\) of highest weights consists of \(\Lambda = (\Lambda _i: 1 \le i \le M+N)\) such that
where \(Q,\tilde{Q} \in 1 + z\mathbb {C}[z]\) are co-prime polynomials, \(P_i(z) \in \mathbb {C}[z]\) are polynomials of leading coefficient \(1\), and \([i] = {\small {\left\{ \begin{array}{ll} \overline{0}&{} i \le M, \\ \overline{1}&{} i > M. \end{array}\right. }}\) For any \(\Lambda \in \mathcal {T}_{M,N}\), there exists a finite-dimensional simple \(Y(\mathfrak {gl}(M,N))\)-module \(\mathbf S (\Lambda )\). Up to modification by one-dimensional modules, all simple modules are of the form \(\mathbf S (\Lambda )\). Zhang also constructed explicitly the simple modules \(\mathbf S (\Lambda )\) for \(\Lambda \in \mathcal {T}_{M,N}^0\):
Other simple modules \(\mathbf S (\Lambda )\) can always be realised as subquotients of \(\bigotimes _{s=1}^n \phi _s^* \mathbf S (\Lambda _{(s)})\) where \(\Lambda _{(s)} \in \mathcal {T}_{M,N}^0\) and the \(\phi _s\) are some superalgebra automorphisms of \(Y(\mathfrak {gl}(M,N))\).
In the case of quantum affine superalgebra \(U_q(\mathcal {L}\mathfrak {sl}(M,N))\), the set of highest weights is \(\mathcal {R}_{M,N}\), which is a commutative monoid. It is not easy to see, in view of Definition 4.1 and Corollary 5.5, that as monoids
In the following, we investigate the monoid structure of \(\mathcal {R}_{1,1}\). As we shall see, \(\mathcal {R}_{1,1}\) is almost \(\mathcal {T}_{1,1}\). Thus, informally speaking, the two monoids \(\mathcal {R}_{M,N}\) and \(\mathcal {T}_{M,N}\) are almost equivalent, and the finite-dimensional representation theories for \(U_q(\mathcal {L}\mathfrak {sl}(M,N))\) and for \(Y(\mathfrak {gl}(M,N))\) should have some hidden similarities.
Recall that \(\mathcal {R}_{1,1}\) is the set of couples \((f,c)\) where \(f\) is a formal series with torsion, with \(\frac{c-c^{-1}}{q-q^{-1}}\) being the constant term. Let \(\iota _{\pm }: \mathbb {C}[[z^{\pm 1}]] \longrightarrow \mathbb {C}[[z,z^{-1}]]\) be the canonical inclusions of formal series.
Proposition 6.1
Let \(\mathcal {T}\) be the set of triples \((c,Q,P)\) where:
-
(a)
\(c \in \mathbb {C} {\setminus } \{0\}\), \(P(z),Q(z) \in 1 + z \mathbb {C}[z]\);
-
(b)
\(P(z), Q(z)\) are co-prime as polynomials, moreover, \(\lim _{z\rightarrow \infty } \frac{Q(z)}{P(z)} = c^{-2}\).
Equip \(\mathcal {T}\) with a structure of monoid by: \((c,Q,P) * (c',Q',P') = (cc',QQ',PP'), 1 = (1,1,1)\). Then
defines an isomorphism of monoids.
Proof
First, \(\iota _{+,-}\) is well-defined, as the formal series in the RHS of (6.1) is killed by \(P(z)\). Moreover, \(\iota _{+,-}\) respects the monoid structures in view of Corollary 5.5.
Next, fix \((f,c) \in \mathcal {R}_{1,1}\). Let \(P(z) \in 1 + z\mathbb {C}[z]\) be the Drinfel’d polynomial of smallest degree killing \(f(z)\). Express
Then, for all \(n \in \mathbb {Z}\),
Consider the formal power series
It is clear that \(a_0' = 1\) and that
This says that \(Q(z) \in 1 + z\mathbb {C}[z]\) is of degree \(d\) and that \(\lim _{z\rightarrow \infty } \frac{Q(z)}{P(z)} = c^{-2}\). We remark that \(f(z)\) is completely determined by \(f_0,f_1,\ldots ,f_{d-1}\), which in turn are determined by \(Q(z)\). This forces
If \(P(z) = P_1(z)P_2(z)\) and \(Q(z) = P_1(z) Q_2(z)\), then \(f(z)\) should be killed by \(P_2(z)\). Hence, \(\deg P_1(z) = 0\) from the definition of \(P(z)\). This says that \(P(z),Q(z)\) are co-prime. In other words,
Finally, \(\iota _{+,-}\) is injective as \(P(z),Q(z)\) are uniquely determined by \((f,c)\). \(\square \)
Through the isomorphism \(\iota _{+,-}\), Relation (4.3) is equivalent to the following
In the paper [17], Gautam-Toledano Laredo constructed an explicit algebra homomorphism from the quantum loop algebra \(U_{\hbar }(\mathcal {L}\mathfrak {g})\) to the completion of the Yangian \(Y_{\hbar }(\mathfrak {g})\) with respect to some grading, where \(\mathfrak {g}\) is a finite-dimensional simple Lie algebra. Also, they are able to construct a functor from a subcategory of finite-dimensional representations of \(Y_{\hbar }(\mathfrak {g})\) to a subcategory of finite-dimensional representations of \(U_{\hbar }(\mathcal {L}\mathfrak {g})\). It is hopeful to have some generalisations for quantum affine superalgebras and super Yangians.
Other quantum affine superalgebras Our approach to the theory of Weyl/simple modules of \(U_q(\mathcal {L}\mathfrak {sl}(M,N))\) is quite algebraic, without using evaluation morphisms and coproduct, and is less dependent on the actions of Weyl groups. In general, for a quantum affine superalgebra, if we know its Drinfel’d realization and its PBW generators in terms of Drinfel’d currents, it will be quite hopeful that we arrive at a good theory of finite-dimensional highest weight modules (Weyl/simple modules).
We point out that in the paper [1], Azam-Yamane-Yousofzadeh classified finite-dimensional simple representations of generalized quantum groups using the notion of a Weyl groupoid. We remark that Weyl groupoids appear naturally in the study of quantum/classical Kac-Moody superalgebras due to the existence of non-isomorphic Dynkin diagrams for the same Kac-Moody superalgebra. Roughly speaking, a Weyl groupoid is generated by even reflections similar to the case of Kac-Moody algebras, together with odd reflections in order to keep track of different Dynkin diagrams. Note that early in [44], Yamane generalised Beck’s argument [3] by using the Weyl groupoids instead of the Weyl groups to get the two presentations of \(U_q(\mathcal {L}\mathfrak {sl}(M,N))\). Later in [20], similar arguments of Weyl groupoids led to Drinfel’d realizations of the quantum affine superalgebras \(U_q(D^{(1)}(2,1;x))\). Also, in the paper [42], Serganova studied highest weight representations of certain classes of Kac-Moody superalgebras with the help of Weyl groupoids. We believe that Weyl groupoids should shed light on the structures of both quantum affine superalgebras themselves and their representations.
Affine Lie superalgebras Consider the affine Lie superalgebra \(\mathcal {L}\mathfrak {sl}(M,N)\) with \(M \ne N\). As we have clearly the triangular decomposition and the PBW basis, we obtain a highest (\(l\))-weight representation theory for \(U(\mathcal {L}\mathfrak {sl}(M,N))\) similar to that of Chari [10]. Here, the set \(\mathcal {W}_{M,N}\) of highest weights are couples \(({{\underline{P}}}, f)\) where
-
(a)
\({{\underline{P}}} \in (1 + z \mathbb {C}[z])^{M+N-1}\) (corresponding to even simple roots);
-
(b)
\(f \in \mathbb {C}[[z,z^{-1}]]\) such that \(Q f = 0\) for some \(Q \in 1 + z \mathbb {C}[z]\) (corresponding to the odd simple root).
Finite-dimensional simple \(\mathcal {L}\mathfrak {sl}(M,N)\)-modules are parametrized by their highest weight. Furthermore, for \(({{\underline{P}}},f) \in \mathcal {W}_{M,N}\) and \(Q \in 1 + z \mathbb {C}[z]\) such that \(Qf = 0\), we have also the Weyl module \(\mathbf W ({{\underline{P}}},f;Q)\) defined by generators and relations. We remark the recent work [39] of S. Eswara Rao on finite-dimensional modules over multi-loop Lie superalgebras associated to \(\mathfrak {sl}(M,N)\). In that paper, a construction of finite-dimensional highest weight modules analogous to that of Kac induction was proposed. In this way, the character formula for these modules is easily deduced once we know the character formulae [12] for Weyl modules over \(\mathcal {L}\mathfrak {sl}_n\). It is an interesting problem to compare Rao’s highest weight modules with our Weyl modules, as they both enjoy universal properties.
References
Azam, S., Yamane, H., Yousofzadeh, M.: Classification of finite dimensional irreducible representations of generalized quantum groups via Weyl groupoids, preprint, arxiv1105.0160 (2011)
Baumann, P., Kassel, C.: The Hall algebra of the category of coherent sheaves on the projective line. J. Reine Angew. Math. 533, 207–233 (2001)
Beck, J.: Braid group action and quantum affine algebras. Commun. Math. Phys. 165, 555–568 (1994)
Beck, J.: Convex bases of PBW type for quantum affine algebras. Commun. Math. Phys. 165, 193–199 (1994)
Beisert, N.: The S-matrix of AdS/CFT and Yangian symmetry, PoS Solvay 002 (2006)
Beisert, N., Galleas, W., Matsumoto, T.: A quantum affine algebra for the deformed Hubbard chain. J. Phys. A 45, 365206 (2012)
Beisert, N., Koroteev, P.: Quantum deformations of the one-dimensional Hubbard model. J. Phys. A 41, 255204 (2008)
Bazhanov, V., Tsuboi, Z.: Baxter’s \( {Q}\)-operators for supersymmetric spin chains. Nucl. Phys. B 805, 451–516 (2008)
Benkart, G., Kang, S.-J., Kashiwara, M.: Crystal bases for the quantum superalgebra \(U_q(\mathfrak{gl}(m, n))\). J. Am. Math. Soc. 13, 295–331 (2000)
Chari, V.: Integrable representations of affine Lie-algebras. Invent. Math. 85, 317–335 (1986)
Chari, V., Hernandez, D.: Beyond Kirillov–Reshetikhin modules. Contemp. Math. 506, 49–81 (2010)
Chari, V., Loktev, S.: Weyl, Demazure and fusion modules for the current algebra of \(\mathfrak{sl}_{r+1}\). Adv. Math. 207, 928–960 (2006)
Chari, V., Pressley, A.: Quantum affine algebras. Commun. Math. Phys. 142, 261–283 (1991)
Chari, V., Pressley, A.: Quantum affine algebras and their representations. Can. Math. Soc. Conf. Proc. 16, 59–78 (1995)
Chari, V., Pressley, A.: Weyl modules for classical and quantum affine algebras. Represent. Theory 5, 191–223 (2001, electronic)
Grossé, P.: On quantum shuffle and quantum affine algebras. J. Algebra 318(2), 495–519 (2007)
Gautam, S., Toledano, V.: Laredo, Yangians and quantum loop algebras. Sel. Math. New Ser. 19, 271–336 (2013)
Hernandez, D.: Representations of quantum affinizations and fusion product. Transform. Groups 10(2), 163–200 (2005)
Hu, N., Rosso, M., Zhang, H.: Two-parameter quantum affine algebra \(U_{r, s}(\widehat{\mathfrak{sl}_n})\), Drinfel’d realization and quantum affine Lyndon basis. Commun. Math. Phys. 278(2), 453–486 (2008)
Heckenberger, I., Spill, F., Torrielli, A., Yamane, H.: Drinfeld second realization of the quantum affine superalgebras of \(D^{(1)}(2,1;x)\) via the Weyl groupoid. Publ. RIMS. Kyoto B 8, 171–206 (2008)
Hill, D., Wang, W.: Categorification of quantum Kac-Moody superalgebras, preprint, arXiv1202.2769 (2012)
Jantzen, J.C.: Lectures on quantum groups. Graduate studies in mathematics. AMS, Providence, p. 6 (1996)
Jimbo, M., Miwa, T.: Algebraic analysis of solvable lattice models. CBMS regional conference series in mathematics 85, AMS (1999)
Kac, V.G.: Lie superalgebras. Adv. Math. 26, 8–96 (1977)
Kac, V.G.: Representations of classical Lie superalgebras. Differ. Geom Methods Math. Phys II Lect. Notes Math. 676, 597–626 (1978)
Kien, N.C., Ky, N.A., Nam, L.B., Van, N.T.H.: Representations of quantum superalgebra \(U_q(\mathfrak{gl}(2|1))\) in a coherent state basis and generalization. J. Math. Phys. 52, 123512 (2012)
Kang, S-J., Kashiwara, M., Oh, S-J.: Supercategorification of quantum Kac-Moody algebras II, preprint, arXiv1303.1916 (2013)
Kojima, T.: Diagonalization of transfer matrix of supersymmetry \(U_q(\widehat{\mathfrak{sl}}(M+1|N+1))\) chain with a boundary. J. Math. Phys. 54, 043507 (2013)
Kimura, K., Shiraishi, J., Uchiyama, J.: A level-one representation of the quantum affine superalgebra \(U_q(\widehat{\mathfrak{sl}}(M+1|N+1))\). Commun. Math. Phys. 188(2), 367–378 (1997)
Ky, N.A., Stoilova, N.I.: Finite-dimensional representations of the quantum superalgebra \(U_q(\mathfrak{gl}(2|2))\), II. Nontypical representations at generic \(q\). J. Math. Phys. 36, 5979–6003 (1995)
Khoroshkin, S.M., Tolstoy, V.N.: Universal \(R\)-matrix for quantized (super)algebras. Commun. Math. Phys. 141, 599–617 (1991)
Khoroshkin, S.M., Tolstoy, V.N.: The uniqueness theorem for the universal \(R\)-matrix. Lett. Math. Phys. 24, 231–244 (1992)
Ky, N.A., Van, N.T.H.: Finite-dimensional representations of \(U_q(\mathfrak{gl}(2|1))\) in a basis of \(U_q(\mathfrak{gl}(2) \oplus \mathfrak{gl}(1))\), Adv. Nat. Sci. 2, p. 1, arXiv0305195 (2004)
Ky, N.A.: Finite-dimensional representations of the quantum superalgebra \(U_q(\mathfrak{gl}(2|2))\). I. Typical representations at generic \(q\). J. Math. Phys. 35, 2583–2606 (1994)
Lusztig, G: Introduction to quantum groups, Progress in Mathematics, vol. 110, Birkhäuser Boston, Inc., Boston, MA (1993)
Musson, I.M.: Lie superalgebras and enveloping algebras. Graduate studies in mathematics. AMS, Providence (2012)
Palev, T.D., Tolstoy, V.N.: Finite-dimensional irreducible representations of the quantum superalgebra \(U_q(\mathfrak{gl}(N|1))\). Commun. Math. Phys. 141(3), 549–558 (1991)
Palev, T.D., Stoilova, N.I., Van der Jeugt, J.: Finite-dimensional representations of the quantum superalgebra \(U_q(\mathfrak{gl}(n|m))\) and related \(q\)-identities. Commun. Math. Phys. 166(2), 367–378 (1994)
Rao, S.E.: Finite dimensional modules for multiloop superalgebras of types \(A(m, n)\) and \(C(m)\). Proc. Am. Math. Soc. 141, 3411–3419 (2013)
Rosso, M.: Lyndon bases and the multiplicative formula for \(R\)-matrices, preprint
Scheunert, M.: The theory of Lie superalgebras, an introduction. Lecture notes in mathematics, vol. 716. Springer, Berlin (1979)
Serganova, V.: Kac-Moody superalgebras and integrability, developments and trends in infinite-dimensional Lie theory. Prog. Math. 288, Birkhäuser Boston Inc., Boston, p. 169–218 (2011)
Yamane, H.: Quantized enveloping algebras associated with simple Lie superalgebras and their universal \(R\)-matrices. Publ. RIMS. Kyoto Univ. 30, 15–87 (1994)
Yamane, H.: On defining relations of the affine Lie superalgebras and their quantized universal enveloping superalgebras. Publ. RIMS. Kyoto Univ. 35, 321–390 (1999)
Zhang, R.B.: Universal \(L\) operator and invariants of the quantum supergroup \(U_q(\mathfrak{gl}(m|n))\). J. Math. Phys. 33, 1970–1979 (1992)
Zhang, R.B.: Finite dimensional irreducible representations of the quantum supergroup \(U_q(\mathfrak{gl}(m|n))\). J. Math. Phys. 34, 1236–1254 (1993)
Zhang, R.B.: The \(\mathfrak{gl}(M|N)\) super Yangian and its finite dimensional representations. Lett. Math. Phys. 37, 419–434 (1996)
Zhang, R.B.: Symmetrizable quantum affine superalgebras and their representations. J. Math. Phys. 38, 535–543 (1997)
Acknowledgments
The author is grateful to his supervisor David Hernandez for the discussions, to Marc Rosso for kindly giving his preprint [40], and to Xin Fang, Jyun-Ao Lin and Mathieu Mansuy for the discussions and for pointing out useful references.
Author information
Authors and Affiliations
Corresponding author
Appendices
Appendix 1: Oscillation relations and triangular decomposition
In this appendix we finish the proof of Lemma 3.9: the oscillation relations of degree 4 respect the Drinfel’d type triangular decomposition for \(U_q(\mathcal {L}\mathfrak {sl}(2,2))\). As indicated in the proof of the main result Theorem 4.5, the triangular decomposition is needed to deduce the non-triviality of the Weyl modules. In the following, we carry out the related calculations.
Recall that \(V\) is the superalgebra with generators \(X_{i,n}^{\pm }, h_{i,s}, K_i^{\pm }\) and Relations (3.1)–(3.5). Here, Relations (3.1)–(3.3) ensure the triangular decomposition for \(V\). For \(a,b,c,d \in \mathbb {Z}\), let
Let \(O^+ = \sum _{a,b,c,d \in \mathbb {Z}} \mathbb {C} \tilde{R}(a,b,c,d)\). Our aim is to show that
Using Relation (3.3), we see that
Lemma 7.1
If \([R(a,b,c,b), X_{1,0}^-] = 0\) for all \(a,b,c \in \mathbb {Z}\), then \([O^+, X_{1,0}^-] = 0\).
Case \(i=1\). Introduce the formal series \(R_{b,c}(z) := \sum _{a \in \mathbb {Z}}[R(a,b,c,b)z^a, X_{1,0}^-] \in V[[z,z^{-1}]]\). Using the relations \([X_{i,a}^+, X_{1,0}^-] = \delta _{i,1} \frac{\phi _{1,a}^+ - \phi _{1,a}^-}{q-q^{-1}}\) one gets \(R_{b,c}(z) = \frac{1}{q-q^{-1}} (R_{b,c}^+(z) - R_{b,c}^-(z)) \) where
We shall prove \(R^+_{b,c}(z) = 0\) ( \(R^-_{b,c}(z) = 0\) being analogous). Note that we have the following relations
which imply that \(R_{b,c}^+(z) = \lambda _{b,c}(z) K_1h_1(z)\) with
It is clear that \(\lambda (0,b,c) = 0\). To deduce that \(\lambda (n,b,c) = 0\) for all \(n \ge 1\), we do the triangular decomposition for \(\lambda (n,b,c)\) by using the Drinfel’d relations of degree 2.
Here, by relations \(X_{2,b+s}^+X_{3,c}^+ = q X_{3,c}^+X_{2,b+s}^+ + qX_{2,b+s-1}^+X_{3,c+1}^+ - X_{3,c+1}^+X_{2,b+s-1}^+\), we get
where we used that \(a_s = q^{-1} a_{s-1}\). Henceforth,
Since \(\lambda (0,b,c) = 0\) for all \(b,c \in \mathbb {Z}\), we conclude that \(\lambda (n,b,c) = 0\) and \(R_{b,c}^+(z) = 0\).
Case \(i=2\). We need to verify that \(\tilde{R}_{a,c}(z,w) := \sum _{b,d \in \mathbb {Z}} [\tilde{R}(a,b,c,d), X_{2,0}^-] z^b w^d = 0 \in {V}[[z,z^{-1},w,w^{-1}]]\) for all \(a,c \in \mathbb {Z}\). Similar to the case \(i=1\), we can express
with \(\tilde{R}^{ij} \in V[[z^i,w^j]]\) for \(i,j \in \{\pm \}\). We need to prove that \(\tilde{R}^{ij} = 0\). For simplicity, consider only the case
with \(\phi _2^+(z) = K_2 \exp ((q-q^{-1})\sum _{s\ge 1} h_{2,s} z^s ) = K_2 h_2(z)\). Observe that there exists a formal series \(G_{a,c}(z,w) \in {V}[[z,w]]\) with \(\tilde{R}_{a,c}^{++}(z,w) \,{=}\, G_{a,c}(z,w) K_2 h(z) + G_{a,c}(w,z) K_2 h_2(w) \in {V}[[z,w]]\). More precisely, we have
It is clear that \(\mu (a,c,0,d) = 0\). In general, for \(n \ge 1\)
where the second equality comes from Drinfel’d relations of degree 2 between \(X_{2,a}^+\) and \(X_{i,b}^+\) for \(i = 1,3\).
We get \(\mu (a,c,n,d) = 0\) for all \(a,c,n,d\), i.e. \(G_{a,c}(z,w) = 0\). Therefore \(\tilde{R}^{++}_{a,c}(z,w) = 0\), as desired.
Appendix 2: Quantum brackets and coproduct formulae
Recall that we have a morphism of superalgebras \(\Phi : U_q'(\widehat{\mathfrak {sl}(M,N)})\longrightarrow U_q(\mathcal {L}\mathfrak {sl}(M,N))\) (Theorem 5.2). In this appendix, we will write \(h_{i,\pm 1}\) for \(1 \le i \le M+N-1\) as products in the \(\Phi (E_i^{\pm })\) and deduce their coproduct formulae. These formulae have been used in the proofs of Proposition 5.4 and Lemma 5.8. For simplicity, let \(E_0^{\pm } := \Phi (E_0^{\pm }) \in (U_q(\mathcal {L}\mathfrak {sl}(M,N)))_{\mp (\alpha _1+\cdots +\alpha _{M+N-1})}\). Recall that \(U_q(\mathcal {L}\mathfrak {sl}(M,N))\) is \(Q_{M,N}\)-graded.
Notation 8.1
-
(1)
Recall that \(Q_{M,N} = \bigoplus _{i=1}^{M+N-1} \mathbb {Z}\alpha _i\) and the parity map \(p \in \hom _{\mathbb {Z}}(Q_{M,N}, \mathbb {Z}_2)\) given by \(p(\alpha _i) = \overline{1}\) for \(i = M\) and \(\overline{0}\) for \(i \ne M\). Endow \(Q_{M,N}\) with a bilinear form: \((\alpha _i, \alpha _j) := (\epsilon _i - \epsilon _{i+1}, \epsilon _j - \epsilon _{j+1})\).
-
(2)
Let \(A\) be a \(Q_{M,N}\)-graded algebra. (We mainly consider \(U_q(\mathcal {L}\mathfrak {sl}(M,N)), U_q(\mathcal {L}\mathfrak {sl}(M,N))^{\,\underline{\otimes }\,2}\).) For \(u \in (A)_{\alpha }, v \in (A)_{\beta }\), define the quantum bracket
$$\begin{aligned} \lfloor u, v \rfloor := u v - (-1)^{p(\alpha )p(\beta )} q^{-(\alpha , \beta )} v u = [u,v]_{q^{-(\alpha , \beta )}} \in (A)_{\alpha + \beta }. \end{aligned}$$For \(u_1, u_2, \cdots , u_n \in A\), let \(\lfloor u_1, u_2, \cdots , u_n \rfloor := \lfloor u_1, \lfloor u_2, \cdots , \lfloor u_{n-1}, u_n \rfloor \cdots \rfloor \rfloor \), with the convention that \(\lfloor u \rfloor = u\) (brackets from right to left).
An induction argument on \(i\) shows that
Remark that \([h_{1,1}, X_{2,0}^-] = (-1)^{p(\alpha _1)} X_{2,1}^-\). Hence,
where we have used that \([X_{i,0}^+, X_{2,0}^-] = 0 = [E_0^+, X_{2,0}^-]\) for \(i \ne 2\). From \([X_{2,0}^+, X_{2,1}^-] = K_2 h_{2,1}\) we get
Again an induction argument on \(i\) shows that for \(1 \le i \le M+N-1\)
Next, we compute \(\Delta (h_{1,1})\) modulo \(U (X^-)^2 \,\underline{\otimes }\,U (X^+)^2\). By definition
On the other hand, remark that \(-\lfloor \Delta X_{1,0}^+, \ldots , \Delta X_{M+N-1,0}^+, 1 \,\underline{\otimes }\,E_0^+ \rfloor = 1 \,\underline{\otimes }\,h_{1,1}\) since
for \(1 \le i \le M+N-1\), and modulo \(U (X^-)^2 \,\underline{\otimes }\,U (X^+)^2\),
When \(i \ge 3\), the corresponding term in the above summation becomes \(0\). Similar argument leads to the first part of Lemma 5.3 for \(\Delta (h_{i,1})\).
Notation 8.2
Let \(A\) be a \(Q_{M,N}\)-graded algebra. For \(u \in (A)_{\alpha }, v \in (A)_{\beta }\), define the quantum bracket
For \(u_1, u_2, \ldots , u_n \in A\), let \(\lceil u_1,u_2,\ldots ,u_n \rceil := \lceil \ldots \lceil u_1, u_2 \rceil , \ldots , u_n \rceil \) (brackets from left to right).
Using the second type of quantum brackets, we obtain
and \(h_{1,-1} = K_1^{-1}[X_{1,-1}^+, X_{1,0}^-] = \lceil E_0^-, X_{M+N-1,0}^-, \ldots , X_{1,0}^- \rceil \). Similar to the case \(h_{i,1}\), we have
and the second part of Lemma 5.3 is easily deduced.
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution License which permits any use, distribution, and reproduction in any medium, provided the original author(s) and the source are credited.
About this article
Cite this article
Zhang, H. Representations of quantum affine superalgebras. Math. Z. 278, 663–703 (2014). https://doi.org/10.1007/s00209-014-1330-6
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00209-014-1330-6