Abstract
We prove that the tensor product of a simple and a finite dimensional \({\mathfrak {sl}}_n\)module has finite type socle. This is applied to reduce classification of simple \({\mathfrak {q}}(n)\)supermodules to that of simple \({\mathfrak {sl}}_n\)modules. Rough structure of simple \({\mathfrak {q}}(n)\)supermodules, considered as \({\mathfrak {sl}}_n\)modules, is described in terms of the combinatorics of category \({\mathcal {O}}\).
Introduction
For a finite dimensional Lie algebra \({{\mathfrak {k}}}\), we consider modules of the form \(S\otimes E\), where S is a simple (but not necessarily finite dimensional) \({{\mathfrak {k}}}\)module and E is a finite dimensional \({{\mathfrak {k}}}\)module. The module \(S\otimes E\) is always noetherian and it is natural to ask, see e.g. [32, Section 1.3], whether \(S\otimes E\) is artinian. The latter is true, for example, if \({{\mathfrak {k}}}\cong {\mathfrak {sl}}_2({\mathbb {C}})\). However, in the general case the answer is negative, see [42, Theorem 4.1] for \({{\mathfrak {k}}}={\mathfrak {sl}}_2({\mathbb {C}})\oplus {\mathfrak {sl}}_2({\mathbb {C}})\).
In the first half of the present paper, we investigate the following two questions.

Q1:
Does the quotient of \(S\otimes E\) by its radical have finite length?

Q2:
Is the socle of \(S\otimes E\) is an essential submodule?
Note that, since the module \(S\otimes E\) is noetherian, its socle must have finite length and its radical must be superfluous. We show that question Q1 has an affirmative answer for arbitrary Lie algebras over arbitrary fields. We also show that Q2 has an affirmative answer for reductive Lie superalgebras over \({\mathbb {C}}\) of type A. For the latter we apply the theory of projective functors of [3] and some specifics about Kazhdan–Lusztig combinatorics in type A.
Our interest in Q2 stems from an application to representation theory of Lie superalgebras, which occupies the second half of the paper. Let \({\mathfrak {g}}\) be a finite dimensional Lie superalgebra and \({\mathfrak {g}}_{{\bar{0}}}\) be the Lie algebra forming the even part of \({\mathfrak {g}}\). A basic problem in the representation theory of \({\mathfrak {g}}\) is classification of simple \({\mathfrak {g}}\)supermodules. This problem is, most probably, too difficult in the general case. However, a natural variant of this problem is reduction to classification of simple \({\mathfrak {g}}_{{\bar{0}}}\)modules. In [10] it was shown that for type I Lie superalgebras there is a natural bijection between simple \({\mathfrak {g}}\)supermodules and simple \({\mathfrak {g}}_{{\bar{0}}}\)supermodules (i.e. pairs consisting of a simple \({\mathfrak {g}}_{{\bar{0}}}\)module and an element in \(\{0,1\}\)). Such a nice result seems unrealistic outside type I. However, in the present paper we provide a weaker result (see Theorem 47) for all finite dimensional classical complex Lie superalgebras for which \({\mathfrak {g}}_{{\bar{0}}}\) has type A. The crucial ingredient in the proof is the fact that any \({\mathfrak {g}}\)supermodule is a quotient of an induced \({\mathfrak {g}}_{{\bar{0}}}\)module. And this latter fact follows from the fact that, in case \({\mathfrak {g}}_{{\bar{0}}}\) has type A, question Q2 has an affirmative answer (see Proposition 22 in the first half of the paper).
The paper is organized as follows: Sect. 2 collects all necessary preliminaries for the first half of the paper. Section 3 studies socles and radicals in the biggest possible generality. Section 4 concentrates on similar questions for semisimple Lie algebras over \({\mathbb {C}}\). Section 5 deals with the very specific case of a sum of copies of \({\mathfrak {sl}}_2\). In Sect. 6 we collected necessary preliminaries about Lie superalgebras. Section 7 is devoted to classification of simple supermodules for Lie superalgebras with type A even part and to the study of rough structure of such supermodules. Finally, Sect. 8 describes behavior of Kac induction functor, with respect to socles and radicals, for Lie superalgebras of type I.
Preliminaries on socles and radicals
We denote by \({\mathbb {N}}\) the set of all nonnegative integers and by \({\mathbb {Z}}_{>0}\) the set of all positive integers.
Socle, radical and multiplicities
Let R be a unital ring and M a left Rmodule. A submodule \(N\subset M\) is essential if \(K\cap N=0\) implies \(K=0\), for all submodules \(K\subset M\). A submodule \(N\subset M\) is superfluous if \(K+ N=M\) implies \(K=M\), for all submodules \(K\subset M\).
The socle \(\mathrm {soc}(M)\) is defined as the sum of all simple submodules of M, in case M has a simple submodule, and as zero otherwise. Equivalently, \(\mathrm {soc}(M)\) is the maximal semisimple submodule of M.
Definition 1
We will say that an Rmodule M has finite type socle if

(a)
\(\mathrm {soc}(M)\) has finite length (and hence is a finite direct sum of simple modules);

(b)
\(\mathrm {soc}(M)\) is an essential submodule of M.
Remark 2

(i)
Sometimes modules with finite type socle are called finitely cogenerated modules. We do not use this terminology due to lack of symmetry with finitely generated modules, see Remark 5(i).

(ii)
If \(\mathrm {soc}(M)\) has finite length, then M has finite type socle if and only if all nonzero submodules of M have nonzero socle.

(iii)
If M is noetherian, then \(\mathrm {soc}(M)\) has finite length.
The radical \(\mathrm{rad}(M)\) is the intersection of all maximal submodules of M. By convention, we have \(\mathrm{rad}(M)=M\) in case M has no maximal submodules.
Remark 3
Equivalently, \(\mathrm{rad}(M)\) is the sum of all superfluous submodules. Indeed, any superfluous submodule is, clearly, contained in any maximal submodule. Now, assume that there is \(x\in \mathrm{rad}(M)\) which is not contained in the sum of all superfluous submodules. Then Rx is not superfluous and hence \(Rx+N=M\), for some proper submodule N. By Zorn’s lemma, without loss of generality, we may assume that N is maximal (with respect to inclusions) among all submodules of M that do not contain x. As \(x\not \in N\) and \(Rx+N=M\), we obtain that N is, in fact, a maximal submodule of M. This now leads to a contradiction with \(x\in \mathrm{rad}(M)\subset N\).
Definition 4
We will say that an Rmodule M has finite type radical if

(a)
\(M/\mathrm{rad}(M)\) has finite length;

(b)
\(\mathrm{rad}(M)\) is a superfluous submodule of M.
Remark 5

(i)
If M has finite type radical, it follows easily that M is finitely generated. In general, being finitely generated (or even noetherian) is not a sufficient condition for M to have finite type radical, see Example 6.

(ii)
If \(M/\mathrm{rad}(M)\) has finite length and M is finitely generated, then M has finite type radical. This can be quickly reduced to the observation that any finitely generated module N satisfies \(\mathrm{rad}(N)\not =N\). Note that it is easy to construct examples of modules that are not finitely generated but whose quotient over their radical has finite length. For example, take the direct sum of a simple and an indecomposable injective module over the polynomial ring in one variable.

(iii)
If M is noetherian, then \(\mathrm{rad}(M)\) is superfluous. This follows easily from Remark 3.

(iv)
If \(M/\mathrm{rad}(M)\) has finite length, then \(M/\mathrm{rad}(M)\) is semisimple. This follows from the canonical morphism \(\displaystyle M/\mathrm{rad}(M)\hookrightarrow \Pi _{{\mathsf {m}}}M/{\mathsf {m}}\), where \({\mathsf {m}}\) ranges over all maximal submodules of M. In this case we write \(\mathrm {top}(M):=M/\mathrm{rad}(M)\). If \(M/\mathrm{rad}(M)\) has infinite length, then \(M/\mathrm{rad}(M)\) does not have to be semisimple, see Example 6.
Example 6
Consider \(R={\mathbb {C}}[x]\), with \(M=R\) being the (finitely generated) left regular Rmodule. For \(\lambda \in {\mathbb {C}}\), let \((x\lambda )\) denote the ideal in \({\mathbb {C}}[x]\) generated by the element \(x\lambda \). Then we have
Since \(M/\mathrm{rad}(M)\) does not have finite length, M does not have finite type radical.
For an Rmodule M, consider a filtration \(F_\bullet M\) of M of length \(p\in {\mathbb {N}}\):
For a short exact sequence
we can define \(F_iM_1=M_1\cap F_iM\) and \(F_iM_2=(F_iM+M_1)/M_1\). These yield filtrations \(F_\bullet M_1\) and \(F_\bullet M_2\) of \(M_1\) and \(M_2\), and short exact sequences
For a simple Rmodule L, the multiplicity \([M:L]\in {\mathbb {N}}\cup \{\infty \}\) of L in M is
where \(F_\bullet \) ranges over all finite filtrations of M. By the above, for a short exact sequence (2.1), we have
Lemma 7
Assume that R is an algebra over \({\mathbb {C}}\) which is (at most) countably generated. If an Rmodule M has finite type radical and simple top S, then
for all Rmodules N.
Proof
Since \(M/\mathrm{rad}(M)\) is simple and \(\mathrm{rad}(M)\) superfluous, it follows that every proper submodule of M is contained in \(\mathrm{rad}(M)\). Consequently, we have the inequality \([M/K:S]\ge 1\), for each proper submodule K. It also follows from the above (using Dixmier’s version of Schur’s lemma) that we have
Furthermore, since a nonzero morphism \(\alpha :M\rightarrow N\) yields a submodule \(\mathrm{im}(\alpha )\) of N with \([\mathrm{im}(\alpha ):S]\ge 1\), we find that \([N:S]=0\) implies \({{\mathrm {Hom}}}_R(M,N)=0\).
Now assume that \(n:=[N:S]<\infty \). By definition, N admits a finite filtration \(F_\bullet N\), such that each module \(Q_i:=F_iN/F_{i1}N\) satisfies \([Q_i:S]=0\) or \(Q_i\cong S\). The latter option occurs exactly n times. By left exactness of the Hom functor and the above paragraph we thus have
which concludes the proof. \(\square \)
Lie algebras
Let \(\Bbbk \) be a field and \({{\mathfrak {k}}}\) a finite dimensional Lie algebra over \(\Bbbk \). The universal enveloping algebra of \({{\mathfrak {k}}}\) will be denoted by \(U:=U({{\mathfrak {k}}})\) and the center of U by \(Z=Z({{\mathfrak {k}}})\). Denote by \(\Theta \) the set of central characters \(\chi :Z({{\mathfrak {k}}})\rightarrow {\mathbb {C}}\). We set \({\mathsf {m}}_\chi =\ker \chi \), for all \(\chi \in \Theta \).
We denote by Umod the abelian category of all finitely generated left Umodules. For \(\chi \in \Theta \), denote by \(U\text{mod }_{\chi }\) the full subcategory of Umod consisting of all modules on which the action of \({\mathsf {m}}_\chi \) is locally nilpotent. Set
For each \(\chi \in \Theta \), we denote by \(\mathrm{Pr}_\chi \) the projection from \(U\text{mod }_Z\) to \(U\text{mod }_{\chi }\) with respect to the decomposition above.
Let \({\mathcal {F}}\) denote the category of all finite dimensional Umodules. We denote the duality \({{\mathrm {Hom}}}_{\Bbbk }(,\Bbbk )\) on \({\mathcal {F}}\) by \(*\), where the left module structure is obtained using the antiautomorphism of U given by \(X\mapsto X\), for \(X\in {{\mathfrak {k}}}\).
For a finite dimensional module E, we have the corresponding exact endofunctor \(F_{E}=\otimes E\) of Umod. The functor \(F_E\) is left and right adjoint to \(F_{E^*}\), see e.g. [3, § 2.1(d)]. In case of a semisimple algebra \({\mathfrak {g}}\), the direct summands of the restriction to \(U\text{mod }_Z\) of the functors \(F_E\) are known as projective functors, see [3].
For any \(M\in U\)mod, we denote by \(\mathrm{Ann} (M)\) the twosided ideal in U that consists of all elements which annihilate every vector in M. The arguments in [27, Kapitel 5] show that, for any \(M_1,M_2\in U\)mod, \(E\in {\mathcal {F}}\) and \(\chi \in \Theta \), we have
Gelfand–Kirillov dimension and Bernstein number
We fix an arbitrary field \(\Bbbk \) and a finite dimensional Lie algebra \({{\mathfrak {k}}}\) over \(\Bbbk \). Consider the filtration
where \(U_n\) is spanned, as a vector space, by all products of n or fewer elements of \({{\mathfrak {k}}}\). By the PBW theorem, the associated graded algebra \(\mathrm{gr}(U)\) is isomorphic to the symmetric algebra \(S({{\mathfrak {k}}})\). This allows us to use an alternative definition of Gelfand–Kirillov dimension, see [33, Section 7], which we recall below.
For a (nonzero) finitely generated left Umodule M, with generating subspace \(M_0\), set \(M_n=U_nM_0\), for all \(n\in {\mathbb {N}}\). There exists \(n_0\in {\mathbb {N}}\), such that we have \(d\in {\mathbb {N}}\) and \(\{a_i\in {\mathbb {Z}},0\le i\le d\}\), with \(a_d\not =0\), for which
The righthand side is the Hilbert–Samuel polynomial in n. The degree of this polynomial is the Gelfand–Kirillov dimension \(\mathsf {GK}(M):= d\in {\mathbb {N}}\) and the leading coefficient is the Bernstein number \({\mathsf {e}}(M):=a_d\in {\mathbb {Z}}_{>0}\). These two numbers do not depend on the choice of \(M_0\).
By [27, Lemma 8.8], for any \(M\in U\)mod and \(E\in {\mathcal {F}}\), we have
The following statement can be found in [33, Theorem 7.7].
Lemma 8
Let \(0\rightarrow M_1\rightarrow M\rightarrow M_2\rightarrow 0\) be a short exact sequence in Umod.

(i)
We have \(\mathsf {GK}(M)=\max \{\mathsf {GK}(M_1),\mathsf {GK}(M_2)\}\).

(ii)
If \(\mathsf {GK}(M_1)=\mathsf {GK}(M)=\mathsf {GK}(M_2)\), then we have \({\mathsf {e}}(M)={\mathsf {e}}(M_1)+{\mathsf {e}}(M_2).\)
Definition 9
A finite filtration \(F_\bullet M\) of \(M\in U\text{mod }\) is GKcomplete if
By the discussion at the end of Sect. 2.1, we have the following observation.
Lemma 10
Assume that \(M\in U\)mod admits a GKcomplete filtration. If N is a subquotient of M with the same Gelfand–Kirillov dimension, then N admits a GKcomplete filtration as well.
Triangular decomposition
In this section we assume that \({{\mathfrak {g}}}\) is a semisimple Lie algebra over \({\mathbb {C}}\). In order to recall the classification of projective functors for \({{\mathfrak {g}}}\) from [3], it is convenient to choose a triangular decomposition
of \({{\mathfrak {g}}}\) with \({{\mathfrak {h}}}\) a Cartan subalgebra and \({{\mathfrak {b}}}={{\mathfrak {h}}}\oplus {{\mathfrak {n}}}^+\) a Borel subalgebra. Denote by \(\Phi \subset {{\mathfrak {h}}}^*\) the set of roots of \({{\mathfrak {g}}}\) with respect to \({{\mathfrak {h}}}\). We have \(\Phi =\Phi ^+\sqcup \Phi ^\), with \(\Phi ^+=\Phi ^\) being the roots of \({{\mathfrak {n}}}^+\). For each root \(\alpha \in \Phi \), we have the coroot \(h_\alpha \in {{\mathfrak {h}}}\).
Consider the Weyl group \(W=W({{\mathfrak {g}}}:{{\mathfrak {h}}})\) with its defining action on \({{\mathfrak {h}}}^*\). The group W is generated by \(s_\alpha \), where \(\alpha \in \Phi \), and the action of these generators on \({{\mathfrak {h}}}^*\) is given by \(s_\alpha (\lambda )=\lambda \lambda (h_\alpha )\alpha \), where \(\lambda \in {{\mathfrak {h}}}^*\). For each \(\lambda \in {{\mathfrak {h}}}^*\), we denote the stabilizer of \(\lambda \) in W by \(W_\lambda :=\{w\in W\,\,w(\lambda )=\lambda \}\). We have the set of integral weights
For each \(E\in {\mathcal {F}}\), we denote by \(\mathrm {supp}(E)\subset \Lambda \) the support of E, that is the set of all \({{\mathfrak {h}}}\)weights of E. Then we have
For a coset \(\Gamma \in {{\mathfrak {h}}}^*/\Lambda \), we have the integral Weyl group \(W^\Gamma \subset W\), which is generated by all reflections corresponding to \(\alpha \in \Phi \) for which \(\lambda (h_\alpha )\in {\mathbb {Z}}\), where \(\lambda \in \Gamma \).
We have the Harish–Chandra isomorphism \(\eta ^*:Z({{\mathfrak {g}}}){\mathop {\rightarrow }\limits ^{\sim }}S({{\mathfrak {h}}})^W\) and an epimorphism
The fibers of \(\eta \) are precisely the Weyl group orbits in \({{\mathfrak {h}}}^*\). We call a central character \(\chi \in \Theta \) regular if the set \(\eta ^{1}(\chi )\) has size W. We call \(\chi \) integral if \(\eta ^{1}(\chi )\subset \Lambda \).
We introduce the partial order \(\le \) on \({{\mathfrak {h}}}^*\) which is generated by \(\mu \le \lambda \), if \(\mu =s_\alpha \lambda \), for some \(\alpha \in \Phi ^+\) with \(\lambda (h_\alpha )\in {\mathbb {Z}}_{\ge 0}\). Hence, \(\lambda \in {{\mathfrak {h}}}^*\) is dominant (maximal) if \(\lambda (h_\alpha )\not \in {\mathbb {Z}}_{<0}\), for all \(\alpha \in \Phi ^+\).
Associated to the triangular decomposition above, we have the BGG category \({\mathcal {O}}\) defined as the full subcategory of Umod consisting of all weight modules which are locally \(U({{\mathfrak {n}}}^+)\)finite, see [4, 24]. We denote by \(\rho \) the half of the sum of all elements of \(\Phi ^+\). For \(\lambda \in {{\mathfrak {h}}}^*\), we have the Verma module \(\Delta _\lambda =U\otimes _{U({{\mathfrak {b}}})}{\mathbb {C}}_{\lambda \rho }\), induced from the onedimensional module \({\mathbb {C}}_{\lambda \rho }\) of \({{\mathfrak {b}}}\) on which \({{\mathfrak {h}}}\) acts through \(\lambda \rho \). The unique simple quotient of \(\Delta _\lambda \) is denoted by \(L_\lambda \) and the projective cover of \(L_\lambda \) in \({\mathcal {O}}\) is denoted by \(P_\lambda \).
Projective functors for semisimple Lie algebras
We keep the notation and assumptions of the previous subsection. Following [3, Section 1.4], we have the set
We set \(\Xi =\Xi ^0/W\), for the diagonal action of W on \({{\mathfrak {h}}}^*\times {{\mathfrak {h}}}^*\). Each class in \(\Xi \) contains at least one \((\mu ,\lambda )\), where \(\lambda \) is dominant and \(\mu \) is such that \(\mu \le w\mu \), for all \(w\in W_\lambda \). We call such a pair a proper representative. The following claim can be found in [3, Theorem 3.3].
Lemma 11
Each projective functor on \(U{{\text{ }mod}}_Z\) decomposes into a finite direct sum of indecomposable projective functors. We have a bijection \(\xi \mapsto F(\xi )\) between \(\Xi \) and the set of isomorphism classes of indecomposable projective functors as follows. For each proper representative \((\mu ,\lambda )\) of \(\xi \in \Xi \), the functor \(F^{\mu }_{\lambda }=F(\xi )\) satisfies
Note that the above lemma implies that the decomposition into indecomposable projective functors is, in fact, unique, up to isomorphism. In case we work with nonintegral central characters, we have several ways of denoting the same indecomposable projective functor. The first claim of the following lemma can be found in [3, Theorem 4.1] while the second claim can be found in [27, § 4.13].
Lemma 12
Consider \(\lambda ,\mu \in {{\mathfrak {h}}}^*\) dominant with \(\lambda \mu \in \Lambda \).

(i)
If \(W_\lambda =W_\mu \), then we have an equivalence of categories
$$\begin{aligned} F^\mu _\lambda :\; U{{\text{ }mod}}_{\eta (\lambda )}\;{\mathop {\rightarrow }\limits ^{\sim }}\; U{{\text{ }mod}}_{\eta (\mu )}. \end{aligned}$$ 
(ii)
If \(W_\lambda =\{e\}\), then we take the longest element \(w_0^\mu \) of \(W_\mu \) and set \(\lambda '=w_0^\mu \lambda \). The functors \((F^{\lambda '}_\mu ,F^\mu _\lambda )\) are biadjoint, moreover, \(F^\mu _\lambda F^{\lambda '}_\mu \cong \mathrm{Id}^{\oplus W_\mu }_{\eta (\mu )}\).
Denote by \(U\text{mod }^0_{\chi }\) the full subcategory of \(U\text{mod }_{\chi }\) consisting of all modules M with \({\mathsf {m}}_\chi \subset \mathrm{Ann} (M)\). The following claim can be found in [3, Theorem 3.5].
Lemma 13
Let \(\lambda \in {{\mathfrak {h}}}^*\) be dominant and \((\lambda ,\mu _1)\) and \((\lambda ,\mu _2)\) be proper representatives. Evaluation yields an isomorphism
where \(\mathrm {Nat}(F_\lambda ^{\mu _1},F_\lambda ^{\mu _2})\) stands for the space of all natural transformations from \(F_\lambda ^{\mu _1}\) to \(F_\lambda ^{\mu _2}\) as functors \(U{{\text{ }mod}}_{\eta (\lambda )}^0\rightarrow U{{\text{ }mod}}_{\eta (\mu _i)}\).
Kazhdan–Lusztig combinatorics and type A
We keep the notation and assumptions of the previous subsection.
For a fixed regular dominant \(\lambda \in \Lambda \), we use the notation \(\theta _x:= F^{x\lambda }_\lambda \), for all \(x\in W\). It then follows from the validity of the Kazhdan–Lusztig conjecture, see [1, 8] and Lemma 11, that the composition of the projective functors \(\theta _x\) is governed by Kazhdan–Lusztig combinatorics. Concretely, if we have the Kazhdan–Lusztig basis \(\{C'_w\,w\in W\}\) of the group ring \({\mathbb {Z}}W\) (i.e. the Hecke algebra of Wspecialized at \(q=1\)) of [29, § 1], then we have
for the same coefficients \(h_{x,y,z}\in {\mathbb {Z}}_{\ge 0}\), see [25, Corollary 5.2.4].
Consequently, the Kazhdan–Lusztig preorders of [29, § 1] can be realised by projective functors on a regular block. For convenience, we extend this to the entire category of projective functors. We thus introduce the following preorder \(\preceq \) on the set of (isomorphism classes of) indecomposable projective functors. We say that \(F\preceq G\) if G appears as a direct summand of \(F'\circ F\circ F''\), for some projective functors \(F',F''\). We have the corresponding equivalence relation, denoted \(F\sim G\), which means that \(F\preceq G\preceq F\). Equivalence classes for \(\sim \) are called twosided cells. Similarly one defines the left and the right preorders and the left and the right cells.
If the Weyl group W is the symmetric group, the preorder \(\preceq \) can be described in terms of the dominance order on partitions using the Robinson–Schensted correspondence, see [20, Theorem 5.1]. As a consequence, each twosided Kazhdan–Lusztig cell contains the longest element of some parabolic subgroup. Another consequence (see [20, Corollary 5.6]) is that a left and a right cell inside the same twosided cell intersect in at most one element. By the above and [20, Theorem 5.3] this translates into two wellknown facts for Lie algebras of type A.
Let \(\lambda \in {{\mathfrak {h}}}^*\) be integral, regular and dominant, and \(\theta \) an indecomposable projective endofunctor of U\(\hbox {mod}_{\eta (\lambda )}\).

Fact 1: There exists \(x\in W\), which is the longest element of a parabolic subgroup such that \(\theta \sim \theta _{x}\).

Fact 2: The only indecomposable projective endofunctor \(\theta '\) of U\(\hbox {mod}_{\eta (\lambda )}\) which satisfies \(\theta '\sim \theta \) and appears both as a direct summand in \(\theta \circ G_1\) and \(G_2\circ \theta \), for some projective functors \(G_1,G_2\), is \(\theta \) itself.
We translate these facts into the formulation that we will require.
Lemma 14
Assume \({{\mathfrak {g}}}\) is of type A and fix a \(\sim \)equivalence class of projective functors.

(i)
The class contains \(F^\mu _\mu =\mathrm{Id}_{\eta (\mu )}\), the identity functor of Umod\(_{\eta (\mu )}\), for some dominant \(\mu \in {{\mathfrak {h}}}^*\).

(ii)
No other indecomposable projective endofunctors of \(U{{\text{ }mod}}_{\eta (\mu )}\) are contained in the class.
Proof
We start from an arbitrary indecomposable projective functor
and consider its equivalence class. It follows from Lemma 12(ii) that \(F\sim G\), for some endofunctor G of \(U\text{mod }_{\eta (\lambda )}\), where \(\lambda \) is any fixed dominant regular weight in \(\eta ^{1}(\chi _1)+\Lambda \).
Assume, for simplicity, that \(\lambda \) is integral. The nonintegral case is proved using the same arguments, since the integral Weyl group in type A is always of type A. By Fact 1, we have \(G\sim \theta _{x_0}\), for the longest element \(x_0\) of some parabolic subgroup of W. Take some dominant \(\mu \in \Lambda \) such that \(W_\mu \) is this parabolic subgroup. Then we have \(\theta _{x_0} =F^{\lambda '}_{\mu }F^{\mu }_{\lambda }\). By Lemma 12(ii), we have
Consequently, we have \(F\sim \mathrm{Id}_{\eta (\mu )}\), which concludes the proof of part (i).
To prove part (ii), we assume we have \(\mathrm{Id}_{\eta (\mu )}\sim H\), for some indecomposable projective endofunctor H of \(U{{\text{ }mod}}_{\eta (\mu )}\). We set \(H_1:=F^{\lambda '}_\mu H F^\mu _\lambda \). Lemma 12(ii) implies that
The second equation shows that there exists an indecomposable summand \(H_1'\) of \(H_1\) for which we have \(H_1'\sim H\sim \theta _{x_0}\). By Fact 2, the first equation therefore implies that \(H_1'=\theta _{x_0}\). Applying the second equation again together with Lemma 12(ii) then shows that \(\mathrm{Id}_{\eta (\mu )}\) must appear as a direct summand in \(H^{\oplus W_\mu ^2}\). This is only possible if \(H=\mathrm{Id}_{\eta (\mu )}\). This concludes the proof of part (ii). \(\square \)
Remark 15
Facts 1 and 2 generally fail for other Weyl groups, implying that Lemma 14 is specific to Lie algebras of type A. For instance, Fact 1 fails for \(B_5\), since in this case the unique twosided cell having the \({\mathsf {a}}\)value 11 contains no longest element of parabolic subgroups (a private communication by Tobias Kildetoft). Fact 1 remains valid, for instance, for \(\{B_n\,\, n<5\}\), but there Fact 2 fails, for \(n>1\), see [34, Appendix].
Arbitrary Lie algebras
Fix a finite dimensional Lie algebra \({{\mathfrak {k}}}\) over a field \(\Bbbk \) and set \(U=U({{\mathfrak {k}}})\).
Connection with GK dimension
Theorem 16
Fix a simple Umodule S and \(E\in {\mathcal {F}}\). Then \(T:=S\otimes E\) has finite type radical, and \(\mathrm {soc}(T)\) has finite length. Furthermore, the following are equivalent:

(a)
The module \(T=S\otimes E\) has finite type socle.

(b)
Any \(N\in U\)mod with nonzero morphism \(N\otimes E^*\rightarrow S\) has a simple subquotient L with nonzero morphism \(L\otimes E^*\rightarrow S\).

(c)
Every nonzero submodule of T contains a simple subquotient of Gelfand–Kirillov dimension \(\mathsf {GK}(S)\).
We start the proof with the following lemma.
Lemma 17
With T as in Theorem 16, for any short exact sequence of Umodules
we have \(\mathsf {GK}(M_1)=\mathsf {GK}(S)=\mathsf {GK}(M_2)\).
Proof
We prove that \(\mathsf {GK}(M_1)=\mathsf {GK}(S)\). The statement for \(M_2\) is proved similarly. By Lemma 8(i) and Eq. (2.3), we have \(\mathsf {GK}(M_1)\le \mathsf {GK}(S)\). By adjunction
Hence, S is a quotient of \(M_1\otimes E^*\). Lemma 8(i) and Eq. (2.3) thus imply that \(\mathsf {GK}(S)\le \mathsf {GK}(M_1)\), which concludes the proof. \(\square \)
Lemma 18
There exists \(k\in {\mathbb {Z}}_{\ge 0}\), such that T cannot have a semisimple submodule or quotient of length greater than k.
Proof
We prove the claim for quotients, the case of submodules is proved similarly or follows from Remark 2(iii). By Lemma 17, a semisimple quotient of T is a direct sum of simple modules with the GK dimension of each simple equal to \(\mathsf {GK}(S)\). By Lemma 8(ii), we can thus choose \(k={\mathsf {e}}(T)\). \(\square \)
Corollary 19
The module T has finite type radical.
Proof
Since T is finitely generated, it suffices by Remark 5(ii) to show that the module \(T/\mathrm{rad}(T)\) has finite length. If it would have infinite length, we could take an arbitrarily large, but finite, direct sum of simple modules as a quotient of T, which is contradicted by Lemma 18. \(\square \)
Proof of Theorem 16
This first claim is Corollary 19 and Lemma 18. Now we prove the equivalence of (a), (b) and (c).
First we prove that (a) implies (b). Take N with nonzero \(N\otimes E^*\rightarrow S\) and consider the corresponding nonzero morphism \(\alpha :N\rightarrow S\otimes E\). The image \(\mathrm{im}(\alpha )\) is a submodule of \(S\otimes E\) and thus has a nonzero socle by assumption. We take a simple module L in that socle, which, by construction, is a subquotient of N. The inclusion \(L\hookrightarrow S\otimes E\) yields a nonzero morphism \(L\otimes E^*\rightarrow S\).
Next we note that (b) trivially implies (c). So, it remains to show that (c) implies (a). We assume (c) holds and set \(d:=\mathsf {GK}(S)\). To obtain a contradiction via Remark 2(ii), we assume we have a nonzero submodule M of T with zero socle. Assume we have \([M:L]\not =0\), for some simple Umodule L with \(\mathsf {GK}(L)=d\). We thus must have submodules
Since M has zero socle, we have \(M_1\not =0\). By construction, \(M_1\) is again a submodule of T with zero socle. By Lemma 17, we have \(\mathsf {GK}(M_1)=d=\mathsf {GK}(M)\). By Lemma 8(ii), we have \({\mathsf {e}}(M)>{\mathsf {e}}(M_1)>0\). This means that, after repeating the above construction \(M\mapsto M_1\) a finite number times, we obtain a nonzero submodule N of M (and hence of T) with zero socle, and such that \([N:L]=0\), for all simple Umodules with \(\mathsf {GK}(L)=d\). It thus follows that any simple subquotient L of N has Gelfand–Kirillov dimension less than d. Hence assumption (c) yields a contradiction. This completes the proof. \(\square \)
Corollary 20
If \(T=S\otimes E\) admits a GKcomplete filtration, it has finite type socle.
Proof
By Lemmata 10 and 17, any submodule of T has a GKcomplete filtration. Assume that T does not have finite type socle. By Theorem 16, this means that T has a submodule N with \(\mathsf {GK}(N)=d\) and such that \([N:L]=0\), for all simple modules L with \(\mathsf {GK}(L)=d\). Hence N cannot have a GKcomplete filtration, a contradiction. \(\square \)
Restriction to blocks
Theorem 21
Let S be a simple Umodule with central character \(\chi \in \Theta \). If F(S) has finite type socle, for each projective endofunctor F of \(U\text{mod }_{\chi }\), then we have the following:

(i)
The module \(S\otimes E\) has finite type socle, for each \(E\in {\mathcal {F}}\).

(ii)
The module \(S'\otimes E\) has finite type socle, for each \(E\in {\mathcal {F}}\) and simple submodule \(S'\) of \(S\otimes V\), for some \(V\in {\mathcal {F}}\).
Proof
We start by proving Claim (i). We set \(d=\mathsf {GK}(S)\) and use the equivalence between (a) and (c) in Theorem 16. We thus take an arbitrary submodule N of \(S\otimes E\). By adjunction, we have a nonzero morphism \(N\otimes E^*\rightarrow S\), which implies \(\mathrm{Pr}_{\chi }(N\otimes E^*)\) is not zero. Since \(N\otimes E^*\) is a submodule of \(S\otimes E\otimes E^*\), we have an inclusion
By assumption, the socle of the righthand side is an essential submodule. Hence we can take a simple submodule L in the socle of the right hand side which is also contained in the lefthand side. Note that \(\mathsf {GK}(L)=d\) by Lemma 17. So L is a submodule of \(N\otimes E^*\), which leads through adjunction to a nonzero morphism \(L\otimes E\rightarrow N\). Since \(L\otimes E\) has finite type radical, there is a simple submodule \(L_1\) of \(\mathrm {top}(L\otimes E)\) such that \([N:L_1]\not =0\). By Lemma 17, we have \(\mathsf {GK}(L_1)=d\). Claim (i) thus follows from Theorem 16.
Now we consider the setup of claim (ii). By construction, \(S'\otimes E\) is a submodule of \(S\otimes V\otimes E\). By claim (i), the latter has finite type socle, completing the proof. \(\square \)
Application to Lie superalgebras
Let \({\mathfrak {s}}={\mathfrak {s}}_{{\bar{0}}}\oplus {\mathfrak {s}}_{{\bar{1}}}\) be a finite dimensional Lie superalgebra over \(\Bbbk \), see [40, Chapter 1]. The universal enveloping algebra \({\widetilde{U}}=U({\mathfrak {s}})\) of \({\mathfrak {s}}\) is a \({\mathbb {Z}}_2\)graded associative algebra and a finite ring extension of \(U=U({\mathfrak {s}}_{{\bar{0}}})\).
In the following we use the term simple \({\widetilde{U}}\)module to denote any of the following two notions

(I)
A simple \({\widetilde{U}}\)module, without any reference to the \({\mathbb {Z}}_2\)grading;

(II)
A \({\mathbb {Z}}_2\)graded \({\widetilde{U}}\)module which has no proper graded submodules.
Proposition 22
Assume that \(S\otimes E\) has finite type socle, for every simple Umodule S and any \(E\in {\mathcal {F}}\). Then every simple \({\widetilde{U}}\)module is a quotient of a module of the form \({\widetilde{U}}\otimes _UL\), for some simple Umodule L.
Proof
Consider a simple \({\widetilde{U}}\)module K in the sense of (I). In particular, it is generated by any vector in K. We denote by \(\mathrm{Res} \) the restriction functor from \({\widetilde{U}}\)modules to Umodules, with left adjoint \(\mathrm{Ind} \) and right adjoint \(\mathrm{Coind} \). Since \(\mathrm{Res} (K)\) is finitely generated, it is a noetherian Umodule. Consequently, there is a simple Umodule S with nonzero morphism \(\mathrm{Res} (K)\rightarrow S\). By adjunction, we have an inclusion \(K\hookrightarrow \mathrm{Coind} \, S\). Applying the exact restriction functor gives
Since the righthand side has finite type socle, there is a simple Umodule L, for which we have an inclusion \(L\hookrightarrow \mathrm{Res} (K)\). Applying adjunction shows that we have a surjection \(\mathrm{Ind} \, L\twoheadrightarrow K\).
Consider a simple \({\widetilde{U}}\)module K in the sense of (II). In particular, it is generated by any vector in \(K_{{\bar{0}}}\cup K_{{\bar{1}}}\). We can follow the above procedure and make sure all relevant morphisms respect the \({\mathbb {Z}}_2\)grading. Any such morphism to or from a simple graded \({\widetilde{U}}\)module will then again automatically be surjective or injective, respectively. The claim follows. \(\square \)
Semisimple Lie algebras over \({\mathbb {C}}\)
In this section, we work under the assumptions that \(\Bbbk ={\mathbb {C}}\) and that the Lie algebra \({{\mathfrak {g}}}\) is semisimple.
Type A
Theorem 23
If \({{\mathfrak {g}}}\) is of type A, then every module \(S\otimes E\), for S simple and E finite dimensional, has finite type socle.
Proof
Let S be an arbitrary simple module with central character \(\chi \). Consider an indecomposable projective functor F such that \(F(S)\not =0\) and for which every indecomposable projective functor \(G\succeq F\) with \(G(S)\not =0\) satisfies \(G\sim F\). Note that this is possible since we only have finite chains
We consider the equivalence class generated by F and take \(\mu \in {{\mathfrak {h}}}^*\) as in Lemma 14.
Since, by assumption, \(F\sim \mathrm{Id}_{\eta (\mu )}\), we have projective functors
such that F is a direct summand of \(F_2\circ F_1=F_2\circ \mathrm{Id}_{\eta (\mu )} \circ F_1\).
Now we have that \(F_1S\) is not zero. Since \(F_1S\) has finite type radical, we can choose a simple quotient L of \(F_1S\). By adjunction, we find that S is a submodule of \(G_1L\), for \(G_1\) the right adjoint of \(F_1\).
By Theorem 21(ii), it thus suffices to prove that HL has finite type socle, for each projective endofunctor H of \(U\text{mod }_{\eta (\mu )}\). We claim that \(HL=0\) for every indecomposable projective endofunctor H different from the identity, which would thus complete the proof. Indeed, we even have \(HF_1S=0\), since the statement in Lemma 14(ii),
implies that \(H'\succeq F\) with \(H'\not \sim F\), for any indecomposable direct summand \(H'\) of \(HF_1\). \(\square \)
Low ranks in Type B and C
Theorem 24
For \({{\mathfrak {g}}}=B_n={\mathfrak {so}}_{2n+1}\) or \({{\mathfrak {g}}}=C_n={\mathfrak {sp}}_{2n}\), with \(1\le n\le 4\), every module \(S\otimes E\), for S simple with integral central character and E finite dimensional, has finite type socle.
Proof
For \(n=1\), the Lie algebras are of type A. Now we focus on \(n\in \{2,3,4\}\). In these cases, Fact 1 of Sect. 2.6 remains true, see [34, Appendix], where elements \(x_0\) are printed in bold font. Consequently, Lemma 14(i) remains valid. Note that [34, Appendix] only discusses \(B_3\) and \(B_4\). However, since the Weyl groups of \(B_n\) and \(C_n\) are isomorphic, the latter is also included. Furthermore, the case for \(B_2\) can be computed immediately by hand.
Lemma 14(ii) is no longer true as stated. However, one can calculate from [34, Appendix] that, in those cases where we have some indecomposable projective endofunctor F of \(U\text{mod }_{\eta (\mu )}\) different from \(\mathrm{Id}_{\eta (\mu )}\) but with \(F\sim \mathrm{Id}_{\eta (\mu )}\), this F is unique, up to isomorphism. Furthermore, we have \(F\circ F\cong \mathrm{Id}_{\eta (\mu )}\oplus G\), where \(G\not \sim \mathrm{Id}_{\eta (\mu )}\), see the proof of [34, Theorem 31].
As in the proof of Theorem 23 it suffices to prove the following claim. Let L be a simple module in \(U\text{mod }_{\eta (\mu )}\) which is annihilated by all projective endofunctors which are not in the equivalence class of \(\mathrm{Id}_{\eta (\mu )}\), then HL has finite type socle for each projective endofunctor H of \(U\text{mod }_{\eta (\mu )}.\) In those cases where \(\mathrm{Id}_{\eta (\mu )}\) is alone in its class there is nothing to prove. So we assume that there exists a second functor F in the class as in the above paragraph. However, in this case \(F^2\) acts as the identity on simple modules which are annihilated by indecomposable projective endofunctors of \(U\text{mod }_{\eta (\mu )}\) not in the class of \(\mathrm{Id}_{\eta (\mu )}\) (in fact, F is an equivalence between appropriate subcategories of modules). Consequently FL is a simple module. \(\square \)
Remark 25
We can use the same arguments as in the proof of Theorem 24 for semisimple Lie algebras \({{\mathfrak {g}}}={{\mathfrak {k}}}\oplus {{\mathfrak {l}}}\), with \({{\mathfrak {k}}}\) of type A and \({{\mathfrak {l}}}\) of type \(B_n\) or \(C_n\), for \(1\le n\le 4\). Note that the arguments fail when we consider \({{\mathfrak {k}}}\oplus {{\mathfrak {l}}}\), with both \({{\mathfrak {k}}}\) and \({{\mathfrak {l}}}\) of low rank type B and C.
Regular central character reduction for semisimple Lie algebras
Now we return to arbitrary semisimple Lie algebras over \({\mathbb {C}}\). We will show that for Q2, it will suffice to consider simple modules with regular central character.
Theorem 26
Take central characters \(\chi _r\) and \(\chi _s\) with \(\chi _r\) regular and \(\chi _s\) singular. Take dominant \(\lambda \in \eta ^{1}(\chi _r)\) and \(\mu \in \eta ^{1}(\chi _s)\) and assume \(\lambda \mu \in \Lambda \). Set \(\theta ^{on}=F_\lambda ^\mu \) and \(\theta ^{out}=F_\mu ^{\lambda '}\), with \(\lambda '=w_0^\mu \lambda \), and set \(n=W_\mu \).
Denote by \({\mathrm {sim}}_r\) and \({\mathrm {sim}}_s\) the set of isomorphism classes of simple modules with central character \(\chi _r\) or \(\chi _s\), respectively, and set

(i)
We have a bijection
$$\begin{aligned} t:\;{\mathrm {sim}}_r^s\,{\mathop {\rightarrow }\limits ^{\sim }}\,{\mathrm {sim}}_s, \quad S \mapsto \theta ^{on}S,\quad \text{ for } S\in {\mathrm {sim}}_r^s, \end{aligned}$$with inverse
$$\begin{aligned} L\,\mapsto \, \mathrm {soc}(\theta ^{out}L)\;\cong \; \mathrm {top}(\theta ^{out}L),\quad \text{ for } L\in {\mathrm {sim}}_s. \end{aligned}$$ 
(ii)
For \(L\in {\mathrm {sim}}_s\), the module \(\theta ^{out}L\) has simple and finite type socle.

(iii)
For \(L\in {\mathrm {sim}}_s\) and \(S=t^{1}(L)=\mathrm {soc}(\theta ^{out}L)\), we have \([\theta ^{out}L:S]=n\).
Remark 27
Theorem 26 remains true if \(\chi _r\) is also singular with \(W_\lambda \subset W_\mu \) if we set \(n=W_\mu /W_\lambda \).
We keep the notation and assumptions of Theorem 26 for the rest of the section and start the proof with the following lemma. We freely use Lemma 12(ii), namely biadjunction between \(\theta ^{on}\) and \(\theta ^{out}\) and \(\theta ^{on}\theta ^{out}=\mathrm{Id}^{\oplus n}\), freely.
Lemma 28
For a simple module L with central character \(\chi _s\) and a nonzero submodule or quotient N of \(\theta ^{out}L\), we have \(\theta ^{on}N\cong L^{\oplus k}\) with \(1\le k\le n\). Moreover, for any simple module S, we have
Proof
We consider a quotient N, the proof for submodules being identical. By exactness of \(\theta ^{on}\), we find that \(\theta ^{on}N\) is a quotient of \(L^{\oplus n}\). Since we have a nonzero morphism \(\theta ^{out}L\rightarrow N\), we have a nonzero morphism \(L\rightarrow \theta ^{on}N\), so we find \(\theta ^{on}N\not =0\).
By the above, both sides of the proposed isomorphism are zero unless \(\theta ^{on}S\) is semisimple. In the latter case, we have
which concludes the proof. \(\square \)
Lemma 29
Let \(M\in U\text {}{\mathrm {mod}}_{\chi _s}^0\) and \(\mathrm{End}(\theta ^{out})\) be the set of natural endotransformations as in Lemma 13. Then evaluation yields a monomorphism
If M is simple, then this monomorphism is an isomorphism.
Proof
Take a natural transformation \(\alpha :\theta ^{out}\Rightarrow \theta ^{out}\). Then \(\theta ^{on}(\alpha )\) is a natural transformation \(\mathrm{Id}^{\oplus n}\Rightarrow \mathrm{Id}^{\oplus n}\). By Lemma 13, we have \(\mathrm{End}(\mathrm{Id}^{\oplus n})={\mathrm {Mat}}_{n}(\mathrm{End}(\mathrm{Id}))\), with \(\mathrm{End}(\mathrm{Id})\) consisting only of scalar multiples of the identity natural transformation \(\mathrm{Id}\Rightarrow \mathrm{Id}\). Hence a nonzero element in \(\mathrm{End}(\mathrm{Id}^{\oplus n})\) evaluated at a nonzero module always yields a nonzero morphism. We claim that \(\theta ^{on}(\alpha )\) is not zero. It then follows that \(\theta ^{on}(\alpha )\) evaluated at any module M in U\(\hbox {mod}_{\chi _s}^0\) is not zero, so in particular \(\alpha _M\) is not zero.
To conclude the proof of injectivity, we can therefore just observe that we have \(\theta ^{on}(\alpha _{\Delta _\mu })\not =0\). By Lemma 13, \(\alpha _{\Delta _\mu }:P_{\lambda '}\rightarrow P_{\lambda '}\) is not zero and \(n=[P_{\lambda '}:L_{\lambda '}]\). It follows from [27, 4.12(3)] that \(\theta ^{on}(\beta )\not =0\), for any nonzero endomorphism \(\beta \) of \(P_{\lambda '}\).
Now, let \(M=L\) be simple. In this case
Hence, by Lemma 13 the dimensions of \(\mathrm{End}_{{{\mathfrak {g}}}}(\theta ^{out}L)\) and \(\mathrm{End}(\theta ^{out})\) agree and the monomorphism must be an isomorphism. \(\square \)
Alternative proof
We view \(\theta ^{out}\) as a functor from U\(\hbox {mod}_{\chi _s}^0\) to the full subcategory \({\mathcal {C}}\) of U\(\hbox {mod}_{\chi _r}\) of modules isomorphic to modules of the form \(\theta ^{out}N\), with N in U\(\hbox {mod}_{\chi _s}^0\). By construction, for this interpretation of \(\theta ^{out}\), \(\mathrm{End}(\theta ^{out})\) coincides with the algebra of natural transformations as in Lemma 13. Now the restriction of \(\theta ^{on}\) to \({\mathcal {C}}\) has image contained in U\(\hbox {mod}_{\chi _s}^0\). Moreover, it also follows that \((\theta ^{on},\theta ^{out})\) is still a pair of biadjoint functors, in the above interpretation.
Now adjunction and evaluation yields a commutative diagram
By construction, we have to interpret \(\mathrm {Nat}(\mathrm{Id},\mathrm{Id}^{\oplus n})\) as natural transformations with \(\mathrm{Id}\) viewed as an endofunctor of U\(\hbox {mod}_{\chi _s}^0\). However, this does not differ from the space of natural transformations as in Lemma 13. Hence, \(\dim \mathrm {Nat}(\mathrm{Id},\mathrm{Id}^{\oplus n})=n\) and the space just consists of linear combinations of identity natural transformations of \(\mathrm{Id}\). In particular, the right vertical arrow is a monomorphism. This forces the left vertical arrow to be a monomorphism as well.
If M is simple, the right vertical arrow is, clearly, an isomorphism. \(\square \)
Lemma 30
Fix a simple module L with central character \(\chi _s\). Then \(\theta ^{out}L\) has simple top and socle S. Moreover, we have \([\theta ^{out}L:S]=n\) and \(\theta ^{on}S=L\).
Proof
By combining [41, Theorem 12] and Lemma 13, it follows that the algebra \(\mathrm{End}(\theta ^{out})\) is isomorphic to the coinvariant algebra of \(W_{\mu }\), where \(\mu \in \eta ^{1}(\chi _s)\) is dominant. In particular, it has simple socle. By Lemma 28, the top and socle of \(\theta ^{out}S\) are isomorphic. If the top and socle are not simple then this clearly contradicts the fact that \(\mathrm{End}(\theta ^{out})\cong \mathrm{End}_{{{\mathfrak {g}}}}(\theta ^{out}L)\) (see Lemma 29) must have simple socle.
Lemma 7 implies that
On the other hand, we have \(\theta ^{on}S=L^{\oplus k}\), for some \(k\ge 1\), by Lemma 28. Applying the exact functor \(\theta ^{on}\) on \(\theta ^{out}L\) thus yields
Hence we find \(k=1\) and \([\theta ^{out}L:S]=n\). \(\square \)
Proof of Theorem 26
Take some simple module \(S\in {\mathrm {sim}}^s_r\), then \(\theta ^{on}S\) is nonzero and has finite type radical. In particular, there exists a simple module L with nonzero morphisms \(\theta ^{on}S\rightarrow L\) and \(S\rightarrow \theta ^{out}L\). By Lemma 30, we have \(t(S)=L\). Also by Lemma 30, the map t is a bijection and parts (i) and (iii) follow.
Now we prove part (ii). By Theorem 16 it is sufficient to prove that every submodule of \(\theta ^{out}L\) contains a simple subquotient of Gelfand–Kirillov dimension \(\mathsf {GK}(L)\). For a submodule \(N\subset \theta ^{out}L\), Lemma 28 implies there exists a nonzero morphism \(L\hookrightarrow \theta ^{on}N\). By adjunction, there is a nonzero morphism \(\theta ^{out}L\rightarrow N\). Since \(\theta ^{out}L\) has finite type radical and all simple quotients have Gelfand–Kirillov dimension \(\mathsf {GK}(L)\) by Lemma 17, we find that N contains a simple subquotient of Gelfand–Kirillov dimension \(\mathsf {GK}(L)\). \(\square \)
For a simple Umodule S, we denote by \(S\otimes {\mathcal {F}}\) the full subcategory of the category of all \({\mathfrak {g}}\)modules consisting of all modules isomorphic to the ones of the form \(S\otimes E\), with \(E\in {\mathcal {F}}\).
Proposition 31
If, for every simple module S with regular central character, all modules in \(S\otimes {\mathcal {F}}\) have finite type socle (resp. a GKcomplete filtration), then, for every simple module L, all modules in \(L\otimes {\mathcal {F}}\) have finite type socle (resp. a GKcomplete filtration).
Proof
By Theorem 26, for every simple module L, there exists a simple module S with regular central character and \(V\in {\mathcal {F}}\) such that L is a direct summand of \(S\otimes V\).
Hence each module in \(L\otimes {\mathcal {F}}\) is a direct summand of a module in \(S\otimes {\mathcal {F}}\). The conclusion for socles follows from observing that any submodule of a module with finite type socle has finite type socle. The conclusion about GKcomplete filtrations follows from Lemmata 17 and 10. \(\square \)
Corollary 32
Let \(w_0'\) be the longest element of a Coxeter subgroup \(W'\subset W\) and S a simple module with integral regular central character. If \(\theta _{w_0'}S\not =0\), then \(\theta _xS\) has finite type socle, for all \(x\in W'\).
Proof
We fix some dominant and integral \(\mu \) such that \(W_\mu =W'\). Then we can write \(\theta _{w_0'}=\theta ^{out}\theta ^{on}\) using the notation as in Theorem 26. From Theorem 26 it follows that \(\theta _{w_0'} S\) has finite type socle and \(S=\mathrm {soc}(\theta _{w_0'} S)\). From Kazhdan–Lusztig combinatorics it follows that \(\theta _x\theta _{w_0'}\) is a direct sum of copies of \(\theta _{w_0'}\). Hence \(\theta _xS\) is a submodule of a direct sum of copies of \(\theta _{w_0'}S\) and also has finite type socle. \(\square \)
Direct sums of copies of \({\mathfrak {sl}}_2\)
In this section, we fix \(j\in {\mathbb {Z}}_{>0}\) and set \({{\mathfrak {g}}}={\mathfrak {sl}}_2({\mathbb {C}})^{\oplus j}\). For this \({\mathfrak {g}}\), we can strengthen Theorem 23 as follows.
Theorem 33
For \({{\mathfrak {g}}}={\mathfrak {sl}}_2({\mathbb {C}})^{\oplus j}\) and any simple \({{\mathfrak {g}}}\)module S and \(E\in {\mathcal {F}}\), the module \(S\otimes E\) has a GKcomplete filtration. Moreover, if \(j=1\), then \(S\otimes E\) even has finite length.
We label the j copies of \({\mathfrak {sl}}_2\) by the index \(1\le i\le j\). We denote by \(\epsilon _i\in {{\mathfrak {h}}}^*\) the weight half the positive root of the ith copy. Accordingly, we write \(\lambda =\sum \lambda _i\epsilon _i\), with \(\lambda _i\in {\mathbb {C}}\), for \(\lambda \in {{\mathfrak {h}}}^*\). The Weyl group acts on \({{\mathfrak {h}}}^*\) by changing signs for the \(\lambda _i\). For \(1\le i\le j\), we denote by \(V_i\cong {\mathbb {C}}^2\) the natural module for the ith copy of \({\mathfrak {sl}}_2\), interpreted as a module for \({{\mathfrak {g}}}\) in the obvious way. So, in this way we have \(\mathrm {supp}(V_i)=\{\epsilon _i,\epsilon _i\}\).
Fix i such that \(1\le i\le j\). Denote by mod\({}_i\) the full subcategory of Umod consisting of all modules M on which the ith copy of \({\mathfrak {sl}}_2\subset {{\mathfrak {g}}}\) acts locally finitely. Clearly, \(\otimes V_i\) restricts to an endofunctor on mod\({}_i\). We also denote by \({\mathrm {sim}}^i\) the set of isomorphism classes of simple \({{\mathfrak {g}}}\)modules which are not in \(\hbox {mod}{}_i\).
Lemma 34
Take a simple module \(S\in {\mathrm {sim}}^i\). Then we have \(S_1,S_2\in {\mathrm {sim}}^i\) and a filtration of \(T=S\otimes V_i\)
If \(j=1\), so \({{\mathfrak {g}}}={\mathfrak {sl}}_2\), the module \(S\otimes V_i\) has finite length.
Proof
Let \(\chi \) be the central character of S. We take a dominant \(\lambda \in \eta ^{1}(\chi )\), which means \(\lambda _i\not \in {\mathbb {Z}}_{<0}\).
Assume first that \(\lambda _i\not \in {\mathbb {Z}}\). It follows from
and Lemmata 11 and 12(i) that \(\otimes V_i\) restricted to U\(\hbox {mod}{}_\chi \) decomposes into a direct sum of an equivalence with U\(\hbox {mod}{}_{\eta (\lambda +\epsilon _i)}\) and Umod\({}_{\eta (\lambda \epsilon _i)}\). Hence \(S\otimes V_i\) is a direct sum of two simple modules. That both are in \({\mathrm {sim}}^i\) follows by adjunction.
If \(\lambda _i\in {\mathbb {Z}}_{>1}\), the argument of the previous paragraph still applies.
If \(\lambda =1\), we still have Eq. (5.1). We write \(\theta ^{on}=F_\lambda ^{\lambda \epsilon _i}\), as in Sect. 4.3. By Lemmata 11 and 12(i), \(S\otimes V_i\) is a direct sum of a simple module and \(\theta ^{on}S\). By Theorem 26(i), the latter module is zero or simple.
Finally, we consider \(\lambda _i=0\), which implies
We write \(\theta ^{out}=F_\lambda ^{\lambda \epsilon _i}\) as in Sect. 4.3. Lemma 11 implies that \(S\otimes V_i\cong \theta ^{out}S\). That \(S\otimes V_i\) is of the desired form then follows from Theorem 26(i).
Since \(\theta ^{on}\theta ^{out}=\mathrm{Id}^{\oplus 2}\), it follows that \(\theta ^{on} F_1T/F_2T=0\).
For \({{\mathfrak {g}}}={\mathfrak {sl}}_2\), Eq. (2.2) thus implies that \(F_1T/F_2T\) must be a direct sum of a number of copies of one fixed simple finite dimensional module. Since T is noetherian, it follows that \(F_1T/F_2T\) is finitely generated and thus finite dimensional. \(\square \)
Lemma 35
Let S be a simple Umodule in \({\mathrm{mod}}{}_i\). Then \(S\otimes V_i\) is a direct sum of simple modules in \({\mathrm{mod}}{}_i\).
Proof
Let \(\chi \) be the central character of S. The explicit description of the generator of the center in the universal enveloping algebra of \({\mathfrak {sl}}_2\) implies that any dominant \(\lambda \in \eta ^{1}(\chi )\) satisfies \(\lambda _i\in {\mathbb {Z}}_{>0}\). It then follows from the same arguments as in Lemma 34 that \(S\otimes V_i\) is simple, if \(\lambda _i=1\), and is a direct sum of two simple modules if \(\lambda _i>1\). \(\square \)
Corollary 36
For any simple \({{\mathfrak {g}}}\)module S and \(1\le i\le j\), the module \(S\otimes V_i\) has a GKcomplete filtration.
Proof
By Lemma 35, we can assume \(S\in {\mathrm {sim}}^i\).
We fix an arbitrary \(d\in {\mathbb {N}}\). First we define an equivalence relation on simple \({{\mathfrak {g}}}\)modules in \({\mathrm {sim}}^i\) with Gelfand–Kirillov dimension d. We let \(\sim \) be the minimal equivalence relation generated by relation \(S\sim S'\) if we have a nonzero morphism \(S\otimes V_i\rightarrow S'\) or \(S'\rightarrow S\otimes V_i\). Since \(V_i\) is selfdual, this is indeed an equivalence relation.
Take a simple module S with \(\mathsf {GK}(S)=d\) and \({\mathsf {e}}(S)\) minimal in its equivalence class. Set \(e:={\mathsf {e}}(S)\). By Eq. (2.3), we have \({\mathsf {e}}(S\otimes V_i)=2e\). The simple modules \(S_1,S_2\) in Lemma 34 thus satisfy \({\mathsf {e}}(S_1)+{\mathsf {e}}(S_2)\le 2e\) by Lemma 8(ii). By minimality of e, we thus have \({\mathsf {e}}(S_1)=e={\mathsf {e}}(S_2)\). With notation of Lemma 34, it follows that we have \(\mathsf {GK}(F_1T/F_2T)<d\). Consequently \(S\otimes V_i\) has a GKcomplete filtration.
The above paragraph also shows that \(S_1\) and \(S_2\) are the unique simple modules which appear as submodules or quotients of \(S\otimes V_i\), by Lemma 17. Applying the same procedure to \(S_1,S_2\) iteratively shows that every simple module in the equivalence class of S has Bernstein number \({\mathsf {e}}(S)\). Hence the condition for S to have minimal \({\mathsf {e}}(S)\) in its equivalence class was not actually a restriction. This completes the proof. \(\square \)
Proof of Theorem 33
Every finite dimensional \({{\mathfrak {g}}}\)module is a direct sum of a module of the form
for suitable \(\alpha _i\in {\mathbb {N}}\). The statement about GKcomplete filtrations thus follows from Corollary 36. The statement for socles then follows from Corollary 20.
The claim for \({\mathfrak {sl}}_2\) follows from Lemma 34. \(\square \)
Lie superalgebra preliminaries
Setup
In this section, we will introduce the setup of Lie superalgebras. We refer to [12, 40] for more details. From now on we work over the field \({\mathbb {C}}\) of complex numbers.
We let \({\widetilde{{{\mathfrak {g}}}}}\) be a finitedimensional Lie superalgebra with \({\mathbb {Z}}_2\)graded decomposition
From now on we assume that \({{\mathfrak {g}}}:={\widetilde{{{\mathfrak {g}}}}}_{{\bar{0}}}\) is a reductive Lie algebra of type A and that \({\widetilde{{{\mathfrak {g}}}}}_{{\bar{1}}}\) is a semisimple \({\widetilde{{{\mathfrak {g}}}}}_{{\bar{0}}}\)module. The Weyl group W of \({\widetilde{{{\mathfrak {g}}}}}\) is defined to be the Weyl group of the reductive Lie algebra \({{\mathfrak {g}}}\) and we keep notation and terminology of Sect. 2.4.
Let \(V = V_{{{\bar{0}}}}\oplus V_{{\bar{1}}}\) be a superspace. For a given homogeneous element \(v\in V_{i}\), where \(i \in {\mathbb {Z}}_2\), we let \({\overline{v}}\)= i denote its parity. We denote the parity change functor by \(\Pi \) on the category of superspaces, cf. [12, Section 1.1.1]. For a \({\mathbb {Z}}_2\)graded associative algebra A, we denote by Asmod the category of all finitely generated \({\mathbb {Z}}_2\)graded modules with grading preserving homomorphisms. Note that when A is reduced, i.e. \(A=A_{{\bar{0}}}\), we have
Categories of (super)modules
We denote the universal enveloping algebras of our Lie (super)algebras by \({\widetilde{U}} := U(\widetilde{{\mathfrak {g}}})\) and \(U:=U({{\mathfrak {g}}})=U(\widetilde{{\mathfrak {g}}}_{{\bar{0}}})\). Let \(Z(\widetilde{{\mathfrak {g}}})\) and \(Z({{\mathfrak {g}}})\) denote the center of \({\widetilde{U}}\) and U, respectively. Also, the center of \({\mathfrak {g}}\) is denoted by \({\mathfrak {z}}({\mathfrak {g}})\).
We set \(\widetilde{{\mathfrak {g}}}\)smod \(= {\widetilde{U}}\)smod and \({{\mathfrak {g}}}\)smod \(= U\)smod. By our assumptions in Sect. 6.1 a supermodule M over a Lie superalgebra is not necessary isomorphic to its parity changed counterpart \(\Pi M\). We have the exact restriction, induction and coinduction functors
By [2, Theorem 2.2] (also see [21]), the functors \({\mathrm {Ind}}\) and \({\mathrm {Coind}}\) are isomorphic, up to the equivalence given by tensoring with the onedimensional \({{\mathfrak {g}}}\)module on the top degree subspace of \(\Lambda \widetilde{{\mathfrak {g}}}_{{{\bar{1}}}}\).
By abusing notation we let \({\mathcal {O}}\) be the full subcategory of Usmod of weight modules which are locally \({{\mathfrak {b}}}\)finite. In principle, we would have to write \({\mathcal {O}}\oplus \Pi {\mathcal {O}}\) for this category, in order to be consistent with Sect. 2.4. Similarly, we let \(L_{\lambda }\) denote the simple \({{\mathfrak {g}}}\)module in unspecified parity. We denote by \({\widetilde{{\mathcal {O}}}}\) the full subcategory of \({\widetilde{U}}\)smod of supermodules which restrict to \({\mathcal {O}}\).
For a given \(\widetilde{{\mathfrak {g}}}\)supermodule (resp. \({{\mathfrak {g}}}\)supermodule) X, we denote its \({{\widetilde{U}}}\)annihilator (resp. Uannihilator) by \(\text {Ann}_{{{\widetilde{U}}}}(X)\) (resp. \(\text {Ann}_{U}(X)\)). The following theorem is due to Duflo in [17].
Theorem 37
Let V be a simple \({{\mathfrak {g}}}\)supermodule. Then there exist \(\lambda \in {\mathfrak {h}}^*\) such that \({{Ann}}_{U}(V) = {{Ann}}_{U}(L_{\lambda })\).
We let \({\mathcal {F}}\) denote the category of finite dimensional semisimple \({{\mathfrak {g}}}\)supermodules, and we let \({{\widetilde{{\mathcal {F}}}}}\) denote the category of finitedimensional \({{\widetilde{{{\mathfrak {g}}}}}}\)supermodules which restrict to objects in \({\mathcal {F}}\). Then \({\mathcal {F}}\) and \({\widetilde{{\mathcal {F}}}}\) are exactly the categories of finitedimensional weight \({{\mathfrak {g}}}\)supermodules and \(\widetilde{{\mathfrak {g}}}\)supermodules, respectively.
For a \(\widetilde{{\mathfrak {g}}}\)supermodule M, we denote by

\({\widetilde{{\mathcal {F}}}}\otimes M\) the category of \(\widetilde{{\mathfrak {g}}}\)supermodules of the form \(V\otimes M\), with \(V\in {\widetilde{{\mathcal {F}}}}\);

\({\mathrm {add}}({{\widetilde{{\mathcal {F}}}}}\otimes M)\) the category of all supermodules isomorphic to direct summands of objects in \({{\widetilde{{\mathcal {F}}}}}\otimes M\);

\(\langle {{\widetilde{{\mathcal {F}}}}}\otimes M\rangle \) the abelian category of all supermodules isomorphic to subquotients of supermodules in \({{\widetilde{{\mathcal {F}}}}}\otimes M\).
We let \({\mathrm {Coker}}({{\widetilde{{\mathcal {F}}}}}\otimes M)\) denote the cokercategory of M, that is the full subcategory of the category of all \(\widetilde{{\mathfrak {g}}}\)supermodules, which consists of all modules N that have a presentation
where \(X,Y\in {\mathrm {add}}({{\widetilde{{\mathcal {F}}}}}\otimes M)\). Similarly we define analogous full subcategories of \({{\mathfrak {g}}}\)supermodules, cf [38].
Harish–Chandra bimodules
Following [9, § 3.2], we will consider a type of Harish–Chandra bimodules where the left action is by a Lie superalgebra and the right action by the underlying Lie algebra. The corresponding category will be an essential tool in our study of the rough structure.
We write \({\widetilde{U}}\)smodU for \({\widetilde{U}}\otimes U^{{\mathrm {op}}}\)smod. For a bimodule Z in this category, the \({{\mathfrak {g}}}\)module \(Z^{\mathrm {ad}}\) is the restriction of Z to the adjoint action of \({{\mathfrak {g}}}\). This is the restriction via
Let \({\mathcal {B}}\) denote the full subcategory of \({\widetilde{U}}\)smodU of bimodules N for which \(N^{\mathrm {ad}}\) is a direct sum of modules in \({\mathcal {F}}\) with finite multiplicities. For a twosided ideal \(J\subset U\), we let \({\mathcal {B}}(J)\) denote the full subcategory of \({\mathcal {B}}\) of bimodules X such that \(XJ=0\). We have the functor
where \({\mathcal {L}}(M,N)\) is the maximal submodule of \({{\mathrm {Hom}}}_{{\mathbb {C}}}(M,N)\) which belongs to \({\mathcal {B}}\).
By slight abuse of notation, we will use the same notation \({\mathcal {L}}\) for the corresponding functor applied to the case \({\widetilde{{{\mathfrak {g}}}}}={{\mathfrak {g}}}\). Let M be a Umodule, then the \({{\mathfrak {g}}}\)action on M defines a bimodule homomorphism from U to \({\mathcal {L}}(M,M)\) with kernel \(\text {Ann}_{U}(M)\). Hence we have a canonical monomorphism
One says that Kostant’s problem for M has a positive solution if (6.1) is an isomorphism, see [22, 28, 37]. Then we have the following variation of [39, Theorem 3.1] established in [9, Theorem 3.1].
Theorem 38
Consider \(M\in U{{\text{ }mod}}\) with central character and set \(I:=\mathrm{Ann} _{U}(M)\). If the Kostant problem for M has a positive solution and M is projective in \(\langle {\mathcal {F}}\otimes M\rangle \), then
is an equivalence of categories with inverse \({\mathcal {L}}(M,)\).
For \(E \in {\widetilde{{\mathcal {F}}}}\), we recall that \(E\otimes {\widetilde{U}}\) is equipped with a natural \(\widetilde{{\mathfrak {g}}}\)bimodule structure as in [3, Section 2.2] and [15, Section 2.4]:
for all homogeneous \(X,Y\in \widetilde{{\mathfrak {g}}}\), \(v\in E\) and \(u \in {\widetilde{U}}\).
Rough structure of simple \({\widetilde{{{\mathfrak {g}}}}}\)supermodules
Motivation
Two fundamental problems in representation theory of a group or a ring are:

classification of simple modules;

understanding how all modules are constructed from simple modules.
A natural subproblem of the second problem is determination of multiplicities of simple subquotients in a given module. In the general case, certain multiplicities might be infinite or depend on the choice of filtration.
The paper [30] studied the structure of a certain class of modules over Lie algebras, called generalized Verma modules. These modules are obtained by parabolic induction from simple modules over “smaller” Lie algebras. It turned out that, given a generalized Verma module, there is a natural class of simple modules (defined using a certain comparability of annihilators) whose multiplicities in the generalized Verma module are welldefined, finite and computable using KazhdanLusztig combinatorics. This was called the rough structure of generalized Verma modules. The most general, to date, result on the rough structure of generalized Verma modules was obtained in [38, Section 11.8].
In the study of Lie superalgebras, it is natural to ask about the rough structure of simple supermodule as modules over the even part of the Lie superalgebras. In [10], for classical Lie superalgebras of type I, it was shown that

the classification of simple supermodules can be reduced to the classification of simple modules over the even part of the superalgebra;

the rough structure of a simple supermodule as a module over the even part of the Lie superalgebra can be described in terms of combinatorics of category \({\mathcal {O}}\).
The goal of this section is to address these problems for Lie superalgebra not necessarily of type I, but with underlying Lie algebra of type A.
Coker categories for induced modules
With Theorem 38 as the main tool, this subsection shall proceed with the study of cokercategories of induced modules along the lines of [38, Section 11.6].
For simplicity, we will work with regular integral central characters by following [38, Remark 76]. The general case then follows by standard techniques, in particular using translations out and onto the walls and the equivalences from [14].
We start with reviewing and adapting the setup of [38, Section 11.6] to the present paper. Note that we work in the generality when \({{\mathfrak {g}}}\) is reductive. Each central element of \({{\mathfrak {g}}}\) acts as a scalar on any simple \({{\mathfrak {g}}}\)module, therefore we will work only with \({{\mathfrak {g}}}\)modules on which the action of the center of \({{\mathfrak {g}}}\) is semisimple. We assume that the center of \({{\mathfrak {g}}}\) belongs to any Cartan subalgebra and we call a weight integral if it appears in some simple finite dimensional \({{\mathfrak {g}}}\)module.
Let L be a simple \({{\mathfrak {g}}}\)supermodule which admits a regular and integral central character. By Theorem 37, there is a dominant weight \(\nu \) and an element \(\sigma \in W\) such that \(\text {Ann}_{U} (L) = \text {Ann}_{U}(L_{\sigma \nu })\). We may assume that \(\sigma \) is contained in a right cell associated with a parabolic subalgebra \({\mathfrak {p}} \subseteq {{\mathfrak {g}}}\) as in [38, Remark 14]. Therefore there is a dominant weight \(\mu \) such that the parabolic block \({\mathcal {O}}^{{\mathfrak {p}}}_{\mu }\) contains exactly one simple module \(L_{y \mu }\) and this module is projective, see e.g. [26, 3.1]. As \(y \mu =yx \mu \), for any x in the stabilizer of \(\mu \), without loss of generality, we may assume that \(ys<y\), for all simple reflection s with \(s \mu =\mu \). With this assumption, we have that \(L_{y \mu }\) is the translation of \(L_{y 0}\) to the \(\mu \)wall.
Tensoring, if necessary, with finite dimensional modules, without loss of generality we may assume that \(\mu \) is generic in the sense of [37, Subsection 5.3]. Let F be a projective functor given in [38, Proposition 62]. A simple top of FL is defined uniquely, up to equivalence given by the action of projective functors. We fix one representative \({{\overline{N}}}\) in such an equivalence class. We refer the reader to [38, Section 11] for more details of our setup. In particular, we have that
The following theorem, which is [38, Theorem 66], is our main tool to study the rough structure for Lie algebras of type A.
Theorem 39
Let \({\mathcal {F}}\) denote the category of finitedimensional weight \({{\mathfrak {g}}}\)supermodules. Then the functor
is an equivalence of categories.
By [38, Lemma 67], categories \({\mathrm {Coker}}({\mathcal {F}} \otimes {{\overline{N}}})\) and \({\mathrm {Coker}}({\mathcal {F}} \otimes L_{y \mu })\) are both admissible in the sense of [38, Section 6.3].
The following lemma combines [38, Lemma 63] and [38, Proposition 65(ii)].
Lemma 40
The objects \(L_{y \mu }\) and \({{\overline{N}}}\) are projective in \(\langle {\mathcal {F}}\otimes L_{y \mu } \rangle \) and \(\langle {\mathcal {F}}\otimes {{\overline{N}}}\rangle \), respectively.
Now we can formulate the following equivalence of cokercategories.
Corollary 41
The functor
is an equivalence sending \({\mathrm {Ind}}({{\overline{N}}})\) to \({\mathrm {Ind}}( L_{y \mu })\).
Proof
With I from 7.1, we claim that
are equivalences. Indeed, recall that Kostant’s problem has a positive solution for \(L_{y \mu }\) and \({{\overline{N}}}\) by [38, Theorem 60(iii)] and [38, Proposition 65(iii)], respectively. Now Lemma 40 and Theorem 38 imply the claim.
Finally, since Kostant’s problem has a positive solution for \({{\overline{N}}}\), it follows that
as \({\widetilde{U}}\)modules. This completes the proof. \(\square \)
Rough structure of induced \({\widetilde{{{\mathfrak {g}}}}}\)supermodules
In this subsection, we obtain a description of the rough structure of induced supermodules.
Lemma 42
The equivalence \({{\widetilde{\Xi }}}\) in Corollary 41 gives rise to a bijection between the sets of isomorphism classes of objects in the categories \({\mathrm {add}}({\widetilde{{\mathcal {F}}}}\otimes {\mathrm {Ind}}({{\overline{N}}}))\) and \({\mathrm {add}}({\widetilde{{\mathcal {F}}}}\otimes {\mathrm {Ind}} (L_{y \mu }))\). These two categories are, respectively, the categories of projective objects in \({\mathrm {Coker}}({\widetilde{{\mathcal {F}}}}\otimes {\mathrm {Ind}}({{\overline{N}}}))\) and \({\mathrm {Coker}}({\widetilde{{\mathcal {F}}}}\otimes {\mathrm {Ind}}(L_{y \mu }))\).
Proof
For a given \(E\in {\widetilde{{\mathcal {F}}}}\), we have
Here the first and the last isomorphisms use [31, Proposition 6.5], which states that
for any \({{\mathfrak {g}}}\)module X, the second isomorphism uses [27, Section 6.8] and the isomorphism \({\mathcal {L}}({{\overline{N}}}, {{\overline{N}}})\cong U/I\) and the third isomorphism uses (7.1).
That \({\mathrm {add}}({\widetilde{{\mathcal {F}}}}\otimes {\widetilde{U}}/{\widetilde{U}}I)\) is the full subcategory of projective modules in \({\mathcal {B}}(I)\) is shown in [9, Proof of Theorem 3.1]. The claim follows. \(\square \)
As a consequence, see [38, Section 11], \({\widetilde{\Xi }}\) induces a bijection
between the sets of isomorphism classes of simple \(\widetilde{{\mathfrak {g}}}\)supermodule quotients of simple objects in \( {\mathrm {Coker}}({\widetilde{{\mathcal {F}}}} \otimes {\mathrm {Ind}}( {{\overline{N}}}))\) and \({\mathrm {Coker}}({\widetilde{{\mathcal {F}}}} \otimes {\mathrm {Ind}} (L_{y \mu }))\).
For \(S \in {\mathrm {Irr}}^{\widetilde{{\mathfrak {g}}}}( {\mathrm {Coker}}({\widetilde{{\mathcal {F}}}} \otimes {\mathrm {Ind}}( {{\overline{N}}})))\), we define
We are now in a position to state the first main result of this section which describes rough structure of induced modules in terms of category \(\widetilde{{\mathcal {O}}}\) combinatorics.
Theorem 43
(Rough structure of induced modules) For any module \(E\in {\widetilde{{\mathcal {F}}}}\) and any module \(S \in {{{Irr}}}^{\widetilde{{\mathfrak {g}}}}( {\mathrm {Coker}}({\widetilde{{\mathcal {F}}}} \otimes {\mathrm {Ind}}( {{\overline{N}}})))\), we have
Proof
The proof of Eq. (7.4) follows from a similar argument using \(\Xi \) as given in [38, Theorem 72]. To see this, let \({\widetilde{Q}}_S\) and \({\widetilde{Q}}_{L}\) denote the indecomposable projective objects in the categories \({\mathrm {Coker}}({\widetilde{{\mathcal {F}}}}\otimes {\mathrm {Ind}} ({{\overline{N}}}))\) and \({\mathrm {Coker}}({\widetilde{{\mathcal {F}}}}\otimes {\mathrm {Ind}}( L_{y \mu }))\) with tops S and \({\widetilde{L}}_{S}\), respectively. By (7.3) we have
The claim follows. \(\square \)
Rough structure of simple \({\widetilde{{{\mathfrak {g}}}}}\)supermodules
In this subsection, we give a description of the rough structure of restrictions to \({{\mathfrak {g}}}\) of simple \(\widetilde{{\mathfrak {g}}}\)supermodules in \({\mathrm {Irr}}^{\widetilde{{\mathfrak {g}}}}({\mathrm {Coker}}({\widetilde{{\mathcal {F}}}} \otimes {\mathrm {Ind}}( {{\overline{N}}})))\).
Lemma 44
There is an isomorphism \(Res \circ {\widetilde{\Xi }} \cong \Xi \circ Res \) of functors.
Proof
This follows directly from the definitions. \(\square \)
We have a bijection
induced by \(\Xi \), between the sets of isomorphism classes of the simple \({{\mathfrak {g}}}\)quotients of simple objects in \({\mathrm {Coker}}({\mathcal {F}} \otimes {{\overline{N}}})\) and in \({\mathrm {Coker}}({\mathcal {F}} \otimes L_{y \mu })\). For a given
we define the related weight \(\zeta _W\in {\mathfrak {h}}^*\) by \(L_{\zeta _W} \cong {\varvec{\Xi }}(W)\). The next statement describes the \({{\mathfrak {g}}}\)rough structure of simple \(\widetilde{{\mathfrak {g}}}\)supermodules in terms of the combinatorics of category \({\mathcal {O}}\).
Theorem 45
(Rough structure of simple \(\widetilde{{\mathfrak {g}}}\)supermodules) For any \(\widetilde{{\mathfrak {g}}}\)supermodule \(S\in {\mathrm {Irr}}^{\widetilde{{\mathfrak {g}}}}({\mathrm {Coker}}({\widetilde{{\mathcal {F}}}} \otimes {\mathrm {Ind}} {{\overline{N}}}))\) and any \({{\mathfrak {g}}}\)supermodule \(W\in {\mathrm {Irr}}^{{{\mathfrak {g}}}}({\mathrm {Coker}}({\mathcal {F}} \otimes {{\overline{N}}}))\), we have
Proof
Equality (7.5) is obtained by applying \(\varvec{\Xi }\) to the left hand side and then using Lemma 44, cf. [38, Theorem 73]. \(\square \)
Classification of simple \({\widetilde{{{\mathfrak {g}}}}}\)supermodules
Theorem 39 reduces the problem of classification of all simple \({{\mathfrak {g}}}\)modules to the following problem. Let \({\mathcal {I}}\) denote the set of all primitive ideals in U which appear as annihilators of all modules of the form \({{\overline{N}}}\), as chosen before (7.1). For each fixed simple \({{\mathfrak {g}}}\)module S with annihilator \(I\in {\mathcal {I}}\) (which we view as some \({{\overline{N}}}\)), we have the corresponding bijection
For \(I\in {\mathcal {I}}\), let \({\mathrm {Irr}}^{{{\mathfrak {g}}}}(I)\) denote the set of isomorphism classes of simple \({{\mathfrak {g}}}\)modules whose annihilator is I. Consequently, we have:
Corollary 46
The set
coincides with the set of isomorphism classes of simple \({{\mathfrak {g}}}\)modules.
This reduces, in some sense, the problem of classification of all \({{\mathfrak {g}}}\)modules to that of classification of all \({{\mathfrak {g}}}\)modules with annihilators in \({\mathcal {I}}\). For Lie algebras, this might look unimpressive. However, a similar reasoning applied to Corollary 41 gives the following very surprising extension of this to \({\widetilde{{{\mathfrak {g}}}}}\) which, in the same sense, reduces the problem of classification of all \({\widetilde{{{\mathfrak {g}}}}}\)supermodules to that of classification of all \({{\mathfrak {g}}}\)modules with annihilators in \({\mathcal {I}}\). Here, again, for each fixed simple \({{\mathfrak {g}}}\)module S with annihilator \(I\in {\mathcal {I}}\), we have the bijection
Theorem 47
(Classification of simple supermodules) The set
coincides with the set of isomorphism classes of simple \({\widetilde{{{\mathfrak {g}}}}}\)supermodules.
Proof
As \({{\mathfrak {g}}}\) is of type A, we can combine Theorem 23 with Proposition 22 to conclude, using Corollary 41, that every simple \({\widetilde{{{\mathfrak {g}}}}}\)supermodule appears in the right hand side of (7.6). The claim follows. \(\square \)
Although Theorem 47 is not as nice as [10, Theorem 4.1] (the latter result reduces classification of simple supermodules over basic classical Lie superalgebras of type I to classification of simple modules over the corresponding even part Lie algebra), it is fairly clear that [10, Theorem 4.1] does not extend to, for example, Qtype Lie superalgebras given in Subsection 7.6 in any easy way. At the same time, the set
for Qtype Lie superalgebras can be described using Sect. 7.6. Therefore for Qtype Lie superalgebras, Theorem 47 provides significant progress in classification of simple supermodules.
Applications
We give a short overview of Lie superalgebras to which our results are applicable and cannot be dealt with using the theory of [10]. We focus on \(D(2,1;\alpha ), F(4), Q(n)\) and generalized Takiff superalgebras.
First we quickly review the classification of simple modules in \({\widetilde{{\mathcal {O}}}}\). Let \({\widetilde{{{\mathfrak {g}}}}}\) be a classical Lie superalgebra and choose a Cartan subalgebra \({{\mathfrak {a}}}\) of the derived Lie algebra \({{\mathfrak {g}}}'=[{{\mathfrak {g}}},{{\mathfrak {g}}}]\) of the underlying Lie algebra. Consider a Weyl group invariant bilinear form \(\langle \cdot ,\cdot \rangle \) on \({{\mathfrak {a}}}^*\). Following [35, § 2.4], we choose a \(\omega \in {\mathbb {R}}\Phi \), where \(\Phi \) is the set of roots of \({{\mathfrak {g}}}'\), which is generic in the sense that \(\langle \omega ,\alpha \rangle \not =0\) for all \(\alpha \in \Phi \). Then we define a triangular decomposition
where \({\widetilde{{{\mathfrak {h}}}}}\) is the direct sum of \({{\mathfrak {a}}}\)weight spaces corresponding to weights \(\lambda \) satisfying \(\langle \lambda ,\omega \rangle =0\) and \({\widetilde{{{\mathfrak {n}}}}}^{\pm }\) corresponds to weights \(\lambda \) with \(\pm \langle \lambda ,\omega \rangle >0\). Clearly \({{\mathfrak {h}}}:={\widetilde{{{\mathfrak {h}}}}}_{{\bar{0}}}\) and \({{\mathfrak {n}}}^{\pm }:={\widetilde{{{\mathfrak {n}}}}}^{\pm }_{{\bar{0}}}\) give a triangular decomposition of \({{\mathfrak {g}}}\).
Assume now that \([{\widetilde{{{\mathfrak {h}}}}}_{{\bar{1}}},{\widetilde{{{\mathfrak {h}}}}}_{{\bar{1}}}]=0\). Then simple \({\widetilde{{{\mathfrak {h}}}}}\)modules are the one dimensional \({{\mathfrak {h}}}\)modules with trivial \({\widetilde{{{\mathfrak {h}}}}}_{{\bar{1}}}\)action \({\mathbb {C}}_\lambda \), with \(\lambda \in {{\mathfrak {h}}}^*\). We have the corresponding Verma module
with \({\widetilde{{{\mathfrak {b}}}}}={\widetilde{{{\mathfrak {h}}}}}\oplus {\widetilde{{{\mathfrak {n}}}}}^+\) acting on \({\mathbb {C}}_\lambda \) with trivial \({\widetilde{{{\mathfrak {n}}}}}^+\)action. It follows as in the classical case that \({\widetilde{\Delta }}_\lambda \) has a unique maximal submodule. We denote the quotient by \({\widetilde{L}}_\lambda \). The following lemma is wellknown, see e.g. [35, Proposition 2].
Lemma 48
The set \(\{{\widetilde{L}}_{\lambda }, \Pi {\widetilde{L}}_{\lambda }~\lambda \in {\mathfrak {h}}^*\}\) is a complete and irredundant set of representatives of isomorphism classes of simple objects in \({\mathcal {O}}\).
The one parameter family of simple Lie superalgebras \(D(2,1\alpha )\), see [40, Chapter 4], satisfies the above assumptions and has underlying Lie algebra of type A. The multiplicities in \(\mathrm{Res}({\widetilde{L}}_\lambda )\) for \(D(2,1\alpha )\) have been determined in [13]. Therefore our results provide a concrete approach to the rough structure problem. The simple Lie superalgebra F(4), see [40, Chapter 4], has underlying Lie algebra \({\mathfrak {so}}_7\oplus {\mathfrak {sl}}_2\). Based on Remark 25 we can thus expect to apply some of our results to this case. Note that there are also many examples of algebra \({\widetilde{{{\mathfrak {g}}}}}\) as above which are far from simple, see for instance the generalized Takiff superalgebras introduced in [23, Section 3.3].
For Lie superalgebras of type Q, see [12, 40], the statement in Lemma 48 has to be adapted, in particular, as some simple highest weight supermodules in type Q are invariant under the parity change. However, an explicit classification of simple highest weight modules is known, see e.g., [12, Section 1.5.4] and [11, Lemma 2.1]. The category \({{\widetilde{{\mathcal {O}}}}}\) for type Q Lie superalgebras has been intensively studied in e.g. [6, 7, 18, 19]. However, the results in type Q are not yet as complete as, say, for \(\mathfrak {gl}(m\vert n)\). We conclude this subsection with more detailed analysis of two small rank examples for type Q superalgebras:
Example 49
For the Lie superalgebra \({\mathfrak {q}}_1\), we have that \(U({\mathfrak {q}}_1)\) is isomorphic to \({\mathbb {C}}[x]\), where x is odd. In particular, each simple supermodule is finite dimensional and thus belongs to \(\widetilde{{\mathcal {O}}}\). The set \({\mathcal {I}}\) is a singleton and we can choose it to consist of any fixed primitive ideal I. The set \({\mathrm {Irr}}^{{{\mathfrak {g}}}}(I)\) is also a singleton. In this case the classification provided by Theorem 46 is tautological.
Example 50
For the Lie superalgebra \({\mathfrak {q}}_2\), a classification of simple supermodules can be found in [36] where it is given in a slightly different language and is much more detailed. Namely, [36] defines a correspondence between primitive ideals of \(U({\mathfrak {q}}_2)\) and those of \(U(\mathfrak {gl}_2)\) and constructs explicit \(U({\mathfrak {q}}_2)\text {}U(\mathfrak {gl}_2)\)bimodules, tensoring with which provides a bijection between simple \(U(\mathfrak {gl}_2)\)modules and simple \(U({\mathfrak {q}}_2)\)supermodules with the annihilators connected by the defined correspondence. The description in Theorem 46 can be obtained from the description in [36] by putting together the classification pieces from [36] for primitive ideals connected by tensoring with finite dimensional (super)modules. In the \({\mathfrak {q}}_2\) case, there are two essentially different types of primitive ideals: those of finite codimension, for which Theorem 46 is tautological, just as in Example 49; and those of infinite codimension. In the first case, each \({\mathrm {Irr}}^{{{\mathfrak {g}}}}(I)\) is a singleton. In the second case, a classification of the elements in each \({\mathrm {Irr}}^{{{\mathfrak {g}}}}(I)\) can be obtained from the results of [5]. The set \({\mathcal {I}}\) can be chosen to consist of the annihilator of the trivial module, the annihilator of one fixed singular Verma module and the annihilator of one fixed simple Verma module in each weight lattice that does not contain any singular Verma modules.
Kac functor preserves finite type socle and finite type radical for Lie superalgebras of type I
In this section we prove the following observation which naturally connects to various previous parts of the paper. To state the most general result we work in the category \({\widetilde{{{\mathfrak {g}}}}}\)sMod of all supermodules.
Theorem 51
Let \({\widetilde{{{\mathfrak {g}}}}}={\widetilde{{{\mathfrak {g}}}}}_{1}\oplus {\widetilde{{{\mathfrak {g}}}}}_0\oplus {\widetilde{{{\mathfrak {g}}}}}_1\) be a Lie superalgebra of type I with \({{\mathfrak {g}}}:={\widetilde{{{\mathfrak {g}}}}}_0\) and \({{\mathfrak {p}}}:={\widetilde{{{\mathfrak {g}}}}}_0\oplus {\widetilde{{{\mathfrak {g}}}}}_1\). Then the corresponding Kac functor
(where \({\widetilde{{{\mathfrak {g}}}}}_1\) acts trivially on \({{\mathfrak {g}}}\)modules) sends modules with finite type socle (resp radical) to modules with finite type socle (resp. radical) preserving the length of the socle (resp. radical).
Proof
We start with the claim about the socle. Let \(V\in {{\mathfrak {g}}}\text {}{\mathrm {sMod}}\) be a module with finite type socle. Set \(d:=\dim {\widetilde{{{\mathfrak {g}}}}}_{1}\). Any \({\widetilde{{{\mathfrak {g}}}}}\)submodule of \(\mathrm {K}(V)\) intersects \(\Lambda ^{d}{\widetilde{{{\mathfrak {g}}}}}_{1}\otimes V\), see [10, Lemma 3.1]. The space \(\Lambda ^d{\widetilde{{{\mathfrak {g}}}}}_{1}\otimes S\), with S a simple submodule of V, therefore generates a simple \({\widetilde{{{\mathfrak {g}}}}}\)module of K(V) and moreover intersects \(\Lambda ^d{\widetilde{{{\mathfrak {g}}}}}_{1}\otimes V\) precisely in \(\Lambda ^d{\widetilde{{{\mathfrak {g}}}}}_{1}\otimes S\). This follows from considering K(V) as a \({\mathbb {Z}}\)graded module where elements of \({{\mathfrak {g}}}_{\pm 1}\) act as operators in degree \(\pm 1\). The submodule generated by \(\Lambda ^d{\widetilde{{{\mathfrak {g}}}}}_{1}\otimes \mathrm {soc}(V)\) is thus semisimple, essential and has same length as \(\mathrm {soc}(V)\).
We proceed with the claim about radical. By Remark 5(i) and (iii) it follows that K sends modules with finite type radical to modules with superfluous radical. For an arbitrary \({{\mathfrak {g}}}\)module M and \({\widetilde{{{\mathfrak {g}}}}}\)module N, we have
The above equation and [10, Theorem 4.1(i)] imply that \(S_L:=L^{{{\widetilde{{{\mathfrak {g}}}}}}_1}\) is a simple \({{\mathfrak {g}}}\)module for each simple \({\widetilde{{{\mathfrak {g}}}}}\)module L, and the map \(L\mapsto S_L\) induces a bijection of isomorphism classes of simple modules. For an arbitrary \({{\mathfrak {g}}}\)module M and a simple \({\widetilde{{{\mathfrak {g}}}}}\)module L we thus have
Consequently, if M has finite type radical, the length of the top of M and K(M) coincide. \(\square \)
As an immediate corollary, we obtain the following. We call a Borel subalgebra \({\widetilde{{{\mathfrak {b}}}}}\) of \({\widetilde{{{\mathfrak {g}}}}}\) distinguished if it is of the form \({{\mathfrak {b}}}\oplus {{\mathfrak {g}}}_{1}\), for a Borel subalgebra \({{\mathfrak {b}}}\) of \({{\mathfrak {g}}}\).
Corollary 52
All Verma supermodules with respect to distinguished Borel subalgebras over all Lie superalgebras of type I have simple socle.
Proof
Verma supermodules over Lie superalgebras of type I can be obtained from Verma modules over Lie algebras using Kac functor. Therefore the claim follows from Theorem 51 and [16, Proposition 7.6.3(i)]. \(\square \)
References
 1.
Beilinson, A., Bernštein, I.N.: Localisation de gmodules. C. R. Acad. Sci. Paris Sér. I Math. 292(1), 15–18 (1981)
 2.
Bell, A., Farnsteiner, R.: On the theory of Frobenius extensions and its application to Lie superalgebras. Trans. Am. Math. Soc. 335(1), 407–424 (1993)
 3.
Bernstein, J., Gelfand, S.: Tensor products of finite and infinitedimensional representations of semisimple Lie algebras. Compos. Math. 41(2), 245–285 (1980)
 4.
Bernstein, I., Gelfand, I., Gelfand, S.: A certain category of \({\mathfrak{g}}\)supermodules. Funkc. Anal. i Priloz. 10, 1–8 (1976)
 5.
Block, R.: The irreducible representations of the Lie algebra \({\mathfrak{sl}}(2)\) and of the Weyl algebra. Adv. Math. 39, 69–110 (1981)
 6.
Brundan, J.: Kazhdan–Lusztig polynomials and character formulae for the Lie superalgebra \({\mathfrak{q}}(n)\). Adv. Math. 182(1), 28–77 (2004)
 7.
Brundan, J., Davidson, N.: Type A blocks of super category \({\cal{O}}\). J. Algebra 473, 447–480 (2017)
 8.
Brylinski, J., Kashiwara, M.: Kazhdan–Lusztig conjecture and holonomic systems. Invent. Math. 64(3), 387–410 (1981)
 9.
Chen, C.W., Coulembier, K.: The primitive spectrum and category \({\cal{O}}\) for the periplectic Lie superalgebra. Can. J. Math. arXiv:1805.08885
 10.
Chen, C.W., Mazorchuk, V.: Simple supermodules over Lie superalgebras. arXiv:1801.00654
 11.
Chen, C.W.: Reduction method for representations of queer Lie superalgebras. J. Math. Phys. 57, 051703 (2016)
 12.
Cheng, S.J., Wang, W.: Dualities and Representations of Lie Superalgebras. Graduate Studies in Mathematics, vol. 144. American Mathematical Society, Providence (2012)
 13.
Cheng, S.J., Wang, W.: Character formulae in category \({\cal{O}}\) for exceptional Lie superalgebras \(D(21;\zeta )\). Transform. Groups 24(3), 781–821 (2019)
 14.
Cheng, S.J., Mazorchuk, V., Wang, W.: Equivalence of blocks for the general linear Lie superalgebra. Lett. Math. Phys. 103(12), 1313–1327 (2013)
 15.
Coulembier, K.: The primitive spectrum of a basic classical lie superalgebra. Commun. Math. Phys. 348(2), 579–602 (2016)
 16.
Dixmier, J.: Enveloping Algebras. Graduate Studies in Mathematics, vol. 11. American Mathematical Society, Providence (1996)
 17.
Duflo, M.: Sur la classification des idéaux primitifs dans l’algèbre enveloppante d’une algèbre de Lie semisimple. Ann. Math. (2) 105(1), 107–120 (1977)
 18.
Frisk, A.: Typical blocks of the category \({\cal{O}}\) for the queer Lie superalgebra. J. Algebra Appl. 6(5), 731–778 (2007)
 19.
Frisk, A., Mazorchuk, V.: Volodymyr regular strongly typical blocks of \({\cal{O}}_{{\mathfrak{q}}}\). Commun. Math. Phys. 291(2), 533–542 (2009)
 20.
Geck, M.: Kazhdan–Lusztig cells and the Murphy basis. Proc. Lond. Math. Soc. (3) 93(3), 635–665 (2006)
 21.
Gorelik, M.: On the ghost centre of Lie superalgebra. Ann. Inst. Fourier (Grenoble) 50(6), 1745–1764 (2000)
 22.
Gorelik, M.: Annihilation theorem and separation theorem for basic classical Lie superalgebras. J. Am. Math. Soc. 15(1), 113–165 (2002)
 23.
Greenstein, J., Mazorchuk, V.: Koszul duality for semidirect products and generalized Takiff algebras. Algebr. Represent. Theory 20(3), 675–694 (2017)
 24.
Humphreys, J.: Representations of Semisimple Lie Algebras in the BGG Category \({\cal{O}}\). Graduate Studies in Mathematics, vol. 94. American Mathematical Society, Providence (2008)
 25.
Irving, R.: A filtered category \({\cal{O}}_S\) and applications. Mem. Am. Math. Soc. 83, 419 (1990)
 26.
Irving, R., Shelton, B.: Loewy series and simple projective modules in the category \({\cal{O}}_S\). Pac. J. Math. 132(2), 319–342 (1988)
 27.
Jantzen, J.: Einhüllende Algebren halbeinfacher LieAlgebren. Ergebnisse der Mathematik und ihrer Grenzgebiete (3), vol. 3. Springer, Berlin (1983)
 28.
Joseph, A.: Kostant’s problem, Goldie rank and the Gelfand–Kirillov conjecture. Invent. Math. 56(3), 191–213 (1980)
 29.
Kazhdan, D., Lusztig, G.: Representations of Coxeter groups and Hecke algebras. Invent. Math. 53(2), 165–184 (1979)
 30.
Khomenko, O., Mazorchuk, V.: Structure of modules induced from simple modules with minimal annihilator. Can. J. Math. 56(2), 293–309 (2004)
 31.
Knapp, A.W.: Lie Groups, Lie Algebras, and Cohomology. Mathematical Notes, vol. 34. Princeton University Press, Princeton (1988)
 32.
Kostant, B.: On the tensor product of a finite and an infinite dimensional representation. J. Funct. Anal. 20(4), 257–285 (1975)
 33.
Krause, G., Lenagan, T.: Growth of Algebras and Gelfand–Kirillov Dimension. Graduate Studies in Mathematics, vol. 22. American Mathematical Society, Providence (2000)
 34.
Mackaay, M., Mazorchuk, V., Miemietz, V., Zhang, X.: Analogues of centralizer subalgebras for fiat 2categories and their 2representations. J. Inst. Math. Jussieu. arXiv:1802.02078
 35.
Mazorchuk, V.: Parabolic Category \({\cal{O}}\) for Classical Lie Superalgebras. Advances in Lie Superalgebras, Springer INdAM Ser., vol. 7, pp. 149–166. Springer, Cham (2014)
 36.
Mazorchuk, V.: Classification of simple \({\mathfrak{q}}_2\)supermodules. Tohoku Math. J. (2) 62(3), 401–426 (2010)
 37.
Mazorchuk, V., Miemietz, V.: Serre functors for Lie algebras and superalgebras. Ann. Inst. Fourier 62(1), 47–75 (2012)
 38.
Mazorchuk, V., Stroppel, C.: Categorification of (induced) cell modules and the rough structure of generalised Verma modules. Adv. Math. 219(4), 1363–1426 (2008)
 39.
Miličić, D., Soergel, W.: The composition series of modules induced from Whittaker modules. Comment. Math. Helv. 72(4), 503–520 (1997)
 40.
Musson, I.: Lie Superalgebras and Enveloping Algebras. Graduate Studies in Mathematics, vol. 131. American Mathematical Society, Providence (2012)
 41.
Soergel, W.: The combinatorics of Harish–Chandra bimodules. J. Reine Angew. Math. 429, 49–74 (1992)
 42.
Stafford, J.: Nonholonomic modules over Weyl algebras and enveloping algebras. Invent. Math. 79(3), 619–638 (1985)
Acknowledgements
Open access funding provided by Uppsala University. ChihWhi Chen is partially supported by Vergstiftelsen. Kevin Coulembier is supported by the Australian Research Council. Volodymyr Mazorchuk is partially supported by the Swedish Research Council and the Göran Gustafsson Foundation.
Author information
Affiliations
Corresponding author
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Chen, CW., Coulembier, K. & Mazorchuk, V. Translated simple modules for Lie algebras and simple supermodules for Lie superalgebras. Math. Z. 297, 255–281 (2021). https://doi.org/10.1007/s0020902002510y
Received:
Accepted:
Published:
Issue Date:
Keywords
 Lie algebra
 Simple module
 Tensor product
 Socle
 Lie superalgebra
 Simple supermodule
 Rough structure
Mathematics Subject Classification
 17B10
 17B55