Solvable Lie algebras with triangular nilradicals

All finite-dimensional indecomposable solvable Lie algebras $L(n,f)$, having the triangular algebra T(n) as their nilradical, are constructed. The number of nonnilpotent elements $f$ in $L(n,f)$ satisfies $1\leq f\leq n-1$ and the dimension of the Lie algebra is $\dim L(n,f)=f+{1/2}n(n-1)$

A class of solvable Lie algebras and their Casimir Invariants

A nilpotent Lie algebra n_{n,1} with an (n-1) dimensional Abelian ideal is studied. All indecomposable solvable Lie algebras with n_{n,1} as their nilradical are obtained. Their dimension is at most n+2. The generalized Casimir invariants of n_{n,1} and of its solvable extensions are calculated. For n=4 these algebras figure in the Petrov classification of Einstein spaces. For larger values of n they can be used in a more general classification of Riemannian manifolds.Comment: 16 page

On the structure of maximal solvable extensions and of Levi extensions of nilpotent algebras

We establish an improved upper estimate on dimension of any solvable algebra s with its nilradical isomorphic to a given nilpotent Lie algebra n. Next we consider Levi decomposable algebras with a given nilradical n and investigate restrictions on possible Levi factors originating from the structure of characteristic ideals of n. We present a new perspective on Turkowski's classification of Levi decomposable algebras up to dimension 9.Comment: 21 pages; major revision - one section added, another erased; author's version of the published pape

Invariants of Lie Algebras with Fixed Structure of Nilradicals

An algebraic algorithm is developed for computation of invariants ('generalized Casimir operators') of general Lie algebras over the real or complex number field. Its main tools are the Cartan's method of moving frames and the knowledge of the group of inner automorphisms of each Lie algebra. Unlike the first application of the algorithm in [J. Phys. A: Math. Gen., 2006, V.39, 5749; math-ph/0602046], which deals with low-dimensional Lie algebras, here the effectiveness of the algorithm is demonstrated by its application to computation of invariants of solvable Lie algebras of general dimension $n<\infty$ restricted only by a required structure of the nilradical. Specifically, invariants are calculated here for families of real/complex solvable Lie algebras. These families contain, with only a few exceptions, all the solvable Lie algebras of specific dimensions, for whom the invariants are found in the literature.Comment: LaTeX2e, 19 page

Multidimensional Cosmology: Spatially Homogeneous models of dimension 4+1

In this paper we classify all 4+1 cosmological models where the spatial hypersurfaces are connected and simply connected homogeneous Riemannian manifolds. These models come in two categories, multiply transitive and simply transitive models. There are in all five different multiply transitive models which cannot be considered as a special case of a simply transitive model. The classification of simply transitive models, relies heavily upon the classification of the four dimensional (real) Lie algebras. For the orthogonal case, we derive all the equations of motion and give some examples of exact solutions. Also the problem of how these models can be compactified in context with the Kaluza-Klein mechanism, is addressed.Comment: 24 pages, no figures; Refs added, typos corrected. To appear in CQ

All solvable extensions of a class of nilpotent Lie algebras of dimension n and degree of nilpotency n-1

We construct all solvable Lie algebras with a specific n-dimensional nilradical n_(n,2) (of degree of nilpotency (n-1) and with an (n-2)-dimensional maximal Abelian ideal). We find that for given n such a solvable algebra is unique up to isomorphisms. Using the method of moving frames we construct a basis for the Casimir invariants of the nilradical n_(n,2). We also construct a basis for the generalized Casimir invariants of its solvable extension s_(n+1) consisting entirely of rational functions of the chosen invariants of the nilradical.Comment: 19 pages; added references, changes mainly in introduction and conclusions, typos corrected; submitted to J. Phys. A, version to be publishe

Group classification of heat conductivity equations with a nonlinear source

We suggest a systematic procedure for classifying partial differential equations invariant with respect to low dimensional Lie algebras. This procedure is a proper synthesis of the infinitesimal Lie's method, technique of equivalence transformations and theory of classification of abstract low dimensional Lie algebras. As an application, we consider the problem of classifying heat conductivity equations in one variable with nonlinear convection and source terms. We have derived a complete classification of nonlinear equations of this type admitting nontrivial symmetry. It is shown that there are three, seven, twenty eight and twelve inequivalent classes of partial differential equations of the considered type that are invariant under the one-, two-, three- and four-dimensional Lie algebras, correspondingly. Furthermore, we prove that any partial differential equation belonging to the class under study and admitting symmetry group of the dimension higher than four is locally equivalent to a linear equation. This classification is compared to existing group classifications of nonlinear heat conductivity equations and one of the conclusions is that all of them can be obtained within the framework of our approach. Furthermore, a number of new invariant equations are constructed which have rich symmetry properties and, therefore, may be used for mathematical modeling of, say, nonlinear heat transfer processes.Comment: LaTeX, 51 page

Computation of Invariants of Lie Algebras by Means of Moving Frames

A new purely algebraic algorithm is presented for computation of invariants (generalized Casimir operators) of Lie algebras. It uses the Cartan's method of moving frames and the knowledge of the group of inner automorphisms of each Lie algebra. The algorithm is applied, in particular, to computation of invariants of real low-dimensional Lie algebras. A number of examples are calculated to illustrate its effectiveness and to make a comparison with the same cases in the literature. Bases of invariants of the real solvable Lie algebras up to dimension five, the real six-dimensional nilpotent Lie algebras and the real six-dimensional solvable Lie algebras with four-dimensional nilradicals are newly calculated and listed in tables.Comment: 17 pages, extended versio

Realizations of Real Low-Dimensional Lie Algebras

Using a new powerful technique based on the notion of megaideal, we construct a complete set of inequivalent realizations of real Lie algebras of dimension no greater than four in vector fields on a space of an arbitrary (finite) number of variables. Our classification amends and essentially generalizes earlier works on the subject. Known results on classification of low-dimensional real Lie algebras, their automorphisms, differentiations, ideals, subalgebras and realizations are reviewed.Comment: LaTeX2e, 39 pages. Essentially exetended version. Misprints in Appendix are correcte

On algebraic classification of quasi-exactly solvable matrix models

We suggest a generalization of the Lie algebraic approach for constructing quasi-exactly solvable one-dimensional Schroedinger equations which is due to Shifman and Turbiner in order to include into consideration matrix models. This generalization is based on representations of Lie algebras by first-order matrix differential operators. We have classified inequivalent representations of the Lie algebras of the dimension up to three by first-order matrix differential operators in one variable. Next we describe invariant finite-dimensional subspaces of the representation spaces of the one-, two-dimensional Lie algebras and of the algebra sl(2,R). These results enable constructing multi-parameter families of first- and second-order quasi-exactly solvable models. In particular, we have obtained two classes of quasi-exactly solvable matrix Schroedinger equations.Comment: LaTeX-file, 16 pages, submitted to J.Phys.A: Math.Ge