The images of Lie polynomials evaluated on matrices

Kaplansky asked about the possible images of a polynomial f in several noncommuting variables. In this paper, we consider the case of f a Lie polynomial. We describe all the possible images of f in M₂(K) and provide an example of f whose image is the set of non-nilpotent trace zero matrices, together with 0. We provide an arithmetic criterion for this case. We also show that the standard polynomial s_k is not a Lie polynomial, for k>2.     

Universal Central Extensions of Lie Groups

We call a central Z-extension of a group G weakly universal for an Abelian group A if the correspondence assigning to a homomorphism ZA the corresponding A-extension yields a bijection of extension classes. The main problem discussed in this paper is the existence of central Lie group extensions of a connected Lie group G which is weakly universal for all Abelian Lie groups whose identity components are quotients of vector spaces by discrete subgroups. We call these Abelian groups regular. In the first part of the paper we deal with the corresponding question in the context of topological, Fréchet, and Banach–Lie algebras, and in the second part we turn to the groups. Here we start with a discussion of the weak universality for discrete Abelian groups and then turn to regular Lie groups A. The main results are a Recognition and a Characterization Theorem for weakly universal central extensions.     

Lie triple derivations on nest algebras

Let δ be a Lie triple derivation from a nest algebra ?? into an ??‐bimodule ??. We show that if ?? is a weak* closed operator algebra containing ?? then there are an element S ∈ ?? and a linear functional f on ?? such that δ (A) = SA – AS + f (A)I for all A ∈ ??, and if ?? is the ideal of all compact operators then there is a compact operator K such that δ (A) = KA – AK for all A ∈ ??. As applications, Lie derivations and Jordan derivations on nest algebras are characterized. (© 2007 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)     

Triple Homomorphisms of Perfect Lie Algebras

Let L, L′ be Lie algebras over a commutative ring R. A R-linear mapping f: L → L′ is called a triple homomorphism from L to L′ if f([x, [y, z]]) = [f(x), [f(y), f(z)]] for all x, y, z ∈ L. It is clear that homomorphisms, anti-homomorphisms, and sums of homomorphisms and anti-homomorphisms are all triple homomorphisms. We proved that, under certain assumptions, these are all triple homomorphisms.     

Reduction of Time-Dependent Systems Admitting a Superposition Principle

The problem of differential equation systems admitting a nonlinear superposition principle is analyzed from a geometric perspective. We show how it is possible to reduce the problem of finding the general solution of such a differential equation system defined by a Lie group G to a pair of simpler problems, one in a subgroup H and the other on a homogeneous space. The theory is illustrated with several examples and applications.     

Polynomial Lie Algebras

We introduce and study a special class of infinite-dimensional Lie algebras that are finite-dimensional modules over a ring of polynomials. The Lie algebras of this class are said to be polynomial. Some classification results are obtained. An associative co-algebra structure on the rings k[x ₁,...,x _n]/(f ₁,...,f _n) is introduced and, on its basis, an explicit expression for convolution matrices of invariants for isolated singularities of functions is found. The structure polynomials of moving frames defined by convolution matrices are constructed for simple singularities of the types A,B,C, D, and E ₆.     

Heisenberg Lie Color Algebras

In this article, we give a sufficient condition for a Lie color algebra to be complete. The color derivation algebra Der(?) and the holomorph L of finite dimensional Heisenberg Lie color algebra ? graded by a torsion-free abelian group over an algebraically closed field of characteristic zero are determined. We prove that Der(?) and Der(L) are simple complete Lie color algebras, but L is not a complete Lie color algebra.     

On the McCool group M3 and its associated Lie algebra

We prove that the Lie algebra of the McCool group M₃ is torsion free. As a result, we are able to give a presentation for the Lie algebra of M₃. Furthermore, M₃ is a Magnus group.     

Lie *-Nilpotence of Group Rings

Let KG be the group ring of a group G over a field K. Let * be an involution of a group G extended linearly to the group ring KG. Suppose that G is a torsion group without 2-elements and K is a field with characteristic different from 2. We prove that KG is Lie *-nilpotent if and only if KG is Lie nilpotent.     

Locally symmetric left invariant Riemannian metrics on 3‐dimensional Lie groups

In this paper, we use the powerful tool Milnor bases to determine all the locally symmetric left invariant Riemannian metrics up to automorphism, on 3‐dimensional connected and simply connected Lie groups, by solving system of polynomial equations of constants structure of each Lie algebra . Moreover, we show that E ₀(2) is the only 3‐dimensional Lie group with locally symmetric left invariant Riemannian metrics which are not symmetric.     

Group Algebras of Finite Groups as Lie Algebras

We consider the natural Lie algebra structure on the (associative) group algebra of a finite group G, and show that the Lie subalgebras associated to natural involutive antiautomorphisms of this group algebra are reductive ones. We give a decomposition in simple factors of these Lie algebras, in terms of the ordinary representations of G.     

A Canonical Compatible Metric for Geometric Structures on Nilmanifolds

Let (N, γ) be a nilpotent Lie group endowed with an invariant geometric structure (cf. symplectic, complex, hypercomplex or any of their ‘almost’ versions). We define a left invariant Riemannian metric on N compatible with γ to be minimal, if it minimizes the norm of the invariant part of the Ricci tensor among all compatible metrics with the same scalar curvature. We prove that minimal metrics (if any) are unique up to isometry and scaling, they develop soliton solutions for the ‘invariant Ricci’ flow and are characterized as the critical points of a natural variational problem. The uniqueness allows us to distinguish two geometric structures with Riemannian data, giving rise to a great deal of invariants.Our approach proposes to vary Lie brackets rather than inner products; our tool is the moment map for the action of a reductive Lie group on the algebraic variety of all Lie algebras, which we show to coincide in this setting with the Ricci operator. This gives us the possibility to use strong results from geometric invariant theory.Communicated by: Nigel Hitchin (Oxford) Mathematics Subject Classifications (2000): Primary: 53D05, 53D55; Secondary: 22E25, 53D20, 14L24, 53C30.     

A symmetry classification for a class of (2+1)-nonlinear wave equation

In this paper, a symmetry classification of a (2+1)-nonlinear wave equation u_tt−f(u)(u_xx+u_yy)=0 where f(u) is a smooth function on u, using Lie group method, is given. The basic infinitesimal method for calculating symmetry groups is presented, and used to determine the general symmetry group of this (2+1)-nonlinear wave equation.     

Group algebras of Lie nilpotency index 12 and 13

Let G be a group and let K be a field of characteristic p>0. Lie nilpotent group algebras of strong Lie nilpotency index up to 11 have already been classified. In this paper, our aim is to classify the group algebras KG which are strongly Lie nilpotent of index 12 or 13.     

Group gradings on the Lie and Jordan superalgebras Q(n)

We classify gradings by arbitrary abelian groups on the classical simple Lie and Jordan superalgebras Q(n), n ≥ 2, over an algebraically closed field of characteristic different from 2 (and not dividing n + 1 in the Lie case): Fine gradings up to equivalence and G-gradings, for a fixed group G, up to isomorphism.     

Weyl Groups are Finite — and Other Finiteness Properties of Cartan Subalgebras

For each pair (??,??) consisting of a real Lie algebra ?? and a subalgebra a of some Cartan subalgebra ?? of ?? such that [??, ??]∪ [??, ??] we define a Weyl group W(??, ??) and show that it is finite. In particular, W(??, ??,) is finite for any Cartan subalgebra h. The proof involves the embedding of 0 into the Lie algebra of a complex algebraic linear Lie group to which the structure theory of Lie algebras and algebraic groups is applied. If G is a real connected Lie group with Lie algebra ??, the normalizer N(??, G) acts on the finite set Λ of roots of the complexification ??c with respect to hc, giving a representation π : N(??, G)→ S(Λ) into the symmetric group on the set Λ. We call the kernel of this map the Cartan subgroup C(??) of G with respect to h; the image is isomorphic to W(??, ??), and C(??)= {g G : Ad(g)(h)— h ε [h,h] for all h ε h }. All concepts introduced and discussed reduce in special situations to the familiar ones. The information on the finiteness of the Weyl groups is applied to show that under very general circumstance, for b ∪ ?? the set ??? ?(b) remains finite as ? ranges through the full group of inner automorphisms of ??.     

Magnetic trajectories in three-dimensional Lie groups

We study magnetic trajectories in Lie groups equipped with bi-invariant Riemannian metric. We define the Lorentz force of a magnetic field in a Lie group G, and then, we give the Lorentz force equation for the associated magnetic trajectories that are curves in G. When the manifold is a Lie group G equipped with bi-invariant Riemannian metric, we derive differential equation system that characterizes magnetic flow associated with the Killing magnetic curves with regard to the Lie reduction of the curve γ in G.     

Lie group structures on groups of smooth and holomorphic maps on non-compact manifolds

We study Lie group structures on groups of the form C ^∞(M, K), where M is a non-compact smooth manifold and K is a, possibly infinite-dimensional, Lie group. First we prove that there is at most one Lie group structure with Lie algebra for which the evaluation map is smooth. We then prove the existence of such a structure if the universal cover of K is diffeomorphic to a locally convex space and if the image of the left logarithmic derivative in is a smooth submanifold, the latter being the case in particular if M is one-dimensional. We also obtain analogs of these results for the group of holomorphic maps on a complex manifold with values in a complex Lie group K. We further show that there exists a natural Lie group structure on if K is Banach and M is a non-compact complex curve with finitely generated fundamental group.      

Depth Generated Simple Lie Algebras

A Lie module algebra for a Lie algebra L is an algebra and L-module A such that L acts on A by derivations. The depth Lie algebra of a Lie algebra L with Lie module algebra A acts on a corresponding depth Lie module algebra . This determines a depth functor from the category of Lie module algebra pairs to itself. Remarkably, this functor preserves central simplicity. It follows that the Lie algebras corresponding to faithful central simple Lie module algebra pairs (A,L) with A commutative are simple. Upon iteration at such (A,L), the Lie algebras are simple for all i ∈ ω. In particular, the (i ∈ ω) corresponding to central simple Jordan Lie algops (A,L) are simple Lie algebras. Presented by Don Passman.     

The topology of a semisimple Lie group is essentially unique

We study locally compact group topologies on simple and semisimple Lie groups. We show that the Lie group topology on such a group S is very rigid: every “abstract” isomorphism between S and a locally compact and σ-compact group Γ is automatically a homeomorphism, provided that S is absolutely simple. If S is complex, then noncontinuous field automorphisms of the complex numbers have to be considered, but that is all. We obtain similar results for semisimple groups.