Detecting cohomology for Lie superalgebras (Q643429)

For \(G\) a finite group, \(P\) a \(p\)-Sylow subgroup of \(G\), \(k\) a field of characteristic \(p\), there is an embedding \(\text{res}:\text{Ext}^\bullet_{kG}(M,N)\hookrightarrow\text{Ext}^\bullet_{kP}(M,N)\) where \(kG\) (resp. \(kP\)) is the group algebra of \(G\) (resp. \(P\)), that is, the cohomology is ``detected by'' the p-Sylow subgroup. \textit{B. D. Boe} et al. [Trans. Am. Math. Soc. 362, No. 12, 6551--6590 (2010; Zbl 1253.17012)] initiated the analogous study in the setting of Lie superalgebra. They introduced two types of detecting subalgebras, \(\mathfrak{f} = \mathfrak{f}_{\overline 0}\oplus \mathfrak{f}_{\overline 1}\) and \(\mathfrak{e} = \mathfrak{e}_{\overline 0}\oplus \mathfrak{e}_{\overline 1}\), which were used to study representations in the category \(\mathcal{F}_{(\mathfrak{g}, \mathfrak{g}_{\overline 0})}\) of finite-dimensional \(\mathfrak{g}\)-modules which are semisimple over \(\mathfrak{g}_{\overline 0}\). In the paper under review the authors try to develop the theory of cohomology detection for arbitrary Type I classical Lie superalgebras and the Lie superalgebras of Cartan type, \(W(n)\) and \(S(n)\). They prove that for Type I classical Lie superalgebras, the restriction map \[ \text{res}:{H}^n(\mathfrak{g}, \mathfrak{g}_{\overline 0}, M)\hookrightarrow {H}^n(\mathfrak{f}, \mathfrak{f}_{\overline 0}, M) \] is injective for all \(n\geq 0\) and \(M\) in \(\mathcal{F}_{(\mathfrak{g}, \mathfrak{g}_{\overline 0})}\) (Theorem~3.3.1). They show by example (Section~3.5, not Section~4 as mentioned in the introduction of the paper) that the restriction is not necessary injective when \(\mathfrak{f}\) is replaced by \(\mathfrak{e}\). They also got partial results for the Lie superalgebras of Cartan type, \(W(n)\) and \(S(n)\) (Theorem~3.6.1). With the help of the cohomological results and an auxiliary Lie sub-superalgebra \(\bar{\mathfrak{f}}\), the authors prove that the following embeddings \[ \mathcal{V}_{(\mathfrak{e}, \mathfrak{e}_{\overline 0})}(M)/W\hookrightarrow \mathcal{V}_{(\mathfrak{f}, \mathfrak{f}_{\overline 0})}(M)(N/N_0)\hookrightarrow \mathcal{V}_{(\mathfrak{g}, \mathfrak{g}_{\overline 0})}(M), \] induced by the restriction maps in cohomology are indeed isomorphisms (Theorems~4.5.1 and 5.1.1).