Algebras with representable representations

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 \mathit{Der}(X)$ from $B$ to the Lie algebra $\mathit{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$.


Introduction
Groups act by automorphisms, and Lie algebras act by derivations: thus, via the semi-direct product construction, actions are equivalent to split extensions, while (up to isomorphism) any split extension of a group B by a group X corresponds to a group homomorphism B Ñ AutpXq, and likewise for Lie algebras, with AutpXq replaced by the Lie algebra Der pXq of derivations on X. In this article, we study the question whether the concept of a derivation can be extended from Lie algebras to other types of non-associative algebras, in such a way that these generalised derivations characterise the algebra actions.
The situation sketched here has a categorical description due to F. Borceux, G. Janelidze and G. M. Kelly called action representability [4,3], which is expressed by saying that split extensions by an object X are representable by an object rXs. This means that we have a bijection SpltExtpB, Xq -HompB, rXsq, natural in B, between the set of isomorphism classes of split extensions of B by X and the set of morphisms from B to rXs. The object rXs corresponds to the group of automorphisms AutpXq in the case of groups, or the algebra of derivations Der pXq in the case of Lie algebras. In [4,3], other examples such as Boolean rings are studied, as well as equivalent descriptions of the condition. A slightly different, more "object-wise" approach appears in [7], where also an overview of the relevant literature is given.
In the present article we work in the general setting of varieties of algebras over a field-"variety" in the sense of universal algebra, which is different from its use in algebraic geometry. For a variety of non-associative algebras V over a field K, we seek an algebra rXs in V that represents the split extensions of a given V -algebra X.
We show that such an algebra rXs cannot exist for each X in V , as soon as the field K is infinite, unless V is either Lie K , qLie K , or an abelian category. We thus characterise the varieties of (quasi-)Lie algebras over an infinite field as the only varieties of non-associative algebras that form a non-abelian action representable category.
Our method actually proves a significantly stronger result: it turns out that there is no loss in reducing the representability condition to abelian actions. These are usually called representations or Beck modules [2] and in the present context amount to actions on an abelian algebra-that is, an algebra whose multiplication is zero, so that the identity xy " 0 holds; see below for a detailed explanation. We say that V has representable representations when for each abelian algebra X, the contravariant functor Repp_, Xq : V Ñ Set that sends an algebra B to the set of B-module structures on X is a representable functor, which means that it is naturally isomorphic to Homp_, rXsq for some V -algebra rXs. We show that, when it is a non-abelian category, such a variety V is either Lie K or qLie K , in which case rXs is necessarily glpXq, the Lie algebra of linear endomorphisms of the vector space X. The object glpXq is typical for (quasi-)Lie algebras, in the sense that no other non-abelian variety of K-algebras has an object rXs representing the module structures on X. In other words, changing the variety breaks glpXq beyond repair.
Overview of the text. The article is organised as follows. In Section 1, we recall some basic definitions and results concerning varieties of non-associative algebras. We introduce actions and the condition that they are representable in the context of semi-abelian categories. We explain what this amounts to in varieties of nonassociative algebras. Then we discuss the concept of a representation.
In Section 2, we prove that for a variety, representability of its representations implies a condition called algebraic coherence. This allows us to work with the λ{µ-rules, which are identities of degree three, useful in what follows. In Section 3, the idea is to show that some identities of degree two-necessarily commutativity or anticommutativity-follow from representability of representations. In order to get these results, we use two computer programs, which probably makes Section 3 the most innovative section of this paper. In Section 4, the goal is to observe that only anticommutativity is consistent with representability of representations, as long as the variety is non-abelian. From this we deduce that the λ{µ-rules can be reduced to the Jacobi identity. In Section 5, we answer a final question which arises naturally from the previous sections. A priori, anticommutativity and the Jacobi identity need not be the only identities satisfied in a variety with representable representations. We prove that there is indeed nothing else.
In Section 6, we conclude with Theorem 6.1, the goal and main result of this paper. We position our work within the context of similar results in the literature, and discuss some open problems.
1. Preliminaries 1.1. Varieties of algebras. An algebra A on a field K is a K-vector space equipped with a bilinear map AˆA Ñ A : px, yq Þ Ñ xy " x¨y " rx, ys called the multiplication or bracket. A morphism of algebras is therefore a K-linear map f : A Ñ B which preserves this multiplication. This determines the category Alg K of algebras over K. We remark that for now we do not require the multiplication to be associative.
We call a collection of K-algebras a variety of (non-associative) algebras over K if the collection contains all the algebras satisfying a chosen set of polynomial equations. For example, the variety Lie K of Lie algebras corresponds to the collection of all algebras over K satisfying the Jacobi identity (xpyzq`ypzxq`zpxyq " 0) and alternativity (xx " 0), while qLie K denotes the variety of quasi-Lie algebras where alternativity is replaced by anticommutativity (xy`yx " 0). Of course when char pKq ‰ 2, quasi-Lie algebras and Lie algebras are the same. However, for characteristic 2, alternativity implies anticommutativity but the converse is not true. In this case, the variety of Lie algebras is strictly smaller than the variety of quasi-Lie algebras.
We say that an algebra is abelian if xy " 0 holds for every x and y in the algebra. The variety of abelian K-algebras is trivially equivalent to the (abelian) category Vect K of vectors spaces over K. Each variety of K-algebras contains all abelian algebras over K, and these are precisely those algebras that admit an internal abelian group structure in the category V .
Remark 1.2. Any variety V of non-associative algebras is a Janelidze-Márki-Tholen semi-abelian category [22]. Indeed, any variety of algebras is in particular a variety of Ω-groups in the sense of Higgins [21].
We recall some additional concepts in order to cite two theorems we shall need later on. Let F : Set Ñ Alg K be the free algebra functor sending a set S to the free algebra over K generated by the elements of S. We recall that it is a left adjoint functor (its right adjoint being the forgetful functor) which factorises through the free magma functor M : Set Ñ Mag (sending S to the magma M pSq of nonempty words in S) and the magma algebra functor Kr_s : Mag Ñ Alg K . A (non-associative) polynomial ϕ on a set S is an element of KrM pSqs. We say that ϕ is a monomial if it is a scalar multiple of an element of M pSq. The type of a monomial ϕ " ϕpx 1 , . . . , x n q is a n-tuple pk 1 , . . . , k n q P N n where k i is the number of times x i appears in ϕ. Its degree is the number k 1`¨¨¨`kn . A polynomial is said to be homogeneous if all its monomials are of the same type. We can decompose every polynomial into its homogeneous components. Proposition 1.3. If V is a variety of non-associative K-algebras satisfying a nontrivial homogeneous identity of degree 2, then V is either a subvariety of the variety of commutative algebras, or a subvariety of the variety of anticommutative algebras.
Proof. We want to prove that essentially the only two possibilities are commutativity pxy " yxq and anticommutativity pxy "´yxq. In fact, alternativity is also a non-trivial identity. But since xx " 0 implies anticommutativity, we can assume ϕ to be xy`λyx " 0 for some λ P K without any loss of generality. This implies that xy "´λyx and thus p1´λ 2 qxy " 0. Therefore, either V is an abelian variety, or λ "˘1, which proves the result. 29,1]). If V is a variety of algebras over an infinite field, then all of its identities are of the form φpx 1 , . . . , x n q " 0, where φpx 1 , . . . , x n q is a polynomial, each of whose homogeneous components ψpx i1 , . . . , x im q again gives rise to an identity ψpx i1 , . . . , x im q " 0 in V .
Unless we specify it otherwise, we shall always assume that K is an infinite field, so that we can use the previous result. For instance, when V is a variety of K-algebras that satisfies a non-trivial identity involving monomials of degree 2, then Proposition 1.3 applies and tells us that V consists of either commutative or anticommutative algebras.
A homogeneous polynomial is multilinear if its monomials are of the type p1, 1, . . . , 1q. A multilinear identity is therefore an identity ϕpx 1 , . . . , x n q " 0 where ϕ is a multilinear polynomial. Theorem 1.5 (Theorem 3 in Section 4.2 of [1]). In a subvariety of Lie K , any nontrivial identity has a nontrivial multilinear consequence.
1.6. Actions of algebras. Let V be a semi-abelian category [22] and B be an object in V . We write Pt B pV q for the category of points over B whose objects are triples pA, p, sq where A is an object in V and p : A Ñ B is a split epimorphism with a given section s. It is well known [5] that the functor K : Pt B pV q Ñ V sending a point pA, p, sq over B to the kernel of p is monadic. The corresponding monad on V is the functor B5p_q : V Ñ V : X Þ Ñ B5X where the object B5X is the kernel of p1 B , 0q : B`X Ñ B, together with certain natural transformations η B : 1 V ñ B5p_q and µ B : B5pB5p_qq ñ B5p_q. Here µ B X is a restriction of the codiagonal pB`Bq`X Ñ B`X and η B X sends an element of X to itself, considered as an element of B5X. A B5p_q-algebra pX, ξq is an object X together with a morphism ξ : B5X Ñ X called an action of B on X, such that the diagrams commute. We write ActpB, Xq for the set of actions of B on X. One equivalent way of viewing actions uses split extensions: 5,4]). Given objects B and X in a semi-abelian category, there is a bijection SpltExtpB, Xq -Act pB, Xq between the set of isomorphism classes of split extensions of B by X and the set of actions of B on X.
In fact, for any action ξ : B5X Ñ X there is a split extension of B by X and vice versa. The object H in this split extension is called the semi-direct product of B with pX, ξq, written B˙ξ X. In a variety of non-associative algebras, what is its structure? First, since it is the kernel of the morphism p1 B , 0q : B`X Ñ B, the object B5X consists of polynomials with variables in B and X which can be written in a form where all of their monomials contain variables in X.
Then, by applying the forgetful functor U : V Ñ Vect, we observe that, as a vector space, B˙ξ X is the direct sum/cartesian product B ' X -BˆX. Next, routine calculations show us that the multiplication has to be pb, xq¨pc, yq " pbc, b y`x c`x yq, where b y and x c are notations for the image by ξ in X of by and xc respectively. Sometimes, for the sake of simplicity, we will just write by or xc. We remark that starting with a morphism ξ : B5X Ñ X (not necessary an action) we can still define a semi-direct product K-algebra by ( * ). The question is now, whether this algebra belongs to the variety V .
Lemma 1.8. Let V be a variety of non-associative algebras over a field K, let B and X be two algebras and ξ : B5X Ñ X a morphism in V such that ξ˝η B X " 1 X . Then ξ is an action in V if and only if B˙ξ X is in V .
Proof. The first implication directly comes from the equivalence in Lemma 1.7. For the converse we construct the split extension in V , where kpxq " p0, xq, ppb, xq " b and spbq " pb, 0q. Lemma 1.7 then gives us an action χ : B5X Ñ X in V which is, by construction, the only morphism satisfying k˝χ " ps, kq˝l where l is the kernel of p1 B , 0q : B`X Ñ B. But ξ obviously satisfies this condition, and therefore coincides with χ.
This description of actions, analogous to Theorem 2.5 of [7], will be useful all along this paper, whenever we wish to check that an action is well defined. For example, let V be the variety of commutative algebras over an arbitrary field K, and let V be an algebra in this variety. Then V acts on itself by v w " v¨w and v w " v¨w. Indeed, the semi-direct product K-algebra is in V , since for all v, v 1 , w, w 1 P V we have pv, wq¨pv 1 , w 1 q " pv 1 , w 1 q¨pv, wq.
1.9. Action representability. Let V be a semi-abelian category. For a fixed object X in the category, Actp_, Xq : V Ñ Set defines a contravariant functor sending an object B P V to the set of actions of B on X. We say that the category V is action representable when for each object X in V the functor Actp_, Xq is representable [4]. This means that there exists an object rXs, called the actor of X, in V and a natural isomorphism An interesting question is the role of the actor in concrete examples: What is then its structure? In Grp, the actor of an object X is the automorphism group AutpXq; in Lie K , the actor of X is the Lie algebra of its derivations Der pXq. More examples are studied in [4], and new examples continue to be studied, as for crossed modules (in [28]) and for cocommutative Hopf algebras (in [17]). Proposition 1.10. Let V be a variety of non-associative algebras over K. Then V is action representable if and only if for every object X in V there exists an object rXs acting on X which has the following property: for any object B with an action on X there is a unique morphism ϕ : B Ñ rXs such that b x " ϕpbq x and x b " x ϕpbq for every x P X and b P B.
Proof. This is a reformulation of Proposition 3.1 from [7] for the context of varieties of non-associative algebras, which are all categories of groups with operations in the sense of [27].
In [4], it is explained that action representability in so-called locally well-presentable semi-abelian categories is equivalent to the condition that Actp_, Xq preserves binary coproducts for every object X. Actually, the isomorphism Act p_, Xq -Homp_, rXsq easily implies that ActpB`B 1 , Xq -ActpB, XqˆActpB 1 , Xq, which can be understood as the condition that "having an action of B`B 1 on X is the same as having two actions on X, one of B and the other of B 1 ." From this observation, we may now deduce an interesting and useful technique. Indeed, by Lemma 1.8, the object pB`B 1 q˙X is in V and as such should satisfy the identities characterizing V , whenever the variety is action representable. We remark that this stays true with a finite number of algebras acting on X. Checking this condition is an important proof method used throughout this article. Let us give a concrete example of how this works, by reproving the known result that in the variety of associative algebras, the actor cannot always exist: Proposition 1.11. Let K be a field, and AAlg K the variety of associative algebras over K (defined by pxyqz " xpyzq). Then AAlg K is not action representable.
Proof. Suppose that AAlg K is action representable. Let B 1 and B 2 be two algebras with trivial multiplication respectively generated by the elements b 1 and b 2 . Let X be the algebra with trivial multiplication generated by the elements x, y 1 , y 2 , z 12 and z 21 . Those algebras are in AAlg K . We define the actions of B i on X by: where i, j, k P t1, 2u and j ‰ k. These choices determine morphisms of V -algebras ξ i : B i 5X Ñ X, and Lemma 1.8 implies that those are well-defined actions. Since we supposed AAlg K action representable, also the algebra B 1`B2 acts on X. Yet pB 1`B2 q˙X is not in AAlg K , which is a contradiction. Indeed, we have that b 1 pxb 2 q " z 12 ‰ z 21 " pb 1 xqb 2 .
Theorem 1.12. Lie K and qLie K are action representable for any field K.
Proof. For Lie algebras this is a well-known result proved in [3,4]. The case of quasi-Lie algebras, for a field of characteristic 2, is not explicit there, but the essence of the proof stays valid. In any case, the actor of an object X in one of those categories is the algebra of derivations Der pXq.
1.13. Representations and their representability. Given an object B in V , a Beck module [2] over B, also called a B-module or a representation of B, is an abelian group object in the slice category pV Ó Bq. As is well known (and explained in detail for instance in [20]), in a semi-abelian category that satisfies the so-called Smith is Huq condition, a B-module structure on a (necessarily abelian) object X of V is the same thing as a B-action on X-an "abelian action". Combining the results of [24] and [23] with the fact that any variety of non-associative K-algebras is a category of groups with operations in the sense of [27], we see that this interpretation holds in the context where we are working. So here, ReppB, Xq " ActpB, Xq when X is an abelian object.
In the case of Lie algebras we regain the classical concept of a Lie algebra representation, which is often defined as a morphism B Ñ glpXq, where glpXq is the Lie algebra of linear endomorphisms of the vector space X. For f , g : X Ñ X, the bracket rf, gs " f˝g´g˝f is a Lie algebra structure on HompX, Xq, because composition of endomorphisms is associative.
As we shall see below, it makes sense to restrict the representability condition from actions to representations, as follows: we say that V has representable representations when for each abelian algebra X, the contravariant functor Repp_, Xq " Actp_, Xq : V Ñ Set that sends an algebra B to the set of B-module structures on X is a representable functor.
For instance, if V " Lie K , then Repp_, Xq is represented by glpXq, which means Repp_, Xq -Homp_, glpXqq. On the other hand, the proof of Proposition 1.11 can be used to show that the variety of associative algebras does not have representable representations.
This condition is clearly weaker than action representability; it will, however, turn out to be sufficient for our purposes. Of course, everything we said above about actions stays valid for representations.

Algebraic coherence
A first step towards the main result of this paper is proving that in the context of non-associative algebras, action representability/representability of representations implies a condition called algebraic coherence [10]. The reason we want this, comes from the fact that an algebraically coherent variety satisfies some identities of degree three, useful in the next sections. From [15] we have the following characterisation: Theorem 2.1. Let K be an infinite field. If V is a variety of non-associative K-algebras, then the following conditions are equivalent: (i) V is algebraically coherent; (ii) V is an Orzech category of interest [26]; (iii) V is a 2-variety: for any ideal I of an algebra A, the subalgebra I 2 of A is again an ideal; (iv) there exist λ 1 , . . . , λ 8 , µ 1 , . . . , µ 8 in K such that zpxyq " λ 1 pzxqy`λ 2 pxzqy`λ 3 ypzxq`λ 4 ypxzq λ 5 pzyqx`λ 6 pyzqx`λ 7 xpzyq`λ 8 xpyzq and pxyqz " µ 1 pzxqy`µ 2 pxzqy`µ 3 ypzxq`µ 4 ypxzq We call those two identities together the λ{µ-rules. One should understand them as some "general associativity rules". We remark that the case where λ 1 " 1 " µ 8 and the other coefficients are zero is just associativity. It is easy to see that the Jacobi identity is another particular case of the λ{µ-rules.
Theorem 2.2. Let K be an infinite field and V be a variety of non-associative algebras over K. If V has representable representations, then it is an algebraically coherent category.
Proof. Consider the free non-associative algebra on the set tb, b 1 , xu. We quotient it by the ideal I generated by xb, bx, b 1 x, xb 1 , xx, bb, b 1 b 1 and all monomials of degree 3 or higher in which one of the variables b, b 1 , x is repeated. We reflect the result into the variety V by dividing out the ideal generated by the identities of V , and obtain an algebra Q. Since K is an infinite field, by Theorem 1.4 the subvector space generated by the classes of the elements of the form pbb 1 qx (all possible permutations and bracketings) consists entirely of classes of linear combinations of such elements of degree 3. We call this vector space A, and view it as an abelian K-algebra.
We write B for the abelian V -algebra generated by b, B 1 for the abelian Valgebra generated by b 1 and C for the free vector space generated by c, viewed as an abelian K-algebra. In V , we then define a representation of B`B 1 on the abelian algebra V " AˆC by b a " 0 " a b , b 1 a " 0 " a b 1 , bb 1 a " b 1 b a " 0 " a bb 1 " a b We need to verify that this does indeed determine an action. To do so, let us give an explicit description of the corresponding Valgebra morphism ξ : pB`B 1 q5V Ñ V . We first consider four V -algebra morphisms B`B 1`A`C Ñ QˆC, one which sends θpb, b 1 , a, cq-where θ is a polynomial in n`3 variables and a P A n for some n P N-to pθpb, b 1 , 0, xq, 0q, and three others, which send it to pθp0, 0, a, 0q, 0q, pθp0, 0, 0, xq, 0q and p0, θp0, 0, 0, cqq, respectively.
Since this map vanishes on monomials in a and c that contain at least one element of A and one c, it factors through the quotient pB`B 1 q`pA`Cq Ñ pB`B 1 q`pAˆCq " pB`B 1 q`V to a K-linear map pB`B 1 q`V Ñ QˆC, which in turn restricts to a K-linear map pB`B 1 q5V Ñ QˆC. It is easy to check that this map factors over the inclusion of AˆC " V into QˆC. The resulting factorisation is a K-linear map ξ : pB`B 1 q5V Ñ V , which is actually a morphism of K-algebras, because it sends all binary products in pB`B 1 q5V to zero, as it should. We may now check that ξ satisfies the axioms of a B5p_q-algebra, which follows immediately from the definitions-see 1.6.
Since V has representable representations in V , the action ξ is necessarily zero, because that is where it is sent by the canonical isomorphism defined by restricting an action of B`B 1 on V to an action of B on V together with an action of B 1 on V . It follows that pbb 1 qx, pb 1 bqx, xpbb 1 q and xpb 1 bq vanish in A. This means that the identities of V allow us to write each of them as a linear combination of some degree 3 elements of the ideal I, which can only mean that the λ{µ-rules hold in V . In other words, V is algebraically coherent. Remark 2.3. If in Theorem 2.2 the variety V has representable actions, then an alternate proof may be given, which uses that action representability implies a weaker condition called action accessibility [6]. As it turns out, a variety of nonassociative algebras over an infinite field is action accessible if and only if it satisfies the equivalent conditions of Theorem 2.1. Indeed, as A. Montoli proved in [25], all Orzech categories of interest are action accessible, which yields one implication. The converse makes non-trivial use of Lemma 2.9 in [11].

Identities of degree two
We proved that from the representability of representations we may deduce certain identities of degree three. The goal of this section is to go for the identities of degree two necessary to obtain Lie algebras. In fact, action representability does not characterise the Jacobi identity alone, since the variety Leib K of Leibniz algebras over K is not action representable in general. This observation comes from Theorem 5.5 of [9], but it is possible to give a proof, similar to the one of Proposition 1.11, showing that Leib K does not have representable representations.
We are now going to show that any variety of non-associative algebras with representable representations over an infinite field satisfies non-trivial identities of degree two. We start with fields of characteristic zero in Proposition 3.1, and continue with fields of prime characteristic in Proposition 3.4.
Proposition 3.1. Let K be a field of characteristic 0 and V be a variety of nonassociative algebras over K. If V has representable representations, then V satisfies a non-trivial identity of degree two.
Proof. Let us assume that V is a variety with representable representations, all of whose non-trivial identities are of degree three or higher. From Theorem 2.2, we already know that V satisfies the λ{µ-rules. The strategy of this proof is to show that representability of representations forces the coefficients λ i and µ i to satisfy a specific system of polynomial equations whose set of solutions is empty (unless some degree two identities are satisfied, but we assumed that it is not the case). This then means that algebraic coherence, and therefore representability of representations, cannot hold in V -which is a contradiction. In order to do so, we let X be the 79-dimensional abelian algebra generated by the elements tx, y i α , z ij αβ , t ijk αβγ | α, β, γ P tr, lu and pi j kq P S 3 u, where r stands for right and l for left, while i, j, k P t1, 2, 3u are pairwise non-equal. Furthermore, B i is the abelian algebra generated by b i , for i P t1, 2, 3u. Those algebras are in V because they are abelian. We now define (abelian) actions of the algebras B i on X: Those actions are well defined. Indeed, the λ{µ-rules are satisfied since any product of three elements in the semi-direct product B i˙X vanishes. In order to familiarise ourselves with those actions which will appear again later, we first give some examples of their behaviour in pB 1`B2`B3 q˙X: llr , ppb 2 xqb 3 qb 2 " 0, b 1 pb 2 y 3 r q " t 321 rll . Next, as explained in Section 1, by representability of representations the semidirect product pB 1`B2`B3 q˙X is in V and thus all elements of this semi-direct product have to satisfy the λ{µ-rules. We construct an equational system on the λ i and µ i whose set of solutions is empty, by checking the λ{µ-rules for some specific elements. For example, since pxb 1 qb 2 is in pB 1`B2`B3 q˙X, decomposing it a first time gives: Then we apply the λ{µ-rules again on the monomials where x is isolated and write everything on the same side. This gives us a linear combination ř f k pλ i , µ j qz ij αβ which must be equal to zero. Since the z ij αβ are linearly independent, all the polynomials f k P Qrλ 1 , . . . , λ 8 , µ 1 , . . . , µ 8 s vanish. Following this procedure for pxb 1 qb 2 gives us the eight first polynomials of Figure 1 (lines 2-9, written in Singular [12] code). To compute the f k for k " 9, . . . , 32, we repeat this procedure on the elements pb 1 xqb 2 , b 2 pb 1 xq and b 2 pxb 1 q. The details of the computations are done and explained in [14].
Next, we use the fact that pb 1 b 2 qb 3 and b 1 pb 2 b 3 q should also satisfy the λ{µ-rules since they are elements of pB 1`B2`B3 q˙X. Making the decomposition work on pb 1 pb 2 b 3 qqx, xpb 1 pb 2 b 3 qq, ppb 1 b 2 qb 3 qx and xppb 1 b 2 qb 3 q-again, a procedure explained in [14]-we find the last 192 polynomials in the system of equations.
Finally, we employ the computer algebra system Singular [12], which uses Gröbner bases, to look for a common root of the polynomials. Based on the code in Figure 1, the computer system tells us that 1 is a linear combination in Qrλ 1 , . . . , λ 8 , µ 1 , . . . , µ 8 s of the polynomials f 1 , . . . , f 224 . The arXiv version of this paper includes an ancillary file containing an explicit way to write 1 as a linear combination of the pf i q i in Qrλ 1 , . . . , λ 8 , µ 1 , . . . , µ 8 s. Hence the set of solutions of the polynomial system is empty, which completes the proof.
Remark 3.2. The parameter dp in line 1 means that degree reverse lexicographical ordering of polynomials is chosen. This choice does not have any impact in the proof other than the efficiency of the computation.
In order to have the result for all infinite fields, we extend this to prime characteristics. The proof needs fine-tuning since in characteristic zero rational coefficients are allowed, something which is not the case in prime characteristic. Proposition 3.4. Let K be an infinite field of prime characteristic and V a variety of non-associative algebras over K. If V has representable representations, then V satisfies a non-trivial identity of degree two.
Proof. In this proof, we mimic the trick used in Theorem 4.2 of [16]. Indeed, in the proof of Proposition 3.1, we wrote 1 as a linear combination of the pf i q 1ďiď224 in Qrλ 1 , . . . , λ 8 , µ 1 , . . . , µ 8 s. Instead of doing this, we will write some m P N as a linear combination in Zrλ 1 , . . . , λ 8 , µ 1 , . . . , µ 8 s of these 224 polynomials because, then, we will just have to check that the system has an empty set of solutions for all infinite fields whose characteristic divides m. The problem is that the natural number m, equal to 1456799590845598024309695305537804495463156624065346853298572270 548680472045472116250386006867468944668940571897397172623649920632890267 296075654343504208784478418777210005902957685588843071241487781773778768 300649166665925232915930417490549693708773858134434948706688018655694558 517577569557620995746293278480812431412260574404024455598320441859722042 018260900473969846828608645627871830598735661629103334242282129060658943 436705405397251478428615134881732782202177457769419650118822781315636327 042662036615068825734248984068309403420950318, which we find with a first computation in Singular is 541 digits long. This makes finding its prime divisors very difficult. The trick is to compute the Gröbner basis with a different monomial order. This will give us another natural number m 1 and we will only need to check the inconsistency of the system of equations for the common prime divisors of m and m 1 . A different monomial order may be chosen in line 1 of the code in Figure 1: for instance, swapping µ 7 and µ 8 is expressed as 1 ring r=0,(x(1..8),y(1..6),y(8),y(7)),dp; This leads us to the number m 1 which is equal to 525717631958791658273542822932 875536277944482117059047298355615522444730386607303496487922645174545123 329754483818964761098115453534593150454043600868151586630528071290312031 929148817936277587845522813309484662974608922131246112595573077057146712 242955581259701107482223331786487542685434164397201816335589329733414963 26862122531200555664611204869818358 and only 353 digits long. Obviously, 2 is a common prime divisor. Using the Euclidean algorithm, it is rapidly seen that it is the only one. In order to conclude, we prove as before, using Singular, that I " Krλ 1 , . . . , λ 8 , µ 1 , . . . , µ 8 s for any field K of characteristic 2, where I is the ideal of Krλ 1 , . . . , λ 8 , µ 1 , . . . , µ 8 s generated by the polynomials f k for k " 1, . . . , 224. This is done in Singular by using 1 ring r=2,(x(1..8),y(1..8)),dp; in line 1 of the code in Figure 1. Again, explicit linear combinations are given in the arXiv version of this paper as an ancillary file.
Corollary 3.5. If V is a variety of non-associative algebras over an infinite field whose representations are representable, then V is either a subvariety of the variety of commutative algebras, or a subvariety of the variety of anticommutative algebras.
Proof. Combine the above with Proposition 1.3.

Anticommutativity and the Jacobi identity
The last proposition of the previous section gives us two identities: commutativity and anticommutativity. The goal of this section is to show that representability of representations rules out the first case. Next, we will prove that from anticommutativity and the λ{µ-rules (which are both consequences of representability of representations), we can deduce that if the variety is non-abelian, then it has to satisfy the Jacobi identity.
Proposition 4.1. Let V be a variety of non-associative algebras over an infinite field of characteristic different from 2. If V is a variety of commutative algebras whose representations are representable, then it is an abelian variety.
Proof. First, since V has representable representations, it is algebraically coherent by Theorem 2.2. Hence the λ{µ-rules hold. By commutativity, these can be rewritten as for some λ, µ P K.
Now we need to use essentially the same algebras and actions as in the proof of Proposition 3.1, but without considerations for left and right, so that the actions satisfy the commutativity rule. In other words, for all b i in B i and w in X we define the actions such that bw " wb. Such actions are well defined, and thus the semi-direct product pB 1`B2`B3 q˙X is an object of V by representability of representations. Therefore its elements should satisfy the identity ( †). Let us check this on b 1 pb 2 xq: indeed, b 1 pb 2 xq " λpb 1 b 2 qx`µb 2 pb 1 xq " λ 2 pxb 1 qb 2`λ µb 1 pxb 2 q, so that 0 " pλ 2`µ qz 12`p λµ´1qz 21 . By linear independence of tz 12 , z 21 u, either V is abelian or λ " µ "´1.
The second case would mean that the identity ( †) is now Therefore, since b 1 pb 2 b 3 q is an element of the semi-direct product we have that b 1 pb 2 b 3 q "´pb 1 b 2 qb 3´b2 pb 1 b 3 q as an action, and in particular on x this implies Decomposing each element on the left side and on the right side twice by applying ( ‡) gives us t 123`t132`t231`t321 "´t 312´t321´t123´t213´t213´t231´t132´t312 , which is equivalent to 2t 312`2 t 321`2 t 123`2 t 213`2 t 132`2 t 231 " 0. Since char pKq ‰ 2 and all these elements are linearly independent, we encounter a contradiction. Hence V is abelian.
Remark 4.2. If char pKq " 2, then commutativity and anticommutativity are the same condition. Therefore, we do not have to care about it to state our next result. However, one should remember that quasi-Lie algebras and Lie algebras do not coincide when the characteristic of the field is 2.
Proposition 4.3. Let K be an infinite field and V a variety of non-associative algebras over K that satisfies the λ{µ-rules and anticommutativity. If V has representable representations, then the Jacobi identity holds in V .
Proof. Because of anticommutativity, the λ{µ-rules can be rewritten as for some λ, µ P K. We consider the actions we defined in the proof of Proposition 4.1, corrected for anticommutativity. So we decree that an element b i acting on the left is the same as b i acting on the right times´1. For instance, b 1 y 2 "´y 2 b 1 and b 2 x "´xb 2 . In order to check the identity ( §) on b 1 pb 2 xq, we compute: b 1 pb 2 xq " λpb 1 b 2 qx`µb 2 pb 1 xq "´λ 2 pxb 1 qb 2´λ µb 1 pxb 2 q`µb 2 pb 1 xq.
Corollary 4.4. Let V be a variety of non-associative algebras over an infinite field K. If V has representable representations, then V is a subvariety of Lie K or qLie K if char pKq " 2, and a subvariety of Lie K otherwise.

What about subvarieties?
We concluded the previous section by saying that the only potential identities of degree two for varieties with representable representations are xy " 0, xy "´yx and xx " 0, and that the Jacobi identity necessarily holds. The question we answer in this section is: "Did we miss any other identities?" As we have already explained above, such identities would have to be of degree at least 3. The next proposition proves that we cannot add any non-trivial identities without making the variety abelian.
Proposition 5.1. Let K be an infinite field and V be a subvariety of Lie K or qLie K determined by a collection of identities of degree 3 or higher. Then V is an abelian variety if and only if it has representable representations.
Proof. Let V be a non-abelian variety of K-algebras with representable representations. In the previous sections it was explained that there are no identities of degree two besides xy "´yx or xx " 0, and that the Jacobi identity holds. The idea here is to first prove that there is no identity of degree three besides Jacobi, and then we show that no other identities (of degree n ą 3) can hold.
First, suppose that V satisfies some degree three identities. Because of anticommutativity and Theorem 1.5, we may assume this identity to be xpyzq " λpxyqz`µypxzq for certain λ, µ P K. Then we may recycle the ideas of the proof of Proposition 4.3 to reduce it to the Jacobi identity. Now, the goal is to prove by induction that the existence of an identity of degree n ą 3 is in contradiction with Theorem 1.5. Let us assume that no other identities of degree lower than or equal to n ą 3 are satisfied. Let ψ be a homogeneous identity of degree n`1 with n ą 3 which holds in V . We consider a non-trivial multilinear consequence ϕpx 1 , . . . , x n , x 0 q " 0 of ψ, whose existence is assured by Theorem 1.5. Using anticommutativity and the Jacobi identity, we can rewrite ϕ in the shape 0 " ř i"1 λ i ϕ i px 1 , . . . , x i x 0 , . . . , x n q. We observe that if λ i " 0 for all i, then ϕ is just a consequence of xy "´yx and xpyzq`ypzxq`zpxyq " 0, or in other words a trivial identity. Note that it is impossible to be a consequence of other identities by the induction hypothesis. Proving that the λ i 's are zero will then bring us to a contradiction.
We consider the same actions we used in Proposition 4.3 but extended to n algebras B i acting on X (which is also enlarged to more elements). Those are again well defined and thus we have that pB 1`¨¨¨`Bn q˙X lies in V as already explained. Therefore the element ψppb 1 , 0q, pb 2 , 0q, . . . , pb n , 0q, p0, xqq " ψpb 1 , . . . , b n , xq of this semi-direct product has to vanish and the multilinear consequence ϕ as well, which allows us to write 0 " ř i"1 λ i ϕ i pb 1 , . . . , b i x, . . . , b n q. Again, by construction of the actions, the elements ϕ i pb 1 , . . . , b i x, . . . , b n q of X are linearly independent and thus λ i " 0 for all i-which completes the proof.

Conclusion and final remarks
We can now conclude with the main result of this article: Theorem 6.1. Let K be an infinite field. Let V be a variety of non-associative algebras over K. If V has representable representations-which happens, for instance, when it is action representable-then V is either the variety of Lie algebras Lie K , the variety of quasi-Lie algebras qLie K , or the category of vector spaces Vect K .
Proof. This is a direct consequence of Corollary 4.4 and Proposition 5.1.
In [16], the first and third authors of the current article gave a different and a priori unrelated categorical description of Lie algebras, through a condition called local algebraic cartesian closedness (LACC) introduced by J. R. A. Gray [19,18,13]. Let us recall the main result: Theorem 6.2. Let K be an infinite field and V a variety of n-algebras over K which is a non-abelian locally algebraically cartesian closed category. Then n " 2 and (1) if char pKq ‰ 2, then V " Lie K " qLie K ; (2) if char pKq " 2, then V " Lie K or V " qLie K .
This naturally leads to a number of questions which we hope to investigate in the future. 6.3. First question. Theorem 6.1 together with Theorem 6.2 tell us that, for nonassociative algebras over an infinite field, action representability, representability of representations and (LACC) are equivalent conditions. On the other hand, for arbitrary semi-abelian categories, this is known to be false in general. Indeed, the category Bool of Boolean rings is action representable [4] but does not satisfy (LACC), as explained in Proposition 6.4 of [19]. Today it remains an open problem whether local algebraic cartesian closedness implies action representability/representability of representations, or if some counterexample exists.
Remark 6.4. We observe that Bool can be seen as the variety of non-associative Z 2 -algebras satisfying xx " x. The fact that this category is action representable emphasises the necessity in Theorem 6.1 of working with an infinite field. 6.5. Second question. In order to obtain Theorem 6.2, the authors of [16] used a different inconsistent system of polynomial equations. Ours has 224 and may be reduced to a smaller system. Their system consists of 128 polynomials (and can in fact be further reduced as well). Whence, once again, a main result we were not able to prove without computer assistance. This makes us wonder whether a different proof technique exists, preferably a less computationally involved one. 6.6. Third question. What if instead of one multiplication, algebras have two? This is a natural question to ask, since Poisson algebras are an important example of this kind of object. Moreover, Poisson algebras over a fixed field form an Orzech category of interest, which simplifies the description of actions in this variety. The problem is that, for a given Poisson algebra X, the Lie algebra Der pXq of derivations on X need not form a Poisson algebra in general. Another potentially interesting example is the variety of Lie-Leibniz algebras introduced in [8].
Therefore, we may ask the following questions: "Are there action representable varieties of non-associative algebras with two multiplications? If not, can we prove this, and generalise the result to n ě 2 multiplications?" This might either result in a natural, categorical definition of "Lie algebras with two multiplications", or in yet another uniqueness result for classical Lie algebras.