English

Algebras with representable representations

Rings and Algebras 2022-06-28 v3 Category Theory

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 BB by a Lie algebra XX corresponds to a Lie algebra morphism BDer(X)B\to \mathit{Der}(X) from BB to the Lie algebra Der(X)\mathit{Der}(X) of derivations on XX. 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 K\mathbb{K}, in such a way that these generalised derivations characterise the K\mathbb{K}-algebra actions. We prove that the answer is no, as soon as the field K\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 22 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 gl(V)\mathfrak{gl}(V) as a representing object for the representations on a vector space VV.

Keywords

Cite

@article{arxiv.2002.05924,
  title  = {Algebras with representable representations},
  author = {Xabier García-Martínez and Matsvei Tsishyn and Tim Van der Linden and Corentin Vienne},
  journal= {arXiv preprint arXiv:2002.05924},
  year   = {2022}
}

Comments

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