Central extensions of associative algebras and weakly action representable categories

Abstract

A central extension is a regular epimorphism in a Barr exact category $\mathcal{C}$ satisfying suitable conditions involving a given Birkhoff subcategory of $\mathcal{C}$ (joint work with G. M. Kelly, 1994). In this paper we take $\mathcal{C}$ to be the category of (not-necessarily-unital) algebras over a (unital) commutative ring and consider central extensions with respect to the category of commutative algebras. We propose a new approach that avoids the intermediate notion of central extension due to A. Fröhlich in showing that $\alpha :A\to B$ is a central extension if and only if $a{a}^{\prime }=a^{\prime }a$ for all $a,a^{\prime }\in A$ with $\alpha (a^{\prime })=0$. This approach motivates introducing what we call $\text{weakly action representable categories}$, and we show that such categories are always action accessible. We also make remarks on what we call $\text{initial weak representations of actions}$ and formulate several open questions.

Cited by in corpus (1)

• On the representability of actions of Leibniz algebras and Poisson algebras