Ext groups in the category of bimodules over a simple Leibniz algebra (Q1996071)

Let $\mathfrak{h}$ be a finite-dimensional simple left Leibniz algebra over a field of characteristic zero, let $UL(\mathfrak{h})$ denote the universal enveloping algebra of $\mathfrak{h}$, and let $L(\mathfrak{h})$ denote the category of finite-dimensional $\mathfrak{h}$-bimodules. Then $L(\mathfrak{h})$ is an essentially small abelian category, i.e., $L(\mathfrak{h})$ is an an abelian category that is equivalent to some small (abelian) category. Hence, the derived category of $L(\mathfrak{h})$, and therefore its Ext-functor is well-defined. The authors compute the dimensions of the Ext$_{UL(\mathfrak{h})}$-spaces between finite-dimen\-sional simple $\mathfrak{h}$-bimodules. As a consequence, the natural transformation from the bifunctor $\mathrm{Ext}_{L(\mathfrak{h})}^n (-,-)$ to the bifunctor $\mathrm{Ext}_{UL(\mathfrak{h})}^n(-,-)$ induced by the inclusion functor is an isomorphism for $n=0,1,2$, and Ext$_{UL(\mathfrak{h})}^n (-,-)$ vanishes for every integer $n\ge 3$. In particular, the global dimension of $L(\mathfrak{h})$ is 2. All this generalizes results of \textit{J.-L. Loday} and \textit{T. Pirashvili} [J. Algebra 181, No. 2, 414--425 (1996; Zbl 0855.17018)] for simple Lie algebras. The main tools are the second Whitehead lemma for Leibniz algebras as established recently by the reviewer and the second author of the present paper [\textit{J. Feldvoss} and \textit{F. Wagemann}, J. Algebra 569, 276--317 (2021; Zbl 1465.17006)] and the change-of-rings spectral sequences comparing Ext-spaces for $UL(\mathfrak{h})$ and for the universal enveloping algebra $U(\mathfrak{h}_\mathrm{Lie})$ of the canonical Lie algebra $\mathfrak{h}_\mathrm{Lie}$ associated to $\mathfrak{h}$.