Translated simple modules for Lie algebras and simple supermodules for Lie superalgebras

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 k, we consider modules of the form S ⊗ E, where S is a simple (but not necessarily finite dimensional) k-module and E is a finite dimensional k-module. The module S ⊗ E is always noetherian and it is natural to ask, see e.g. [Ko,Section 1.3], whether S ⊗ E is artinian. The latter is true, for example, if k ∼ = sl 2 (C). However, in the general case the answer is negative, see [St,Theorem 4.1] for k = sl 2 (C) ⊕ sl 2 (C).
In the first half of the present paper, we investigate the following two questions. Q1: Does the quotient of S ⊗ E by its radical have finite length? Q2: Is the socle of S ⊗ E is an essential submodule?
Note that, since the module S ⊗ 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 C of type A. For the latter we apply the theory of projective functors of [BG] 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 g be a finite dimensional Lie superalgebra and g0 be the Lie algebra forming the even part of g. A basic problem in the representation theory of g is classification of simple 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 g0-modules. In [CM] it was shown that for type I Lie superalgebras there is a natural bijection between simple g-supermodules and simple g0-supermodules (i.e. pairs consisting of a simple g0-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 g0 has type A. The crucial ingredient in the proof is the fact that any gsupermodule is a quotient of an induced g0-module. And this latter fact follows from the fact that, in case g0 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: Section 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 C. Section 5 deals with the very specific case of a sum of copies of sl 2 . In Section 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, Section 8 describes behavior of Kac induction functor, with respect to socles and radicals, for Lie superalgebras of type I.
Acknowledgements. The first author is partially supported by Vergstiftelsen. The second author is supported by the Australian Research Council. The third author is partially supported by the Swedish Research Council and the Göran Gustafsson Foundation.

Preliminaries on socles and radicals
We denote by N the set of all non-negative integers and by Z >0 the set of all positive integers. Definition 1. We will say that an R-module M has finite type socle if (a) soc(M ) has finite length (and hence is a finite direct sum of simple modules); (b) 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 soc(M ) has finite length, then M has finite type socle if and only if all non-zero submodules of M have non-zero socle.
(iii) If M is noetherian, then soc(M ) has finite length.
The radical rad(M ) is the intersection of all maximal submodules of M . By convention, we have rad(M ) = M in case M has no maximal submodules.
Remark 3. Equivalently, 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 ∈ 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 ∈ 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 ∈ rad(M ) ⊂ N .
Definition 4. We will say that an R-module M has finite type radical if (a) M/rad(M ) has finite length; (b) rad(M ) is a superfluous submodule of M .
(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/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 rad(N ) = 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 rad(M ) is superfluous. This follows easily from Remark 3. For an R-module M , consider a filtration F • M of M of length p ∈ N: For a short exact sequence These yield filtrations F • M 1 and F • M 2 of M 1 and M 2 , and short exact sequences For a simple R-module L, the multiplicity [M : where F • 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 C which is (at most) countably generated. If an R-module M has finite type radical and simple top S, then for all R-modules N .
Proof. Since M/rad(M ) is simple and rad(M ) superfluous, it follows that every proper submodule of M is contained in rad(M 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.
2.2. Lie algebras. Let k be a field and k a finite dimensional Lie algebra over k.
The universal enveloping algebra of k will be denoted by U := U (k) and the center of U by Z = Z(k). Denote by Θ the set of central characters χ : Z(k) → C. We set m χ = ker χ, for all χ ∈ Θ.
We denote by U -mod the abelian category of all finitely generated left U -modules. For χ ∈ Θ, denote by U -mod χ the full subcategory of U -mod consisting of all modules on which the action of m χ is locally nilpotent. Set For each χ ∈ Θ, we denote by Pr χ the projection from U -mod Z to U -mod χ with respect to the decomposition above.
Let F denote the category of all finite dimensional U -modules. We denote the duality Hom k (−, k) on F by * , where the left module structure is obtained using the anti-automorphism of U given by X → −X, for X ∈ k.
For a finite dimensional module E, we have the corresponding exact endofunctor F E = −⊗E of U -mod. The functor F E is left and right adjoint to F E * , see e.g. [BG,§2.1(d)]. In case of a semisimple algebra g, the direct summands of the restriction to U -mod Z of the functors F E are known as projective functors, see [BG].
For any M ∈ U -mod, we denote by Ann(M ) the two-sided ideal in U that consists of all elements which annihilate every vector in M . The arguments in [Ja,Kapitel 5] show that, for any M 1 , M 2 ∈ U -mod, E ∈ F and χ ∈ Θ, we have 2.3. Gelfand-Kirillov dimension and Bernstein number. We fix an arbitrary field k and a finite dimensional Lie algebra k over k. Consider the filtration where U n is spanned, as a vector space, by all products of n or fewer elements of k. By the PBW theorem, the associated graded algebra gr(U ) is isomorphic to the the symmetric algebra S(k). This allows us to use an alternative definition of Gelfand-Kirillov dimension, see [KrL,Section 7].
For a (non-zero) finitely generated left U -module M , with generating subspace M 0 , set M n = U n M 0 , for all n ∈ N. There exists n 0 ∈ N, such that we have d ∈ N and By [Ja,Lemma 8.8], for any M ∈ U -mod and E ∈ F , we have The following statement can be found in [KrL,Theorem 7.7].
By the discussion at the end of Section 2.1, we have the following observation.
Lemma 10. Assume that M ∈ U -mod admits a GK-complete filtration. If N is a subquotient of M with the same Gelfand-Kirillov dimension, then N admits a GK-complete filtration as well.
2.4. Triangular decomposition. In this section we assume that g is a semisimple Lie algebra over C. In order to recall the classification of projective functors for g from [BG], it is convenient to choose a triangular decomposition of g with h a Cartan subalgebra and b = h ⊕ n + a Borel subalgebra. Denote by Φ ⊂ h * the set of roots of g with respect to h. We have Φ = Φ + ⊔ Φ − , with Φ + = −Φ − being the roots of n + . For each root α ∈ Φ, we have the coroot h α ∈ h.
For each E ∈ F , we denote by supp(E) ⊂ Λ the support of E, that is the set of all h-weights of E. Then we have For a coset Γ ∈ h * /Λ, we have the integral Weyl group W Γ ⊂ W , which is generated by all reflections corresponding to α ∈ Φ for which λ(h α ) ∈ Z, where λ ∈ Γ.
We introduce the partial order ≤ on h * which is generated by µ ≤ λ, if µ = s α λ, Associated to the triangular decomposition above, we have the BGG category O defined as the full subcategory of U -mod consisting of all weight modules which are locally U (n + )-finite, see [BGG, Hu]. We denote by ρ the half of the sum of all elements of Φ + . For λ ∈ h * , we have the Verma module ∆ The unique simple quotient of ∆ λ is denoted by L λ and the projective cover of L λ in O is denoted by P λ .
2.5. Projective functors for semisimple Lie algebras. We keep the notation and assumptions of the previous subsection. Following [BG,Section 1.4], we have the set We set Ξ = Ξ 0 /W , for the diagonal action of W on h * ×h * . Each class in Ξ contains at least one (µ, λ), where λ is dominant and µ is such that µ ≤ wµ, for all w ∈ W λ . We call such a pair a proper representative. The following claim can be found in [BG,Theorem 3.3].
Lemma 11. Each projective functor on U -mod Z decomposes into a finite direct sum of indecomposable projective functors. We have a bijection ξ → F (ξ) between Ξ and the set of isomorphism classes of indecomposable projective functors as follows. For each proper representative (µ, λ) of ξ ∈ Ξ, the functor F µ 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 non-integral central characters, we have several ways of denoting the same indecomposable projective functor. The first claim of the following lemma can be found in [BG,Theorem 4.1] while the second claim can be found in [Ja,§4.13].
(i) If W λ = W µ , then we have an equivalence of categories (ii) If W λ = {e}, then we take the longest element w µ 0 of W µ and set λ ′ = w µ 0 λ.
Denote by U -mod 0 χ the full subcategory of U -mod χ consisting of all modules M with m χ ⊂ Ann(M ). The following claim can be found in [BG,Theorem 3.5].
Lemma 13. Let λ ∈ h * be dominant and (λ, µ 1 ) and (λ, µ 2 ) be proper representatives. Evaluation yields an isomorphism 2.6. Kazhdan-Lusztig combinatorics and type A. We keep the notation and assumptions of the previous subsection.
For a fixed regular dominant λ ∈ Λ, we use the notation θ x := F xλ λ , for all x ∈ W . It then follows from the validity of the Kazhdan-Lusztig conjecture, see [BB, BK] and Lemma 11, that the composition of the projective functors θ x is governed by Kazhdan-Lusztig combinatorics. Concretely, if we have the Kazhdan-Lusztig basis {C ′ w |w ∈ W } of the group ring ZW (i.e. the Hecke algebra of W specialized at q = 1) of [KaL,§1], then we have for the same coefficients h x,y,z ∈ Z ≥0 , see [Ir,Corollary 5.2.4].
Consequently, the Kazhdan-Lusztig preorders of [KaL,§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 on the set of (isomorphism classes of) indecomposable projective functors. We say that F G if G appears as a direct summand of F ′ • F • F ′′ , for some projective functors F ′ , F ′′ . We have the corresponding equivalence relation, denoted F ∼ G, which means that F G F . Equivalence classes for ∼ are called two-sided 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 can be described in terms of the dominance order on partitions using the Robinson-Schensted correspondence, see [Ge,Theorem 5.1]. As a consequence, each two-sided Kazhdan-Lusztig cell contains the longest element of some parabolic subgroup. Another consequence (see [Ge,Corollary 5.6]) is that a left and a right cell inside the same two-sided cell intersect in at most one element. By the above and [Ge,Theorem 5.3] this translates into two well-known facts for Lie algebras of type A.
Fact 1: There exists x ∈ W , which is the longest element of a parabolic subgroup such that θ ∼ θ x .
We translate these facts into the formulation that we will require.
Lemma 14. Assume g is of type A and fix a ∼-equivalence class of projective functors.
(ii) No other indecomposable projective endofunctors of U -mod η(µ) 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 ∼ G, for some endofunctor G of U -mod η(λ) , where λ is any fixed dominant regular weight in η −1 (χ 1 ) + Λ.
Assume, for simplicity, that λ is integral. The non-integral 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 ∼ θ x0 , for the longest element x 0 of some parabolic subgroup of W . Take some dominant µ ∈ Λ such that W µ is this parabolic subgroup. Then The second equation shows that there exists an indecomposable summand H ′ 1 of H 1 for which we have H ′ 1 ∼ H ∼ θ x0 . By Fact 2, the first equation therefore implies that H ′ 1 = θ x0 . Applying the second equation again together with Lemma 12(ii) then shows that Id η(µ) must appear as a direct summand in H ⊕|Wµ| 2 . This is only possible if H = Id η(µ) . This concludes the proof of part (ii).
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 two-sided cell having the 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 [MMMZ, Appendix].

Arbitrary Lie algebras
Fix a finite dimensional Lie algebra k over a field k and set U = U (k).

Connection with GK dimension.
Theorem 16. Fix a simple U -module S and E ∈ F . Then T := S ⊗ E has finite type radical, and soc(T ) has finite length. Furthermore, the following are equivalent: (a) The module T = S ⊗ E has finite type socle.
(c) Every non-zero submodule of T contains a simple subquotient of Gelfand-Kirillov dimension GK(S).
We start the proof with the following lemma.
Lemma 17. With T as in Theorem 16, for any short exact sequence of U -modules Proof. We prove that GK(M 1 ) = GK(S). The statement for M 2 is proved similarly. By Lemma 8(i) and equation (2.3), we have GK(M 1 ) ≤ GK(S). By adjunction Hence, S is a quotient of M 1 ⊗ E * . Lemma 8(i) and equation (2.3) thus imply that GK(S) ≤ GK(M 1 ), which concludes the proof.
Lemma 18. There exists k ∈ Z ≥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 GK(S). By Lemma 8(ii), we can thus choose k = e(T ).
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 /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.
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 non-zero N ⊗ E * → S and consider the corresponding non-zero morphism α : N → S ⊗ E. The image im(α) is a submodule of S ⊗ E and thus has a non-zero socle by assumption. We take a simple module L in that socle, which, by construction, is a subquotient of N . The inclusion L ֒→ S ⊗ E yields a non-zero morphism L ⊗ E * → 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 := GK(S). To obtain a contradiction via Remark 2(ii), we assume we have a non-zero submodule M of T with zero socle. Assume we have [M : L] = 0, for some simple U -module L with GK(L) = d. We thus must have submodules Since M has zero socle, we have M 1 = 0. By construction, M 1 is again a submodule of T with zero socle. By Lemma 17, we have GK(M 1 ) = d = GK(M ). By Lemma 8(ii), we have e(M ) > e(M 1 ) > 0. This means that, after repeating the above construction M → M 1 a finite number times, we obtain a non-zero submodule N of M (and hence of T ) with zero socle, and such that [N : L] = 0, for all simple U -modules with 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.
Corollary 20. If T = S ⊗ E admits a GK-complete filtration, it has finite type socle.
Proof. By Lemmata 10 and 17, any submodule of T has a GK-complete filtration. Assume that T does not have finite type socle. By Theorem 16, this means that T has a submodule N with GK(N ) = d and such that [N : L] = 0, for all simple modules L with GK(L) = d. Hence N cannot have a GK-complete filtration, a contradiction.
Theorem 21. Let S be a simple U -module with central character χ ∈ Θ. If F (S) has finite type socle, for each projective endofunctor F of U -mod χ , then we have the following: (i) The module S ⊗ E has finite type socle, for each E ∈ F .
(ii) The module S ′ ⊗ E has finite type socle, for each E ∈ F and simple submodule Proof. We start by proving Claim (i). We set d = GK(S) and use the equivalence between (a) and (c) in Theorem 16. We thus take an arbitrary submodule N of S ⊗ E. By adjunction, we have a non-zero morphism N ⊗ E * → S, which implies Pr By assumption, the socle of the right-hand 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 left-hand side. Note that GK(L) = d by Lemma 17. So L is a submodule of N ⊗ E * , which leads through adjunction to a non-zero morphism L ⊗ E → N . Since L ⊗ E has finite type radical, there is a simple submodule L 1 of top(L ⊗ E) such that [N : L 1 ] = 0. By Lemma 17, we have GK(L 1 ) = d. Claim (i) thus follows from Theorem 16.
Now we consider the set-up of claim (ii). By construction, S ′ ⊗ E is a submodule of S ⊗V ⊗E. By claim (i), the latter has finite type socle, completing the proof.
3.3. Application to Lie superalgebras. Let s = s0 ⊕ s1 be a finite dimensional Lie superalgebra over k, see [Mu,Chapter 1]. The universal enveloping algebra U = U (s) of s is a Z 2 -graded associative algebra and a finite ring extension of U = U (s0).
In the following we use the term simple U -module to denote any of the following two notions (I) A simple U -module, without any reference to the Z 2 -grading; (II) A Z 2 -graded U -module which has no proper graded submodules.
Proposition 22. Assume that S ⊗ E has finite type socle, for every simple U -module S and any E ∈ F . Then every simple U -module is a quotient of a module of the form U ⊗ U L, for some simple U -module L.
Proof. Consider a simple U -module K in the sense of (I). In particular, it is generated by any vector in K. We denote by Res the restriction functor from Umodules to U -modules, with left adjoint Ind and right adjoint Coind. Since Res(K) is finitely generated, it is a noetherian U -module. Consequently, there is a simple U -module S with non-zero morphism Res(K) → S. By adjunction, we have an inclusion K ֒→ Coind S. Applying the exact restriction functor gives Since the right-hand side has finite type socle, there is a simple U -module L, for which we have an inclusion L ֒→ Res(K). Applying adjunction shows that we have a surjection Ind L ։ K.
Consider a simple U -module K in the sense of (II). In particular, it is generated by any vector in K0 ∪ K1. We can follow the above procedure and make sure all relevant morphisms respect the Z 2 -grading. Any such morphism to or from a simple graded U -module will then again automatically be surjective or injective, respectively. The claim follows.

Semisimple Lie algebras over C
In this section, we work under the assumptions that k = C and that the Lie algebra g is semisimple.
Theorem 23. If g is of type A, then every module S ⊗ E, for S simple and E finite dimensional, has finite type socle.
Proof. Let S be an arbitrary simple module with central character χ. Consider an indecomposable projective functor F such that F (S) = 0 and for which every indecomposable projective functor G F with G(S) = 0 satisfies G ∼ F . Note that this is possible since we only have finite chains We consider the equivalence class generated by F and take µ ∈ h * as in Lemma 14.
Since, by assumption, F ∼ Id η(µ) , we have projective functors and Now we have that F 1 S is not zero. Since F 1 S has finite type radical, we can choose a simple quotient L of F 1 S. By adjunction, we find that S is a submodule of G 1 L, 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 -mod η(µ) . 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 1 S = 0, since the statement in Lemma 14(ii), implies that H ′ F with H ′ ∼ F , for any indecomposable direct summand H ′ of HF 1 .

Low ranks in Type B and C.
Theorem 24. For g = B n = so 2n+1 or g = C n = sp 2n , with 1 ≤ n ≤ 4, every module S ⊗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 ∈ {2, 3, 4}. In these cases, Fact 1 of Section 2.6 remains true, see [MMMZ, Appendix], where elements x 0 are printed in bold font. Consequently, Lemma 14(i) remains valid. Note that [MMMZ, 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 [MMMZ, Appendix] that, in those cases where we have some indecomposable projective end- , see the proof of [MMMZ,Theorem 31].
As in the proof of Theorem 23 it suffices to prove the following claim. Let L be a simple module in U -mod η(µ) which is annihilated by all projective endofunctors which are not in the equivalence class of Id η(µ) , then HL has finite type socle for each projective endofunctor H of U -mod η(µ) . In those cases where Id η(µ) 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 -mod η(µ) not in the class of Id η(µ) (in fact, F is an equivalence between appropriate subcategories of modules). Consequently F L is a simple module.
Remark 25. We can use the same arguments as in the proof of Theorem 24 for semisimple Lie algebras g = k ⊕ l, with k of type A and l of type B n or C n , for 1 ≤ n ≤ 4. Note that the arguments fail when we consider k ⊕ l, with both k and l of low rank type B and C.
4.3. Regular central character reduction for semisimple Lie algebras. Now we return to arbitrary semisimple Lie algebras over C. We will show that for Q2, it will suffice to consider simple modules with regular central character.
Theorem 26. Take central characters χ r and χ s with χ r regular and χ s singular. Take dominant λ ∈ η −1 (χ r ) and µ ∈ η −1 (χ s ) and assume λ − µ ∈ Λ. Set θ on = F µ λ and θ out = F λ ′ µ , with λ ′ = w µ 0 λ, and set n = |W µ |. Denote by sim r and sim s the set of isomorphism classes of simple modules with central character χ r or χ s , respectively, and set (ii) For L ∈ sim s , the module θ out L has simple and finite type socle.
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 θ on and θ out and θ on θ out = Id ⊕n , freely.
Lemma 28. For a simple module L with central character χ s and a non-zero submodule or quotient N of θ out L, we have θ on N ∼ = L ⊕k with 1 ≤ k ≤ n. Moreover, for any simple module S, we have Hom g (S, θ out L) ∼ = Hom g (θ out L, S).
Proof. We consider a quotient N , the proof for submodules being identical. By exactness of θ on , we find that θ on N is a quotient of L ⊕n . Since we have a nonzero morphism θ out L → N , we have a non-zero morphism L → θ on N , so we find θ on N = 0.
By the above, both sides of the proposed isomorphism are zero unless θ on S is semisimple. In the latter case, we have Hom g (S, θ out L) ∼ = Hom g (θ on S, L) ∼ = Hom g (L, θ on S) ∼ = Hom g (θ out L, S), which concludes the proof.
Lemma 29. Let M ∈ U -mod 0 χs and End(θ 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 α : θ out ⇒ θ out . Then θ on (α) is a natural transformation Id ⊕n ⇒ Id ⊕n . By Lemma 13, we have End(Id ⊕n ) = Mat n (End(Id)), with End(Id) consisting only of scalar multiples of the identity natural transformation Id ⇒ Id. Hence a non-zero element in End(Id ⊕n ) evaluated at a non-zero module always yields a non-zero morphism. We claim that θ on (α) is not zero. It then follows that θ on (α) evaluated at any module M in U -mod 0 χs is not zero, so in particular α M is not zero.
Hence, by Lemma 13 the dimensions of End g (θ out L) and End(θ out ) agree and the monomorphism must be an isomorphism.
Alternative proof. We view θ out as a functor from U -mod 0 χs to the full subcategory C of U -mod χr of modules isomorphic to modules of the form θ out N , with N in U -mod 0 χs . By construction, for this interpretation of θ out , End(θ out ) coincides with the algebra of natural transformations as in Lemma 13. Now the restriction of θ on to C has image contained in U -mod 0 χs . Moreover, it also follows that (θ on , θ out ) is still a pair of bi-adjoint functors, in the above interpretation.
By construction, we have to interpret Nat(Id, Id ⊕n ) as natural transformations with Id viewed as an endofunctor of U -mod 0 χs . However, this does not differ from the space of natural transformations as in Lemma 13. Hence, dim Nat(Id, Id ⊕n ) = n and the space just consists of linear combinations of identity natural transformations of 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. Proof. By combining [So,Theorem 12] and Lemma 13, it follows that the algebra End(θ out ) is isomorphic to the coinvariant algebra of W µ , where µ ∈ η −1 (χ s ) is dominant. In particular, it has simple socle. By Lemma 28, the top and socle of θ out S are isomorphic. If the top and socle are not simple then this clearly contradicts the fact that End(θ out ) ∼ = End g (θ out L) (see Lemma 29) must have simple socle.
On the other hand, we have θ on S = L ⊕k , for some k ≥ 1, by Lemma 28. Applying the exact functor θ on on θ out L thus yields Hence we find k = 1 and [θ out L : S] = n.
Proof of Theorem 26. Take some simple module S ∈ sim s r , then θ on S is non-zero and has finite type radical. In particular, there exists a simple module L with non-zero morphisms θ on S → L and S → θ 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 θ out L contains a simple subquotient of Gelfand-Kirillov dimension GK(L). For a submodule N ⊂ θ out L, Lemma 28 implies there exists a non-zero morphism L ֒→ θ on N . By adjunction, there is a non-zero morphism θ out L → N . Since θ out L has finite type radical and all simple quotients have Gelfand-Kirillov dimension GK(L) by Lemma 17, we find that N contains a simple subquotient of Gelfand-Kirillov dimension GK(L).
For a simple U -module S, we denote by S ⊗ F the full subcategory of the category of all g-modules consisting of all modules isomorphic to the ones of the form S ⊗ E, with E ∈ F .
Proposition 31. If, for every simple module S with regular central character, all modules in S ⊗ F have finite type socle (resp. a GK-complete filtration), then, for every simple module L, all modules in L ⊗ F have finite type socle (resp. a GK-complete filtration).
Proof. By Theorem 26, for every simple module L, there exists a simple module S with regular central character and V ∈ F such that L is a direct summand of S ⊗V .
Hence each module in L ⊗ F is a direct summand of a module in S ⊗ 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 GK-complete filtrations follows from Lemmata 17 and 10.
Corollary 32. Let w ′ 0 be the longest element of a Coxeter subgroup W ′ ⊂ W and S a simple module with integral regular central character. If θ w ′ 0 S = 0, then θ x S has finite type socle, for all x ∈ W ′ .
Proof. We fix some dominant and integral µ such that W µ = W ′ . Then we can write θ w ′ 0 = θ out θ on using the notation as in Theorem 26. From Theorem 26 it follows that θ w ′ 0 S has finite type socle and S = soc(θ w ′ 0 S). From Kazhdan-Lusztig combinatorics it follows that θ x θ w ′ 0 is a direct sum of copies of θ w ′ 0 . Hence θ x S is a submodule of a direct sum of copies of θ w ′ 0 S and also has finite type socle.

Direct sums of copies of sl 2
In this section, we fix j ∈ Z >0 and set g = sl 2 (C) ⊕j . For this g, we can strengthen Theorem 23 as follows.
Theorem 33. For g = sl 2 (C) ⊕j and any simple g-module S and E ∈ F , the module S ⊗ E has a GK-complete filtration. Moreover, if j = 1, then S ⊗ E even has finite length.
We label the j copies of sl 2 by the index 1 ≤ i ≤ j. We denote by ǫ i ∈ h * the weight half the positive root of the i-th copy. Accordingly, we write λ = λ i ǫ i , with λ i ∈ C, for λ ∈ h * . The Weyl group acts on h * by changing signs for the λ i . For 1 ≤ i ≤ j, we denote by V i ∼ = C 2 the natural module for the i-th copy of sl 2 , interpreted as a module for g in the obvious way. So, in this way we have supp(V i ) = {ǫ i , −ǫ i }.
Fix i such that 1 ≤ i ≤ j. Denote by mod i the full subcategory of U -mod consisting of all modules M on which the i-th copy of sl 2 ⊂ g acts locally finitely. Clearly, − ⊗ V i restricts to an endofunctor on mod i . We also denote by sim i the set of isomorphism classes of simple g-modules which are not in mod i .
Lemma 34. Take a simple module S ∈ sim i . Then we have S 1 , S 2 ∈ sim i and a filtration of with F 2 T ∼ = S 2 and T /F 1 T ∼ = S 1 .
If j = 1, so g = sl 2 , the module S ⊗ V i has finite length.
Assume first that λ i ∈ Z. It follows from and Lemmata 11 and 12(i) that − ⊗ V i restricted to U -mod χ decomposes into a direct sum of an equivalence with U -mod η(λ+ǫi) and U -mod η(λ−ǫi) . Hence S ⊗ V i is a direct sum of two simple modules. That both are in sim i follows by adjunction.
If λ i ∈ Z >1 , the argument of the previous paragraph still applies.
If λ = 1, we still have equation (5.1). We write θ on = F λ−ǫi λ , as in Section 4.3. By Lemmata 11 and 12(i), S ⊗ V i is a direct sum of a simple module and θ on S. By Theorem 26(i), the latter module is zero or simple.
Finally, we consider λ i = 0, which implies We write θ out = F λ−ǫi λ as in Section 4.3. Lemma 11 implies that S ⊗ V i ∼ = θ out S. That S ⊗ V i is of the desired form then follows from Theorem 26(i).
For g = sl 2 , equation (2.2) thus implies that F 1 T /F 2 T 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 1 T /F 2 T is finitely generated and thus finite dimensional.
Lemma 35. Let S be a simple U -module in mod i . Then S ⊗ V i is a direct sum of simple modules in mod i .
Proof. Let χ be the central character of S. The explicit description of the generator of the center in the universal enveloping algebra of sl 2 implies that any dominant λ ∈ η −1 (χ) satisfies λ i ∈ Z >0 . It then follows from the same arguments as in Lemma 34 that S ⊗ V i is simple, if λ i = 1, and is a direct sum of two simple modules if λ i > 1.
Corollary 36. For any simple g-module S and 1 ≤ i ≤ j, the module S ⊗ V i has a GK-complete filtration.
Proof. By Lemma 35, we can assume S ∈ sim i .
We fix an arbitrary d ∈ N. First we define an equivalence relation on simple g-modules in sim i with Gelfand-Kirillov dimension d. We let ∼ be the minimal equivalence relation generated by relation S ∼ S ′ if we have a non-zero morphism S ⊗ V i → S ′ or S ′ → S ⊗ V i . Since V i is self-dual, this is indeed an equivalence relation.
Take a simple module S with GK(S) = d and e(S) minimal in its equivalence class. Set e := e(S). By equation (2.3), we have e(S ⊗ V i ) = 2e. The simple modules S 1 , S 2 in Lemma 34 thus satisfy e(S 1 ) + e(S 2 ) ≤ 2e by Lemma 8(ii). By minimality of e, we thus have e(S 1 ) = e = e(S 2 ). With notation of Lemma 34, it follows that we have GK(F 1 T /F 2 T ) < d. Consequently S ⊗ V i has a GK-complete 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 ⊗ 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 e(S). Hence the condition for S to have minimal e(S) in its equivalence class was not actually a restriction. This completes the proof.
Proof of Theorem 33. Every finite dimensional g-module is a direct sum of a module of the form The claim for sl 2 follows from Lemma 34. 6. Lie superalgebra preliminaries 6.1. Setup. In this section, we will introduce the setup of Lie superalgebras. We refer to [CW, Mu] for more details. From now on we work over the field C of complex numbers.
We let g be a finite-dimensional Lie superalgebra with Z 2 -graded decomposition From now on we assume that g := g0 is a reductive Lie algebra of type A and that g1 is a semi-simple g0-module. The Weyl group W of g is defined to be the Weyl group of the reductive Lie algebra g and we keep notation and terminology of Section 2.4.
Let V = V0 ⊕ V1 be a superspace. For a given homogeneous element v ∈ V i , where i ∈ Z 2 , we let v= i denote its parity. We denote the parity change functor by Π on the category of superspaces, cf. [CW, Section 1.1.1]. For a Z 2 -graded associative algebra A, we denote by A-smod the category of all finitely generated Z 2 -graded modules with grading preserving homomorphisms. Note that when A is reduced, i.e. A = A0, we have 6.2. Categories of (super)modules. We denote the universal enveloping algebras of our Lie (super)algebras by U := U ( g) and U := U (g) = U ( g0). Let Z( g) and Z(g) denote the center of U and U , respectively. Also, the center of g is denoted by z(g).
By abusing notation we let O be the full subcategory of U -smod of weight modules which are locally b-finite. In principle, we would have to write O ⊕ ΠO for this category, in order to be consistent with Section 2.4. Similarly, we let L λ denote the simple g-module in unspecified parity. We denote by O the full subcategory of U -smod of supermodules which restrict to O.
For a given g-supermodule (resp. g-supermodule) X, we denote its U -annihilator (resp. U -annihilator) by Ann U (X) (resp. Ann U (X)). The following theorem is due to Duflo in [Du].
Theorem 37. Let V be a simple g-supermodule. Then there exist λ ∈ h * such that Ann U (V ) = Ann U (L λ ).
We let F denote the category of finite dimensional semisimple g-supermodules, and we let F denote the category of finite-dimensional g-supermodules which restrict to objects in F . Then F and F are exactly the categories of finite-dimensional weight g-supermodules and g-supermodules, respectively.
For a g-supermodule M , we denote by • F ⊗ M the category of g-supermodules of the form V ⊗ M , with V ∈ F ; • add( F ⊗ M ) the category of all supermodules isomorphic to direct summands of objects in F ⊗ M ; • F ⊗ M the abelian category of all supermodules isomorphic to subquotients of supermodules in F ⊗ M .
We let Coker( F ⊗ M ) denote the coker-category of M , that is the full subcategory of the category of all g-supermodules, which consists of all modules N that have a presentation Similarly we define analogous full subcategories of g-supermodules, cf [MaS].
6.3. Harish-Chandra bimodules. Following [CC, §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 U -smod-U for U ⊗ U op -smod. For a bimodule Z in this category, the gmodule Z ad is the restriction of Z to the adjoint action of g. This is the restriction via U ֒→ U ⊗ U op , X → X ⊗ 1 − 1 ⊗ X, for all X ∈ g.
Let B denote the full subcategory of U -smod-U of bimodules N for which N ad is a direct sum of modules in F with finite multiplicities. For a two-sided ideal J ⊂ U , we let B(J) denote the full subcategory of B of bimodules X such that XJ = 0. We have the functor where L(M, N ) is the maximal submodule of Hom C (M, N ) which belongs to B.
By slight abuse of notation, we will use the same notation L for the corresponding functor applied to the case g = g. Let M be a U -module, then the g-action on M defines a bimodule homomorphism from U to L(M, M ) with kernel 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 [Jo,Go2,MM]. Then we have the following variation of [MiS,Theorem 3.1]  For E ∈ F , we recall that E ⊗ U is equipped with a natural g-bimodule structure as in [BG,Section 2.2] and [Co,Section 2.4]: for all homogeneous X, Y ∈ g, v ∈ E and u ∈ U .
7. Rough structure of simple g-supermodules 7.1. 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 [KM] 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 well-defined, finite and computable using Kazhdan-Lusztig 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 [MaS,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 [CM], 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 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 coker-categories of induced modules along the lines of [MaS,Section 11.6].
For simplicity, we will work with regular integral central characters by following [MaS,Remark 76]. The general case then follows by standard techniques, in particular using translations out and onto the walls and the equivalences from [CMW].
We start with reviewing and adapting the setup of [MaS,Section 11.6] to the present paper. Note that we work in the generality when g is reductive. Each central element of g acts as a scalar on any simple g-module, therefore we will work only with g-modules on which the action of the center of g is semi-simple. We assume that the center of g belongs to any Cartan subalgebra and we call a weight integral if it appears in some simple finite dimensional g-module.
Let V be a simple g-supermodule which admits a regular and integral central character. By Theorem 37, there is a dominant weight ν and an element σ ∈ W such that Ann U (L) = Ann U (L σν ). We may assume that σ is contained in a right cell associated with a parabolic subalgebra p ⊆ g as in [MaS,Remark 14]. Therefore there is a dominant weight µ such that the parabolic block O p µ contains exactly one simple module L yµ and this module is projective, see e.g. [IS,3.1]. As yµ = yxµ, for any x in the stabilizer of µ, without loss of generality, we may assume that ys < y, for all simple reflection s with sµ = µ. With this assumption, we have that L yµ is the translation of L y0 to the µ-wall.
Tensoring, if necessary, with finite dimensional modules, without loss of generality we may assume that µ is generic in the sense of [MM,Subsection 5.3]. Let F be the projective functor given in [MaS,Proposition 61] and define N to be the simple quotient of F L. We refer the reader to [MaS,Section 11] for more details of our setup. In particular, we have that The following theorem, which is [MaS,Theorem 66], is our main tool to study the rough structure for Lie algebras of type A.
Theorem 39. Let F denote the category of finite-dimensional weight g-supermodules. Then the functor is an equivalence of categories.
Lemma 40. The objects L yµ and N are projective in F ⊗ L yµ and F ⊗ N , respectively. Now we can formulate the following equivalence of coker-categories.
Corollary 41. The functor is an equivalence sending Ind(N ) to Ind(L yµ ).
Proof. With I from 7.1, we claim that are equivalences. Indeed, recall that Kostant's problem has a positive solution for L yµ and N by [MaS,Theorem 60(iii)] and [MaS,Proposition 65(iii)], respectively. Now Lemma 40 and Theorem 38 imply the claim.
Finally, since Kostant's problem has a positive solution for N , it follows that as U -modules. This completes the proof. 7.3. Rough structure of induced g-supermodules. In this subsection, we obtain a description of the rough structure of induced supermodules.
Lemma 42. The equivalence Ξ in Corollary 41 gives rise to a bijection between the sets of isomorphism classes of objects in the categories add( F ⊗ Ind(N )) and add( F ⊗ Ind(L yµ )). These two categories are, respectively, the categories of projective objects in Coker( F ⊗ Ind(N )) and Coker( F ⊗ Ind(L yµ )).
Proof. For a given E ∈ F, we have Here the first and the last isomorphisms use [Kn,Proposition 6.5], which states that E ⊗ Ind(X) ∼ = Ind(Res(E) ⊗ X), for any g-module X, the second isomorphism uses [Ja, Section 6.8] and the isomorphism L(N , N ) ∼ = U/I and the third isomorphism uses (7.1).
That add( F ⊗ U / U I) is the full subcategory of projective modules in B(I) is shown in [CC, Proof of Theorem 3.1]. The claim follows.
For S ∈ Irr g (Coker( F ⊗ Ind(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 O combinatorics.
Theorem 43 (Rough structure of induced modules). For any module E ∈ F and any module S ∈ Irr g (Coker( F ⊗ Ind(N ))), we have Proof. The proof of equation (7.4) follows from a similar argument using Ξ as given in [MaS,Theorem 72]. To see this, let Q S and Q L denote the indecomposable projective objects in the categories Coker( F ⊗ Ind(N )) and Coker( F ⊗ Ind(L yµ )) with tops S and L S , respectively. By (7.3) we have The claim follows. 7.4. Rough structure of simple g-supermodules. In this subsection, we give a description of the rough structure of restrictions to g of simple g-supermodules in Irr g (Coker( F ⊗ Ind(N ))).
Proof. This follows directly from the definitions.
We have a bijection Ξ : Irr g (Coker(F ⊗ N )) → Irr g (Coker(F ⊗ L yµ )), induced by Ξ, between the sets of isomorphism classes of the simple g-quotients of simple objects in Coker(F ⊗ N ) and in Coker(F ⊗ L yµ ). For a given we define the related weight ζ W ∈ h * by L ζW ∼ = Ξ(W ). The next statement describes the g-rough structure of simple g-supermodules in terms of the combinatorics of category O.
Theorem 45 (Rough structure of simple g-supermodules). For any g-supermodule S ∈ Irr g (Coker( F ⊗ IndN )) and any g-supermodule W ∈ Irr g (Coker(F ⊗ N )), we have Proof. Equality (7.5) is obtained by applying Ξ to the left hand side and then using Lemma 44, cf. [MaS,Theorem 73]. 7.5. Classification of simple g-supermodules. Theorem 39 reduces the problem of classification of all simple g-modules to the following problem. Let I denote the set of all primitive ideals in U which appear as annihilators of modules over the form N , for all possible weight lattices. For each fixed simple g-module S with annihilator I ∈ I (which we view as some N ), we have the corresponding bijection Ξ(S) : Irr g (Coker(F ⊗ S)) → Irr g (Coker(F ⊗ L yµ )).
For I ∈ I, let Irr g (I) denote the set of isomorphism classes of simple g-modules whose annihilator is I. Consequently, we have: Corollary 46. The set coincides with the set of isomorphism classes of simple g-modules.
This reduces, in some sense, the problem of classification of all g-modules to that of classification of all g-modules with annihilators in 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 g which, in the same sense, reduces the problem of classification of all g-supermodules to that of classification of all g-modules with annihilators in I. Here, again, for each fixed simple g-module S with annihilator I ∈ I, we have the bijection Ξ(S) : Irr g (Coker( F ⊗ Ind(S))) → Irr g (Coker( F ⊗ Ind(L yµ ))).
Proof. As g is of type A, we can combine Theorem 23 with Proposition 22 to conclude, using Corollary 41, that every simple g-supermodule appears in the right hand side of (7.6). The claim follows.
Although Theorem 47 is not as nice as [CM,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 [CM,Theorem 4.1] does not extend to, for example, Q-type Lie superalgebras given in Subsection 7.6 in any easy way. At the same time, the set Irr g (Coker( F ⊗ Ind(L yµ ))) for Q-type Lie superalgebras can be described using Subsection 7.6. Therefore for Q-type Lie superalgebras, Theorem 47 provides significant progress in classification of simple supermodules. 7.6. Applications. We give a short overview of Lie superalgebras to which our results are applicable and cannot be dealt with using the theory of [CM]. We focus on D(2, 1; α), F (4), Q(n) and generalized Takiff superalgebras.
First we quickly review the classification of simple modules in O. Let g be a classical Lie superalgebra and choose a Cartan subalgebra a of the derived Lie algebra g ′ = [g, g] of the underlying Lie algebra. Consider a Weyl group invariant bilinear form ·, · on a * . Following [Ma,§2.4], we choose a ω ∈ RΦ, where Φ is the set of roots of g ′ , which is generic in the sense that ω, α = 0 for all α ∈ Φ. Then we define a triangular decomposition where h is the direct sum of a-weight spaces corresponding to weights λ satisfying λ, ω = 0 and n ± corresponds to weights λ with ± λ, ω > 0. Clearly h := h0 and n ± := n ± 0 give a triangular decomposition of g. Assume now that [ h1, h1] = 0. Then simple h-modules are the one dimensional hmodules with trivial h1-action C λ , with λ ∈ h * . We have the corresponding Verma module ∆ λ := U ( g) ⊗ U( b) C λ , with b = h ⊕ n + acting on C λ with trivial n + -action. It follows as in the classical case that ∆ λ has a unique maximal submodule. We denote the quotient by L λ . The following lemma is well-known, see e.g. [Ma,Proposition 2].
Lemma 48. The set { L λ , Π L λ | λ ∈ h * } is a complete and irredundant set of representatives of isomorphism classes of simple objects in O.
The one parameter family of simple Lie superalgebras D(2, 1|α), see [Mu,Chapter 4], satisfies the above assumptions and has underlying Lie algebra of type A. The multiplicities in Res( L λ ) for D(2, 1|α) have been determined in [CW2]. Therefore our results provide a concrete approach to the rough structure problem. The simple Lie superalgebra F (4), see [Mu,Chapter 4], has underlying Lie algebra so 7 ⊕ 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 g as above which are far from simple, see for instance the generalized Takiff superalgebras introduced in [GM, Section 3.3].
For Lie superalgebras of type Q, see [Mu, CW], the statement in Lemma 48 has to be adapted, but an explicit classification of simple modules is known, see e.g., [CW,Section 1.5.4]. The category O for type Q Lie superalgebras has been intensively studied in e.g. [Br, Fr, FM, BD].
8. 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 g-sMod of all supermodules.
Theorem 49. Let g = g −1 ⊕ g 0 ⊕ g 1 be a Lie superalgebra of type I with g := g 0 and p := g 0 ⊕ g 1 . Then the corresponding Kac functor K := Ind g p : g-sMod → g-sMod (where g 1 acts trivially on 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 ∈ g-sMod be a module with finite type socle. Set d := dim g −1 . Any g-submodule of K(V ) intersects Λ d g −1 ⊗V , see [CM,Lemma 3.1]. The space Λ d g −1 ⊗ S, with S a simple submodule of V , therefore generates a simple g-module of K(V ) and moreover intersects Λ d g −1 ⊗ V precisely in Λ d g −1 ⊗ S. This follows from considering K(V ) as a Z-graded module where elements of g ±1 act as operators in degree ±1. The submodule generated by Λ d g −1 ⊗ soc(V ) is thus semisimple, essential and has same length as 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 g-module M and g-module N , we have Hom g (K(M ), N ) ∼ = Hom g (M, N g1 ) with N g1 = {v ∈ N : g 1 v = 0}.
The above equation and [CM,Theorem 4.1(i)] imply that S L := L g1 is a simple g-module for each simple g-module L, and the map L → S L induces a bijection of isomorphism classes of simple modules. For an arbitrary g-module M and a simple g-module L we thus have Consequently, if M has finite type radical, the length of the top of M and K(M ) coincide.
As an immediate corollary, we obtain the following. We call a Borel subalgebra b of g distinguished if it is of the form b ⊕ g 1 , for a Borel subalgebra b of g.
Corollary 50. 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 49 and [Di,Proposition 7.6.3(i)].