Related papers: Regularization and Quantization of Higher Dimensio…
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…
In this paper, we introduce a novel generalization of the classical property of algebras known as "being alternative," which we term "partially alternative." This new concept broadens the scope of alternative algebras, offering a fresh…
The Lie algebra of planar vector fields with coefficients from the field of rational functions over an algebraically closed field of characteristic zero is considered. We find all finite-dimensional Lie algebras that can be realized as…
Poisson algebraic structures on current manifolds (of maps from a finite dimensional Riemannian manifold into a 2-dimensional manifold) are investigated in terms of symplectic geometry. It is shown that there is a one to one correspondence…
The description of irreducible finite dimensional representations of finite dimensional solvable Lie superalgebras over complex numbers given by V.~Kac is refined. In reality these representations are not just induced from a polarization…
Classical affine Lie algebras appear e.g. as symmetries of infinite dimensional integrable systems and are related to certain differential equations. They are central extensions of current algebras associated to finite-dimensional Lie…
S-expansions of three-dimensional real Lie algebras are considered. It is shown that the expansion operation allows one to obtain a non-unimodular Lie algebra from a unimodular one. Nevertheless S-expansions define no ordering on the…
F-Lie algebras are natural generalisations of Lie algebras (F=1) and Lie superalgebras (F=2). We give finite dimensional examples of F-Lie algebras obtained by an inductive process from Lie algebras and Lie superalgebras. Matrix…
Suppose a finite group acts on a scheme $X$ and a finite-dimensional Lie algebra $\mathfrak{g}$. The associated equivariant map algebra is the Lie algebra of equivariant regular maps from $X$ to $\mathfrak{g}$. The irreducible…
In this paper we study the complete reducibility of representations of infinite-dimensional Lie algebras from the perspective of the representation theory of vertex algebras.
We give an explicit description of the Lie algebra of derivations for a class of infinite dimensional algebras which are given by \'etale descent. The algebras under consideration are twisted forms of central algebras over rings, and…
We generalize several important results from the perturbation theory of linear operators to the setting of semisimple orthogonal symmetric Lie algebras. These Lie algebras provide a unifying framework for various notions of matrix…
We first establish some general results connecting real and complex Lie algebras of first-order differential operators. These are applied to completely classify all finite-dimensional real Lie algebras of first-order differential operators…
We give information about finite-dimensional Lie algebras and their representations for model building in 4 and 5 dimensions; e.g., conjugacy classes, types of representations, Weyl dimensional formulas, Dynkin indices, quadratic Casimir…
We give infinite dimensional and finite dimensional examples of $F-$fold Lie superalgebras. The finite dimensional examples are obtained by an inductive procedure from Lie algebras and Lie superalgebras.
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…
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…
Kinematic algebras can be realised on geometric spaces and constrain the physical models that can live on these spaces. Different types of kinematic algebras exist and we consider the interplay of these algebras for non-relativistic limits…
We study the representation theory of finite-dimensional $\omega$-Lie algebras over the complex field. We derive an $\omega$-Lie version of the classical Lie's theorem, i.e., any finite-dimensional irreducible module of a soluble…
We introduce a new class of possibly infinite dimensional Lie algebras and study their structural properties. Examples of this new class of Lie algebras are finite dimensional simple Lie algebras containing a nonzero split torus, affine and…