On BBW parabolics for simple classical Lie superalgebras (Q2656150)

Let \(\mathfrak{g} = \mathfrak{g}_{\overline{0}} \oplus \mathfrak{g}_{\overline{1}}\) be a classical simple Lie superalgebra over \(\mathbb{C}\). In the paper under review, the authors introduce a class of parabolic subalgebras, called \textit{BBW parabolic subalgebras}, which are shown to have some special cohomological properties. For the construction of these BBW parabolic subalgebras, the authors use \textit{detecting subalgebras} obtained by using the stable action of \(G_{\overline{0}}\) on \(\mathfrak{g}_{\overline{1}}\), where \(\mathfrak{g} = \mathrm{Lie} G\). Detecting subalgebras are first introduced and studied in [\textit{B. D. Boe} et al., Trans. Am. Math. Soc. 362, No. 12, 6551--6590 (2010; Zbl 1253.17012)]. More precisely, the BBW parabolic subalgebra \(\mathfrak{b}\) is generated by the negative Borel subalgebra for \(\mathfrak{g}_{\overline{0}}\) and the detecting subalgebra \(\mathfrak{f}\). Even though \(\mathfrak{b}\) is a parabolic subalgebra and technically is not a Borel subalgebra, the authors view \(\mathfrak{b}\) as being analogous to a Borel subalgebra for a complex simple Lie algebra, and the detecting subalgebra \(\mathfrak{f}\) like a maximal torus. The main application of the existence and properties of the BBW type parabolic subalgebras is the proof of a conjecture by Boe, Kujawa and Nakano, which concerns the equality of several support varieties for modules in the category \(\mathcal{F}_{(\mathfrak{g}, \mathfrak{g}_{\overline{0}})}\) of finite-dimensional \(\mathfrak{g}\)-modules which are completely reducible over \(\mathfrak{g}_{\overline{0}}\) (Theorem 1.2.1). Another application is given in Section 4 and is connected to the sheaf cohomology for \(G/B\) where \(\mathfrak{b} = \mathrm{Lie} B\). In particular, let \(R^j\mathrm{ind}^G_B\mathbb{C}\) for \(j \geq 0\) denote the higher sheaf cohomology groups of \(G/B\) for the trivial line bundle. Then the authors consider the Poincaré series \[ p_{G,B}(t) = \sum_{i=0}^{\infty} \left( \dim R^i\mathrm{ind}^G_B\mathbb{C} \right) t^i \] and give a complete computation, using data from the classical BBW (Bott-Borel-Weil) theorem, for all classical simple Lie superalgebras except when \(\mathfrak{g} = \mathfrak{p}(n)\) (Theorem 4.10.1). In particular, it is shown that for \(\mathfrak{g} \neq \mathfrak{p}(n)\) the Poincaré polynomial \(p_{G,B}(t)\) is related to the Poincaré polynomial for a finite reflection group \(W_{\overline{1}}\). Section 5 is devoted to investigating the situation for \(\mathfrak{g} = \mathfrak{p}(n)\). For \(\mathfrak{p}(2)\) and \(\mathfrak{p}(3)\) it is shown that \(p_{G,B}(t)\) is governed by the BBW theorem. However, for \(\mathfrak{p}(4)\) this is not the case and some open questions are presented by the authors at the end of Section 5. The proof of Theorem 1.2.1 is given in Section 6. Section 7 contains several tables which provide reference for the construction of BBW parabolic subalgebras and for the relationship between the various Poincaré series.