On abelian subalgebras and ideals of maximal dimension in supersolvable Lie algebras

In this paper, the main objective is to compare the abelian subalgebras and ideals of maximal dimension for finite-dimensional supersolvable Lie algebras. We characterise the maximal abelian subalgebras of solvable Lie algebras and study solvable Lie algebras containing an abelian subalgebra of codimension 2. Finally, we prove that nilpotent Lie algebras with an abelian subalgebra of codimension 3 contain an abelian ideal with the same dimension, provided that the characteristic of the underlying field is not 2. Throughout the paper, we also give several examples to clarify some results.     

Nilpotent Lie algebras with 2-dimensional commutator ideals

We classify all (finitely dimensional) nilpotent Lie k-algebras h with 2-dimensional commutator ideals h^′, extending a known result to the case where h^′ is non-central and k is an arbitrary field. It turns out that, while the structure of h depends on the field k if h^′ is central, it is independent of k if h^′ is non-central and is uniquely determined by the dimension of h. In the case where k is algebraically or real closed, we also list all nilpotent Lie k-algebras h with 2-dimensional central commutator ideals h^′ and dim_kh?11.     

Classification of solvable Lie algebras with a given nilradical by means of solvable extensions of its subalgebras

We construct all solvable Lie algebras with a specific n-dimensional nilradical n_n,3 which contains the previously studied filiform (n-2)-dimensional nilpotent algebra n_n-2,1 as a subalgebra but not as an ideal. Rather surprisingly it turns out that the classification of such solvable algebras can be deduced from the classification of solvable algebras with the nilradical n_n-2,1. Also the sets of invariants of coadjoint representation of n_n,3 and its solvable extensions are deduced from this reduction. In several cases they have polynomial bases, i.e. the invariants of the respective solvable algebra can be chosen to be Casimir invariants in its enveloping algebra.     

Lie algebras generated by bounded linear operators on Hilbert spaces

It is proved that the operator Lie algebra ε(T,T^∗) generated by a bounded linear operator T on Hilbert space H is finite-dimensional if and only if T=N+Q, N is a normal operator, [N,Q]=0, and dimA(Q,Q^∗)<+∞, where ε(T,T^∗) denotes the smallest Lie algebra containing T,T^∗, and A(Q,Q^∗) denotes the associative subalgebra of B(H) generated by Q,Q^∗. Moreover, we also give a sufficient and necessary condition for operators to generate finite-dimensional semi-simple Lie algebras. Finally, we prove that if ε(T,T^∗) is an ad-compact E-solvable Lie algebra, then T is a normal operator.     

Lie algebras and the Four Color Theorem

We present a statement about Lie algebras that is equivalent to the Four Color Theorem.     

Locally finite Lie algebras with root decomposition

Let K be an algebraically closed field of characteristic zero, $\frak {g}$ be a countably dimensional locally finite Lie algebra over K, and $\frak {h} \subset \frak {g}$ be a (a priori non-abelian) locally nilpotent subalgebra of $\frak {g}$ which coincides with its zero Fitting component. We classify all such pairs $(\frak {g}, \frak {h})$ under the assumptions that the locally solvable radical of $\frak {g}$ equals zero and that $\frak {g}$ admits a root decomposition with respect to $\frak {h}$. More precisely, we prove that $\frak {g}$ is the union of reductive subalgebras $\frak {g}_n$ such that the intersections $\frak {g}_n \cap \frak {h}$ are nested Cartan subalgebras of $\frak {g}_n$ with compatible root decompositions. This implies that $\frak {g}$ is root-reductive and that $\frak {h}$ is abelian. Root-reductive locally finite Lie algebras are classified in [6]. The result of the present note is a more general version of the main classification theorem in [9] and is at the same time a new criterion for a locally finite Lie algebra to be root-reductive. Finally we give an explicit example of an abelian selfnormalizing subalgebra $\frak {h}$ of $\frak {g} = \frak {sl}(\infty)$ with respect to which $\frak {g}$ does not admit a root decomposition.Work Supported in Part by the University of Hamburg and the Max Planck Institute for Mathematics, Bonn     

Weitzenböck derivations of free metabelian Lie algebras

A nonzero locally nilpotent linear derivation δ   of the polynomial algebra K[_Xd]=K[_x1,…,_xd]$K[X_d]=K[x_1\text{,}\dots \text{,}{x}_d]$ in several variables over a field K   of characteristic 0 is called a Weitzenböck derivation. The classical theorem of Weitzenböck states that the algebra of constants K[_Xd]^δ$K{[X_d]}^{\delta }$ (which coincides with the algebra of invariants of a single unipotent transformation) is finitely generated. Similarly one may consider the algebra of constants of a locally nilpotent linear derivation δ of a finitely generated (not necessarily commutative or associative) algebra which is relatively free in a variety of algebras over K  . Now the algebra of constants is usually not finitely generated. Except for some trivial cases this holds for the algebra of constants (_Ld/_Ld^″)^δ${(L_d/{L_d}^{″})}^{\delta }$ of the free metabelian Lie algebra _Ld/_Ld″$L_d/L_d″$ with d   generators. We show that the vector space of the constants (_Ld/_Ld^″)^δ${(L_d/{L_d}^{″})}^{\delta }$ in the commutator ideal _Ld′/_Ld″$L_d\prime /L_d″$ is a finitely generated K[_Xd]^δ$K{[X_d]}^{\delta }$-module. For small d  , we calculate the Hilbert series of (_Ld/_Ld^″)^δ${(L_d/{L_d}^{″})}^{\delta }$ and find the generators of the K[_Xd]^δ$K{[X_d]}^{\delta }$-module (_Ld/_Ld^″)^δ${(L_d/{L_d}^{″})}^{\delta }$. This gives also an (infinite) set of generators of the algebra (_Ld/_Ld^″)^δ${(L_d/{L_d}^{″})}^{\delta }$.     

Six-dimensional product Lie algebras admitting integrable complex structures

We classify the 6-dimensional Lie algebras of the form $\mathfrak{g}\times \mathfrak{g}$ that admit an integrable complex structure. We also endow a Lie algebra of the kind $\mathfrak{o}(n)\times \mathfrak{o}(n)$ ($n\ge 2$) with such a complex structure. The motivation comes from geometric structures à la Sasaki on $\mathfrak{g}$-manifolds.     

Lie triple derivation of the Lie algebra of strictly upper triangular matrix over a commutative ring

Let N(n,R) be the nilpotent Lie algebra consisting of all strictly upper triangular n×n matrices over a 2-torsionfree commutative ring R with identity 1. In this paper, we prove that any Lie triple derivation of N(n,R) can be uniquely decomposited as a sum of an inner triple derivation, diagonal triple derivation, central triple derivation and extremal triple derivation for n≧6. In the cases 1≦n≦5, the results are trivial.     

Generalized Serre relations for Lie algebras associated with positive unit forms

Every semisimple Lie algebra defines a root system on the dual space of a Cartan subalgebra and a Cartan matrix, which expresses the dual of the Killing form on a root base. Serre’s Theorem [J.-P. Serre, Complex Semisimple Lie Algebras (G.A. Jones, Trans.), Springer-Verlag, New York, 1987] gives then a representation of the given Lie algebra in generators and relations in terms of the Cartan matrix.In this work, we generalize Serre’s Theorem to give an explicit representation in generators and relations for any simply laced semisimple Lie algebra in terms of a positive quasi-Cartan matrix. Such a quasi-Cartan matrix expresses the dual of the Killing form for a Z-base of roots. Here, by a Z-base of roots, we mean a set of linearly independent roots which generate all roots as linear combinations with integral coefficients.     

Some subalgebras of indefinite type Kac-Moody Lie algebras

We show that every Kac-Moody Lie algebra of indefinite type contains a subalgebra with a Dynkin diagram having two adjacent vertices whose edge labels multiply to a number greater than or equal to five. Consequently, every Kac-Moody algebra of indefinite type contains a subalgebra of strictly hyperbolic type, and a free Lie algebra of rank two.     

On reachable elements and the boundary of nilpotent orbits in simple Lie algebras

Let g be a simple Lie algebra. An element x∈g is said to be reachable, if it is contained in the commutant of its centraliser. Any reachable element is necessarily nilpotent. We study various properties of reachable elements, and a relationship between the property of being reachable and the codimension of the boundary of the corresponding orbit. Some general estimates for the boundary of an arbitrary nilpotent orbit is given.     

Abelian subalgebras in some particular types of Lie algebras

It is well-known that there exists a close link between Lie Theory and Relativity Theory. Indeed, the set of all symmetries of the metric in our four-dimensional spacetime is a Lie group. In this paper we try to study this link in depth, by dealing with three particular types of Lie algebras: h_n algebras, g_n algebras and Heisenberg algebras. Our main goal is to compute the maximal abelian dimensions of each of them, which will allow us to move a step forward in the advancement of this subject.     

Elliptic Lie algebras and tubular algebras

This article is to study relations between tubular algebras of Ringel and elliptic Lie algebras in the sense of Saito-Yoshii. Using the explicit structure of the derived categories of tubular algebras given by Happel-Ringel, we prove that the elliptic Lie algebra of type , , or is isomorphic to the Ringel-Hall Lie algebra of the root category of the tubular algebra with the same type. As a by-product of our proof, we obtain a Chevalley basis of the elliptic Lie algebra following indecomposable objects of the root category of the corresponding tubular algebra. This can be viewed as an analogue of the Frenkel-Malkin-Vybornov theorem in which they described a Chevalley basis for each untwisted affine Kac-Moody Lie algebra by using indecomposable representations of the corresponding affine quiver.     

Lie metabelian restricted universal enveloping algebras

We characterize the restricted Lie algebras L whose restricted universal enveloping algebra u(L) is Lie metabelian. Moreover, we show that the last condition is equivalent to u(L) being strongly Lie metabelian.Received: 1 October 2004