Symmetric structure for the endomorphism algebra of projective-injective module in parabolic category (Q1794064)

Let \(\mathfrak{g}\) be a complex semisimple Lie algebra with a fixed Borel subalgebra \(\mathfrak{b}\) and let \(\mathfrak{p}\) be a parabolic subalgebra containing \(\mathfrak{b}\). Let \(\mathcal{O}^{\mathfrak{p}}\) denote the corresponding parabolic Bernstein-Gelfand-Gelfand (BGG) category. For each dominant integral weight \(\lambda\), let \(\mathcal{O}^{\mathfrak{p}}_{\lambda}\) denote the subcategory of \(\mathcal{O}^{\mathfrak{p}}\) consisting of modules whose composition factors have highest weights of the form \(w \cdot \lambda\), where \(w\) is an element of the Weyl group \(W\) of \(\mathfrak{g}\) and \(\cdot\) denotes the dot action of \(W\). In the paper under review, the authors consider a conjecture of Khovanov, which states that for any dominant integral weight \(\lambda\), the endomorphism algebra of each projective-injective module (i.e., at the same time projective and injective) in \(\mathcal{O}^{\mathfrak{p}}_{\lambda}\) is a symmetric algebra. When \(\lambda\) is a regular weight, the conjecture is proven in [\textit{V. Mazorchuk} and \textit{C. Stroppel}, J. Reine Angew. Math. 616, 131--165 (2008; Zbl 1235.16013)]. The main purpose of the paper under review is to give a proof of Khovanov's conjecture for the case of a singular \(\lambda\) (Theorem 1.2). In Section 2, the authors define the basic projective-injective module over any finite-dimensional algebra \(A\) and study the endomorphism algebra \(B\) of this basic projective-injective module in a general setting. Given an appropriate basis for \(B\), the authors define a canonical form ``tr'' attached to it (and consequently an induced associative bilinear form \((-, -)_{\mathrm{tr}}\)). They show that if the algebra \(A\) is equipped with an anti-involution fixing each simple \(A\)-module, then the bilinear form \((-, -)_{\mathrm{tr}}\) on \(B\) is non-degenerate. Therefore, \(B\) is a Frobenius algebra. The authors also give necessary conditions for \(B\) to be symmetric. Then, in Section 3, the authors of the paper under review consider the case when \(A\) is a \(\mathbb{Z}\)-graded finite-dimensional algebra. They define the notion of an \textit{admissible basis} for \(B\) (Definition 3.7) and show that if an admissible basis for \(B\) exists, then the canonical form ``tr'' attached to it is always symmetric and hence \(B\) is a symmetric algebra. Furthermore, for certain positively \(\mathbb{Z}\)-graded finite-dimensional algebras \(A\), \(B\) is a symmetric algebra if and only if there exists an admissible basis for \(B\). In Section 4, using the results from Sections 2 and 3, the authors give a proof of Theorem 1.2. Finally, in the Appendix, a short proof of Theorem 1.2 due to Coulembier and Mazorchuk is given.