On homology of Lie algebras over commutative rings (Q2049369)

In this paper, the authors compare several definitions of homology for Lie algebras over commutative rings. More specifically, they compare: the homology defined via the \(\mathrm{Tor}\) functor, the one defined via the relative \(\mathrm{Tor}\) functor, the one defined via the Chevalley-Eilenberg complex, the simplicial homology, and the relative simplicial homology. Notice that, in the particular case where the base commutative ring is a field, all these definitions lead to isomorphic results. In order to better describe their results, let \(\Bbbk\) be a commutative ring and \(\mathfrak g\) be a Lie algebra over \(\Bbbk\). The authors prove that, if \(\mathfrak g\) is a flat \(\Bbbk\)-module, then all of the homologies listed above (with coefficients in the trivial module) are naturally isomorphic (in Theorem~7.3). They also prove that, if \(\Bbbk\) is a principal ideal domain, then the homologies defined via the relative \(\mathrm{Tor}\) functor, the Chevalley-Eilenberg complex and the relative simplicial homology are isomorphic (in Theorems~7.2~and~8.4). Furthermore, the authors provide several examples of isomorphic and non-isomorphic cases, besides a spectral sequence relating the Chevalley-Eilenberg homology to the simplicial one.