Metric Lie algebras and quadratic extensions

The present paper contains a systematic study of the structure of metric Lie algebras, i.e., finite-dimensional real Lie algebras equipped with a nondegenerate invariant symmetric bilinear form. We show that any metric Lie algebra g without simple ideals has the structure of a so called balanced quadratic extension of an auxiliary Lie algebra l by an orthogonal l-module a in a canonical way. Identifying equivalence classes of quadratic extensions of l by a with a certain cohomology set H²_Q(l,a), we obtain a classification scheme for general metric Lie algebras and a complete classification of metric Lie algebras of index 3.     

A non-abelian tensor product of precrossed modules in lie algebras

Abstract

In this paper, we introduce the non-abelian tensor square of precrossed modules in Lie algebras and investigate some of its properties. In particular, for an arbitrary Lie algebra L, we study the relation of the second homology of a precrossed L-module and the non-abelian exterior square. Also, we show how this non-abelian tensor product is related to the universal central extensions (with respect to the subcategory of crossed modules) of a precrossed module.     

n-Lie 代数的扩张

文章主要研究n-Lie 代数的扩张问题. 首先利用n-Lie 代数的模作n-Lie 代数的T_θ- 扩张与T_θ^*-扩张. 再利用模度量3-Lie 代数,做3-Lie 代数的双扩张. 文章最后利用4- 指标阵构造了m 维3-Lie代数的双扩张.     

Representability of actions in the category of (Pre)crossed modules in Leibniz algebras

We investigate the representability of actions in the category of (pre)crossed modules in Leibniz algebras. For this, we construct an actor of a (pre)cat¹-Leibniz algebra and then by using the natural equivalence of the categories of (pre)cat¹-Leibniz algebras and that of (pre)crossed modules, we construct the split extension classifier of the corresponding (pre)crossed module.     

On non-Abelian Leibniz cohomology

In this note, by using a generalized notion of the Leibniz algebra of derivations, we present the constructions of the zero, first, and second non-Abelian Leibniz cohomologies with coefficients in crossed modules, which generalize the classical zero, first, and second Leibniz cohomology. For Lie algebras we compare the non-Abelian Leibniz and Lie cohomologies. We describe the second non-Abelian Leibniz cohomology via extensions of Leibniz algebras by crossed modules.     

Compatible actions of Lie algebras

Abstract

We study compatible actions (introduced by Brown and Loday in their work on the non-abelian tensor product of groups) in the category of Lie algebras over a fixed ring. We describe the Peiffer product via a new diagrammatic approach, which specializes to the known definitions both in the case of groups and of Lie algebras. We then use this approach to transfer a result linking compatible actions and pairs of crossed modules over a common base object L from groups to Lie algebras. Finally, we show that the Peiffer product, naturally endowed with a crossed module structure, has the universal property of the coproduct in XMod_L(Lie_R).     

From Lie algebra crossed modules to tensor hierarchies

The present paper, though inspired by the use of tensor hierarchies in theoretical physics, establishes their mathematical credentials, especially as genetically related to Lie algebra crossed modules. Gauging procedures in supergravity rely on a pairing – the embedding tensor – between a Leibniz algebra and a Lie algebra. Two such algebras, together with their embedding tensor, form a triple called a Lie-Leibniz triple, of which Lie algebra crossed modules are particular cases. This paper is devoted to showing that any Lie-Leibniz triple induces a differential graded Lie algebra – its associated tensor hierarchy – whose restriction to the category of Lie algebra crossed modules is the canonical assignment associating to any Lie algebra crossed module its corresponding unique 2-term differential graded Lie algebra. This shows that Lie-Leibniz triples form natural generalizations of Lie algebra crossed modules and that their associated tensor hierarchies can be considered as some kind of ‘lie-ization’ of the former. We deem the present construction of such tensor hierarchies clearer and more straightforward than previous derivations. We stress that such a construction suggests the existence of further well-defined Leibniz gauge theories.     

Composition-diamond lemma for modules

We investigate the relationship between the Gröbner-Shirshov bases in free associative algebras, free left modules and “double-free” left modules (that is, free modules over a free algebra). We first give Chibrikov’s Composition-Diamond lemma for modules and then we show that Kang-Lee’s Composition-Diamond lemma follows from it. We give the Gröbner-Shirshov bases for the following modules: the highest weight module over a Lie algebra sl ₂, the Verma module over a Kac-Moody algebra, the Verma module over the Lie algebra of coefficients of a free conformal algebra, and a universal enveloping module for a Sabinin algebra. As applications, we also obtain linear bases for the above modules.     

Non-weight representations of Cartan type S Lie algebras

For the two Cartan type S subalgebras of the Witt algebra 𝒲_n, called Lie algebras of divergence-zero vector fields, we determine all module structures on the universal enveloping algebra of their Cartan subalgebra 𝔥_n. We also give all submodules of these modules.     

Representations and T*-Extensions of Hom–Jordan–Lie Algebras

The purpose of this article is to study representations and T*-extensions of δ-hom–Jordan–Lie algebras. In particular, adjoint representations, trivial representations, deformations, and many properties of T*-extensions of δ-hom–Jordan–Lie algebras are studied in detail. Derivations and central extensions of δ-hom–Jordan–Lie algebras are also discussed as an application.     

Infinite-dimensional metagonal and metaplectic groups. I. General concepts and metagonal groups

We study central S¹ -extensions of the groups of orthogonal and symplectic operators on a Hilbert space with Hilbert-Schmidt antilinear part. We investigate in detail the corresponding 2-cocyles on their Lie algebras. The passage to the limit of the corresponding finite-dimensional groups is described and it is shown that both extensions are nontrivial even in the topological sense. Among the applications is a unified construction of the basic modulus for Kac-Moody algebras.Translated from Zapiski Nauchnykh Seminarov Leningradskogo Otdeleniya Matematicheskogo Instituta im. V. A. Steklova AN SSSR, Vol. 123, pp. 3–35, 1983.     

A complex semigroup approach to group algebras of infinite dimensional Lie groups

A host algebra of a topological group G is a C ^*-algebra whose representations are in one-to-one correspondence with certain continuous unitary representations of G. In this paper we present an approach to host algebras for infinite dimensional Lie groups which is based on complex involutive semigroups. Any locally bounded absolute value α on such a semigroup S leads in a natural way to a C ^*-algebra C ^*(S,α), and we describe a setting which permits us to conclude that this C ^*-algebra is a host algebra for a Lie group G. We further explain how to attach to any such host algebra an invariant weak-*-closed convex set in the dual of the Lie algebra of G enjoying certain nice convex geometric properties. If G is the additive group of a locally convex space, we describe all host algebras arising this way. The general non-commutative case is left for the future. To K.H. Hofmann on the occasion of his 75th birthday     

On the Brandt λ 0-extensions of monoids with zero

We study algebraic properties of the Brandt λ ⁰-extensions of monoids with zero and non-trivial homomorphisms between the Brandt λ ⁰-extensions of monoids with zero. We introduce finite, compact topological Brandt λ ⁰-extensions of topological semigroups and countably compact topological Brandt λ ⁰-extensions of topological inverse semigroups in the class of topological inverse semigroups and establish the structure of such extensions and non-trivial continuous homomorphisms between such topological Brandt λ ⁰-extensions of topological monoids with zero. We also describe a category whose objects are ingredients in the constructions of finite (compact, countably compact) topological Brandt λ ⁰-extensions of topological monoids with zeros.     

More on the Hochschild and Cyclic Homologies of Crossed Modules of Algebras

We investigate the Hochschild and cyclic homologies of crossed modules of algebras in some special cases. We prove that the cotriple cyclic homology of a crossed module of algebras (I, A, ρ) is isomorphic to HC _*(ρ): HC _*(I) → HC _*(A), provided I is H-unital and the ground ring is a field with characteristic zero. We also calculate the Hochschild and cyclic homologies of a crossed module of algebras (R, 0, 0) for each algebra R with trivial multiplication. At the end, we give some applications proving a new five term exact sequence.     

Constructions for Octonion and Exceptional Jordan Algebras

In this note we reverse theusual process of constructing the Lie algebras of types G ₂and F ₄ as algebras of derivations of the splitoctonions or the exceptional Jordan algebra and instead beginwith their Dynkin diagrams and then construct the algebras togetherwith an action of the Lie algebras and associated Chevalley groups.This is shown to be a variation on a general construction ofall standard modules for simple Lie algebras and it is well suitedfor use in computational algebra systems. All the structure constantswhich occur are integral and hence the construction specialisesto all fields, without restriction on the characteristic, avoidingthe usual problems with characteristics 2 and 3.     

Leibniz algebras with pseudo-Riemannian bilinear forms

M. Bordemann has studied non-associative algebras with nondegenerate associative bilinear forms. In this paper, we focus on pseudo-Riemannian bilinear forms and study pseudo-Riemannian Leibniz algebras, i.e., Leibniz algebras with pseudo-Riemannian non-degenerate symmetric bilinear forms. We give the notion and some properties of T*-extensions of Leibniz algebras. In addition, we introduce the definition of equivalence and isometrical equivalence for two T*-extensions of a Leibniz algebra, and give a sufficient and necessary condition for the equivalence and isometrical equivalence.     

Metric Lie algebras with maximal isotropic centre

A metric Lie algebra is a Lie algebra equipped with an invariant non-degenerate symmetric bilinear form. It is called indecomposable if it is not the direct sum of two metric Lie algebras. We are interested in describing the isomorphism classes of indecomposable metric Lie algebras. In the present paper we restrict ourselves to a certain class of solvable metric Lie algebras which includes all indecomposable metric Lie algebras with maximal isotropic centre. We will see that each metric Lie algebra belonging to this class is a twofold extension associated with an orthogonal representation of an abelian Lie algebra. We will describe equivalence classes of such extensions by a certain cohomology set. In particular we obtain a classification scheme for indecomposable metric Lie algebras with maximal isotropic centre and the classification of metric Lie algebras of index 2.     

Trialitarian automorphisms of lie algebras

Over an algebraically closed field of characteristic zero simple Lie algebras admit outer automorphisms of order 3 if and only if they are of type D₄. Moreover, thereare two conjugacy classes of such automorphisms. Among orthogonal Lie algebras over arbitrary fields of characteristic zero, only orthogonal Lie algebras relative to quadratic norm forms of Cayley algebras admit outer automorphisms of order 3. We give a complete list of conjugacy classes of outer automorphisms of order 3 for orthogonal Lie algebras over arbitrary fields of characteristic zero. For the norm form of a given Cayley algebra, one class is associated with the Cayley algebra and the others with central simple algebras of degree 3 with involution of the second kind such that the cohomological invariant of the involution is the norm form.     

Conservative algebras of 2-dimensional algebras,II

In 1990 Kantor defined the conservative algebra W(n) of all algebras (i.e. bilinear maps) on the n-dimensional vector space. If n>1, then the algebra W(n) does not belong to any well-known class of algebras (such as associative, Lie, Jordan, or Leibniz algebras). We describe automorphisms, one-sided ideals, and idempotents of W(2). Also similar problems are solved for the algebra W₂ of all commutative algebras on the 2-dimensional vector space and for the algebra S₂ of all commutative algebras with trace zero multiplication on the 2-dimensional vector space.