Algebras with representable representations

Abstract

Just like group actions are represented by group automorphisms, Lie algebra actions are represented by derivations: up to isomorphism, a split extension of a Lie algebra $B$ by a Lie algebra $X$ corresponds to a Lie algebra morphism $B\to Der(X)$ from $B$ to the Lie algebra $Der(X)$ of derivations on $X$. In this article, we study the question whether the concept of a derivation can be extended to other types of non-associative algebras over a field $\mathbb{K}$, in such a way that these generalised derivations characterise the $\mathbb{K}$-algebra actions. We prove that the answer is no, as soon as the field $\mathbb{K}$ is infinite. In fact, we prove a stronger result: already the representability of all abelian actions -- which are usually called representations or Beck modules -- suffices for this to be true. Thus we characterise the variety of Lie algebras over an infinite field of characteristic different from $2$ as the only variety of non-associative algebras which is a non-abelian category with representable representations. This emphasises the unique role played by the Lie algebra of linear endomorphisms $\mathfrak{gl}(V)$ as a representing object for the representations on a vector space $V$.

16 pages. Corrected statement of Lemma 1.8. Minor changes throughout the text. Final version, accepted for publication

References in corpus (1)

• Algebraic exponentiation for Lie algebras

Cited by in corpus (9)

• On the representability of actions of Leibniz algebras and Poisson algebras
• Weak representability of actions of non-associative algebras
• Action accessible and weakly action representable varieties of algebras
• Associativity and the cosmash product in operadic varieties of algebras
• Algebraic logoi
• A characterisation of Lie algebras using ideals and subalgebras
• On the capablility of Hom-Lie algebras
• On Lie-holomorphs of Leibniz algebras
• Categorical-algebraic aspects of Heyting semilattices