相关论文: Recovering the Lie algebra from its extremal geome…

Let L be a restricted Lie algebra over a field of positive characteristic. We survey the known results about the Lie structure of the restricted enveloping algebra u(L) of L. Related results about the structure of the group of units and the…

A double algebra is a linear space $V$ equipped with linear map $V\otimes V\to V\otimes V$. Additional conditions on this map lead to the notions of Lie and associative double algebras. We prove that simple finite-dimensional Lie double…

In this paper we provide some conditions under which a Lie derivation on a trivial extension algebra is proper, that is, it can be decomposed into the sum of a derivation and a center valued map. We extend some known results on the…

Let $\g$ be a finite dimensional Lie algebra over a field $k$ of characteristic zero. An element $x$ of $\g$ is said to have an \emph{abstract Jordan-Chevalley decomposition} if there exist unique $s,n\in\g$ such that $x=s+n$, $[s,n]=0$ and…

This is a short presentation of some classical results on finite dimensional complex Lie algebras (classification of nilpotent Lie algebras, deformations and perturbations, contractions and rigidity). We present some applications to…

The class of minimal non-elementary Lie algebras over a field F are studied. These are classified when F is algebraically closed and of characteristic different from 2,3. The solvable algebras in this class are also characterised over any…

We consider versal deformations of 0|3-dimensional L-infinity algebras, which correspond precisely to ordinary (non-graded) three dimensional Lie algebras. The classification of such algebras over C is well known, although we shall give a…

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 paper, we first introduce the concept of symmetric biderivation radicals and characteristic subalgebras of Lie algebras, and study their properties. Based on these results, we precisely determine biderivations of some 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…

We investigate the concept of a ``Chevalley involution'' within the framework of root-graded Lie algebras with compatible grading. We provide a characterization of all centerless Lie tori of type $A_\ell(\ell\geq2)$ admitting a Chevalley…

We show that every connected affine algebraic supergroup defined over a field k, with diagonalizable maximal torus and whose tangent Lie superalgebra is a k-form of a complex simple Lie superalgebra of classical type is a Chevalley…

We present a local and constructive differential geometric description of finite-dimensional solvable and transitive Lie algebras of vector fields. We show that it implies a Lie's conjecture for such Lie algebras. Also infinite-dimensional…

Let $L$ be a Lie superalgebra over a field of characteristic different from $2,3$ and write $\mathrm{ID}^{*}(L)$ for the Lie superalgebra consisting of superderivations mapping $L$ to $L^{2}$ and the central elements to zero. In this paper…

Given an element $P(X_1,...,X_d)$ of the finitely generated free Lie algebra, for any Lie algebra $g$ we can consider the induced polynomial map $P: g^d\to g$. Assuming that $K$ is an arbitrary field of characteristic $\ne 2$, we prove that…

Let X be an affine variety and L be a solvable Lie subalgebra of Lie(Aut(X)) generated by a finite collection of locally finite Lie subalgebras. The authors of [arXiv:2507.09679] wondered whether L is itself locally finite. Here we present…

It is known that a single mapping defined on one term of a differential graded vector space extends to a strongly homotopy Lie algebra structure on the graded space when that mapping satisfies two conditions. This strongly homotopy Lie…

Lie algebras are an important class of algebras which arise throughout mathematics and physics. We report on the formalisation of Lie algebras in Lean's Mathlib library. Although basic knowledge of Lie theory will benefit the reader, none…

In this work we state a version of the double extension for homogeneous quadratic Lie super algebras that includes even and odd cases. We prove that any indecomposable, non-simple and homogeneous quadratic Lie super algebra is obtained by…

The coefficient algebra of a finite-dimensional Lie algebra on a finite-dimensional representation is defined as the subalgebra generated by all coefficients of the corresponding characteristic polynomial. We explore connections between…