The socle of a nondegenerate Lie algebra

We define the socle of a nondegenerate Lie algebra as the sum of all its minimal inner ideals. The socle turns out to be an ideal which is a direct sum of simple ideals, and satisfies the descending chain condition on principal inner ideals. Every classical finite dimensional Lie algebra coincides with its socle, while relevant examples of infinite dimensional Lie algebras with nonzero socle are the simple finitary Lie algebras and the classical Banach Lie algebras of compact operators on an infinite dimensional Hilbert space. This notion of socle for Lie algebras is compatible with the previous ones for associative algebras and Jordan systems. We conclude with a structure theorem for simple nondegenerate Lie algebras containing abelian minimal inner ideals, and as a consequence we obtain that a simple Lie algebra over an algebraically closed field of characteristic 0 is finitary if and only if it is nondegenerate and contains a rank-one element.     

The prime spectrum of the enveloping algebra of a reductive Lie algebra

Written during the author's stay at MSRI, supported by a Stipendium der Clemens Plassmann Stiftung     

The adjoint representation inside the exterior algebra of a simple Lie algebra

For a simple complex Lie algebra g$\mathfrak{g}$ we study the space of invariants A=(?g^?⊗g^?)^g$A={(?{\mathfrak{g}}^{?}\otimes {\mathfrak{g}}^{?})}^{\mathfrak{g}}$, which describes the isotypic component of type g$\mathfrak{g}$ in ?g^?$?{\mathfrak{g}}^{?}$, as a module over the algebra of invariants (?g^?)^g${(?{\mathfrak{g}}^{?})}^{\mathfrak{g}}$. As main result we prove that A   is a free module, of rank twice the rank of g$\mathfrak{g}$, over the exterior algebra generated by all primitive invariants in (?g^?)^g${(?{\mathfrak{g}}^{?})}^{\mathfrak{g}}$, with the exception of the one of highest degree.     

The semisimple part of the algebra of derivations of a solvable Lie algebra

We describe a family of non-nilpotent solvable Lie algebras whose algebra of derivations has a prescribed semisimple Levy factor. Partially supported by project 1427 (1995) of Univ. Vigo.     

Lie algebra computations

In the context of prolongation theory, introduced by Wahlquist and Estabrook, computations of a lot of Jacobi identities in (infinite-dimensional) Lie algebras are necessary. These computations can be done (automatically) using symbolic computations. A package written in REDUCE is demonstrated to give an idea of the chosen approach.     

Test rank of an abelian product of a free Lie algebra and a free abelian Lie algebra

Let F be a free Lie algebra of rank n ≥ 2 and A be a free abelian Lie algebra of rank m ≥ 2. We prove that the test rank of the abelian product F ×A is m. Morever we compute the test rank of the algebra F/g_k( F) ^￠F/\gamma _{k}\left( F\right) ^{^{\prime }}.     

Approximating the exponential from a Lie algebra to a Lie group

Consider a differential equation with and , where is a Lie algebra of the matricial Lie group . Every can be mapped to by the matrix exponential map with .

Most numerical methods for solving ordinary differential equations (ODEs) on Lie groups are based on the idea of representing the approximation of the exact solution , , by means of exact exponentials of suitable elements of the Lie algebra, applied to the initial value . This ensures that .

When the exponential is difficult to compute exactly, as is the case when the dimension is large, an approximation of plays an important role in the numerical solution of ODEs on Lie groups. In some cases rational or polynomial approximants are unsuitable and we consider alternative techniques, whereby is approximated by a product of simpler exponentials.

In this paper we present some ideas based on the use of the Strang splitting for the approximation of matrix exponentials. Several cases of and are considered, in tandem with general theory. Order conditions are discussed, and a number of numerical experiments conclude the paper.

     

The normality of closures of orbits in a Lie algebra

LexX be the closure of aG-orbit in the Lie algebra of a connected reductive groupG. It seems that the varietyX is always normal. After a reduction to nilpotent orbits, this is proved for some special cases. Results on determinantal schemes are used forGl _n . IfX is small enough we use a resolution and Bott's theorem on the cohomology of homogeneous vector bundles. Our results are conclusive for groups of typeA ₁,A ₂,A ₃ andB ₂.     

Krull dimension of the enveloping algebra of a semisimple Lie algebra

Let be a complex semisimple Lie algebra and be its enveloping algebra. We deduce from the work of R. Bezrukavnikov, A. Braverman and L. Positselskii that the Krull-Gabriel-Rentschler dimension of is equal to the dimension of a Borel subalgebra of .

     

Two explicit realizations of a Lie algebra

We introduce a Lie algebra whose some properties are discussed, including its proper ideals, derivations and so on. Then, we again give rise to its two explicit realizations by adopting subalgebra of the Lie algebra A₂ and a column-vector Lie algebra, respectively. Under the frame of zero curvature equations, we may use the realizations to generate the same Lax integrable hierarchies of evolution equations and their Hamiltonian structure.     

Lie subalgebras in a certain operator Lie algebra with involution

We show in a certain Lie*-algebra, the connections between the Lie subalgebra G ⁺:= G + G* + [G, G*], generated by a Lie subalgebra G, and the properties of G. This allows us to investigate some useful information about the structure of such two Lie subalgebras. Some results on the relations between the two Lie subalgebras are obtained. As an application, we get the following conclusion: Let A ⊂ B(X) be a space of self-adjoint operators and ℒ:= A ⊕ iA the corresponding complex Lie*-algebra. G ⁺ = G + G* + [G, G*] and G are two LM-decomposable Lie subalgebras of ℒ with the decomposition G ⁺ = R(G ⁺) + S, G = R _G + S _G , and R _G ⊆ R(G ⁺). Then G ⁺ is ideally finite iff R _G ⁺:= R _G + R* _G ^* + [R _G , R _G ^*] is a quasisolvable Lie subalgebra, S _G ⁺:= S _G + S _G ^* + [S _G , S _G ^*] is an ideally finite semisimple Lie subalgebra, and [R _G , S _G ] = [R _G ^*, S _G ] = {0}.     

The homotopy Lie algebra of classifying spaces

Let X be a 1-connected CW-complex of finite type and L_x its rational homotopy Lie algebra. In this work, we show that there is a spectral sequence whose E² term is the Lie algebra Ext_ULx(Q, L_x), and which converges to the homotopy Lie algebra of the classifying space B autX. Moreover, some terms of this spectral sequence are related to derivations of L_x and to the Gottlieb group of X.     

Skew-symmetric derivations of a complex Lie algebra

Let be a complex Lie algebra, its underlying real Lie algebra, a real form of and ·, · the euclidean product induced by the real part of an hermitian inner product on . Let aut be the Lie algebra of skew-symmetric derivations of . We give necessary and sufficient conditions to ensure that aut is composed of skew-hermitian derivations. As an application, we study holomorphy in large subgroups of isometries of Lie groups.     

The space of invariant functions on a finite Lie algebra

We show that the operations of Fourier transform and duality on the space of adjoint-invariant functions on a finite Lie algebra commute with each other. This result is applied to give formulae for the Fourier transform of a ``Brauer function'---i.e. one whose value at depends only on the semisimple part of and for the dual of the convolution of any function with the Steinberg function. Geometric applications include the evaluation of the characters of the Springer representations of Weyl groups and the study of the equivariant cohomology of local systems on , where is a maximal torus of the underlying reductive group .