Showing 1–26 of 26 results for author: García-Martínez, X

Action accessible and weakly action representable varieties of algebras

Authors: Xabier García-Martínez, Manuel Mancini

Abstract: The main goal of this article is to investigate the relationship between action accessibility and weak action representability in the context of varieties of non-associative algebras over a field. Specifically, using an argument of J. R. A. Gray in the setting of groups, we prove that the varieties of $k$-nilpotent Lie algebras ($k \geq 3$) and the varieties of $n$-solvable Lie algebras (… ▽ More The main goal of this article is to investigate the relationship between action accessibility and weak action representability in the context of varieties of non-associative algebras over a field. Specifically, using an argument of J. R. A. Gray in the setting of groups, we prove that the varieties of $k$-nilpotent Lie algebras ($k \geq 3$) and the varieties of $n$-solvable Lie algebras ($n \geq 2$) do not form weakly action representable categories. These are the first known examples of action accessible varieties of non-associative algebras that fail to be weakly action representable, establishing that a subvariety of a (weakly) action representable variety of non-associative algebras needs not be weakly action representable. Eventually, we refine J. R. A. Gray's result by proving that the varieties of $k$-nilpotent groups ($k \geq 3$) and that of $2$-solvable groups are not weakly action representable. △ Less

Submitted 21 March, 2025; originally announced March 2025.

MSC Class: 08A35; 08C05; 16W25; 17A36; 18E13

A comparison between weakly protomodular and protomodular objects in unital categories

Authors: Xabier García-Martínez, Andrea Montoli, Diana Rodelo, Tim Van der Linden

Abstract: We compare the concepts of protomodular and weakly protomodular objects within the context of unital categories. Our analysis demonstrates that these two notions are generally distinct. To establish this, we introduce left pseudocancellative unital magmas and characterise weakly protomodular objects within the variety of algebras they constitute. Subsequently, we present an example of a weakly pro… ▽ More We compare the concepts of protomodular and weakly protomodular objects within the context of unital categories. Our analysis demonstrates that these two notions are generally distinct. To establish this, we introduce left pseudocancellative unital magmas and characterise weakly protomodular objects within the variety of algebras they constitute. Subsequently, we present an example of a weakly protomodular object that is not protomodular in this category. △ Less

Submitted 27 September, 2024; originally announced September 2024.

Noncommutative Poisson structure and invariants of matrices

Authors: Farkhod Eshmatov, Xabier García-Martínez, Rustam Turdibaev

Abstract: We introduce a novel approach that employs techniques from noncommutative Poisson geometry to comprehend the algebra of invariants of two $n\times n$ matrices. We entirely solve the open problem of computing the algebra of invariants of two $4 \times 4$ matrices. As an application, we derive the complete description of the invariant commuting variety of $4 \times 4$ matrices and the fourth Caloger… ▽ More We introduce a novel approach that employs techniques from noncommutative Poisson geometry to comprehend the algebra of invariants of two $n\times n$ matrices. We entirely solve the open problem of computing the algebra of invariants of two $4 \times 4$ matrices. As an application, we derive the complete description of the invariant commuting variety of $4 \times 4$ matrices and the fourth Calogero-Moser space. △ Less

Submitted 13 February, 2024; v1 submitted 10 February, 2024; originally announced February 2024.

MSC Class: 16R30; 16S38; 14A22; 13A50

On the coordinate rings of Calogero-Moser spaces and the invariant commuting variety of a pair of matrices

Authors: Farkhod Eshmatov, Xabier García-Martínez, Zafar Normatov, Rustam Turdibaev

Abstract: This paper presents a comprehensive description of the coordinate rings and Poisson brackets associated with the fourth Calogero-Moser space and invariant commuting pairs of matrices of size four. As an application, we compute their respective classes in the Grothendieck ring of the category of complex varieties and we offer some novel insights about the geometry of the Hilbert scheme of points on… ▽ More This paper presents a comprehensive description of the coordinate rings and Poisson brackets associated with the fourth Calogero-Moser space and invariant commuting pairs of matrices of size four. As an application, we compute their respective classes in the Grothendieck ring of the category of complex varieties and we offer some novel insights about the geometry of the Hilbert scheme of points on the affine plane. △ Less

Submitted 20 February, 2025; v1 submitted 12 July, 2023; originally announced July 2023.

MSC Class: 16R30; 13A50; 14R20; 14L30; 17B63

A universal Kaluzhnin--Krasner embedding theorem

Authors: Bo Shan Deval, Xabier García-Martínez, Tim Van der Linden

Abstract: Given two groups $A$ and $B$, the Kaluzhnin--Krasner universal embedding theorem states that the wreath product $A\wr B$ acts as a universal receptacle for extensions from $A$ to $B$. For a split extension, this embedding is compatible with the canonical splitting of the wreath product, which is further universal in a precise sense. This result was recently extended to Lie algebras and to cocommut… ▽ More Given two groups $A$ and $B$, the Kaluzhnin--Krasner universal embedding theorem states that the wreath product $A\wr B$ acts as a universal receptacle for extensions from $A$ to $B$. For a split extension, this embedding is compatible with the canonical splitting of the wreath product, which is further universal in a precise sense. This result was recently extended to Lie algebras and to cocommutative Hopf algebras. The aim of the present article is to explore the feasibility of adapting the theorem to other types of algebraic structures. By explaining the underlying unity of the three known cases, our analysis gives necessary and sufficient conditions for this to happen. From those we may for instance conclude that a version for crossed modules can indeed be attained, while the theorem cannot be adapted to, say, associative algebras, Jordan algebras or Leibniz algebras, when working over an infinite field: we prove that then, amongst non-associative algebras, only Lie algebras admit a universal Kaluzhnin--Krasner embedding theorem. △ Less

Submitted 21 October, 2024; v1 submitted 27 June, 2023; originally announced June 2023.

Comments: 13 pages; final, published version

MSC Class: 16B50; 16W25; 17A36; 18C05; 18E13; 20E22

Journal ref: Proc. Amer. Math. Soc. 152 (2024), no. 12, 5039--5053

Weak representability of actions of non-associative algebras

Authors: Jose Brox, Xabier García-Martínez, Manuel Mancini, Tim Van der Linden, Corentin Vienne

Abstract: We study the categorical-algebraic condition that internal actions are weakly representable (WRA) in the context of varieties of (non-associative) algebras over a field. Our first aim is to give a complete characterization of action accessible, operadic quadratic varieties of non-associative algebras which satisfy an identity of degree two and to study the representability of actions for them. H… ▽ More We study the categorical-algebraic condition that internal actions are weakly representable (WRA) in the context of varieties of (non-associative) algebras over a field. Our first aim is to give a complete characterization of action accessible, operadic quadratic varieties of non-associative algebras which satisfy an identity of degree two and to study the representability of actions for them. Here we prove that the varieties of two-step nilpotent (anti-)commutative algebras and that of commutative associative algebras are weakly action representable, and we explain that the condition (WRA) is closely connected to the existence of a so-called amalgam. Our second aim is to work towards the construction, still within the context of algebras over a field, of a weakly representing object $E(X)$ for the actions on (or split extensions of) an object $X$. We actually obtain a partial algebra $E(X)$, which we call external weak actor of $X$, together with a monomorphism of functors ${\operatorname{SplExt}(-,X) \rightarrowtail \operatorname{Hom}(U(-),E(X))}$, which we study in detail in the case of quadratic varieties. Furthermore, the relations between the construction of the universal strict general actor $\operatorname{USGA}(X)$ and that of $E(X)$ are described in detail. We end with some open questions. △ Less

Submitted 6 February, 2025; v1 submitted 5 June, 2023; originally announced June 2023.

Comments: Final version, accepted for publication

MSC Class: 08A35; 08C05; 16B50; 16W25; 17A32; 17A36; 18C05; 18E13

Journal ref: Journal of Algebra 669 (2025), no. 18, pp. 401-444

A characterisation of Lie algebras using ideals and subalgebras

Authors: Vladimir Dotsenko, Xabier García-Martínez

Abstract: We prove that if, for a nontrivial variety of non-associative algebras, every subalgebra of every free algebra is free and $I^2$ is an ideal whenever $I$ is an ideal, then this variety coincides with the variety of all Lie algebras. We prove that if, for a nontrivial variety of non-associative algebras, every subalgebra of every free algebra is free and $I^2$ is an ideal whenever $I$ is an ideal, then this variety coincides with the variety of all Lie algebras. △ Less

Submitted 26 October, 2022; originally announced October 2022.

Comments: 15 pages, comments are welcome. arXiv admin note: substantial text overlap with arXiv:2205.05364

On some properties of $\mathsf{Lie}$-centroids of Leibniz algebras

Authors: José Manuel Casas, Xabier García-Martínez, Natalia Pachego-Rego

Abstract: We study some properties on $\mathsf{Lie}$-centroids related to central $\mathsf{Lie}$-derivations, generalized $\mathsf{Lie}$-derivations and almost inner $\mathsf{Lie}$-derivations. We also determine the $\mathsf{Lie}$-centroid of the tensor product of a commutative associative algebra and a Leibniz algebra. We study some properties on $\mathsf{Lie}$-centroids related to central $\mathsf{Lie}$-derivations, generalized $\mathsf{Lie}$-derivations and almost inner $\mathsf{Lie}$-derivations. We also determine the $\mathsf{Lie}$-centroid of the tensor product of a commutative associative algebra and a Leibniz algebra. △ Less

Submitted 17 July, 2021; originally announced July 2021.

MSC Class: 17A32; 17A36

Actor of a crossed module of dialgebras via tetramultipliers

Authors: José Manuel Casas, Rafael Fernández-Casado, Xabier García-Martínez, Emzar Khmaladze

Abstract: We study the representability of actions in the category of crossed modules of dialgebras via tetramultipliers. We deduce a pair of dialgebras in order to construct an object which, under certain circumstances, is the actor (also known as the split extension classifier). Moreover, we give give a full description of actions in terms of equations. Finally, we check that under the aforementioned circ… ▽ More We study the representability of actions in the category of crossed modules of dialgebras via tetramultipliers. We deduce a pair of dialgebras in order to construct an object which, under certain circumstances, is the actor (also known as the split extension classifier). Moreover, we give give a full description of actions in terms of equations. Finally, we check that under the aforementioned circumstances, the center coincides with the kernel of the canonical map from a crossed module to its actor. △ Less

Submitted 21 April, 2021; originally announced April 2021.

MSC Class: 17A30; 17A32; 18A05; 18D05

On the capablility of Hom-Lie algebras

Authors: José Manuel Casas, Xabier García-Martínez

Abstract: A Hom-Lie algebra $(L, α_L)$ is said to be capable if there exists a Hom-Lie algebra $(H, α_H)$ such that $L \cong H/Z(H)$. We obtain a characterisation of capable Hom-Lie algebras involving its epicentre and we use this theory to further study the six-term exact sequence in homology and to obtain a Hopf-type formulae of the second homology of perfect Hom-Lie algebras. A Hom-Lie algebra $(L, α_L)$ is said to be capable if there exists a Hom-Lie algebra $(H, α_H)$ such that $L \cong H/Z(H)$. We obtain a characterisation of capable Hom-Lie algebras involving its epicentre and we use this theory to further study the six-term exact sequence in homology and to obtain a Hopf-type formulae of the second homology of perfect Hom-Lie algebras. △ Less

Submitted 23 April, 2021; v1 submitted 27 January, 2021; originally announced January 2021.

MSC Class: 17B61; 18G50

Some generalisations of Schur's and Baer's theorem and their connection with homological algebra

Authors: Guram Donadze, Xabier García-Martínez

Abstract: Schur's Theorem and its generalisation, Baer's Theorem, are distinguished results in group theory, connecting the upper central quotients with the lower central series. The aim of this paper is to generalise these results in two different directions, using novel methods related with the non-abelian tensor product. In particular, we prove a version of Schur-Baer Theorem for finitely generated group… ▽ More Schur's Theorem and its generalisation, Baer's Theorem, are distinguished results in group theory, connecting the upper central quotients with the lower central series. The aim of this paper is to generalise these results in two different directions, using novel methods related with the non-abelian tensor product. In particular, we prove a version of Schur-Baer Theorem for finitely generated groups. Then, we apply these newly obtained results to describe the $k$-nilpotent multiplier, for $k\geq 2$, and other invariants of groups. △ Less

Submitted 21 December, 2020; v1 submitted 21 August, 2020; originally announced August 2020.

Comments: Final version to appear in Mathematische Nachrichten

MSC Class: 20F14; 20J05; 18G10; 18G50

Algebraic exponentiation for Lie algebras

Authors: Xabier García-Martínez, James R. A. Gray

Abstract: It is known that the category of Lie algebras over a ring admits algebraic exponents. The aim of this paper is to show that the same is true for the category of internal Lie algebras in an additive, cocomplete, symmetric, closed, monoidal category. In this way, we add some new examples to the brief list of known locally algebraically cartesian closed categories, including the categories of Lie sup… ▽ More It is known that the category of Lie algebras over a ring admits algebraic exponents. The aim of this paper is to show that the same is true for the category of internal Lie algebras in an additive, cocomplete, symmetric, closed, monoidal category. In this way, we add some new examples to the brief list of known locally algebraically cartesian closed categories, including the categories of Lie superalgebras and differentially graded Lie algebras amongst others. △ Less

Submitted 12 June, 2020; originally announced June 2020.

MSC Class: 18E99; 18A40; 18D15; 18D10; 17B99

Algebras with representable representations

Authors: Xabier García-Martínez, Matsvei Tsishyn, Tim Van der Linden, Corentin Vienne

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 \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… ▽ More 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$. △ Less

Submitted 23 June, 2021; v1 submitted 14 February, 2020; originally announced February 2020.

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

MSC Class: 17A36; 08A35; 08C05; 18C05; 18E13

Journal ref: Proc. Edinb. Math. Soc. (2) 64 (2021), 555--573

Abelian extensions and crossed modules of Hom-Lie algebras

Authors: José-Manuel Casas, Xabier García-Martínez

Abstract: In this paper we study the low dimensional cohomology groups of Hom-Lie algebras and their relation with derivations, abelian extensions and crossed modules. On one hand, we introduce the notion of $α$-abelian extensions and we obtain a five term exact sequence in cohomology. On the other hand, we introduce crossed modules of Hom-Lie algebras showing their equivalence with cat$^1$-Hom-Lie algebras… ▽ More In this paper we study the low dimensional cohomology groups of Hom-Lie algebras and their relation with derivations, abelian extensions and crossed modules. On one hand, we introduce the notion of $α$-abelian extensions and we obtain a five term exact sequence in cohomology. On the other hand, we introduce crossed modules of Hom-Lie algebras showing their equivalence with cat$^1$-Hom-Lie algebras, and we introduce $α$-crossed modules to have a better understanding of the third cohomology group. △ Less

Submitted 12 February, 2018; originally announced February 2018.

MSC Class: 18G55; 17A30; 17B55

A characterisation of Lie algebras via algebraic exponentiation

Authors: Xabier García-Martínez, Tim Van der Linden

Abstract: In this article we describe varieties of Lie algebras via algebraic exponentiation, a concept introduced by Gray in his Ph.D. thesis. For $\mathbb{K}$ an infinite field of characteristic different from $2$, we prove that the variety of Lie algebras over $\mathbb{K}$ is the only variety of non-associative $\mathbb{K}$-algebras which is a non-abelian locally algebraically cartesian closed (LACC) cat… ▽ More In this article we describe varieties of Lie algebras via algebraic exponentiation, a concept introduced by Gray in his Ph.D. thesis. For $\mathbb{K}$ an infinite field of characteristic different from $2$, we prove that the variety of Lie algebras over $\mathbb{K}$ is the only variety of non-associative $\mathbb{K}$-algebras which is a non-abelian locally algebraically cartesian closed (LACC) category. More generally, a variety of $n$-algebras $\mathcal{V}$ is a non-abelian (LACC) category if and only if $n=2$ and $\mathcal{V}=\mathsf{Lie}_\mathbb{K}$. In characteristic $2$ the situation is similar, but here we have to treat the identities $xx=0$ and $xy=-yx$ separately, since each of them gives rise to a variety of non-associative $\mathbb{K}$-algebras which is a non-abelian (LACC) category. △ Less

Submitted 22 October, 2018; v1 submitted 2 November, 2017; originally announced November 2017.

Comments: The ancillary files contain the code used in the proofs. Final version to appear in Advances in Mathematics

MSC Class: 08C05; 17A99; 18B99; 18A22; 18D15

Journal ref: Adv. Math. 341 (2019), 92--117

A characterisation of Lie algebras amongst anti-commutative algebras

Authors: Xabier García-Martínez, Tim Van der Linden

Abstract: Let $\mathbb{K}$ be an infinite field. We prove that if a variety of anti-commutative $\mathbb{K}$-algebras - not necessarily associative, where $xx=0$ is an identity - is locally algebraically cartesian closed, then it must be a variety of Lie algebras over $\mathbb{K}$. In particular, $\mathsf{Lie}_{\mathbb{K}}$ is the largest such. Thus, for a given variety of anti-commutative $\mathbb{K}$-alge… ▽ More Let $\mathbb{K}$ be an infinite field. We prove that if a variety of anti-commutative $\mathbb{K}$-algebras - not necessarily associative, where $xx=0$ is an identity - is locally algebraically cartesian closed, then it must be a variety of Lie algebras over $\mathbb{K}$. In particular, $\mathsf{Lie}_{\mathbb{K}}$ is the largest such. Thus, for a given variety of anti-commutative $\mathbb{K}$-algebras, the Jacobi identity becomes equivalent to a categorical condition: it is an identity in~$\mathcal{V}$ if and only if $\mathcal{V}$ is a subvariety of a locally algebraically cartesian closed variety of anti-commutative $\mathbb{K}$-algebras. This is based on a result saying that an algebraically coherent variety of anti-commutative $\mathbb{K}$-algebras is either a variety of Lie algebras or a variety of anti-associative algebras over $\mathbb{K}$. △ Less

Submitted 23 January, 2019; v1 submitted 19 January, 2017; originally announced January 2017.

Comments: Final version to appear in Journal of Pure and Applied Algebra

MSC Class: 08C05; 17A99; 18B99; 18A22; 18D15

Journal ref: J. Pure Appl. Algebra 223 (2019), 4857--4870

A note on split extensions of bialgebras

Authors: Xabier García-Martínez, Tim Van der Linden

Abstract: We prove a universal characterization of Hopf algebras among cocommutative bialgebras over a field: a cocommutative bialgebra is a Hopf algebra precisely when every split extension over it admits a join decomposition. We also explain why this result cannot be extended to a non-cocommutative setting. We prove a universal characterization of Hopf algebras among cocommutative bialgebras over a field: a cocommutative bialgebra is a Hopf algebra precisely when every split extension over it admits a join decomposition. We also explain why this result cannot be extended to a non-cocommutative setting. △ Less

Submitted 13 March, 2017; v1 submitted 3 January, 2017; originally announced January 2017.

Comments: Reduced the context to algebraically closed fields

MSC Class: 16T05; 18A40; 18E99; 18G15; 20J15

Journal ref: Forum Math. 30 (2018), No. 5, 1089-1096

A non-abelian exterior product and homology of Leibniz algebras

Authors: Guram Donadze, Xabier García-Martínez, Emzar Khmaladze

Abstract: We introduce a non-abelian exterior product of two crossed modules of Leibniz algebra and investigate its relation to the low dimensional Leibniz homology. Later this non-abelian exterior product is applied to the construction of eight term exact sequence in Leibniz homology. Also its relationship to the universal quadratic functor is established, which is applied to the comparison of the second L… ▽ More We introduce a non-abelian exterior product of two crossed modules of Leibniz algebra and investigate its relation to the low dimensional Leibniz homology. Later this non-abelian exterior product is applied to the construction of eight term exact sequence in Leibniz homology. Also its relationship to the universal quadratic functor is established, which is applied to the comparison of the second Lie and Leibniz homologies of a Lie algebra. △ Less

Submitted 23 December, 2016; originally announced December 2016.

MSC Class: 18G10; 18G50

Actor of a crossed module of Leibniz algebras

Authors: José Manuel Casas, Rafael F. Casado, Xabier García-Martínez, Emzar Khmaladze

Abstract: We extend to the category of crossed modules of Leibniz algebras the notion of biderivation via the action of a Leibniz algebra. This results into a pair of Leibniz algebras which allow us to construct an object which is the actor under certain circumstances. Additionally, we give a description of an action in the category of crossed modules of Leibniz algebras in terms of equations. Finally, we c… ▽ More We extend to the category of crossed modules of Leibniz algebras the notion of biderivation via the action of a Leibniz algebra. This results into a pair of Leibniz algebras which allow us to construct an object which is the actor under certain circumstances. Additionally, we give a description of an action in the category of crossed modules of Leibniz algebras in terms of equations. Finally, we check that, under the aforementioned conditions, the kernel of the canonical map from a crossed module to its actor coincides with the center and we introduce the notions of crossed module of inner and outer biderivations. △ Less

Submitted 15 June, 2016; originally announced June 2016.

MSC Class: 17A30; 17A32; 18A05; 18D05

A new characterisation of groups amongst monoids

Authors: Xabier García-Martínez

Abstract: We prove that a monoid $M$ is a group if and only if, in the category of monoids, all points over $M$ are strong. This sharpens and greatly simplifies a result of Montoli, Rodelo and Van der Linden which characterises groups amongst monoids as the protomodular objects. We prove that a monoid $M$ is a group if and only if, in the category of monoids, all points over $M$ are strong. This sharpens and greatly simplifies a result of Montoli, Rodelo and Van der Linden which characterises groups amongst monoids as the protomodular objects. △ Less

Submitted 8 June, 2016; originally announced June 2016.

MSC Class: 18D35; 20J15; 18E99; 03C05; 08C05

A natural extension of the universal enveloping algebra functor to crossed modules of Leibniz algebras

Authors: Rafael F. Casado, Xabier García-Martínez, Manuel Ladra

Abstract: The universal enveloping algebra functor between Leibniz and associative algebras defined by Loday and Pirashvili is extended to crossed modules. We prove that the universal enveloping crossed module of algebras of a crossed module of Leibniz algebras is its natural generalization. Then we construct an isomorphism between the category of representations of a Leibniz crossed module and the category… ▽ More The universal enveloping algebra functor between Leibniz and associative algebras defined by Loday and Pirashvili is extended to crossed modules. We prove that the universal enveloping crossed module of algebras of a crossed module of Leibniz algebras is its natural generalization. Then we construct an isomorphism between the category of representations of a Leibniz crossed module and the category of left modules over its universal enveloping crossed module of algebras. Our approach is particularly interesting since the actor in the category of Leibniz crossed modules does not exist in general, so the technique used in the proof for the Lie case cannot be applied. Finally we move on to the framework of the Loday-Pirashvili category $\mathcal{LM}$ in order to comprehend this universal enveloping crossed module in terms of the Lie crossed modules case. △ Less

Submitted 21 March, 2016; originally announced March 2016.

MSC Class: 17A30; 17A32; 17B35; 18A40

Universal central extensions of superdialgebras of matrices

Authors: Xabier García-Martínez, Manuel Ladra

Abstract: We complete the problem of finding the universal central extension in the category of Leibniz superalgebras of $\mathfrak{sl}(m, n, D)$ when $m+n \geq 3$ and $D$ is a superdialgebra, solving in particular the problem when $D$ is an associative algebra, superalgebra or dialgebra. To accomplish this task we use a different method than the standard studied in the literature. We introduce and use the… ▽ More We complete the problem of finding the universal central extension in the category of Leibniz superalgebras of $\mathfrak{sl}(m, n, D)$ when $m+n \geq 3$ and $D$ is a superdialgebra, solving in particular the problem when $D$ is an associative algebra, superalgebra or dialgebra. To accomplish this task we use a different method than the standard studied in the literature. We introduce and use the non-abelian tensor square of Leibniz superalgebras and its relations with the universal central extension. △ Less

Submitted 14 February, 2016; originally announced February 2016.

Comments: 13 pages

MSC Class: 17B60; 17B55; 17B05

Do $n$-Lie algebras have universal enveloping algebras

Authors: Xabier Garcia-Martinez, Rustam Turdibaev, Tim van der Linden

Abstract: The aim of this paper is to investigate in which sense, for $n\geq 3$, $n$-Lie algebras admit universal enveloping algebras. There have been some attempts at a construction (see [10] and [5]) but after analysing those we come to the conclusion that they cannot be valid in general. We give counterexamples and sufficient conditions. We then study the problem in its full generality, showing that un… ▽ More The aim of this paper is to investigate in which sense, for $n\geq 3$, $n$-Lie algebras admit universal enveloping algebras. There have been some attempts at a construction (see [10] and [5]) but after analysing those we come to the conclusion that they cannot be valid in general. We give counterexamples and sufficient conditions. We then study the problem in its full generality, showing that universality is incompatible with the wish that the category of modules over a given $n$-Lie algebra $L$ is equivalent to the category of modules over the associated algebra $U(L)$. Indeed, an associated algebra functor $U \colon \text{$n$-}\mathsf{Lie}_{\mathbb{K}} \to \mathsf{Alg}_{\mathbb{K}}$ inducing such an equivalence does exist, but this kind of functor never admits a right adjoint. We end the paper by introducing a (co)homology theory based on the associated algebra functor $U$. △ Less

Submitted 27 August, 2015; originally announced August 2015.

MSC Class: 17B35; 17A42

Journal ref: J. Lie Theory 28 (2018), No. 1, 043-055

Non-abelian tensor product and homology of Lie Superalgebras

Authors: Xabier García-Martínez, Emzar Khmaladze, Manuel Ladra

Abstract: We introduce the non-abelian tensor product of Lie superalgebras, study some of its properties including nilpotency, solvability and Engel, and we use it to describe the universal central extensions of Lie superalgebras. We present the low-dimensional non-abelian homology of Lie superalgebras and establish its relationship with the cyclic homology of associative superalgebras. We also define the n… ▽ More We introduce the non-abelian tensor product of Lie superalgebras, study some of its properties including nilpotency, solvability and Engel, and we use it to describe the universal central extensions of Lie superalgebras. We present the low-dimensional non-abelian homology of Lie superalgebras and establish its relationship with the cyclic homology of associative superalgebras. We also define the non-abelian exterior product and give an analogue of Miller's theorem, Hopf formula and a six-term exact sequence for the homology of Lie superalgebras. △ Less

Submitted 18 December, 2015; v1 submitted 7 July, 2014; originally announced July 2014.

MSC Class: 17B55; 17B30; 17B60

Journal ref: Journal of Algebra 440 (2015) 464--488

Universal central extensions of $\mathfrak{sl}(m, n, A)$ of small rank over associative superalgebras

Authors: Xabier García-Martínez, Manuel Ladra

Abstract: We complete the solution of the problem of finding the universal central extension of the matrix superalgebras $\mathfrak{sl}(m, n, A)$ where $A$ is an associative superalgebra and computing $H_2\big(\mathfrak{sl}(m, n, A)\big)$. The Steinberg Lie superalgebra $\mathfrak{st}(m, n, A)$ has a very important role and we will also find out $H_2\big(\mathfrak{st}(m, n, A)\big)$. In Chen and Sun (arXiv:… ▽ More We complete the solution of the problem of finding the universal central extension of the matrix superalgebras $\mathfrak{sl}(m, n, A)$ where $A$ is an associative superalgebra and computing $H_2\big(\mathfrak{sl}(m, n, A)\big)$. The Steinberg Lie superalgebra $\mathfrak{st}(m, n, A)$ has a very important role and we will also find out $H_2\big(\mathfrak{st}(m, n, A)\big)$. In Chen and Sun (arXiv:1311.7079, 2013) it is solved the problem where $m+n \geq 5$ and in Chen and Guay (Algebr. Represent. Theory, 2013) it is solved when $n=0$, so here we work out the three remaining cases $\mathfrak{sl}(2, 1, A), \mathfrak{sl}(3, 1, A)$ and $\mathfrak{sl}(2, 2, A)$. △ Less

Submitted 7 July, 2014; v1 submitted 15 May, 2014; originally announced May 2014.

Comments: 16 pages

MSC Class: 17B60; 17B55; 17B05

Universal central extensions of Lie-Rinehart algebras

Authors: José Luis Castiglioni, Xabier García-Martínez, Manuel Ladra

Abstract: In this paper we study the universal central extension of a Lie--Rinehart algebra and we give a description of it. Then we study the lifting of automorphisms and derivations to central extensions. We also give a definition of a non-abelian tensor product in Lie--Rinehart algebras based on the construction of Ellis of non-abelian tensor product of Lie algebras. We relate this non-abelian tensor pro… ▽ More In this paper we study the universal central extension of a Lie--Rinehart algebra and we give a description of it. Then we study the lifting of automorphisms and derivations to central extensions. We also give a definition of a non-abelian tensor product in Lie--Rinehart algebras based on the construction of Ellis of non-abelian tensor product of Lie algebras. We relate this non-abelian tensor product to the universal central extension. △ Less

Submitted 27 March, 2014; originally announced March 2014.

Comments: 23 pages

MSC Class: 17B55