Related papers: On regular Lie algebras

We present a formalization, in the theorem prover Lean, of the classification of solvable Lie algebras of dimension at most three over arbitrary fields. Lie algebras are algebraic objects which encode infinitesimal symmetries, and as such…

Consider the smooth sections of the tangent bundle of a reductive homogeneous space. This is a vector space over the field of real numbers. The canonical connection acts as a linear binary operator on this vector space, making it an…

Anti-pre-Lie algebras, Novikov algebras and commutative 2-cocycles on Lie algebrasWe introduce the notion of anti-pre-Lie algebras as the underlying algebraic structures of nondegenerate commutative 2-cocycles which are the "symmetric"…

It is shown that any Lie affgebra, that is an algebraic system consisting of an affine space together with a bi-affine bracket satisfying affine versions of the antisymmetry and Jacobi identity, is isomorphic to a Lie algebra together with…

A Lie algebra is said to be metric if it admits a symmetric invariant and nondegenerate bilinear form. The harmonic oscillator algebra, which arises in the quantum mechanical description of a harmonic oscillator, is the smallest solvable…

We introduce a class of Lie algebras called admissible Lie algebras. We show that a locally finite admissible simple Lie algebra contains a nonzero maximal toral subalgebra and the corresponding root system is an irreducible locally finite…

We present a new look at description of real finite-dimensional Lie algebras. The basic element turns out to be a pair $(F,v)$ consisting of a linear mapping $F\in End(V)$ and its eigenvector $v$. This pair allows to build a Lie bracket on…

In this work we state a result that relates the cohomology groups of a Lie algebra $\mathfrak{g}$ and a current Lie algebra $\mathfrak{g} \otimes \mathcal{S}$, by means of a short exact sequence -- similar to the universal coefficients…

We characterize H-like Lie algebras in terms of subspaces of cones over conjugacy classes in $\mathfrak{so}(\mathbb{R}^q)$, translating the classification problem for H-like Lie algebras to an equivalent problem in linear algebra. We study…

We demonstrate how a simple linear-algebraic technique used earlier to compute low-degree cohomology of current Lie algebras, can be utilized to compute other kinds of structures on such Lie algebras, and discuss further generalizations,…

In this paper we prove that every recursively presented Lie algebra over a field which is a finite extention of its simple subfield can be embedded in a recursively presented Lie algebra defined by relations which are equalities of…

It is a basic fact in infinite-dimensional Lie theory that the unit group G(A) of a continuous inverse algebra A is a Lie group. We describe criteria ensuring that the Lie group G(A) is regular in Milnor's sense. Notably, G(A) is regular if…

In extending results from Lie to Leibniz algebras, it is helpful to have techniques which translate results from the former to the latter without having to repeat the (perhaps modified) arguments. Such a technique is developed in this work,…

For a finite-dimensional representation V of a group G we introduce and study the notion of a Lie element in the group algebra k[G]. The set L(V) \subset k[G] of Lie elements is a Lie algebra and a G-module acting on the original…

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…

A transitive Lie algebra g of rational vector fields on a projective manifold which do not preserve any foliation determines a rational map to an algebraic homogenous space G/H which maps g to lie(G).

A thin Lie algebra is a Lie algebra graded over the positive integers satisfying a certain narrowness condition. We describe several cyclic grading of the modular Hamiltonian Lie algebras $H(2\colon\n;\omega_2)$ (of dimension one less than…

We introduce the class of graded Lie-Rinehart algebras as a natural generalization of the one of graded Lie algebras. For $G$ an abelian group, we show that if $L$ is a tight $G$-graded Lie-Rinehart algebra over an associative and…

We develop Lie theory in the category $\text{Ver}_4^+$ over a field of characteristic 2, the simplest tensor category which is not Frobenius exact, as a continuation of arXiv:2406.10201. We provide a conceptual proof that an operadic Lie…

Let K be an algebraically closed field of characteristic 0. It is well known that any quasi-reductive Lie algebra is stable. However, there are stable Lie algebras which are not quasi-reductive. This raises the question, if for some…