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.     

Polynomial Representations and Categorifications of Fock Space

The rings of symmetric polynomials form an inverse system whose limit, the ring of symmetric functions, is the model for the bosonic Fock space representation of the affine Lie algebra. We show that this limit naturally carries an action of the affine Lie algebra (in the sense of Rouquier), thereby obtaining a family of categorifications of the bosonic Fock space representation.     

On Enveloping Lie Algebras of Hyporeductive Triple Algebras

The notion of a hypoderivation of binary-ternary algebras is introduced. A hypoderivation is a generalization both of a derivation and a pseudoderivation of such algebras. From the external direct sum of a hyporeductive triple algebra (h.t.a.) with the vector space of pairs constituted by hypoderivations and their companions, a Lie algebra with a hyporeductive decomposition (and accordingly a hyporeductive pair) enveloping the given h.t.a. is constructed. A nontrivial 3-dimensional Lie algebra with hyporeductive decomposition is presented. Examples of h.t.a. are also given.     

单的完备Lie代数

给出了一个Ｈｅｉｓｅｎｂｅｒｇ代数与一个交换Ｌｉｅ代数的直和ｇ０的全形ｈ（ｇ０）和ｈ（ｇ０）的导子代数Ｄｅｒｈ（ｇ０）．证明了ｈ（ｇ０）不是一个完备Ｌｉｅ代数，但Ｄｅｒｈ（ｇ０）是一个单完备Ｌｉｅ代数．     

Infinite-dimensional super Lie groups

A super Lie group is a group whose operations are G^∞ mappings in the sense of Rogers. Thus the underlying supermanifold possesses an atlas whose transition functions are G^∞ functions. Moreover the images of our charts are open subsets of a graded infinite-dimensional Banach space since our space of supernumbers is a Banach Grassmann algebra with a countably infinite set of generators.In this context, we prove that if h is a closed, split sub-super Lie algebra of the super Lie algebra of a super Lie group G, then h is the super Lie algebra of a sub-super Lie group of G. Additionally, we show that if g is a Banach super Lie algebra satisfying certain natural conditions, then there is a super Lie group G such that the super Lie algebra g is in fact the super Lie algebra of G. We also show that if H is a closed sub-super Lie group of a super Lie group G, then G→G/H is a principal fiber bundle.We emphasize that some of these theorems are known when one works in the super-analytic category and also when the space of supernumbers is finitely generated in which case, one can use finite-dimensional techniques. The issues dealt with here are that our supermanifolds are modeled on graded Banach spaces and that all mappings must be morphisms in the G^∞ category.     

Graded lie algebras of depth one

To each simply connected topological space is associated a graded Lie algebra; the rational homotopy Lie algebra. The Avramov-Felix conjecture says that for a space of finite Ljusternik-Schnirelmann category this Lie algebra contains a free Lie subalgebra on two generators. We prove the conjecture in the case when the Lie algebra has depth one.     

Théorème de type Paley-Wiener pour les groupes de Lie semi-simples réels avec une seule classe de conjugaison de sous groupes de Cartan

In this article, we characterize the space of Fourier transforms of the smooth compactly supported functions on a semisimple Lie group with one conjugacy class of Cartan subgroups (cf. th. 6). We get also results on the space of Fourier transforms of the elements of the enveloping algebra of the Lie algebra of such a group (cf. th. 1, 2, and 3).     

Paradigm of Max-Factor and finite-dimensional representation of Lie algebras

An isomorphism between the algebra of formal power series and the dual space to the universal enveloping Lie algebra is constructed. This isomorphism maps the maximal locally finite-dimensional submodule to the preimage of the algebra of rational functions under the Borel transform.     

Local decompositions of pseudo-orthogonal groups

We find all the local decompositions of the Lie algebra 50(1,n+1) in the sum of two Lie subal-gebras. We also find all the connected transitive subgroups in the conformai group of Euclidean space, the transitive subgroup is either contained in the group of motions or contains the group of displacements.     

Application of a semi-direct sum of Lie algebras to the TD hierarchy

We construct a Lie algebra G by using a semi-direct sum of Lie algebra G₁ with Lie algebra G₂. A direct application to the TD hierarchy leads to a novel hierarchy of integrable couplings of the TD hierarchy. Furthermore, the generalized variational identity is applied to Lie algebra G to obtain quasi-Hamiltonian structures of the associated integrable couplings.     

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.     

The Direct Sum Decomposition of Type G_2 Lie Algebra

This article mainly discusses the direct sum decomposition of type G_2 Lie algebra, which, under such decomposition, is decomposed into a type A_1 simple Lie algebra and one of its modules. Four theorems are given to describe this module,which could be the direct sum of two or three irreducible modules, or the direct sum of weight modules and trivial modules, or the highest weight module.     

A Gelfand–Tsetlin-type basis for the algebra $$\mathfrak{sp}_4$$ and hypergeometric functions

Theoretical and Mathematical Physics - We consider a realization of a representation of the $$ \mathfrak{sp} _4$$ Lie algebra in the space of functions on a Lie group $$Sp_4$$ . We find a function...     

La formule de Plancherel pour les groupes de Lie presque algébriques réels

We give a proof of the Plancherel formula for real almost algebraic groups in the philosophy of the orbit method, following the lines of the one given by M. Duflo and M. Vergne for simply connected semisimple Lie groups. Main ingredients are: (1) Harish-Chandra's descent method which, interpreting Plancherel formula as an equality of semi-invariant generalized functions, allows one to reduce it to a neighbourhood of zero in the Lie algebra of the centralizer of any elliptic element; (2) character formula for representations constructed by M. Duflo, we recently proved; (3) Poisson-Plancherel formula near elliptic elements s in good position, a generalization of the classical Poisson summation formula expressing the Fourier transform of the sum of a series of Harish-Chandra type elliptic orbital integrals in the Lie algebra centralizing s as a generalized function supported on a set of admissible regular forms in the dual of this Lie algebra.     

Affine varieties and lie algebras of vector fields

In this article, we associate to affine algebraic or local analytic varieties their tangent algebra. This is the Lie algebra of all vector fields on the ambient space which are tangent to the variety. Properties of the relation between varieties and tangent algebras are studied. Being the tangent algebra of some variety is shown to be equivalent to a purely Lie algebra theoretic property of subalgebras of the Lie algebra of all vector fields on the ambient space. This allows to prove that the isomorphism type of the variety is determinde by its tangent algebra.     

A class of strongly homotopy Lie algebras with simplified sh-Lie structures

Given a complex that is a differential graded vector space, it is known that a single mapping defined on a space of it where the homology is non-trivial extends to a strongly homotopy Lie algebra (on the graded space) when that mapping satisfies two conditions. This strongly homotopy Lie algebra is non-trivial (it is not a Lie algebra); however we show that one can obtain an sh-Lie algebra where the only non-zero mappings defining it are the lower order mappings. This structure applies to a significant class of examples. Moreover in this case the graded space can be replaced by another graded space, with only three non-zero terms, on which the same sh-Lie structure exists.     

Flag Partial Differential Equations and Representations of Lie Algebras

Flag partial differential equations naturally appear in the problem of decomposing the polynomial algebra (symmetric tensor) over an irreducible module of a Lie algebra into the direct sum of its irreducible submodules. Many important linear partial differential equations in physics and geometry are also of flag type. In this paper, we use the grading technique in algebra to develop the methods of solving such equations. In particular, we find new special functions by which we are able to explicitly give the solutions of the initial value problems of a large family of constant-coefficient linear partial differential equations in terms of their coefficients. As applications to representations of Lie algebras, we find certain explicit irreducible polynomial representations of the Lie algebras $sl(n,\mathbb {F}),\;so(n,\mathbb {F})$ and the simple Lie algebra of type G ₂.     

Hochschild cohomology of a strongly homotopy commutative algebra

The Hochschild cohomology of a DG algebra A with coefficients in itself is, up to a suspension of degrees, a graded Lie algebra. The purpose of this paper is to prove that a certain DG Lie algebra of derivations appears as a finite codimensional graded sub Lie algebra of this Lie algebra when A is a strongly homotopy commutative algebra whose homology is concentrated in finitely many degrees. This result has interesting implications for the free the loop space homology which we explore here as well.     

Lie Representations and an Algebra Containing Solomon's

We introduce and study a Hopf algebra containing the descent algebra as a sub-Hopf-algebra. It has the main algebraic properties of the descent algebra, and more: it is a sub-Hopf-algebra of the direct sum of the symmetric group algebras; it is closed under the corresponding inner product; it is cocommutative, so it is an enveloping algebra; it contains all Lie idempotents of the symmetric group algebras. Moreover, its primitive elements are exactly the Lie elements which lie in the symmetric group algebras.     

Characteristic maps for the Brauer algebra

The classical characteristic map associates symmetric functions to characters of the symmetric groups. There are two natural analogues of this map involving the Brauer algebra. The first of them relies on the action of the orthogonal or symplectic group on a space of tensors, while the second is provided by the action of this group on the symmetric algebra of the corresponding Lie algebra. We consider the second characteristic map both in the orthogonal and symplectic case, and calculate the images of central idempotents of the Brauer algebra in terms of the Schur polynomials. The calculation is based on the Okounkov–Olshanski binomial formula for the classical Lie groups. We also reproduce the hook dimension formulas for representations of the classical groups by deriving them from the properties of the primitive idempotents of the symmetric group and the Brauer algebra.