On cohomology and support varieties for Lie superalgebras (Q427757)

Let \({\mathfrak g} = {\mathfrak g}_{\bar{0}}\oplus{\mathfrak g}_{\bar{1}}\) be a finite dimensional simple Lie superalgebra. Such Lie superalgebras were classified by Kac as being either classical or of Cartan type. To study the representation theory of classical Lie superalgebras, \textit{B. Boe, J. Kujawa} and \textit{D. Nakano} [Trans. Am. Math. Soc. 362, No. 12, 6551--6590 (2010; Zbl 1253.17012)] introduced cohomological support varieties via the relative cohomology of \(({\mathfrak g},{\mathfrak g}_{\bar{0}})\). Later work of \textit{I. Bagci, J. Kujawa} and \textit{D. Nakano} [Int. Math. Res. Not. 2008, Article ID rnn115, 42 p. (2008; Zbl 1191.17006)] extended this to the Cartan type Lie algebra \(W(n)\). In this work, the author considers the general setting of a Lie superalgebra \({\mathfrak g}\) with a subsuperalgebra \({\mathfrak t}\). First the author gives conditions so that the cohomology ring \(\text{H}^{\bullet}({\mathfrak g},{\mathfrak t}; {\mathbb C})\) is finitely generated and over which (for a finite dimensional \({\mathfrak g}\)-module \(M\)) \(\text{H}^{\bullet}({\mathfrak g},{\mathfrak t}; M)\) is a finitely generated module. This then allows one to define the (relative) cohomological support variety \({\mathcal V}_{({\mathfrak g},{\mathfrak t})}(M)\). Further discussed is the notion of a detecting subsuperalgebra: a subsuperalgebra \({\mathfrak e} = {\mathfrak e}_{\bar{0}}\oplus{\mathfrak e}_{\bar{1}}\) of \({\mathfrak g}\) with \({\mathfrak e}_{\bar{0}}\) being reductive and such that \(\text{H}^{\bullet}({\mathfrak g},{\mathfrak t}; {\mathbb C}) \cong \text{H}^{\bullet}({\mathfrak e},{\mathfrak e}_{\bar{0}}; {\mathbb C})^W\) where \(W\) is a group for which taking \(W\)-fixed points is an exact functor. If a detecting subalgebra exists, one can then relate support varieties over \({\mathfrak g}\) to those over \({\mathfrak e}\). Ideally, \({\mathcal V}_{({\mathfrak e},{\mathfrak e}_{\bar{0}})}(M)\) can be identified with a non-cohomological rank variety which allows one to deduce various standard properties of support varieties for \({\mathfrak e}\). Further, one can then obtain a standard realization theorem: that any conical subvariety of \({\mathcal V}_{({\mathfrak g},{\mathfrak t})}({\mathbb C})\) is the cohomological support variety of some \({\mathfrak g}\)-module. The author then focuses particularly on the Lie superalgebra \({\mathfrak g} := \bar{S}(n)\) which is a subsuperalgebra of \(W(n)\). It is shown that \(\text{H}^{\bullet}({\mathfrak g},{\mathfrak g}_{\bar{0}}; {\mathbb C})\) is finitely generated, and in fact it is precisely identified as a ring of invariants. A nice detecting subalgebra is constructed and used to compute the \(({\mathfrak g},{\mathfrak g}_{\bar{0}})\)-support varieties for all finite dimensional simple \({\mathfrak g}\)-modules. The realization theorem is also shown to hold.