Generic adjoints in comtrans algebras of bilinear spaces

As a first step towards a general structure theory for comtrans algebras (modeled loosely on the Cartan theory for Lie algebras), this paper investigates comtrans algebras of bilinear spaces. Attention focuses on invariants associated with comtrans algebras, and the extent to which these invariants may serve to specify the algebras up to isomorphism within certain classes. Over fields whose characteristic differs from two, comtrans algebras of symmetric forms are determined up to isomorphism by the eigenvalues of generic adjoints, while comtrans algebras of symplectic forms are determined by the dimensions of maximal abelian subalgebras. Examples show that the multiplicity of zero as a root of the characteristic polynomial is generally independent of the dimension of a maximal abelian subalgebra.     

Lie Algebras with Nilpotent Length Greater than that of each of their Subalgebras

The main purpose of this paper is to study the finite-dimensional solvable Lie algebras described in its title, which we call minimal non- \({\mathcal N}\). To facilitate this we investigate solvable Lie algebras of nilpotent length k, and of nilpotent length ≤k, and extreme Lie algebras, which have the property that their nilpotent length is equal to the number of conjugacy classes of maximal subalgebras. We characterise the minimal non-\({\mathcal N}\) Lie algebras in which every nilpotent subalgebra is abelian, and those of solvability index ≤3.     

The Ideal Index of Subalgebras of a Finite Dimensional Lie Algebra

D. A. Towers introduced the notion of ideal index of a maximal subalgebra of a Lie algebra, and used it to analyze the influence of maximal subalgebras on the structure of a finite dimensional Lie algebras.

In this article, we generalize the ideal index from maximal subalgebras to all subalgebras, and obtain some new characterizations of solvable and supersolvable Lie algebras by the ideal indices of some certain subalgebras.     

Blocks and modules for Whittaker pairs

Inspired by recent activities on Whittaker modules over various (Lie) algebras, we describe a general framework for the study of Lie algebra modules locally finite over a subalgebra. As a special case, we obtain a very general set-up for the study of Whittaker modules, which includes, in particular, Lie algebras with triangular decomposition and simple Lie algebras of Cartan type. We describe some basic properties of Whittaker modules, including a block decomposition of the category of Whittaker modules and certain properties of simple Whittaker modules under some rather mild assumptions. We establish a connection between our general set-up and the general set-up of Harish-Chandra subalgebras in the sense of Drozd, Futorny and Ovsienko. For Lie algebras with triangular decomposition, we construct a family of simple Whittaker modules (roughly depending on the choice of a pair of weights in the dual of the Cartan subalgebra), describe their annihilators, and formulate several classification conjectures. In particular, we construct some new simple Whittaker modules for the Virasoro algebra. Finally, we construct a series of simple Whittaker modules for the Lie algebra of derivations of the polynomial algebra, and consider several finite-dimensional examples, where we study the category of Whittaker modules over solvable Lie algebras and their relation to Koszul algebras.     

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     

Invariant complex structures on four-dimensional solvable real lie groups

In this paper, invariant complex structures on four-dimensional, solvable, simply-connected real Lie groups are classified where the dimension of the commutator is less than three. The resulting complex surfaces corresponding to these structures are also determined. The classification problem is reduced to determining certain complex “structure” subalgebras of the complexifications of the four-dimensional, solvable real Lie algebras. Most of the eleven types of non-abelian solvable real Lie algebras do have complex structure subalgebras; three do not. Only three types of algebras have solvable complex structure subalgebras, and only one possesses both abelian and solvable complex structure subalgebras. Each of the possible homogeneous surfaces is represented in the list of resulting manifolds.     

Strongly Flat and PO-Flat S-Posets

Abstract

The main purpose of this paper is to study Lie algebras L such that if a subalgebra U of L has a maximal subalgebra of dimension one then every maximal subalgebra of U has dimension one. Such an L is called lm(0)-algebra. This class of Lie algebras emerges when it is imposed on the lattice of subalgebras of a Lie algebra the condition that every atom is lower modular. We see that the effect of that condition is highly sensitive to the ground field F. If F is algebraically closed, then every Lie algebra is lm(0). By contrast, for every algebraically non-closed field there exist simple Lie algebras which are not lm(0). For the real field, the semisimple lm(0)-algebras are just the Lie algebras whose Killing form is negative-definite. Also, we study when the simple Lie algebras having a maximal subalgebra of codimension one are lm(0), provided that char(F) ≠ 2. Moreover, lm(0)-algebras lead us to consider certain other classes of Lie algebras and the largest ideal of an arbitrary Lie algebra L on which the action of every element of L is split, which might have some interest by themselves.     

Maximal Abelian Dimensions in Some Families of Nilpotent Lie Algebras

This paper deals with the maximal abelian dimension of a Lie algebra, that is, the maximal value for the dimensions of its abelian Lie subalgebras. Indeed, we compute the maximal abelian dimension for every nilpotent Lie algebra of dimension less than 7 and for the Heisenberg algebra $\mathfrak{H}_k$ , with $k\in\mathbb{N}$ . In this way, an algorithmic procedure is introduced and applied to compute the maximal abelian dimension for any arbitrary nilpotent Lie algebra with an arbitrary dimension. The maximal abelian dimension is also given for some general families of nilpotent Lie algebras.     

Lie algebras with quadratic dimension equal to 2

The quadratic dimension of a Lie algebra is defined as the dimension of the linear space spanned by all its invariant non-degenerate symmetric bilinear forms. We prove that a quadratic Lie algebra with quadratic dimension equal to 2 is a local Lie algebra, this is to say, it admits a unique maximal ideal. We describe local quadratic Lie algebras using the notion of double extension and characterize those with quadratic dimension equal to 2 by the study of the centroid of such Lie algebras. We also give some necessary or sufficient conditions for a Lie algebra to have quadratic dimension equal to 2. Examples of local Lie algebras with quadratic dimension larger than 2 are given.     

Minimal faithful representations of abelian Jordan algebras and Lie superalgebras

Over an algebraically closed field of characteristic zero, all the abelian subalgebras of the maximal dimension are classified for any special Jordan algebra. As a consequence, the minimal dimension of the faithful representations of any finite-dimensional abelian Jordan algebra is determined and the minimal faithful representations are classified for the so-called nice abelian Jordan algebras. The same is done for the purely odd Lie superalgebras.     

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.     

Quasi-state rigidity for finite-dimensional Lie algebras

We say that a Lie algebra g is quasi-state rigid if every Ad-invariant continuous Lie quasi-state on it is the directional derivative of a homogeneous quasimorphism. Extending work of Entov and Polterovich, we show that every reductive Lie algebra, as well as the algebras C ⁿ ? u(n), n ≥ 1, are rigid. On the other hand, a Lie algebra which surjects onto the three-dimensional Heisenberg algebra is not rigid. For Lie algebras of dimension ≤ 3 and for solvable Lie algebras which split over a codimension one abelian ideal, we show that this is the only obstruction to rigidity.     

Metric Lie algebras with maximal isotropic centre

A metric Lie algebra is a Lie algebra equipped with an invariant non-degenerate symmetric bilinear form. It is called indecomposable if it is not the direct sum of two metric Lie algebras. We are interested in describing the isomorphism classes of indecomposable metric Lie algebras. In the present paper we restrict ourselves to a certain class of solvable metric Lie algebras which includes all indecomposable metric Lie algebras with maximal isotropic centre. We will see that each metric Lie algebra belonging to this class is a twofold extension associated with an orthogonal representation of an abelian Lie algebra. We will describe equivalence classes of such extensions by a certain cohomology set. In particular we obtain a classification scheme for indecomposable metric Lie algebras with maximal isotropic centre and the classification of metric Lie algebras of index 2.     

完备Lie代数的若干进展

近十年来，特别是近几年完备Ｌｉｅ代数的研究取得了许多进展，本文分以下六个方面介绍这一领域的研究状况，０）引言；１）完备Ｌｉｅ代数的分解和唯一性；２）一些完备Ｌｉｅ代数。３）可解完备Ｌｉｅ代数；４）完备Ｌｉｅ代数的极大环面子代数，Ｋｉｌｌｉｎｇ型及结构；５）一些公开问题。     

Algèbres de Lie résolubles réelles algébriquement rigides

Résumé.  We present all real solvable algebraically rigid Lie algebras of dimension lower or equal than eight. We point out the differences that distinguish the real and complex classification of solvable rigid Lie algebras.     

Left invariant contact structures on Lie groups

Amongst other results, we perform a ‘contactization’ method to construct, in every odd dimension, many contact Lie groups with a discrete center, unlike the usual (classical) contactization which only produces Lie groups with a non-discrete center. We discuss some applications and consequences of such a construction, construct several examples and derive some properties. We give classification results in low dimensions. A complete list is supplied in dimension 5. In any odd dimension greater than 5, there are infinitely many locally non-isomorphic solvable contact Lie groups. We also characterize solvable contact Lie algebras whose derived ideal has codimension one. For simplicity, most of the results are given in the Lie algebra version.