Semisimplicity of the \textit{DS} functor for the orthosymplectic Lie superalgebra (Q2064462)

For a finite dimensional complex Lie superalgebra \(\mathfrak{g}\) and an odd nilpotent element \(x\), consider the cohomology of the complex \(V\stackrel{\rho(x)}{\longrightarrow} V\stackrel{\rho(x)}{\longrightarrow} V\) for \((V,\rho)\in \text{Rep}(\mathfrak{g})\). Duflo and Serganova defined a functor \(\mathrm{DS}_x: \text{Rep}(\mathfrak{g}) \to \text{Rep}(\mathfrak{g}_x)\), where \(\mathfrak{g}_x := \ker (\text{ad}(x)) / \text{im} (\text{ad}(x))\). For \(\mathfrak{osp}(m|2n)\), one has \(\mathfrak{g}_x \simeq \mathfrak{osp}(m-2k|2n-2k)\), where \(k\) is the rank of \(x\), so the DS-functor allows one to reduce questions about superdimensions to lower rank. M. Gorelik and T. Heidersdorf prove that the Duflo-Serganova functor \(\mathrm{DS}_x\) attached to an odd nilpotent element \(x\) of \(\mathfrak{osp}(m|2n)\) sends a semisimple representation \(M\) of \(\mathfrak{osp}(m|2n)\) to a semisimple representation of \(\mathfrak{osp}(m-2k|2n-2k)\) where \(k\) is the rank of \(x\). They prove a closed formula for \(\mathrm{DS}_x(L(\lambda))\) in terms of the arc diagram attached to \(\lambda\).