Enumeration of ad-Nilpotent b-Ideals for Simple Lie Algebras

We provide explicit formulas for the number of ad-nilpotent ideals of a Borel subalgebra of a complex simple Lie algebra having fixed class of nilpotence.     

Ad-nilpotent ideals of a parabolic subalgebra

We extend the results of Cellini and Papi [P. Cellini, P. Papi, Ad-nilpotent ideals of a Borel subalgebra, J. Algebra 225 (2000) 130–140; P. Cellini, P. Papi, Ad-nilpotent ideals of a Borel subalgebra II, J. Algebra 258 (2002) 112–121] on the characterizations of ad-nilpotent and abelian ideals of a Borel subalgebra to parabolic subalgebras of a simple Lie algebra. These characterizations are given in terms of elements of the affine Weyl group and faces of alcoves. In the case of a parabolic subalgebra of a classical simple Lie algebra, we give formulas for the number of these ideals.     

RESTRICTED LIE ALGEBRAS WITH MAXIMAL 0-PIM

In this paper it is shown that the projective cover of the trivial irreducible module of a finite-dimensional solvable restricted Lie algebra is induced from the one dimensional trivial module of a maximal torus. As a consequence, the number of the isomorphism classes of irreducible modules with a fixed p-character for a finite-dimensional solvable restricted Lie algebra L is bounded above by p ^MT(L), where MT(L) denotes the maximal dimension of a torus in L. Finally, it is proved that in characteristic p > 3 the projective cover of the trivial irreducible L-module is induced from the one-dimensional trivial module of a torus of maximal dimension, only if L is solvable.     

Homogeneous nilradicals over semigroup graded rings

In this paper we study the homogeneity of radicals defined by nilpotence or primality conditions, in rings graded by a semigroup S. When S is a unique product semigroup, we show that the right (and left) strongly prime and uniformly strongly prime radicals are homogeneous, and an even stronger result holds for the generalized nilradical. We further prove that rings graded by torsion-free, nilpotent groups have homogeneous upper nilradical. We conclude by showing that non-semiprime rings graded by a large class of semigroups must always contain nonzero homogeneous nilpotent ideals.     

Banach Lie algebras with Lie subalgebras of finite codimension: Their invariant subspaces and Lie ideals

The paper studies the existence of closed invariant subspaces for a Lie algebra L of bounded operators on an infinite-dimensional Banach space X. It is assumed that L contains a Lie subalgebra L₀ that has a non-trivial closed invariant subspace in X of finite codimension or dimension. It is proved that L itself has a non-trivial closed invariant subspace in the following two cases: (1) L₀ has finite codimension in L and there are Lie subalgebras L₀=L⁰⊂L¹⊂?⊂Lp=L such that Li+1=Li+[Li,Li+1] for all i; (2) L₀ is a Lie ideal of L and dim(L₀)=∞. These results are applied to the problem of the existence of non-trivial closed Lie ideals and closed characteristic Lie ideals in an infinite-dimensional Banach Lie algebra L that contains a non-trivial closed Lie subalgebra of finite codimension.     

Simple Lie algebras having extremal elements

Let L be a simple finite-dimensional Lie algebra of characteristic distinct from 2 and from 3. Suppose that L contains an extremal element that is not a sandwich, that is, an element x such that [x, [x, L]] is equal to the linear span of x in L. In this paper we prove that, with a single exception, L is generated by extremal elements. The result is known, at least for most characteristics, but the proofs in the literature are involved. The current proof closes a gap in a geometric proof that every simple Lie algebra containing no sandwiches (that is, ad-nilpotent elements of order 2) is in fact of classical type.     

Prehomogeneous spaces for Borel subgroups of general linear groups

Let k be an algebraically closed field. Let B be the Borel subgroup of GL_n(k) consisting of nonsingular upper triangular matrices. Let b = Lie B be the Lie algebra of upper triangular n × n matrices and u the Lie subalgebra of b consisting of strictly upper triangular matrices. We classify all Lie ideals n of b, satisfying u' ⫅ n ⫅ u, such that B acts (by conjugation) on n with a dense orbit. Further, in case B does not act with a dense orbit, we give the minimal codimension of a B-orbit in n. This can be viewed as a first step towards the difficult open problem of classifying of all ideals n ⫅ u such that B acts on n with a dense orbit. The proofs of our main results require a translation into the representation theory of a certain quasi-hereditary algebra A_t,1. In this setting we find the minimal dimension of Ext¹A_t,1(M,M) for a δ-good A_t,1-module of certain fixed δ-dimension vectors.     

Classification of 2-step nilpotent Lie algebras of dimension 9 with 2-dimensional center

A Lie algebra L is called 2-step nilpotent if L is not abelian and [L,L] lies in the center of L. 2-step nilpotent Lie algebras are useful in the study of some geometric problems, and their classification has been an important problem in Lie theory. In this paper, we give a classification of 2-step nilpotent Lie algebras of dimension 9 with 2-dimensional center.     

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.     

A Characterization of Stem Algebras in Terms of Central Derivations

Let L be a Lie algebra, and Der _z (L) denote the set of all central derivations of L, that is, the set of all derivations of L mapping L into the center. In this paper, by using the notion of isoclinism, we study the center of Der _z (L) for nilpotent Lie algebras with nilindex 2. We also give a characterization of stem Lie algebras by their central derivations. In fact we show that for non-abelian nilpotent Lie algebras of finite dimension and any nilpotent Lie algebra with nilindex 2 (not finite dimensional in general), Der _z (L) is abelian if and only if L is a stem Lie algebra.     

Contributions to Real Exponential Lie Groups

 A Lie group is called exponential if its exponential map is surjective. It is called weakly exponential if the exponential image is dense, which is equivalent to the connectivity of each of the Cartan subgroups (compare [11]). In the present paper the authors study exponential Lie groups which are of mixed type, i.e., neither solvable nor semisimple. Necessary conditions and also, for special mixed Lie groups, sufficient conditions are given for exponentiality. Several counter examples are provided showing that none of the conditions which have surfaced during the course of our investigation can work as necessary and sufficient ones. All conditions considered deal with centralizers of ad-nilpotent elements of the Lie algebra. For example, it is shown that if G is exponential, there is a rather large characteristic subgroup B which contains the nilradical, all Levi factors, and all maximal compactly embedded subgroups, which is also exponential. Moreover, this subgroup is also Mal’cev splittable so that one can apply earlier results on Mal’cev splittable exponential Lie groups, which characterize exponentiality of these Lie groups (also by conditions concerning the centralizers of ad-nilpotent elements). (Received 1 June 1999; in final form 28 December 1999)     

Special Lie superalgebras with maximality condition for subalgebras

We consider finitely generated Lie superalgebras over a field of characteristic zero satisfying Capelli identities. We prove that any such an algebra with the maximality condition for abelian subalgebras is finite dimensional. In particular, any special Lie superalgebra with the maximality condition for its subalgebras has a finite dimension. We also prove that the universal enveloping algebra U(L) of special Lie superalgebra L is Noetherian if and only if $\dim L<\infty$ .     

Five-dimensional K-contact Lie algebras

We introduce a general approach to the study of left-invariant K-contact structures on Lie groups and we obtain a full classification in dimension five. We show that Sasakian structures on five-dimensional Lie algebras with non-trivial center are a relatively rare phenomenon with respect to K-contact structures. We also prove that a five-dimensional solvmanifold with a left-invariant K-contact (not Sasakian) structure is a ${\mathbb S^1}$ -bundle over a symplectic solvmanifold. Rigidity results are then obtained for five-dimensional K-contact Lie algebras with trivial center and for K-contact ??-Einstein structures. Moreover, five-dimensional Sasakian ??-symmetric Lie algebras are completely classified, and some explicit examples of five-dimensional Sasakian pseudo-metric Lie algebras are provided.     

Nilpotent Steiner skeins with nilpotent derived Steiner loops

Armanious and Guelzow obtained the structure theorem of finite nilpotent Steiner skeins. Guelzow gave a construction of a Steiner skein of nilpotence class n with all its derived Steiner loops of nilpotence class 1. Armanious gave a construction for Steiner skeins of nilpotence class n with all its derived Steiner loops of nilpotence class n. In this article we survey the main results on nilpotent Steiner skeins and give a new and simple construction, in the form of polynomials, for Steiner skeins of nilpotence class n with all its derived Steiner loops of nilpotence class n. © 2000 John Wiley & Sons, Inc. J Combin Designs 8: 232–238, 2000     

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.     

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.     

Classifying Several Classes of Leibniz Algebras

We extend results related to maximal subalgebras and ideals from Lie to Leibniz algebras. In particular, we classify minimal non-elementary Leibniz algebras and Leibniz algebras with a unique maximal ideal. In both cases, there are types of these algebras with no Lie algebra analogue. We also give a classification of E-Leibniz algebras which is very similiar to its Lie algebra counterpart. Note that a classification of elementary Leibniz algebras has been shown in Batten Ray et al. (2011).