Related papers: Linearization from complex Lie point transformatio…
We describe the orbit structure for the action of the centralizer group of a linear operator on a finite-dimensional complex vector space. The main application is to the classification of solutions to a system of first-order ODEs with…
In order to understand the structure of the cohomologies involved in the study of projectively equivariant quantizations, we introduce a notion of affine representation of a Lie algebra.We show how it is related to linear representations…
The purpose of this paper is twofold. Firstly, to emphasise that the class of Lie algebras with chain lattices of ideals are elementary blocks in the embedding or decomposition of Lie algebras with finite lattice of ideals. Secondly, 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…
Orthogonal Lie algebras in dimension 4 are identified as current Lie algebras, thus producing a natural decomposition for them over any field.
This work presents a geometrical formulation of the Clairin theory of conditional symmetries for higher-order systems of partial differential equations (PDEs). We devise methods for obtaining Lie algebras of conditional symmetries from…
We introduce a search algorithm that utilises differential operator realisations to find polynomial Casimir operators of Lie algebras. To demonstrate the algorithm, we look at two classes of examples: (1) the model filiform Lie algebras and…
The paper concerns two versions of the notion of real forms of Lie superalgebras. One is the standard approach, where a real form of a complex Lie superalgebra is a real Lie superalgebra such that its complexification is the original…
Linear differential equations and recurrences reveal many properties about their solutions. Therefore, these equations are well-suited for representing solutions and computing with special functions. We identify a large class of existing…
Recent work has constructed neural networks that are equivariant to continuous symmetry groups such as 2D and 3D rotations. This is accomplished using explicit Lie group representations to derive the equivariant kernels and nonlinearities.…
Every finite dimensional real representation of a compact real semisimple Lie algebra determines a metric 2-step nilpotent Lie algebra and a corresponding simply connected metric 2-step nilpotent Lie group N. We study the differential…
General solutions of nonlinear ordinary differential equations (ODEs) are in general difficult to find although powerful integrability techniques exist in the literature for this purpose. It has been shown that in some scalar cases…
We give an explicit construction of Lie algebras of type $E_7$ out of a Lie algebra of type $D_6$ with some restrictions. Up to odd degree extensions, every Lie algebra of type $E_7$ arises this way. For Lie algebras that admit a…
Essentially generalizing Lie's results, we prove that the contact equivalence groupoid of a class of (1+1)-dimensional generalized nonlinear Klein-Gordon equations is the first-order prolongation of its point equivalence groupoid, and then…
For most complex 9-dimensional filiform Lie algebra we find another non isomorphic Lie algebra that degenerates to it. Since this is already known for nilpotent Lie algebras of rank $\geq 1$, only the characteristically nilpotent ones…
In this paper we consider symplectic and contact Lie algebras. We define contactization and symplectization procedures and describe its main properties. We also give classification of such algebras in dimensions 3 and 4. The classification…
We perform detailed computations of Lie algebras of infinitesimal CR-automorphisms associated to three specific model real analytic CR-generic submanifolds in C^9 by employing differential algebra computer tools -- mostly within the Maple…
We give a full classification of Lie algebras of specific type in complexified Clifford algebras. These sixteen Lie algebras are direct sums of subspaces of quaternion types. We obtain isomorphisms between these Lie algebras and classical…
We represent an algorithm reducing a big class of systems of ($M+1$)-dimensional nonlinear partial differential equations (PDEs) to the systems of $M$-dimensional first order PDEs. Thus, we integrate the original system with respect to only…
This paper addresses an investigation on a factorization method for difference equations. It is proved that some classes of second order linear difference operators, acting in Hilbert spaces, can be factorized using a pair of mutually…