Related papers: Jacobi-Lie systems: Fundamentals and low-dimension…
We discuss the consistency of the axioms which the definition of quantum Lie algebras is usually based on.
This paper describes a formal theory of smooth vector fields, Lie groups and the Lie algebra of a Lie group in the theorem prover Isabelle. Lie groups are abstract structures that are composable, invertible and differentiable. They are…
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…
The aim of this work is to lay the foundations of differential geometry and Lie theory over the general class of topological base fields and -rings for which a differential calculus has been developed in recent work (collaboration with H.…
A Lie 2-algebra is a "categorified" version of a Lie algebra: that is, a category equipped with structures analogous those of a Lie algebra, for which the usual laws hold up to isomorphism. In the classical mechanics of point particles, the…
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…
It is shown that the non-trivial cocycles on simple Lie algebras may be used to introduce antisymmetric multibrackets which lead to higher-order Lie algebras, the definition of which is given. Their generalised Jacobi identities turn out to…
We show how one can associate to a given class of finite type G-structures a classifying Lie algebroid. The corresponding Lie groupoid gives models for the different geometries that one can find in the class, and encodes also the different…
This paper is a contribution to the study of the relations between special functions, Lie algebras and rigged Hilbert spaces. The discrete indices and continuous variables of special functions are in correspondence with the representations…
A finite dimensional filiform K-Lie algebra is a nilpotent Lie algebra g whose nil index is maximal, that is equal to dim g -1. We describe necessary and sufficient conditions for a filiform algebra over an algebraically closed field of…
These notes give an elementary introduction to Lie groups, Lie algebras, and their representations. Designed to be accessible to graduate students in mathematics or physics, they have a minimum of prerequisites. Topics include definitions…
Time-dependent frequency harmonic oscillators (TDFHO's) are studied through the theory of Lie systems. We show that they are related to a certain kind of equations in the Lie group SL(2,R). Some integrability conditions appear as conditions…
We present the results of computation of cohomology for some Lie (super)algebras of Hamiltonian vector fields and related algebras. At present, the full cohomology rings for these algebras are not known even for the low dimensional vector…
A Lie 2-algebra is a linear category equipped with a functorial bilinear operation satisfying skew-symmetry and Jacobi identity up to natural transformations which themselves obey coherence laws of their own. Functors and natural…
In this paper we introduce a new ingredient, invariant systems of differential equations, to our study of character sheaves on graded Lie algebras. The character sheaves we construct in this paper, together with the ones constructed in…
In these notes we review some basic facts about the LLV Lie algebra. It is a rational Lie algebra, introduced by Looijenga-Lunts and Verbitsky, acting on the rational cohomology of a compact K\"{a}hler manifold. We study its structure and…
Lie quasi-states on a real Lie algebra are functionals which are linear on any abelian subalgebra. We show that on the symplectic Lie algebra of rank at least 3 there is only one continuous non-linear Lie quasi-state (up to a scalar factor,…
It is shown that the description of certain class of representations of the holonomy Lie algebra associated to hyperplane arrangement $\Delta$ is essentially equivalent to the classification of $\vee$-systems associated to $\Delta.$ The…
We look at two examples of homotopy Lie algebras (also known as L_{\infty} algebras) in detail from two points of view. We will exhibit the algebraic point of view in which the generalized Jacobi expressions are verified by using degree…
The first aim of this paper is to show that any finite-dimensional reductive Lie algebra and its finite-dimensional completely reducible representation can be embedded into some PC Lie algebra. The second aim is to find the structure of a…