Application of the cohomology of graded Lie algebras to formal deformations of Lie Algebras

The purpose of the Letter is to show how to use the cohomology of the Nijenhuis-Richardson graded Lie algebra of a vector space to construct formal deformations of each Lie algebra structure of that space. One then shows that the de Rham cohomology of a smooth manifold produces a family of cohomology classes of the graded Lie algebra of the space of smooth functions on the manifold. One uses these classes and the general construction above to provide one-differential formal deformations of the Poisson Lie algebra of the Poisson manifolds and to classify all these deformations in the symplectic case.     

On the local Chevalley cohomology of the dynamical Lie algebra of a symplectic manifold

We describe the relations between the local Chevalley cohomologies related to the adjoint representation of the Poisson Lie algebra of a symplectic manifold and the Lie algebras of all symplectic or globally Hamiltonian vector fields of the manifold. The proofs are based on the computation of the cohomology of the complex (E, ), where E is the space of multilinear local maps from a vector bundle of a manifold M into the space of forms on M and L=d L.     

Homotopy transfer and self-dual Schur modules

We consider the free 2-nilpotent graded Lie algebra $\mathfrak{g}$ generated in degree one by a finite dimensional vector space V. We recall the beautiful result that the cohomology $H^ \cdot \left( {\mathfrak{g},\mathbb{K}} \right)$ of $\mathfrak{g}$ with trivial coefficients carries a GL(V)-representation having only the Schur modules V with self-dual Young diagrams {λ: λ = λ′} in its decomposition into GL(V)-irreducibles (each with multiplicity one). The homotopy transfer theorem due to Tornike Kadeishvili allows to equip the cohomology of the Lie algebra g with a structure of homotopy commutative algebra.     

Quantization of the Lie Bialgebra of String Topology

Let M be a smooth, simply-connected, closed oriented manifold, and LM the free loop space of M. Using a Poincaré duality model for M, we show that the reduced equivariant homology of LM has the structure of a Lie bialgebra, and we construct a Hopf algebra which quantizes the Lie bialgebra.     

On a class of local Lie algebras over a manifold

This letter presents a study of the automorphisms and the derivations of a large class of local Lie algebras over a manifold M (in the sense of Shiga and Kirillov) called Lie algebras of order O over M.It is shown that, in general, the algebraic structure of such an algebra characterizes the differentiable structure of M and that the Lie algebra of derivations of is a Lie algebra of differential operators of order 1 over M obtained in a natural way as the space of sections of a vector bundle canonically associated to .     

Tensor Invariants of the Poisson Brackets of Hydrodynamic Type

Form-invariant solutions for the Poisson brackets of hydrodynamic type on a manifold M ⁿ with (2,0)-tensor g ^ij (u) of rank m ≤ n are derived. Tensor invariants of the Poisson brackets are introduced that include a vector field V (or dynamical system V) on M ⁿ , the Lie derivative L _V g ^ij and symmetric (k, 0)-tensors . Several scalar invariants of the Poisson brackets are defined. A nilpotent Lie algebra structure is disclosed in the space of 1-forms that annihilate the (2,0)-tensor g ^ij (u). Applications to the one-dimensional gas dynamics are presented.     

Reduction of Quantum Systems with Arbitrary First Class Constraints and Hecke Algebras

We propose a method for reduction of quantum systems with arbitrary first-class constraints. An appropriate mathematical setting for the problem is the homology of associative algebras. For every such algebra A and subalgebra B with augmentation ɛ there exists a cohomological complex which is a generalization of the BRST one. Its cohomology is an associative graded algebra Hk ^*(A,B) which we call the Hecke algebra of the triple (A,B,ɛ). It acts in the cohomology space H ^*(B,V) for every left A module V. In particular the zeroth graded component $Hk^{0}(A,B)$ acts in the space of B invariants of $V$ and provides the reduction of the quantum system. Received: 15 June 1998 / Accepted: 25 January 1999     

Group Actions on DG-Manifolds and Exact Courant Algebroids

Let G be a Lie group acting by diffeomorphisms on a manifold M and consider the image of T[1]G and T[1]M, of G and M respectively, in the category of differential graded manifolds. We show that the obstruction to lift the action of T[1]G on T[1]M to an action on a ${\mathbb{R}[n]}$ -bundle over T[1]M is measured by the G equivariant cohomology of M. We explicitly calculate the differential graded Lie algebra of the symmetries of the ${\mathbb{R}[n]}$ -bundle over T[1]M and we use this differential graded Lie algebra to understand which actions are hamiltonian. We show how split Exact Courant algebroids could be obtained as the derived Leibniz algebra of the symmetries of ${\mathbb{R}[2]}$ -bundles over T[1]M, and we use this construction to propose that the infinitesimal symmetries of a split Exact Courant algebroid should be encoded in the differential graded Lie algebra of symmetries of a ${\mathbb{R}[2]}$ -bundle over T[1]M. With this setup at hand, we propose a definition for an action of a Lie group on an Exact Courant algebroid and we propose conditions for the action to be hamiltonian.     

Quantization and representation theory of finiteW algebras

In this paper we study the finitely generated algebras underlyingW algebras. These so called finiteW algebras are constructed as Poisson reductions of Kirillov Poisson structures on simple Lie algebras. The inequivalent reductions are labeled by the inequivalent embeddings ofsl ₂ into the simple Lie algebra in question. For arbitrary embeddings a coordinate free formula for the reduced Poisson structure is derived. We also prove that any finiteW algebra can be embedded into the Kirillov Poisson algebra of a (semi)simple Lie algebra (generalized Miura map). Furthermore it is shown that generalized finite Toda systems are reductions of a system describing a free particle moving on a group manifold and that they have finiteW symmetry. In the second part we BRST quantize the finiteW algebras. The BRST cohomology is calculated using a spectral sequence (which is different from the one used by Feigin and Frenkel). This allows us to quantize all finiteW algebras in one stroke. Examples are given. In the last part of the paper we study the representation theory of finiteW algebras. It is shown, using a quantum version of the generalized Miura transformation, that the representations of finiteW algebras can be constructed from the representations of a certain Lie subalgebra of the original simple Lie algebra. As a byproduct of this we are able to construct the Fock realizations of arbitrary finiteW algebras.     

Formality and Deformations of Universal Enveloping Algebras

We describe enveloping algebras of finite-dimensional Lie algebras which are formal in the sense that their Hochschild complex as a differential graded Lie algebra is quasi-isomorphic to its Hochschild cohomology. For Abelian Lie algebras this is true thanks to the Kontsevich formality theorem. We are using his formality map twisted by the group-like element generated by the linear Poisson structure to simplify the problem, and then study examples. For instance, the universal enveloping algebras of the Lie algebras are formal. We also recover our rigidity results for enveloping algebras from this new angle and present some explicit deformations of linear Poisson structure in low dimensions.     

Chiral Equivariant Cohomology of a Point: A First Look

The chiral equivariant cohomology contains and generalizes the classical equivariant cohomology of a manifold M with an action of a compact Lie group G. For any simple G, there exist compact manifolds with the same classical equivariant cohomology, which can be distinguished by this invariant. When M is a point, this cohomology is an interesting conformal vertex algebra whose structure is still mysterious. In this paper, we scratch the surface of this object in the case G = SU(2).     

Pre-Poisson Algebras

A definition of pre-Poisson algebras is proposed, combining structures of pre-Lie and zinbiel algebra on the same vector space. It is shown that a pre-Poisson algebra gives rise to a Poisson algebra by passing to the corresponding Lie and commutative products. Analogs of basic constructions of Poisson algebras (through deformations of commutative algebras, or from filtered algebras whose associated graded algebra is commutative) are shown to hold for pre-Poisson algebras. The Koszul dual of pre-Poisson algebras is described. It is explained how one may associate a pre-Poisson algebra to any Poison algebra equipped with a Baxter operator, and a dual pre-Poisson algebra to any Poisson algebra equipped with an averaging operator. Examples of this construction are given. It is shown that the free zinbiel algebra (the shuffle algebra) on a pre-Lie algebra is a pre-Poisson algebra. A connection between the graded version of this result and the classical Yang–Baxter equation is discussed.     

Extended super-Kač-Moody algebras and their super-derivation algebras

We study theN-extended super-Ka-Moody algebras, i.e. extensions of the Lie algebra of the loop group over the super-circleA _N . The extensions are characterized by 2-cocycles which are computed in terms of the cyclic cohomology of the Grassmann algebra withN generators. The graded algebra of super-derivations compatible with each extension is determined. The casesN=1,2,3 are examined in detail and their relation with the Ademollo et al. superconformal algebras is discussed. We examine the possibility of defining new superconformal algebras which, forN>1, generalize theN=1 Ramond-Neveu-Schwarz algebra.     

On the space-time interpretation of classical canonical systems I: The general theory

We define a canonical system as a canonical manifoldM plus a canonical vectorfield onM. For such systems a unique kinematical interpretation is deduced from a set of Kinematical Axioms satisfied by the algebra of differentiable functions onM. This algebra is required to contain a subalgebra which is maximal commutative under the Poisson bracket.M is shown to be diffeomorphic to the cotangent bundle over its quotient manifold, which is defined by the given subalgebra. Canonical systems satisfying these axioms are then classified. If the phase space interpretation is adopted they are shown to describe the motion of masspoints in some configuration space under the influence of and interacting by arbitrary vector and scalar potentials.     

Projectively Equivariant Quantization Map

Let M be a manifold endowed with a symmetric affine connection . The aim of this Letter is to describe a quantization map between the space of second-order polynomials on the cotangent bundle T* M and the space of second-order linear differential operators, both viewed as modules over the group of diffeomorphisms and the Lie algebra of vector fields on M. This map is an isomorphism, for almost all values of certain constants, and it depends only on the projective class of the affine connection .     

Solutions of the Classical Yang–Baxter Equation and Noncommutative Deformations

We show that given a finite-dimensional real Lie algebra acting on a smooth manifold P then, for any solution of the classical Yang–Baxter equation on , there is a canonical Poisson tensor on P and an associated canonical torsion-free and flat contravariant connection. Moreover, we prove that the metacurvature of this contravariant connection vanishes if the isotropy Lie subalgebras of the action are trivial. Those results permit to get a large class of smooth manifolds satisfying the necessary conditions, introduced by Eli Hawkins, to the existence of noncommutative deformations. Recherche menée dans le cadre du Programme Thématique d’Appui à la Recherche Scientifique PROTARS III.     

Differential cohomology of C (a)

Let be a finite dimensional real Lie algebra and ^* its dual. ^* is a Poisson manifold. Thus the space C^∞( ^*) of C^∞ functions on ^* has an associative and a Lie algebra structure. The problem of formal deformations of such a structure needs the determination of some cohomology groups of C^∞( ^*), considered as a module on itself for left multiplication or adjoint representation. We determine here these groups. The result is very similar to the case of C^∞(W), where W is a symplectic manifold except for the Lie algebras h_r × ^m, direct products of Heisenberg and abelian Lie algebras.