The notion of a non-associative universal enveloping algebra for a Lie triple system arises when Lie triple systems are considered as Bol algebras (more generally, Sabinin algebras). In this paper a new construction for these universal enveloping algebras is given, and their properties are studied.
It is shown that universal enveloping algebras of Lie triple systems have surprisingly few ideals. It is conjectured, and the conjecture is verified on several examples, that the only proper ideal of the universal enveloping algebra of a simple Lie triple system is the augmentation ideal.
We prove that the only proper right ideal of the universal enveloping algebra of a finite-dimensional central simple Lie triple system over a field of characteristic zero is its augmentation ideal.
Let $\mathfrak{g}$ be a finite dimensional complex simple classical Lie superalgebra and $A$ be a commutative, associative algebra with unity over $\mathbb{C}$. In this paper we define an integral form for the universal enveloping algebra of the map superalgebra $\mathfrak{g}\otimes A$, and exhibit an explicit integral basis for this integral form.
A Hom-type algebra is called involutive if its Hom map is multiplicative and involutive. In this paper, we obtain an explicit construction of the free involutive Hom-associative algebra on a Hom-module. We then apply this construction to obtain the universal enveloping algebra of an involutive Hom-Lie algebra. Finally we obtain a Poincaré-Birkhoff-Witt theorem for the enveloping associative algebra of an involutive Hom-Lie algebra.
For n even, we prove Pozhidaev's conjecture on the existence of associative enveloping algebras for simple n-Lie algebras. More generally, for n even and any (n+1)-dimensional n-Lie algebra L, we construct a universal associative enveloping algebra U(L) and show that the natural map from L to U(L) is injective. We use noncommutative Grobner bases to present U(L) as a quotient of the free associative algebra on a basis of L and to obtain a monomial basis of U(L). In the last section, we provide computational evidence that the construction of U(L) is much more difficult for n odd.
We construct universal associative envelopes for the nonassociative triple systems arising from the trilinear operations of Bremner and Peresi applied to the 2-dimensional simple associative triple system. We use noncommutative Gröbner bases to determine monomial bases, structure constants, and centers of the universal envelopes. We show that the infinite dimensional envelopes are closely related to the down-up algebras of Benkart and Roby. For the finite dimensional envelopes, we determine the Wedderburn decompositions and classify the irreducible representations.
Let $L$ be a Lie algebra with its enveloping algebra $U(L)$ over a field. In this paper we survey results concerning the isomorphism problem for enveloping algebras: given another Lie algebra $H$ for which $U(L)$ and $U(H)$ are isomorphic as associative algebras, can we deduce that $L$ and $H$ are isomorphic Lie algebras? Over a field of positive characteristic we consider a similar problem for restricted Lie algebras, that is, given restricted Lie algebras $L$ and $H$ for which their restricted enveloping algebras are isomorphic as algebras, can we deduce that $L$ and $H$ are isomorphic?
We show that the universal associative enveloping algebra of the simple anti-Jordan triple system of all $n \times n$ matrices $(n \ge 2)$ over an algebraically closed field of characteristic 0 is finite dimensional. We investigate the structure of the universal envelope and focus on the monomial basis, the structure constants, and the center. We explicitly determine the decomposition of the universal envelope into matrix algebras. We classify all finite dimensional irreducible representations of the simple anti-Jordan triple system, and show that the universal envelope is semisimple. We also …
Rota-Baxter associative algebras and Rota-Baxter Lie algebras are both important in mathematics and mathematical physics, with the former a basic structure in quantum field renormalization and the latter a operator form of the classical Yang-Baxter equation. An outstanding problem posed by Gubarev is to determine whether there is a Poincaré-Birkhoff-Witt theorem for the universal enveloping Rota-Baxter associative algebra of a Rota-Baxter Lie algebra. This paper resolves this problem positively, working with operated algebras and applying the method of Gröbner-Shirshov bases.
These are the lecture notes from my short course of the same title at the CIMPA Research School on Associative and Nonassociative Algebras and Dialgebras: Theory and Algorithms - In Honour of Jean-Louis Loday (1946-2012), held at CIMAT, Guanajuato, Mexico, February 17 to March 2, 2013. The underlying motivation is to apply the theory of noncommutative Grobner bases in free associative algebras to the construction of universal associative envelopes for nonassociative structures defined by multilinear operations. Trilinear operations were classified by the author and Peresi in 2007. In her Ph.D.…
We deal with the existing problem of filtered multiplicative bases of finite-dimensional associative algebras. For an associative algebra A over a field, we investigate when the property of having a filtered multiplicative basis is hereditated by homomorphic images or by the associated graded algebra of $A$. These results are then applied to some classes of group algebras and restricted enveloping algebras.
In this paper the universal enveloping algebra of color hom-Lie algebras is studied. A construction of the free involutive hom-associative color algebra on a hom-module is described and applied to obtain the universal enveloping algebra of an involutive hom-Lie color algebra. Finally, the construction is applied to obtain the well-known Poincar{é}-Birkhoff-Witt theorem for Lie algebras to the enveloping algebra of an involutive color hom-Lie algebra.
We study the universal enveloping associative conformal algebra for the central extension of a current Lie conformal algebra at the locality level $N=3$. A standard basis of defining relations for this algebra is explicitly calculated. As a corollary, we find a linear basis of the free commutative conformal algebra relative to the locality $N=3$ on the generators.
Lie conformal algebras appear in the theory of vertex algebras. Their relation is similar to that of Lie algebras and their universal enveloping algebras. Associative conformal algebras play a role in conformal representation theory. We introduce the notions of conformal identity and unital associative conformal algebras and classify finitely generated simple unital associative conformal algebras of linear growth. These are precisely the complete algebras of conformal endomorphisms of finite modules.
In these notes, we introduce formal hom-associative deformations of the quantum planes and the universal enveloping algebras of the two-dimensional non-abelian Lie algebras. We then show that these deformations induce formal hom-Lie deformations of the corresponding Lie algebras constructed by using the commutator as bracket.
Lie conformal algebras are useful tools for studying vertex operator algebras and their representations. In this paper, we establish close relations between Poisson conformal algebras and representations of Lie conformal algebras. We also calculate explicitly Poisson conformal brackets on the associated graded conformal algebras of universal associative conformal envelopes of Virasoro conformal algebra and Neveu--Schwartz conformal superalgebra.
We give the description of three-dimensional Lie triple systems and their corresponding Lie algebras with invomorphisme, The description of three-dimensional Bol algebras linked with the distinguished Lie triple systems above is given. The construction of the object describing the isotopy of Bol algebras. The description of Bol 3-Webs, connected with the selected Bol algebras.
Given a partial action αof a group G on an associative algebra A we consider the crossed product A x_αG. Using the algebras of multipliers of ideals of A we prove that A x_αG is associative, provided that all ideals of A are idempotent. This generalizes a previous result on the associativity of A x_αG in the context of C*-algebras. We also give a criteria for the existence of a global extension of a given partial action on an algebra and use crossed products to study relations between partial actions of groups on algebras and partial representations. As an application we endow partial group al…
We introduce hom-associative Ore extensions as non-unital, non-associative Ore extensions with a hom-associative multiplication, and give some necessary and sufficient conditions when such exist. Within this framework, we construct families of hom-associative quantum planes, universal enveloping algebras of a Lie algebra, and Weyl algebras, all being hom-associative generalizations of their classical counterparts, as well as prove that the latter are simple. We also provide a way of embedding any multiplicative hom-associative algebra into a multiplicative, weakly unital hom-associative algebr…
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…
The simple symplectic triple systems over the real numbers are classified up to isomorphism, and linear models of all of them are provided. Besides the split cases, one for each complex simple Lie algebra, there are two kinds of non-split real simple symplectic triple systems with classical enveloping algebra, called unitarian and quaternionic types, and five non-split real simple symplectic triple systems with exceptional enveloping algebra.
For every associative algebra $A$ and every class $\mathcal{C}$ of representations of $A$ the following question (related to nullstellensatz) makes sense: Characterize all tuples of elements $a_1,\ldots,a_n \in A$ such that vectors $π(a_1)v,\ldots,π(a_n)v$ are linearly dependent for every $π\in \mathcal{C}$ and every $v$ from the representation space of $π$. We answer this question in the following cases: (1) $A=U(L)$ is the enveloping algebra of a finite-dimensional complex Lie algebra $L$ and $\mathbb{C}$ is the class of all finite-dimensional representations of $A$. (2) $A=U(\mathfrak{sl}_2…
In this paper, we introduce the notion of differential graded Poisson algebra and study its universal enveloping algebra. From any differential graded Poisson algebra $A$, we construct two isomorphic differential graded algebras: $A^e$ and $A^E$. It is proved that the category of differential graded Poisson modules over $A$ is isomorphic to the category of differential graded modules over $A^e$, and $A^e$ is the unique universal enveloping algebra of $A$ up to isomorphisms. As applications of the universal property of $A^e$, we prove that $(A^e)^{op}\cong (A^{op})^e$ and $(A\otimes_{\Bbbk}B)^e…
Perez-Izquierdo and Shestakov recently extended the PBW theorem to Malcev algebras. It follows from their construction that for any Malcev algebra $M$ over a field of characteristic $\ne 2, 3$ there is a representation of the universal nonassociative enveloping algebra $U(M)$ by linear operators on the polynomial algebra $P(M)$. For the nilpotent non-Lie Malcev algebra $\mathbb{M}$ of dimension 5, we use this representation to determine explicit structure constants for $U(\mathbb{M})$; from this it follows that $U(\mathbb{M})$ is not power-associative. We obtain a finite set of generators for …
It is well known that any Lie algebra can be embedded into an associative algebra. We prove that any metabelian Lie algebra can be embedded into an algebra in the subvariety of perm algebras, i.e., associative algebras with the identity $abc-acb =0$. In addition, a technical method to construct the universal enveloping perm algebra for a metabelian Lie algebra is given.
We prove that every quadratic Lie conformal algebra constructed on a special Gelfand-Dorfman algebra embeds into the universal enveloping associative conformal algebra with a locality function bound N = 3.
The cup product in the cohomology of algebras over quadratic operads has been studied in the general setting of Koszul duality for operads. We study the cup product on the cohomology of n-ary totally associative algebras with an operation of even (homological) degree. This cup product endows the cohomology with the structure of an n-ary partially associative algebra with an operation of even or odd degree depending on the parity of n. In the cases n = 3 and n = 4, we provide an explicit definition of this cup product and prove its basis properties.
We develop the notion of deformations using a valuation ring as ring of coefficients. This permits to consider in particular the classical Gerstenhaber deformations of associative or Lie algebras as infinitesimal deformations and to solve the equation of deformations in a polynomial frame. We consider also the deformations of the enveloping algebra of a rigid Lie algebra and we define valued deformations for some classes of non associative algebras.
The theory of abstract kernels in non-trivial extensions for many kinds of algebraical objects, such as groups, rings and graded rings, associative algebras, Lie algebras, restricted Lie algebras, DG-algebras and DG-Lie algebras, has been widely studied since 1940's. Gerhard Hochschild firstly treats associative algebra as an generic type in the series of kernel problems. He proves the theorem of constructing kernel by presenting many tedious relations that may lost the readers today. In this paper, we shall illustrate the formulation and recast it for Lie algebra(-oid) kernels. We also prove …
Let $C(B,N)$ be the free associative conformal algebra generated by a set $B$ with a bounded locality $N$. Let $S$ be a subset of $C(B,N)$. A Composition-Diamond lemma for associative conformal algebras is firstly established by Bokut, Fong, and Ke in 2004 \cite{BFK04} which claims that if (i) $S$ is a Gröbner-Shirshov basis in $C(B,N)$, then (ii) the set of $S$-irreducible words is a linear basis of the quotient conformal algebra $C(B,N|S)$, but not conversely. In this paper, by introducing some new definitions of normal $S$-words, compositions and compositions to be trivial, we give a new Co…
We study unitary multigraded non-associative algebras R generated by an ordered set X over a field K of characteristic 0 such that the mappings d_k: x_l->delta_{kl}, x_k,x_l in X, can be extended to derivations of R. The class of these algebras is quite large and includes free associative and Jordan algebras, absolutely free (non-associative) algebras, relatively free algebras in varieties of algebras, universal enveloping algebras of multigraded Lie algebras, etc. There are Taylor-like formulas for R: Each element of R can be uniquely presented as a sum of elements of the form (...(r_0 x_{j_1…
In this paper, by using the Composition-Diamond lemma for non-associative algebras invented by A. I. Shirshov in 1962, we give Gröbner-Shirshov bases for free Pre-Lie algebras and the universal enveloping non-associative algebra of an Akivis algebra, respectively. As applications, we show I.P. Shestakov's result that any Akivis algebra is linear and D. Segal's result that the set of all good words in $X^{**}$ forms a linear basis of the free Pre-Lie algebra $PLie(X)$ generated by the set $X$. For completeness, we give the details of the proof of Shirshov's Composition-Diamond lemma for non-ass…
We introduce a non-symmetric operad $\mathcal{N}$, whose dimension in degree $n$ is given by the Catalan number $c_{n-1}$. It arises naturally in the study of coalgebra structures defined on compatible associative algebras. We prove that any free compatible associative algebra admits a compatible infinitesimal bialgebra structure, whose subspace of primitive elements is a $\mathcal{N}$-algebra. The data $({\rm As},{\rm As}^2, \mathcal{N})$ is a good triple of operads, in J.-L. Loday's sense. Our construction induces another triple of operads $({\rm As},{\rm As}_2,{\rm As})$, where ${\rm As}_2$…
We study Hom-bialgebras and objects admitting coactions by Hom-bialgebras. In particular, we construct a Hom-bialgebra M representing the functor of 2x2-matrices on Hom-associative algebras. Then we construct a Hom-algebra analogue of the affine plane and show that it is a comodule Hom-algebra over M in a suitable sense. It is also shown that the enveloping Hom-associative algebra of a Hom-Lie algebra is naturally a Hom-bialgebra.
In this survey paper we give an overview over constructions of geometries associated to Jordan structures (algebras, triple systems and pairs), featuring analogs of these constructions with the Lie functor on the one hand and with the approach of non-commutative geometry on the other hand.
We develop the theory of ``branch algebras'', which are infinite-dimensional associative algebras that are isomorphic, up to taking subrings of finite codimension, to a matrix ring over themselves. The main examples come from groups acting on trees. In particular, for every field k we construct a k-algebra K which (1) is finitely generated and infinite-dimensional, but has only finite-dimensional quotients; (2) has a subalgebra of finite codimension, isomorphic to $M_2(K)$; (3) is prime; (4) has quadratic growth, and therefore Gelfand-Kirillov dimension 2; (5) is recursively presented; (6) sat…
This is a survey of some recent developments in the theory of associative and nonassociative dialgebras, with an emphasis on polynomial identities and multilinear operations. We discuss associative, Lie, Jordan, and alternative algebras, and the corresponding dialgebras; the KP algorithm for converting identities for algebras into identities for dialgebras; the BSO algorithm for converting operations in algebras into operations in dialgebras; Lie and Jordan triple systems, and the corresponding disystems; and a noncommutative version of Lie triple systems based on the trilinear operation abc-b…
For each simple symplectic triple system over the real numbers, the standard enveloping Lie algebra and the algebra of inner derivations of the triple provide a reductive pair related to a semi-Riemannian homogeneous manifold. It is proved that this is an Einstein manifold.
Basic definitions and properties of nearly associative algebras are described. Nearly associative algebras are proved to be Lie-admissible algebras. Two-dimensional nearly associative algebras are classified, and its main classes are derived. The bimodules, matched pairs and Manin triple of a nearly associative algebras are derived and their equivalence with nearly associative bialgebras is proved. Basic definitions and properties of nearly Hom-associative algebras are described. Related bimodules and matched pairs are given, and associated identities are established.
In this paper we prove that in prime characteristic there is a functor $-_{p-Leib}$ from the category of diassociative algebras to the category of restricted Leibniz algebras, generalizing the functor from associative algebras to restricted Lie algebras. Moreover we define the notion of restricted universal enveloping diassociative algebra $Ud_{p}(g)$ of a restricted Leibniz algebra $g$ and we show that $Ud_{p}$ is left adjoint to the functor $-_{p-Leib}$. We also construct the restricted enveloping algebra, which classifies the restricted Leibniz modules. In the last section we put a restrict…
The problem of finding generators of the subalgebra of invariants under the action of a group of automorphisms of a finite dimensional Lie algebra on its universal enveloping algebra is reduced to finding homogeneous generators of the same group acting on the symmetric tensor algebra of the Lie algebra. This process is applied to prove a constructive Hilbert-Nagata Theorem (including degree bounds) for the algebra of invariants in a Lie nilpotent relatively free associative algebra endowed with an action induced by a representation of a reductive group.
Hochschild two-cocycles play an important role in the deformation à la Gerstenhaber of associative algebras. The aim of this paper is to introduce the category of Hoch-algebras whose objects are associative algebras equipped with an extra magmatic operation \succ verifying the Hochschild two-cocycle relation: (x \succ y)*z+ (x*y)\succ z= x\succ (y*z)+ x*(y\succ z). The free Hoch-algebra over a K-vector space is given in terms of planar rooted trees and the triples of operads (As,Hoch, Mag^\infty) endowed with the infinitesimal relations are shown to be good. We then obtain an equivalence of ca…
We introduce and study soficity for Lie algebras, modelled after linear soficity in associative algebras. We introduce equivalent definitions of soficity, one involving metric ultraproducts and the other involving almost representations. We prove that any Lie algebra of subexponential growth is sofic. We also prove that a Lie algebra over a field of characteristic 0 is sofic if and only if its universal enveloping algebra is linearly sofic. Finally, we give explicit families of almost representations for the Witt and Virasoro algebras.
We take an algorithmic and computational approach to a basic problem in abstract algebra: determining the correct generalization to dialgebras of a given variety of nonassociative algebras. We give a simplified statement of the KP algorithm introduced by Kolesnikov and Pozhidaev for extending polynomial identities for algebras to corresponding identities for dialgebras. We apply the KP algorithm to the defining identities for Jordan triple systems to obtain a new variety of nonassociative triple systems, called Jordan triple disystems. We give a generalized statement of the BSO algorithm intro…
Using cocycle twists for associative graded algebras, we characterize finite dimensional nilpotent Lie color algebras $L$ graded by arbitrary abelian groups whose enveloping algebras $U(L)$ have the property that the injective hulls of simple right $U(L)$-modules are locally Artinian. We also collect together results on gradings on Lie algebras arising from this characterization.
