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

bimodule derived category essentially small category Ext-functor Leibniz algebra second Whitehead lemma for Leibniz algebras simple bimodule simple Leibniz algebra spectral sequence universal enveloping algebra

Mathematics Subject Classification ID

Leibniz algebras (17A32) Cohomology of Lie (super)algebras (17B56)

Abstract: In this article, we generalize Loday and Pirashvili's [10] computation of the Ext-category of Leibniz bimodules for a simple Lie algebra to the case of a simple (non Lie) Leibniz algebra. Most of the arguments generalize easily, while the main new ingredient is the Feldvoss-Wagemann's cohomology vanishing theorem for semi-simple Leibniz algebras.

Review text

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}$.

Recommendations

Cites work

Cited in

(5)

This page was built for publication: Ext groups in the category of bimodules over a simple Leibniz algebra

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1996071)