Related papers: Lie algebras of smooth sections

Let $M$ be a maximal subalgebra of a Lie algebra $L$ and $A/B$ a chief factor of $L$ such that $B \subseteq M$ and $A \not \subseteq M$. We call the factor algebra $M \cap A/B$ a $c$-section of $M$. All such $c$-sections are isomorphic, and…

We consider the Lie algebra associated with the descending central series filtration of the pure braid group of a closed surface of arbitrary genus. R. Bezrukavnikov gave a presentation of this Lie algebra over the rational numbers. We show…

For a field K and directed graph E, we analyze those elements of the Leavitt path algebra L_K(E) which lie in the commutator subspace [L_K(E), L_K(E)]. This analysis allows us to give easily computable necessary and sufficient conditions to…

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…

It is proved that the derivation algebra of a centerless perfect Lie algebra of arbitrary dimension over any field of arbitrary characteristic is complete and that the holomorph of a centerless perfect Lie algebra is complete if and only if…

Results on characterization of manifolds in terms of certain Lie algebras growing on them, especially Lie algebras of differential operators, are reviewed and extended. In particular, we prove that a smooth (real-analytic, Stein) manifold…

Results on derivations and automorphisms of some quantum and classical Poisson algebras, as well as characterizations of manifolds by the Lie structure of such algebras, are revisited and extended. We prove in particular somehow unexpected…

We prove that for a vector bundle $ E \to M$, the Lie algebra $\mathcal{D}_{\mathcal{E}}(E)$ generated by all differential operators on $E$ which are eigenvectors of $L_{\mathcal{E}},$ the Lie derivative in the direction of the Euler vector…

Starting with Lie's classification of finite-dimensional transitive Lie algebras of vector fields on $\mathbb C^2$ we construct Lie algebras of vector fields on the bundle $\mathbb C^2 \times \mathbb C$ by lifting the Lie algebras from the…

Results describing Lie ideals and maximal finite-codimensional Lie subalgebras of the Lie algebras associated with Lie algebroids with non-singular anchor maps are presented. It is also proved that every isomorphism of such Lie algebras…

Axioms of Lie algebroid are discussed in order to review some known aspects for non-experts. In particular, it is shown that a Lie QD-algebroid (i.e. a Lie algebra bracket on the Functions(M)-module F of sections of a vector bundle E over a…

The authors of this article intend to present some results obtained in the study of biderivations of complete Lie algebras. Firstly they present a matricial approach to do this, which was a useful and explanatory tool not only in the study…

Finite-dimensional subalgebras of a Lie algebra of smooth vector fields on a circle, as well as piecewise-smooth global transformations of a circle on itself, are considered. A canonical forms of realizations of two- and three-dimensional…

Nongraded infinite-dimensional Lie algebras appeared naturally in the theory of Hamiltonian operators, the theory of vertex algebras and their multi-variable analogues. They play important roles in mathematical physics. This survey article…

We reprove the results of Jordan [18] and Siebert [31] and show that the Lie algebra of polynomial vector fields on an irreducible affine variety X is simple if and only if X is a smooth variety. Given proof is self-contained and does not…

In present work, we find a class of Lie algebras, which are defined from the symmetrizable generalized intersection matrices. However, such algebras are different from generalized intersection matrix algebras and intersection matrix…

We investigate Lie algebras whose Lie bracket is also an associative or cubic associative multiplication to characterize the class of nilpotent Lie algebras with a nilindex equal to 2 or 3. In particular we study the class of 2-step…

We consider some special type extensions of an arbitrary Lie algebra ${\cal G}$, arising in the theory of Lie-Poisson structures over $({\cal G}^*)^n$, where ${\cal G}^*$ is the dual of ${\cal G}$. We show that some classes of these…

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 show that there is an equivalence of $\infty$-categories between Lie algebroids and certain kinds of curved Lie algebras. For this we develop a method to study the $\infty$-category of curved Lie algebras using the homotopy theory of…