Formality related to universal enveloping algebras and study of Hom-(co)Poisson algebras Olivier Elchinger
To cite this version:
Olivier Elchinger. Formality related to universal enveloping algebras and study of Hom-(co)Poisson algebras. Mathematics [math]. Université de Haute Alsace - Mulhouse, 2012. English. tel-01225555
HAL Id: tel-01225555 https://tel.archives-ouvertes.fr/tel-01225555 Submitted on 6 Nov 2015
HAL is a multi-disciplinary open access L’archive ouverte pluridisciplinaire HAL, est archive for the deposit and dissemination of sci- destinée au dépôt et à la diffusion de documents entific research documents, whether they are pub- scientifiques de niveau recherche, publiés ou non, lished or not. The documents may come from émanant des établissements d’enseignement et de teaching and research institutions in France or recherche français ou étrangers, des laboratoires abroad, or from public or private research centers. publics ou privés. Public Domain Université de Haute Alsace École Doctorale Jean-Henri Lambert Laboratoire de Mathématiques, Informatique et Applications
Formality related to universal enveloping algebras and study of Hom-(co)Poisson algebras
presented in partial fulfillment of the requirements for the degree of Doctor of Philosophy in Mathematics
proposed by
Olivier Elchinger
Thesis directed by Martin Bordemann and Abdenacer Makhlouf defended the 12th of November 2012 in front of the jury composed by:
M. Benjamin Enriquez Université de Strasbourg (Referee) M. Joakim Arnlind University of Linköping (Referee) M. Camille Laurent-Gengoux Université de Metz (Referee) M. Martin Schlichenmaier Université de Luxembourg M. Martin Bordemann Université de Haute Alsace (Advisor) M. Abdenacer Makhlouf Université de Haute Alsace (Advisor) M. Augustin Fruchard Université de Haute Alsace (Invited member)
Remerciements
Je voudrais remercier dans ces lignes les différentes personnes m’ayant soutenu et encouragé durant ces trois années de thèse. Tout d’abord mes parents, qui m’ont suivi toute ma scolarité jusque dans les études supérieures. Mon épouse, qui s’est investie pour moi dans diverses démarches administratives, trajets, et au quotidien ; et me signalait tous les progrès successifs faits par notre fils. Fabien ensuite, qui m’a fait part de l’opportunité d’une place en thèse sur Mulhouse. Takashi et Elodie, ainsi que Philippe, pour leur hospitalité lorsque j’avais besoin de retourner sur Stras- bourg assister à des cours ou des conférences. Je remercie chaleureuse- ment Mme Wurth pour sa disponibilité et son accueil à mon égard. Je tiens aussi à exprimer ma gratitude à Celui qui m’a protégé sur la route plusieurs fois plus longue que prévue. Je souhaite également remercier les membres du laboratoire de m’avoir bien accueilli parmi eux, pour les discussions, énigmes et réflexions menées lors des repas et poursuivies quelques fois plus avancé dans l’après-midi. Merci à Abdennour pour les ré- cents échanges, partages et découvertes. Je remercie vivement Mme Fricker, pour la gestion et résolution d’innombrables détails ad- ministratifs, Mme Robert pour les échanges prompts avec l’école doctorale, ainsi que les personnes des ressources humaines pour leurs conseils. Merci aussi à mes directeurs de thèse pour avoir cru en moi, m’avoir introduit dans leurs recherches, expliqué et ré-expliqué les points moins évidents, fait et refait des calculs gigantesques, envoyé suivre des conférences et des écoles d’été en diverses re- traites et conseillé durant tout ces travaux. Merci de m’avoir offert à de nombreuses reprises le couvert et/ou le café. Je tiens enfin à remercier les rapporteurs et membres du jury d’avoir accepté de prendre le temps de regarder mon travail, et de leurs remarques et critiques pour l’améliorer.
iii iv Contents
Remerciements iii
Contents v
General introduction ix
I Formality and L∞ structures 1
1 Preliminaries 5 1.1 Graded structures ...... 6 1.1.1 Graded vector spaces ...... 6 1.1.2 Shifted spaces ...... 8 1.1.3 Tensor bialgebra ...... 8 1.1.4 Symmetric bialgebra ...... 14 1.1.5 Universal enveloping algebras ...... 17 1.2 Cohomology and deformations ...... 18 1.2.1 Hochschild cohomology ...... 18 1.2.2 Chevalley-Eilenberg cohomology ...... 19 1.2.3 Properties ...... 20 1.2.4 Link with deformations ...... 20
2 Kontsevich formality 23 2.1 Definitions ...... 24 2.2 Case of associative algebras ...... 25 2.2.1 Differential graded Lie algebras ...... 25 2.2.2 Sections ...... 27 2.2.3 Formality ...... 27 2.2.4 Application to deformation ...... 31 2.3 Case of Lie algebras ...... 32 2.3.1 Polyvectors fields and polynomials functions . . . 32 2.3.2 Linear Poisson structure ...... 33 2.3.3 Formality ...... 34 2.4 Universal enveloping algebras ...... 35 2.5 Perturbation Lemma ...... 36 2.5.1 Two-degree cohomology ...... 39 2.5.2 General result ...... 42
v 3 Study of the formality for the free algebras 45 3.1 Description of the spaces ...... 46 3.1.1 Definitions ...... 46 3.1.2 Examples for spaces of dimension 0 and 1 . . . . 47 3.1.3 Results for spaces of dimension greater than 2 . . 48 3.1.4 Case of a finite dimensional space ...... 55 3.2 Perturbed formality ...... 57 3.2.1 Computations for the cocycle part in the case 1 . . 58 3.2.2 Computations for the cocycle part in the case 2 . . 58 3.2.3 Computations for the coboundary part in the case 1 ...... 59 3.2.4 Computations for the coboundary part in the case 2 ...... 62 4 Study of the formality for the Lie algebra so(3) 65 4.1 Description of the Lie algebra so(3) ...... 66 4.2 Subalgebra of the Chevalley-Eilenberg complex . 67 4.3 Deformation retract of the complex ...... 70 4.4 Computation of the L structure ...... 71 ∞
II Hom-algebraic structures 75
5 Twisting of Hom-(co)algebras 79 5.1 Hom-associative algebras and Hom-Lie algebras . 80 5.1.1 Definitions ...... 80 5.1.2 Twisting principle ...... 82 5.1.3 Construction of Hom-Lie algebras ...... 83 5.2 Hom-coalgebras, Hom-bialgebras and Hom-Hopf algebras ...... 87 5.2.1 Hom-coalgebras and duality ...... 87 5.2.2 Hom-bialgebra and Hom-Hopf algebra ...... 90 5.3 Hom-Lie coalgebras and Hom-Lie bialgebras . . . . 92
6 Hom-(co)Poisson structures 95 6.1 Hom-Poisson algebras ...... 96 6.1.1 Definitions and examples ...... 96 6.1.2 Twisting principle ...... 97 6.1.3 Application to Sklyanin algebra ...... 97 6.1.4 Constructing Hom-Poisson algebras from Hom- Lie algebras ...... 98 6.2 1-operation structures ...... 100 6.2.1 Flexibles Hom-algebras ...... 100 6.2.2 Link with Hom-Poisson algebras ...... 101 6.3 Hom-coPoisson algebras and duality ...... 103 vi 6.3.1 Link with Hom-Lie bialgebras ...... 103 6.3.2 Duality ...... 105
7 Deformation and quantization of Hom-algebras109 7.1 Formal Hom-deformation ...... 110 7.1.1 Formal deformation of Hom-associative algebras . 110 7.1.2 Deformations of Hom-coalgebras and Hom-Bialgebras112 7.2 Quantization and twisting of ?-products . . . . . 112 7.2.1 Twists of Moyal-Weyl ?-product ...... 114 7.2.2 Twists of the Poisson bracket ...... 116 7.2.3 Quantization of the Poisson automorphisms . . . 118
A Computations with Mathematica 125 A.1 Computation of the morphisms of sl(2) ...... 126 A.2 Hom-Lie structures associated to the Jackson sl(2) bracket ...... 129
Bibliography 133
vii viii General introduction
his thesis aims to study some algebraic aspects of structures T linked to the problem of deformation quantization. At first, we examine the formality for the case of free algebras and for the Lie algebra so(3) and then, we consider deformation quantization for Hom-algebraic structures. The following is about the historic of these subjects, the results are exposed with more details at the beginning of each part.
Deformation of structure theories is useful to formalize quan- tum physics. If one has a quantum description of a physical sys- tem, then the passage to the classical description is done letting “Planck’s constant ~ tend to zero”. The reverse operation, i.e. pro- ducing a quantum description from a classical one is called quanti- zation. The algebraic structure considered by classical mechanics is the associative commutative algebra of smooth functions over a symplectic, or more generally, a Poisson manifold. Deformation quantization consists to construct an associative non-commutative multiplication (more precisely a ?-product) on the formal series in ~ with coefficients in this algebra, which encodes the Poisson bracket in the first order. The Poisson structure is then called the quasi-classical limit and the deformation is the ?-product. This point of view, initiated in 1978 in [BFF+78], tries to consider quan- tum mechanics as a deformation from classical mechanics, and the Poincaré group as a deformation of the Galileo group. This pioneering work raises the fundamental questions about the ex- istence and the uniqueness of a deformation quantization for a given Poisson manifold. The first results treated the case of symplectics manifolds. The general case of Poisson manifolds was solved by Kontsevich in 1997 in [Kon03]. He deduced the result by proving a much more general statement, which he called “formality conjecture”. En-
ix dowed with the Gerstenhaber bracket, the Hochschild complex of the algebra of smooth functions over a Poisson manifold admits a graded Lie algebraic structure by shift, which controls the defor- mations of the Poisson bracket. Kontsevich shows that this com- plex is linked with its cohomology — which therefore controls the same deformations — by a L -quasi-isomorphism, called a for- mality map. This boils down∞ the problem of deformation to the previously solved case. Konstevich shows in particular that the formality criterion is true for symmetric algebras over a finite-dimensional vector space are formal. Bordemann and Makhlouf have examined in [BM08] a slight generalization to the case of universal enveloping algebras. They showed (implicit in Kontsevich’s work) that the formality for a Lie algebra is equivalent to those of its universal enveloping al- gebra. They also proved that there is formality for the universal enveloping algebra of an affine Lie algebra. These methods were used in [BMP05] and give informations about the rigidity of uni- versal enveloping algebras.
In the first part, we will study the question of formality of some classes of Lie algebras. We consider free algebras, a particular case of universal enveloping algebras, and we show that there is no for- mality in general, except in the trivial cases. The study of the Lie algebra so(3) shows that there is no formality in this case too. The tools used are homological ones. We first recall that the cohomology is concentrated in degrees 0 and 1 for the free alge- bras and in degrees 0 and 3 for the Lie algebra so(3). We then build a L -quasi-isomorphism between the differential graded Lie algebra of∞ Hochschild’s cochains endowed with the Gerstenhaber bracket and the cohomology endowed with the Schouten bracket. To achieve this, we use a version of the Perturbation lemma adapted to differential graded Lie algebras, which states that given a contraction between two differential graded complex, and a per- turbation of one of the differentials, there exists a new contraction between the two complexes endowed with perturbed differentials.
The study of quasi-deformations of Lie algebra of vector fields, in particular the q-deformations of Witt and Virasoro algebra, leads to the introduction of new non-associative structures. Hom-Lie al- gebras were first introduced by Hartwig, Larsson and Silvestrov in order to describe theses q-deformations using σ-derivations (see [HLS06]). They describe the q-deformation of the Witt algebra by a one-parameter q family of Hom-Lie algebras, such that the ini- tial Witt algebra is obtained for q = 1. The associative type objects x corresponding to Hom-Lie algebras, called Hom-associative alge- bras, were introduced by Makhlouf and Silvestrov in [MS10b]. The enveloping algebras of Hom-Lie algebras were studied by D. Yau in [Yau08]. The dual notions of Hom-coalgebras, and also Hom- bialgebras, Hom-Hopf algebras and Hom-Lie coalgebras were first studied in [SPAS09, MS10a] and have been enhanced in [Yau11, Yau10a]. The formal deformation theory is extended in [MS10b] to Hom- associatives and Hom-Lie algebras. The theory for bialgebras and Hopf algebras was introduced in [GS92], and was extended to the Hom-coalgebras, Hom-bialgebras and Hom-Hopf algebras in [DM]. Cohomology complexes were build for theses different al- gebraic structures, and links between cohomology and formal de- formation established. The problem of deformation quantization in the Hom-algebraic setting can be formulated as follows: for a given Hom-(co)Poisson algebra, it is to find a deformation of a commutative (co)algebra Hom-(co)associative such that the first term of the deformation corresponds to the initial Hom-(co)Poisson algebra.
The second part of this work was in large part prepublished in the article [BEM12]. In this second part, we recall some properties of Hom-algebraic structures, we introduce the notion of Hom-co- Poisson algebra and study duality. We use a deformation princi- ple by twist to build new structures of the same type, or to de- form a classical structure into the corresponding Hom-structure by means of an algebra morphism. In particular, we apply this process to Poisson structures and to ?-products of Moyal-Weyl. We also establish a correspondence between universal envelop- ing algebras from Hom-Lie algebras endowed with a Hom-coPois- son structure and Hom-Lie bialgebras.
xi xii Part I
Formality and L∞ structures Table of Contents
1 Preliminaries 5 1.1 Graded structures ...... 6 1.2 Cohomology and deformations ...... 18
2 Kontsevich formality 23 2.1 Definitions ...... 24 2.2 Case of associative algebras ...... 25 2.3 Case of Lie algebras ...... 32 2.4 Universal enveloping algebras ...... 35 2.5 Perturbation Lemma ...... 36
3 Study of the formality for the free algebras 45 3.1 Description of the spaces ...... 46 3.2 Perturbed formality ...... 57 4 Study of the formality for the Lie algebra so(3) 65 4.1 Description of the Lie algebra so(3) ...... 66 4.2 Subalgebra of the Chevalley-Eilenberg complex . 67 4.3 Deformation retract of the complex ...... 70 4.4 Computation of the L structure ...... 71 ∞ Table of Contents 3 Introduction of the first part
n this first part, after presenting graded structures in Section 1.1 I and recalling cohomology notions in Section 1.2, we define the notions of L -algebras and formality (Definition 2.1.2 and Defi- nition 2.1.3).∞ A L -algebra is a generalization of a graded Lie al- gebra. It is some∞ differential graded cocommutative symmetric coalgebra, whose differential encodes a Lie bracket and maps of greater arity. The fact that the differential is of square zero by composition encompass the Jacobi identity at order two and oth- ers identities at any order involving these maps. A L -morphism (Definition 2.1.2) is a map between two L - algebras∞ which intertwine the differentials. Considering the com-∞ ponents of the morphism, this also gives equations at any order.
For an associative algebra, we consider its Hochschild com- plex and its cohomology which, endowed with the Gerstenhaber bracket and the induced Schouten bracket, become graded Lie al- gebras by shift. They can be considered as L -algebras, differen- tials are induced by the brackets. In general,∞ there is no graded Lie algebra morphism injecting the cohomology into the cocycles, but maybe there exists a morphism of L -algebras intertwining the differentials induced by the brackets. ∞ A formality map is such a morphism, if it induce an isomor- phism on cohomology (a quasi-isomorphism). If a formality map does not exist, it is always possible to modify order by order the L structure of the cohomology: the differential is then no longer induced∞ by the Schouten bracket only, but contains higher order components. This construction use a version of the Perturbation lemma (Lemma 2.5.4) adapted for differential graded Lie algebras.
We then study the formality equations for free algebras, and show in Section 3.2 that they are not satisfied. The computation of the perturbed L structure gives only one more map of arity 3. The same work is done∞ for the Lie algebra so(3). Again, there is no formality (Theorem 4.4.1) and the modified L structure consists of only one term of arity 3 too. ∞ 4 Table of Contents 1 Preliminaries
Contents 1.1 Graded structures ...... 6 1.1.1 Graded vector spaces ...... 6 1.1.2 Shifted spaces ...... 8 1.1.3 Tensor bialgebra ...... 8 1.1.4 Symmetric bialgebra ...... 14 1.1.5 Universal enveloping algebras ...... 17 1.2 Cohomology and deformations ...... 18 1.2.1 Hochschild cohomology ...... 18 1.2.2 Chevalley-Eilenberg cohomology ...... 19 1.2.3 Properties ...... 20 1.2.4 Link with deformations ...... 20
o begin, we expose the workplace, which is the category of T graded vector spaces. The notion of components shift plays an important role an allows to enrich the involved structures. We then detail some of the structures which can equip tensor spaces. This chapter ends by reminding the notions of Hochschild and Chevalley-Eilenberg cohomology, and some of their properties
5 6 Chapter 1. Preliminaries 1.1 Graded structures
A gradation on a space enable the concise exposition of valid prop- erties in each degree. Computations are also easier by working with homogeneous elements in each component. In the following, K is a field of characteristic 0, unless otherwise stated.
1.1.1 Graded vector spaces We consider the category of Z-graded vector spaces: objects are K- ⊕ i i vector spaces Z-graded V = i ZV , direct sum of subspaces V . An element x of V lying in one∈ of the V i is called homogeneous, and we shall denote by i C |x| ∈ Z its degree. In the following, elements will always be homogeneous unless otherwise specified. Given two graded vector spaces V and W , a linear map φ : V → W is said to be homogeneous of degree j if and only if for all inte- gers i we have φ(V i) ⊂ W i+j. In graded situations we shall write Hom(V,W )j for the vector space of all linear maps which are ho- mogeneous of degree j, and Hom(V,W ) for the direct sum of all the Hom(V,W )j. Clearly, Hom(V,W ) is a graded vector space. Likewise, the tensor product V ⊗ W is graded by setting (V ⊗ i ⊕ k ⊗ i k W ) = k ZV W − , see [ML63]. The tensor product of two mor- ∈ phism φ : V → W and ψ : V 0 → W 0 is defined with the Koszul rule of signs: for all homogeneous elements x ∈ V and y ∈ V 0
ψ x (φ ⊗ ψ)(x ⊗ y) B (−1)| || |φ(x) ⊗ ψ(y), (1.1.1) with ψ of degree |ψ|. There also is the graded transposition
τ : V ⊗ W → W ⊗ V x y (1.1.2) τ(x ⊗ y) B (−1)| || |y ⊗ x. Theses two rules will determine all the signs which will appears in computations. A graded (associative) algebra (A,µ) is a graded vector space A together with graded space morphism µ : A ⊗ A → A of degree 0 satisfying AiAj ⊂ Ai+j.
Very often we write aa0 for µ(a ⊗ a0). For another graded algebra (B,ν) the graded tensor product of A and B is A⊗B with the product map defined as the composite (µ ⊗ ν) ◦ (id ⊗ τ ⊗ id). In terms of elements, the product is given for homogeneous elements a,a0 ∈ A and b,b0 ∈ B by
b a (a ⊗ b)(a0 ⊗ b0) B (−1)| || 0|aa0 ⊗ bb0. 1.1. Graded structures 7
A graded algebra (A,µ) is commutative if µ◦τ = µ, anticommutative if µ ◦ τ = −µ; for a,b ∈ A this writes a b a b ab = (−1)| || |ba et ab = −(−1)| || |ba. A graded coalgebra (C,∆) is defined in a similar way: the comulti- plication must satisfy X ∆Cj ⊂ Ck ⊗ Cl. k+l=j It is said cocommutative if τ ◦∆ = ∆ and anticocommutative if τ ◦∆ = −∆. We define a graded coalgebra structure on the tensor product of two graded coalgebras by applying the same rule of signs as in the case for algebras. A derivation of degree i in a graded algebra (A,µ) is a linear morphism d : A → A of degree i such that i a d(ab) = da.b + (−1) | |a.db which also writes d ◦ µ = µ ◦ (d ⊗ id + id ⊗ d). A A A coderivation of degree i in a graded coalgebra (C,∆) is a linear C → C P ⊗ morphism d : of degree i such that if we note ∆a = (a) a1 a2, we have X ⊗ − i a1 ⊗ ∆da = da1 a2 + ( 1) | |a1 da2 (a) or also ∆ ◦ d = (d ⊗ id + id ⊗ d) ◦ ∆. C C Definition 1.1.1 A graded Lie algebra is a Z-graded vector space V endowed with a graded Lie bracket, i.e. a bilinear map [ , ]: V ⊗ V → V such that gradation [V i,V j] ⊂ V i+j and for x,y,z ∈ V graded antisymmetry y x [y,x] = −(−1)| || |[x,y] (1.1.3) graded Jacobi identity
x z y x z y (−1)| || |[[x,y],z] + (−1)| || |[[y,z],x] + (−1)| || |[[z,x],y] = 0 (1.1.4) which also writes x z (−1)| || |[[x,y],z] = 0, x,y,z
where x,y,z indicates a summation on cyclic permutations of x,y,z. 8 Chapter 1. Preliminaries
1.1.2 Shifted spaces For an integer j denote by V [j] the shifted graded vector space de- fined by V [j]i B V i+j. The identity map V → V induces for each n ∈ Z a map sn : V [j] → V [j − n] which is of degree n because sn(V [j]k) = V j+k = V [j − n]k+n. It is seen as the nth power of the suspension map s B s1 : V [j] → V [j − 1] of degree one. In particular, s : V [1] → V C V [0] and if an element x ∈ V [1] is of degree |x| (in V [1]), then x = sx is of degree |sx| = |x| + 1 in V . The suspension will be ‘visible’ for shifted multilinear maps: let k l φ : V ⊗ → W ⊗ be a multilinear map of degree |φ|. The shifted k → l l j ◦ map φ[j]: V [j]⊗ W [j]⊗ is defined by setting φ[j] B (s⊗ )− k j φ ◦ (s⊗ ) . The degree of the shifted map φ[j] is given by |φ[j]| = k j j(k − l) + |φ| and we have (φ[j])[j0] = φ[j + j0]. Note that (s⊗ ) = k(k 1 j(j 1) − − j k (−1) 2 2 (s )⊗ . In order to compute a shifted map, first write ⊗ ··· ⊗ ∈ k for ξ B x1 xk V ⊗ the value of φ(ξ) with the Sweedler P ⊗···⊗ ∈ notation as φ(1)(ξ) φ(l)(ξ), with φ(i)(ξ) W . By the Koszul ⊗ rule of signs (1.1.1), the value of the shifted map φ[j] on η B y1 ···⊗ ∈ k j ⊗···⊗ j yk V [j]⊗ is computed as follows, with η˜ B s (y1) s (yk):
⊗ ··· ⊗ φ[j](y1 yk) = k(k 1) j(j 1) l(l 1) j( j 1) − − + − − − − j (k 1) y +(k 2) y + +(k (k 1)) y (−1) 2 2 2 2 (−1) − | 1| − | 2| ··· − − | k| X j (l 1) φ (η˜) +(l 2) φ (η˜) + +(l (l 1)) φ (η˜) (−1) − | (1) | − | (2) | ··· − − | (l) | ⊗ ··· ⊗ ⊗ ··· ⊗ ⊗ ··· ⊗ φ(1)(y1 yk) φ(l)(y1 yk).
1.1.3 Tensor bialgebra T ⊕ k For a Z-graded vector space V , we denote by V = k NV ⊗ the ∈ tensorial algebra over V . It is a K-associative graded algebra with unit 1, it inherits its Z-grading by the Z-grading of V , see [ML63]. To avoid any confusion, the symbol ⊗ is not written for the free T multiplication µ = µ V in V , which is the juxtaposition. T T T + ⊕ k Moreover, V is a graded bialgebra: let V = k N? V ⊗ be T →∈ the augmentation ideal. The counit ε = ε V : V K is de- T + T fined by the condition Kerε = V and ε(1) = 1K. The graded comultiplication shuffle ∆sh is the morphism of associative algebra T V → T V ⊗ T V induced (by universal property Theorem 1.1.2) ⊗ ⊗ ∈ by its value ∆sh(x) = x 1+1 x on generators x V . Since the multiplication µ[2] on T V ⊗T V is given by (µ⊗µ)◦(id⊗ τ ⊗ id) with the graded transposition, there are signs in formulas ⊗ ⊗ − x y ⊗ involving ∆sh, for example ∆sh(xy) = xy 1+x y + ( 1)| || |y x + x y 1⊗xy, for x ∈ V | | and y ∈ V | |. This comultiplication is graded ◦ cocommutative (i.e. τ ∆sh = ∆sh) of degree 0. 1.1. Graded structures 9
Dualizing this bialgebra structure, we obtain on the space T V another structure of bialgebra, with comultiplication (not graded cocommutative) of deconcatenation, ∆ = ∆ V which dualize the T ··· ⊗ ··· free multiplication and is given by formula ∆(x1 xk) = 1 x1 xk+ Pk ··· ⊗ ··· ··· ⊗ r=2 x1 xr 1 xr xk + x1 xk 1; and multiplication shuffle µsh graded commutative,− sometimes written •, which dualize the co- multiplication shuffle. For an explicit formula of µsh, see equation (1.1.9). The two operations ∆ and µsh are of degree 0, the unit is again 1 and the counit ε. We note prV the canonical projection on T V 1. For two linear maps ψ1,ψ2 from a graded coassociative coal- gebra (C,∆C) to a graded associative algebra (A,µA), the convolu- tion ψ1 ? ψ2 of ψ1 and ψ2 with respect to µA and ∆C is given by ◦ ⊗ ◦ ψ1 ? ψ2 B µA (ψ1 ψ2) ∆C. It is a graded associative multiplica- tion in Hom(C,A). T 1 The tensorial algebra ( V ,µ = µ V ,1) is free in the sense that it is characterized up to isomorphismT by the following universal property. → Theorem 1.1.2 Let (A,µA) be an associative graded algebra. Each morphsim φ : V A of graded vector spaces, of degree zero, extends to a unique morphism φ : T V → A of graded algebras.
T φ V / (A,µA) ∈ a ; φ satisfies for each n N ··· ··· (1.1.5) φ φ(x1 xn) = φ(x1) φ(xn) 0 P V ⇔ ◦ (n 1) (n 1) ◦ ⊗ ··· ⊗ φ µ − = µA − (φ φ) Proof. The proof given here presents a construction slightly more explicit than the usual one using the universal property of the ten- sorial product. ?n (n 1) ◦ n ◦ (n 1) ?0 ?1 Let φ = µA − φ⊗ ∆ − , with φ = 1Aε V and φ = φ, P ?n ⊕T n and let φ = n N φ . Extending φ by 0 on n,1V ⊗ , we have k+1 (k) ··· ∈ φ⊗ ∆ (x1 xn) = 0 for k > n so φ is well-defined. Thus, in ··· the sum defining φ(x1 xn), the only remaining term is exactly ··· φ(x1) φ(xn). So φ is uniquely determined by φ.
The algebra morphism φ induced by φ : V → A is computed as P ?n φ = n N φ , the geometric serie using the convolution with re- ∈ spect to the multiplication µA and the comultiplication of decon- catenation ∆.
Proposition 1.1.3 Let d : V → A be a linear map of degree j ∈ Z. There exists a unique T → ◦ graded derivation of degree j along φ, noted d : V A, i.e. d µA =
1and so often called free algebra 10 Chapter 1. Preliminaries
◦ ⊗ ⊗ | µA (d φ + φ d), such that d V = d.
Proof. Set d(x) B d(x) for x ∈ V , then extend using the formula d(xy) = d(x)φ(y) + φ(x)d(y). Since it respects the associativity of the free multiplication of T V
d(x(yz)) = d(x)φ(yz) + φ(x)d(yz) = d(x)φ(y)φ(z) + φ(x)d(y)φ(z) + φ(x)φ(y)d(z) d((xy)z) = d(xy)φ(z) + φ(xy)d(z) = d(x)φ(y)φ(z) + φ(x)d(y)φ(z) + φ(x)φ(y)d(z)
for all x,y,z ∈ V , the proposition follows.
This derivation induced by d is computed as φ ? d ? φ. In term ··· ∈ T of elements, for x1 xk V , it writes
k ··· X ··· ··· d(x1 xk) = φ(x1) φ(xr 1)d(xr)φ(xr+1) φ(xk). − r=1
A graded coalgebra (C,∆C,εC,1C) is said to be augmented if C is ⊕ + the direct sum C = K1C KerεC. The subspace C B Ker εC is iso- morphic to the graded quotient coalgebra C/K1C whitout counit (K1C is a subcoalgebra, thus a coideal of C). A graded coalgebra whitout counit is said to be nilpotent if for each element x ∈ C, there is an integer N such that the N th iteration of the comultipli- cation vanishes on x. Augmented graded coalgebras (C,∆C,εC,1C) whose C+ (seen as a quotient) are nilpotent form a subcategory C C AN of the category of graded coalgebras. The category AN is closed under tensorial product and contains T V . The coalgebra T C ( V,∆ = ∆ V ,ε) is cofree in the category AN in the sense that it satisfies theT following universal property. ∈ C → Theorem 1.1.4 For each coalgebra (C,∆C,εC) AN and each linear map φ : C V of degree 0 vanishing on 1C, there exists a unique morphism of graded → T ◦ coalgebras φ : C V such that prV φ = φ.
T φ V o (C,∆C) ◦ ⊗ ◦ φ satisfies ∆ φ = φ φ ∆C X X (1.1.6) prV φ ⇔ φ(x) ⊗ φ(x) = φ(x ) ⊗ φ(x ) ! ! { 1 2 1 2 V (φ(x)) (x)
?n (n 1) ◦ n ◦ (n 1) ?0 ?1 Proof. Let φ = µ − φ⊗ ∆C − , with φ = 1εC and φ = φ, P ?n ∈ and let φ = n N φ , it is well-defined by nilpotency. For x ∈ ∈ K1C, all equations vanish. For x KerεC, we have, in Sweedler 1.1. Graded structures 11 notation
∆ ◦ φ(x) =1⊗φ(x) + φ(x) ⊗ 1 ⊗ ⊗ ⊗ + 1 φ(x1)φ(x2) + φ(x1) φ(x2) + φ(x1)φ(x2) 1 ··· + ∆(φ(x1)φ(x2)φ(x3)) + ⊗ ◦ ⊗ ⊗ (φ φ) ∆C(x) =1εC(x1) φ(x2) + φ(x1) 1εC(x2) ⊗ + 1εC(φ(x1)) φ(x2)φ(x3) ⊗ + φ(x1) φ(x2) ⊗ ··· + φ(x1)φ(x2) 1εC(φ(x3)) + which are equal because of the properties of the counit εC. For a more rigorous calculus, one can show by induction that for n ∈ N,
n n 1 (n) X (i) (n i) i n i X− (i) (n 1 i) ∆ ◦ µ = (µ ⊗ µ − ) ◦ (id⊗ ⊗ ∆ ⊗ id⊗ − ) − µ ⊗ µ − − i=0 i=0
(whit µ(0) = id) and then compute
◦ ◦ X ?n X ◦ (n 1) ◦ n ◦ (n 1) ∆ φ = ∆ φ = ∆ µ − φ⊗ ∆C − n N n N ∈ ∈ n 1 X X− (i) (n 1 i) i n 1 i = (µ ⊗ µ − − ) ◦ (id⊗ ⊗ ∆ ⊗ id⊗ − − ) n N i=0 ∈ n 2 ! −X− (i) ⊗ (n 2 i) ◦ n ◦ (n 1) µ µ − − φ⊗ ∆C − i=0 since Imφ ⊂ V , ∆ ◦ φ = φ ⊗ 1+1⊗φ n 1 X X− (i) (n 1 i) i n 1 i = (µ ⊗ µ − − ) ◦ (φ⊗ ⊗ (φ ⊗ 1+1⊗φ) ⊗ φ⊗ − − n N i=0 ∈ n 2 ! −X− (i) ⊗ (n 2 i) ◦ n ◦ (n 1) µ µ − − φ⊗ ∆C − i=0 n 1 X X− (i) ◦ i+1 ◦ (i) ⊗ (n 2 i) ◦ n 1 i ◦ (n 2 i) ◦ = µ φ⊗ ∆C µ − − φ⊗ − − ∆C − − ∆C n N i=0 ∈ n 1 X− (i 1) ◦ i ◦ (i 1) ⊗ (n 1 i) ◦ n i ◦ (n 1 i) ◦ + µ − φ⊗ ∆C− µ − − φ⊗ − ∆C − − ∆C i=0 n 2 ! − X− (i) ◦ i+1 ◦ (i) ⊗ (n 2 i) ◦ n 1 i ◦ (n 2 i) ◦ µ φ⊗ ∆C µ − − φ⊗ − − ∆C − − ∆C i=0 n ! X X (i 1) ◦ i ◦ (i 1) ⊗ (n 1 i) ◦ n 1 ◦ (n 1 i) ◦ = µ − φ⊗ ∆C− µ − − φ⊗ − ∆C − − ∆C n N i=0 ∈ 12 Chapter 1. Preliminaries
n ! ! XX ?i ⊗ ?n i ◦ X ?r ⊗ X ?s ◦ = φ φ − ∆C = φ φ ∆C n N i=0 r N s N ⊗∈ ◦ ∈ ∈ = (φ φ) ∆C,
P ?n P so φ = n N φ fits. To prove the uniqueness, denote φ = n N φn, ∈ ⊂ n ∈ with Imφn V ⊗ . We have ⊗ ◦ ◦ ⇒ ◦ ⊗ ◦ ◦ ◦ (φ φ) ∆C = ∆ φ µ (φ φ) ∆C = µ ∆ φ. ◦ ··· ··· Since (µ ∆)(x1 xk) = (k+1)x1 xk, this last equation reads φ?φ = P ∈ n N(n + 1)φn. So for all n N, since φ0 = 1εC, ∈ n n 1 X ⇔ − X− φi ? φn i = (n + 1)φn (n 1)φn = φi ? φn i. − − i=0 i=1
?k Pn By induction, supposing φk = φ for 0 6 k 6 n, nφn+1 = i=1 φi ? Pn ?n+1 ?n+1 ?n+1 φn+1 i = i=1 φ = nφ , so we also have φn+1 = φ and − ?n ∈ P ?n thus φn = φ for all n N. So φ = n N φ is uniquely deter- mined by φ. ∈ The coalgebra morphism φ is said to be coinduced by φ : C+ → V P ?n and is computed as φ = n N φ , the geometric serie using the convolution with respect to∈ the free multiplication µ and the co- multiplication ∆C. Two coalgebra morphisms Φ,Ψ : T V ← C are equal if and only if ◦ ◦ there components prV Φ and prV Ψ are equal. For example, µsh is coinduced by pr⊗ε + ε ⊗ pr, see equation (1.1.10).
Proposition 1.1.5 Let d : C+ → V be a linear map of degree j ∈ Z. There exists a unique graded coderivation of degree j along φ, noted d : C → T V , i.e. ∆◦d = ⊗ ⊗ ◦ ◦ (d φ + φ d) ∆C, such that prV d = d. Proof. Using similar arguments, d = φ ? d ? φ fits. Indeed, for x ∈ C+, in Sweedler notation, the following expressions are equal.
◦ ∆ d(x) = ∆ d(x) + d(x1)φ(x2) + φ(x1)d(x2) ··· + d(x1)φ(x2)φ(x3) + φ(x1)d(x2)φ(x3) + φ(x1)φ(x2)d(x3) + ⊗ ⊗ ··· = d(x) 1+1 d(x) + ∆(d(x1)φ(x2)) + ∆(φ(x1)d(x2)) +
⊗ ⊗ ◦ ⊗ ⊗ (d φ + φ d) ∆C(x) = d(x1) 1εC(x2) + 1εC(x1) d(x2) ⊗ ⊗ ⊗ + 1 d(x1)φ(x2) + d(x1) φ(x2) + d(x1)φ(x2) 1 ⊗ ⊗ ⊗ ··· + 1 φ(x1)d(x2) + φ(x1) d(x2) + φ(x1)d(x2) 1+ 1.1. Graded structures 13
As before, the composition with µ
◦ ⊗ ⊗ ◦ ⇒ ◦ ◦ ∆ d = (d φ + φ d) ∆C µ ∆ d = d ? φ + φ ? d
gives the uniqueness of d.
Conversely, any graded coderivation D : C → T V is determined ◦ by its component d B prV D. Moreover, d is determined by its re- strictions d d| k for any nonnegative integer k. k B V ⊗ Taking the coalgebra C = (T V,∆) and considering coderiva- T → tions along φ = id V , we note for d1,d2 : V V T
◦ ◦ ◦ ◦ X∞ i ⊗ ⊗ j T → d1 G d2 B d1 d2 = d1 (id V ? d2 ? id V ) = d1 id⊗ d2 id⊗ : V V (1.1.7) T T i,j=0
the graded Gerstenhaber multiplication. So, the graded commutator ◦ − − d1 d2 ◦ [d1,d2] = d1 d2 ( 1)| || |d2 d1 is a coderivation along id V which ◦ − − d1 d2 ◦ T is coinduced by prV [d1,d2] = d1 G d2 ( 1)| || |d2 d1 C [d1,d2]G, the graded Gerstenhaber bracket of d1 and d2. There is then equality between
◦ ◦ ◦ ◦ − − d1 d2 ◦ ◦ d G prV [d1,d2] = d [d1,d2] = (d G d1) G d2 ( 1)| || |(d G d2) G d1 and
◦ ◦ ◦ − − d1 d2 ◦ ◦ d G [d1,d2]G = d G (d1 G d2) ( 1)| || |d G (d2 G d1),
known as the Gerstenhaber identity
◦ ◦ − − d1 d2 ◦ ◦ ◦ (d G d1) G d2 ( 1)| || |(d G d2) G d1 = d G [d1,d2]G. (1.1.8) ◦ T So there is a graded pre-Lie identity for G, so (Hom( V,V ),[ , ]G) is a graded Lie algebra. ◦ The structures G and [ , ]G were first defined by Gerstenhaber in [Ger63] for V [1] where the graded space was V = V 0.
Lemma 1.1.6 Let µ : V ⊗V → V be a graded associative multiplication (of degree 0). Then the shifted map d = µ[1] : V [1]⊗V [1] → V [1] is of degree 1, and ◦ the associativity of µ is equivalent to d G d = 0. Proof. We have that
2 d : V [1]⊗ → V [1] 1 a 1 a d(a ⊗ b) = s− ◦ µ ◦ (s ⊗ s)(a ⊗ b) = (−1)| |s− µ(s(a) ⊗ s(b)) = (−1)| |ab, 14 Chapter 1. Preliminaries
and for a,b,c ∈ V [1], ◦ ⊗ ⊗ ◦ ⊗ ⊗ (d G d)(a b c) = (µ[1] µ[1])(a b c) = µ[1](µ[1] ⊗ id + id ⊗ µ[1])(a ⊗ b ⊗ c) a = µ[1](µ[1](a ⊗ b) ⊗ c) + (−1)| |µ[1](a ⊗ µ[1](b ⊗ c)) a a + b = (−1)| |µ[1](ab ⊗ c) + (−1)| | | |µ[1](a ⊗ bc) a + ab 2 a + b = (−1)| | | |(ab)c + (−1) | | | |a(bc) 1 since |ab| = |s− (sasb)| = |a| + |b| + 1 2 a + b = (−1) | | | | a(bc) − (ab)c − b 1 = ( 1)| |− asµ[1](a,b,c) = 0.
1.1.4 Symmetric bialgebra S ⊕ Sn The graded symmetric bialgebra on V , V = n N V is defined as the quotient of the free algebra T V by the two-sided∈ ideal gener- x y x y ated by all elements xy − (−1)| || |yx in T V with x ∈ V | |, y ∈ V | |. The resulting associative multiplication, the shuffle multiplication • is graded commutative, i.e. for two homogenous elements a,b ∈ a b S V we have a • b = (−1)| || |b • a, and has for unit element 1. So the quotient S V is a graded commutative associative algebra. Moreover, the first comultiplication ∆sh factors through the quotient and define on S V a graded cocommutative comultiplica- S tion, also noted ∆sh. The space V is then a graded commutative cocommutative bialgebra. It is the free graded commutative alge- bra generated by V . For an integer n, a permutation σ from the symmetric group Sn ··· ∈ n σ ··· and ξ = x1 xn V ⊗ , denote ξ = xσ(1) xσ(n) the usual right T action from Sn on V . Defining the graded signature from σ with respect to ξ as x x Y σ(i) + (−1)| σ(i)|| σ(j)|σ(j) ( ··· ) e x1 xn,σ B x x i + (−1)| i || j |j 16i
··· • ··· X ··· ··· (x1 xk) (xk+1 xn) = e(x1 xn,σ)xσ(1) xσ(n). (1.1.9) σ 1 Sh(k,n k) − ∈ − { } For example, we have Sh(1,1) = S2 = id,(1 2) , and e(x1x2,id) = 1, − x2 x1 e(x1x2,(1 2)) = ( 1)| || |, so
• − x2 x1 x1 x2 = x1x2 + ( 1)| || |x2x1.
1 2 3 1 2 3 { 1 1} Sh(2,1) = id, 1 3 2 , 2 3 1 = id,(2 3)− ,(1 3 2)− − x3 x2 − x3 ( x1 + x2 ) e(x1x2x3,(23)) = ( 1)| || |, e(x1x2x3,(132)) = ( 1)| | | | | | • − x3 x2 − x3 ( x1 + x2 ) x1x2 x3 = x1x2x3 + ( 1)| || |x1x3x2 + ( 1)| | | | | | x3x1x2
1 2 3 1 2 3 { 1 1} Sh(1,2) = id, 2 1 3 , 3 1 2 = id,(1 2)− ,(1 2 3)− − x2 x1 − x1 ( x2 + x3 ) e(x1x2x3,(12)) = ( 1)| || |, e(x1x2x3,(123)) = ( 1)| | | | | | • − x2 x1 − x1 ( x2 + x3 ) x1 x2x3 = x1x2x3 + ( 1)| || |x2x1x3 + ( 1)| | | | | | x2x3x1
The shuffle multiplication can be computed recursively as fol- ∈ ··· ∈ T • ··· ··· low. For λ K and x1 xn V , we have λ x1 xn = λx1 xn = ··· • x1 xn λ and ··· • ··· ··· • ··· x1 xk xk+1 xn = x1 (x2 xk xk+1 xn) − xk+1 ( x1 + + xk ) ··· • ··· + ( 1)| | | | ··· | | xk+1 (x1 xk xk+2 xn). ⊗ ⊗ The shuffle multiplication is coinduced by the map prV ε+ε prV . ⊗ ⊗ X ⊗ ⊗ ?n µsh = prV ε + ε prV = (prV ε + ε prV ) n N (1.1.10) ⇔ ◦ ∈⊗ ⊗ prV µsh = prV ε + ε prV ··· ··· Indeed, noting ξ = x1 xk et η = xk+1 xn, we obtain by in- duction X (n 1) ◦ ⊗ ⊗ n ◦ [2](n 1) ··· ⊗ ··· µ − (prV ε + ε prV )⊗ ∆ − (x1 xk xk+1 xn) n N ∈ X (n 1) ◦ ⊗ ⊗ n ⊗ ⊗ ⊗ = µ − (prV ε + ε prV )⊗ (ξ1 η1 ξremain ηremain) n N ∈ • − η1 ξ • = prV (ξ1)ε(η1)(ξremain ηremain) + ( 1)| || |ε(ξ1)prV (η1)(ξremain ηremain) • − η1 ξ • = prV (ξ1)(ξremain η) + ( 1)| || | prV (η1)(ξ ηremain) ··· • ··· = x1 (x2 xk xk+1 xn) − xk+1 ( x1 + + xk ) ··· • ··· + ( 1)| | | | ··· | | xk+1 (x1 xk xk+2 xn). 16 Chapter 1. Preliminaries
◦ ⊗ The associativity of µsh follows easily: to prove that µsh (µsh ◦ ⊗ id) = µsh (id µsh), it suffices to have equality on projections on V . ◦ ◦ ⊗ ⊗ ⊗ ◦ ⊗ prV µsh (µsh id) = (prV ε + ε prV ) (µsh id) ⊗ ⊗ ⊗ ⊗ ⊗ = (prV ε + ε prV ) ε + ε ε prV ⊗ ⊗ ⊗ ⊗ ⊗ ⊗ = prV ε ε + ε prV ε + ε ε prV ⊗ ⊗ ⊗ ⊗ ⊗ = prV ε ε + ε (prV ε + ε prV ) ◦ ◦ ⊗ ⊗ ⊗ ◦ ⊗ prV µsh (id µsh) = (prV ε + ε prV ) (id µsh) Like for the tensor coalgebra, the graded cocommutative coal- S CS gebra V is cofree in the category AN of graded cocommuta- tives augmented coalgebras with C+ nilpotent, and the coinduc- tion of morphisms and coderivations is done as in the diagram T S (1.1.6), with V replaced by V . The shuffle multiplication µsh of S V can be used instead of the multiplicatoin µ from T V to ob- tain another convolution ?˜. Coinduced morphisms and coderiva- tions are computed as φ = e?φ˜ instead of the geometric serie, and d = d?e˜ ?φ˜ instead of φ ? d ? φ. S Taking the coalgebra C = ( V,∆sh) and considering coderiva- S → tions along φ = id V , we note for d1,d2 : V V S ◦ ◦ ◦ S → d1 NR d2 B d1 d2 = d1 (d2?id˜ V ): V V (1.1.11) S ∈ Sr the graded Nijenhuis-Richardson multiplication. For d1 Hom( V,V ) ∈ St and d2 Hom( V,V ), it computes as
◦ •···• (d1 NR d2)(x1 xr+t 1) = − t x x + +dx + + \x + + x X Y − ip 1 i1 ip 1 ip 1 ( 1)| | | | ··· | | ··· | − | ··· | − | (1.1.12) 16i1< Lemma 1.1.7 Let [ , ]: V ⊗ V → V be a graded Lie bracket (of degree 0). Then the shifted map d = [ , ][1] : V [1] • V [1] → V [1] is symmetric of degree 1, ◦ and the Jacobi identity for [ , ] is equivalent to d NR d = 0. 1.1. Graded structures 17 Proof. We have that 2 d : V [1]• → V [1] 1 a 1 a d(a • b) = s− ◦ [ , ] ◦ (s ⊗ s)(a ⊗ b) = (−1)| |s− [s(a),s(b)] = (−1)| |[a,b]. The map d = [ , ][1] is symmetric of degree 1, because b b +( a +1)( b +1) d(b • a) = (−1)| |[b,a] = −(−1)| | | | | | [a,b] a b a a b = (−1)| || |(−1)| |[a,b] = (−1)| || |d(a • b), and for x,y,z ∈ V [1], ◦ • • (d NR d)(x y z) y z x ( y + z ) = d(d(x • y) • z) + (−1)| || |d(d(x • z) • y) + (−1)| | | | | | d(d(y • z) • x) x y z + x = (−1)| |d([x,y] • z) + (−1)| || | | |d([x,z] • y) x ( y + z )+ y + (−1)| | | | | | | |d([y,z] • x) 2 x + y +1 y z +2 x + z +1 = (−1) | | | | [[x,y],z] + (−1)| || | | | | | [[x,z],y] x ( y + z )+2 y + z +1 + (−1)| | | | | | | | | | [[y,z],x] y +1 y z + z +2+( x +1)( z +1) = (−1)| | [[x,y],z] + (−1)| || | | | | | | | [[z,x],y] x ( y + z )+ z +1 + (−1)| | | | | | | | [[y,z],x] y +1 ( x +1)( z +1) = (−1)| | (−1) | | | | ( x +1)( z +1) ( y +1)( x +1) (−1) | | | | [[x,y],z] + (−1) | | | | [[y,z],x] ( z +1)( y +1) +(−1) | | | | [[z,x],y] = 0 since [ , ] satisfies the graded Jacobi identity in V . (The degree of x ∈ V [1] is |x| + 1 where |x| is the degree of x ∈ V ). 1.1.5 Universal enveloping algebras Let K be a commutative ring and g be a Lie algebra over K. Re- call that a (left) g-representation of g is a K-module M and a K- homomorphism g ⊗ M → M, x ⊗ a 7→ xa such that x(ya) − y(xa) = [x,y]a. To each Lie algebra g, an associative K-algebra U(g) is as- sociated such that every (left) g-representation may be viewed as (left) U(g)-representation and vice-versa. The algebra U(g) is con- structed as follows. 18 Chapter 1. Preliminaries Let T g be the tensor algebra of the K-module g, M T g = T n g where T n g = g ⊗ g ⊗ ··· ⊗ g (n times). n N ∈ 0 1 In particular T g = K1 and T g = g. The multiplication in T g is the tensor product. Every K-linear map g ⊗ M → M has a unique extension to a a T g-module map T g ⊗ M → M. If g ⊗ M → M is a g-module then the vector space g inside T g is in general not a Lie subalgebra being represented on M. This is remedied if and only if the elements of T g of the form x ⊗ y − y ⊗ x − [x,y] where x,y ∈ g, are sent to 0. Consequently, one is led to introduce the two-sided ideal I generated by the elements x ⊗ y − y ⊗ x − [x,y] where x,y ∈ g. The enveloping algebra U(g) of g is thus defined as T g/I. It follows that g-representations and U(g)-modules may be identified. Recall that every U(g)-bimodule M is a g-module by → − M (x,m) xm mx, denoted by a. { } Assume that g is a free Lie algebra. Let xi be a fixed basis → T → U of g and yi be the image of xi by the map g g (g). We ··· set yI = yi1 yip with I a finite sequence of indices i1,...,ip and ∅ yI = 1 if I = . The Poincaré-Birkhoff-Witt Theorem insures that U the enveloping algebra (g) is generated by the elements yI corre- sponding to increasing sequences I. We denote by S V the symmetric algebra over a K-module V . If Q ⊂ K, then there exists a canonical bijection between S g and U S U (g) which is a g-module isomorphism between g and (ga) (see [Dix74, pp.78-79] or [LV12, Section 3.6.13]). 1.2 Cohomology and deformations We briefly review the notions of Hochschild and Chevalley-Eilen- berg cohomology. The formal deformation of rings and algebras was introduced by M. Gerstenhaber in 1964 ([Ger66]). He gave a tool to deform algebraic structures based on formal power series. The interest on deformations has grown with the development of quantum groups related to quantum mechanics ([BFF+78]). Ex- amples of quantum groups may be obtained as Hopf algebra de- formations of the enveloping algebra of a Lie algebra. 1.2.1 Hochschild cohomology Let (A,µ) be an associative algebra over the field K. For each pos- itive integer n we define the space of Hochschild cochains of de- M n A M A n M gree n with coefficients in ,CH ( , ) B Hom( ⊗ , ), and 0 A M M A M ⊕ n A M CH ( , ) B . We define CH( , ) B n∞=0 CH ( , ) which is 1.2. Cohomology and deformations 19 n A M { } a Z-graded vector space by setting CH ( , ) B 0 for all strictly negative integers n. ∈ n A M th For f CH ( , ), we define the n Hochschild coboundary op- erator by n (δH f )(a1,...,an+1) = a1f (a2,...,an+1) n X − i + ( 1) f (a1,...,ai 1,aiai+1,ai+2,...,an+1) (1.2.1) − i=1 − n+1 + ( 1) f (a1,...,an)an+1. n A M th For each nonnegative integer n denote by HH ( , ) the n Hochschild cohomology group with coefficients in M, Ker(δn :C n(A,M) → C n+1(A,M)) Z C n(A,M) H n(A,M) H H H H (1.2.2) H B n 1 A M → n A M B n A M Im(δn 1 :CH − ( , ) CH ( , )) BCH ( , ) − n A M { } where again we set HH ( , ) B 0 for all strictly negative inte- gers n. We also define A M M n A M A M A M HH( , ) B HH ( , ) B Z CH( , )/BCH( , ). n Z ∈ 1.2.2 Chevalley-Eilenberg cohomology Let g a Lie algebra equipped with a representation ρ : g → Hom(V,V ). The Chevalley-Eilenberg space of cochains of degree n is given by n Vk ∈ ? 0 CCE (g,V ) B Hom( g,V ) for each n N ,CCE (g,V ) B g and n { } CCE (g,V ) B 0 for all strictly negative integers n. ∈ n th For f CCE (g,V ), we define the n Chevalley-Eilenberg cobound- ary operator by n n X − i (δCEf )(x0,...,xn) = ( 1) ρ(xi)f (x0,...,xˆi,...,xn) i=0 (1.2.3) X − i+j + ( 1) f ([xi,xj],x0,...,xˆi,...,xˆj,...,xn) 06i Ker(δn :C n(g,V ) → C n+1(g,V )) Z C n(g,V ) H n(g,V ) CE CE CE CE (1.2.4) CE B n 1 n 1 → n B n g Im(δCE− :CCE − (g,V ) CCE (g,V )) BCCE ( ,V ) n { } where again we set HCE (g,V ) B 0 for all strictly negative inte- gers n. We also define M n n n n HCE(g,V ) B HCE (g,V ) B ZCCE(g,V )/BCCE(g,V ). n Z ∈ 20 Chapter 1. Preliminaries 1.2.3 Properties We shall need to compute Hochschild and Chevalley-Eilenberg co- homology of U(g) and g, respectively, wherefore we shall cite the following two Theorems. The classical Theorem due to H.Cartan et S.Eilenberg, ([CE56, pp.277]) gives a link between the Hochschild cohomology of an enveloping algebra with values in an U(g)-bimodule M (in par- ticular M = U(g)) and the Chevalley-Eilenberg cohomology of the Lie algebra with values in the same module. Theorem 1.2.1 Let g be a finite dimensional Lie algebra over K. Then n U M ' n M ∀ ∈ HH ( (g), ) HCE (g, a) n N In particular, if Q ⊂ K n U U ' n U ' n S ∀ ∈ HH ( (g), (g)) HCE (g, (ga)) HCE (g, g) n N The Hochschild-Serre Theorem [HS53] gives the following fac- torization of the Chevalley-Eilenberg cohomology groups in the case of a decomposable solvable Lie algebra. Theorem 1.2.2 Let g = n ⊕ t be a finite dimensional solvable Lie algebra over K, where n is the largest nilpotent ideal of g and t the supplementary subalge- U bra of n, reductive in g, such that the t-module induced on (g)a is semisimple, then for all nonnegative integers p, we have p U ' X i ⊗ j U t HCE (g, (ga)) HCE (t,K) HCE (n, (ga)) . i+j=p j U t where HCE (n, (ga)) denotes the subspace of t-invariant elements. 1.2.4 Link with deformations Let K[[t]] be the power series ring with coefficients in K. For a K- vector space E we denote by E[[t]] the K[[t]]-module of the power A series with coefficients in E. Let ( ,µ0) be an associative (resp. A Lie) K-algebra, then ( [[t]],µ0) is an associative (resp. Lie) K[[t]]- algebra. A formal deformation of an associative (resp. Lie algebra) A is an associative (resp. Lie) K[[t]]-algebra (A[[t]],µ) such that 2 ··· n ··· µ = µ0 + tµ1 + t µ2 + + t µn + , ∈ A ⊗ A A ∈ A ∧ A A where µn Hom( , ) (resp. µn Hom( , )). Moreover, two deformations (A[[t]],µ) and (A[[t]],µ0) are said to be equivalent if there exists a formal isomorphism ··· n ··· ϕ = ϕ0 + ϕ1t + + ϕnt + , 1.2. Cohomology and deformations 21 A ∈ A A with ϕ0 = id (Identity map on ) and ϕn Hom( , ) such that A 1 ∀ ∈ A µ0(a,b) = ϕt− (µ(ϕ(a),ϕ(b)) a,b . A A A deformation of is called trivial if it is equivalent to ( [[t]],µ0). An associative (resp. Lie) algebra A is said to be rigid if every de- formation of A is trivial. There is a relation between formal deformation theory and Hoch- schild cohomology in the case of an associative algebra and Che- valley-Eilenberg cohomology in the case of Lie algebra. We denote n A M th by HH ( , ) the n Hochschild cohomology group of an associa- A M n M tive algebra with values in the bimodule and by HCE (g, ) the nth Chevalley-Eilenberg cohomology group of a Lie algebra A with values in a g-module M. The second Hochschild cohomol- ogy group of an associative algebra (resp. Chevalley-Eilenberg co- homology group of a Lie algebra) with values in the algebra may be interpreted as the group of infinitesimal deformations. The rigidity Theorem of Gerstenhaber [Ger66] (resp. of Nijenhuis- Richardson [NR66]) insures that if the 2nd Hochschild cohomol- 2 A A 2 ogy group HH ( , ) (resp. Chevalley-Eilenberg HCE (g,g)) of an associative algebra A (resp. a Lie algebra g) vanishes then the alge- bra (resp. Lie algebra) is rigid. Therefore the semisimple associa- tive (resp. Lie) algebras are rigid because their second cohomology groups are trivial ([GS86]). The third cohomology group corresponds to the obstructions to extend a deformation of order n to a deformation of order n + 1 ([Ger66], [Ger63] and [NR66]). The rigidity of n-dimensional complex rigid Lie algebras was studied by R. Carles, Y. Diakité, M. Goze and J.M. Ancochea-Ber- mudez. Carles and Diakité established the classification for n 6 7 ([CD84], [Car84]), and Ancochea with Goze did the classification for solvable Lie algebras for n = 8 and some classes ([GAB01]). The classification of associative rigid algebras are known up to n 6 6 (see [GM96]). 22 Chapter 1. Preliminaries 2 Kontsevich formality Contents 2.1 Definitions ...... 24 2.2 Case of associative algebras ...... 25 2.2.1 Differential graded Lie algebras ...... 25 2.2.2 Sections ...... 27 2.2.3 Formality ...... 27 2.2.4 Application to deformation ...... 31 2.3 Case of Lie algebras ...... 32 2.3.1 Polyvectors fields and polynomials functions . . . 32 2.3.2 Linear Poisson structure ...... 33 2.3.3 Formality ...... 34 2.4 Universal enveloping algebras ...... 35 2.5 Perturbation Lemma ...... 36 2.5.1 Two-degree cohomology ...... 39 2.5.2 General result ...... 42 eginning with an associative algebra, its Hochschild complex B can be given a graded Lie algebra structure by shift. It is also the case for its cohomology. The question is to know if one can inject the cohomology in the Hochschild complex as a graded Lie subalgebra. It is not possible in general, a more loosely condi- tion is to have a morphism up to homotopy which leads to the notion of formality. The more spectacular application of formality is to obtain an associative formal deformation of the initial alge- bra. However, even if there is no formality for the preceding Lie brackets, it is always possible to modify the L structure to build a L -morphism. ∞ ∞ 23 24 Chapter 2. Kontsevich formality 2.1 Definitions ⊕ j Let V = j ZV a Z-graded vector space. ∈ Definition 2.1.1 We call differential graded Lie algebra (or dg-Lie algebra) a triple (V,[ , ],δ) where [ , ]: V ⊗ V → V is a Lie bracket and δ : V → V a degree 1 map, the differential, is a derivation of degree 1 of square zero, i.e. satisfying ◦ ◦ ⊗ ⊗ ◦ δ [ , ] = [ , ] (δ idV + idV δ) δ δ = 0. (2.1.1) We consider V [1], the shifted graded vector space of V . Definition 2.1.2 A L -structure on V is defined to be a graded coderivation D of S∞(V [1]) of degree 1 and such that D2 = 0 and the restriction | S prV [1] D 0(V [1]) = 0, so D is a differential on (V [1]). The coupleS (V,D) is called an L -algebra. ∞ Let (V,D) be an L -algebra and d B prV D whence D = d in the ∞ sense of (1.1.11). For each strictly positive integer k let dk denote | the restriction dk B d k(V [1]). In particular, a gradedS Lie algebra (V,[ , ]) is considered as a L -algebra, since the coderivation D = d induced by d = [ , ][1] is a∞L -structure by Lemma 1.1.7, projecting on V [1]. ∞ A L -morphism from a L -algebra (V,D) to a L -algebra (V 0,D0) is a morphism∞ of differential∞ graded coalgebras∞Φ : S(V [1]) → S(V 0[1]), i.e. Φ is a morphism of graded coalgebras intertwining differentials, ⊗ ◦ (Φ Φ)∆ (V [1]) = ∆ (V [1]) Φ and ΦD = D0Φ. (2.1.2) S S 0 Moreover, we say that Φ is a L -quasi-isomorphism if its first ∞ component Φ1 B Φ V [1] induces an isomorphism in cohomology. In particular, a| graded Lie algebra morphism φ :(V,[ , ]) → (V 0,[ , ]0) defines a L -algebra morphism by Φ = φ such that the ∞ map Φ is equal to its first component Φ1 B Φ V [1] which is nothing else that φ[1]. | Let (V,[ , ],δ) be a dg-Lie algebra. We consider the differen- tial D on S(V [1]) induced by δ + [ , ][1] and the homology H of V for the differential δ. If it is again a graded Lie algebra for the in- duced bracket [ , ]0, we can consider D0, the differential of S(H[1]) induced by [ , ]0[1]. Definition 2.1.3 We say that the L -algebra (V,D) is formal if there is a L -quasi- ∞ ∞ isomorphisme Φ from (H,D0) to (V,D) such that Φ H[1] is an injec- tion into the cocycles. | 2.2. Case of associative algebras 25 In the following, we specialize the notion of formality for the Hochschild complex of an associative algebra, and the Chevalley- Eilenberg complex of a Lie algebra. 2.2 Case of associative algebras 2.2.1 Differential graded Lie algebras Let (A,µ) be an associative algebra over the field K. We note A B ⊕ n A n ZA the space of Hochschild cochains with values in as de- ∈ n n A A A n A fined in Section 1.2.1. We have A B CH ( , ) = Hom( ⊗ , ) for n ∈ N?, A0 B A and An B {0} for strictly negative integers n. In the same way, we note an the nth Hochschild cohomology group and ⊕ n a = n Za . A useful∈ way to obtain properties of the Hochschild cohomol- ogy is to consider the Gerstenhaber multiplication ◦ k A A × l A A → k+l 1 A A G :CH ( , ) CH ( , ) CH − ( , ) which is defined on elements by ◦ (f G g)(a1,...,ak+l 1) = − k (2.2.1) X − (i 1)(l 1) ( 1) − − f (a1,...,ai 1,g(ai,...,ai+l 1),ai+l,...,ak+l 1) − − − i=1 and the Gerstenhaber bracket, given by ◦ − − (k 1)(l 1) ◦ [f ,g]G B f G g ( 1) − − g G f . Proposition 2.2.1 The shifted space (A[1],[ , ]G) is a graded Lie algebra. G We will denote it by ( ,[ , ]G). Proof. We have M n M n A[1] = Hom(A[1]⊗ ,A[1]) ' Hom A[1]⊗ ,A[1] = Hom(T V,V ) n N n N ∈ ∈ where V is the underlying vector space of A[1], and using the Ger- T stenhaber identity (1.1.8), we know that (Hom( V,V ),[ , ]G) is a graded Lie algebra. The multiplication µ is an element of A2, seen as m = µ[1] ∈ G1, with |m| = 1. According to Lemma 1.1.6, µ is associative if and only if [m,m]G = 0. 26 Chapter 2. Kontsevich formality G → G ∈ k Define b : by b B [m, ]G. For f A , b(f ) = [m,f ]G = ◦ − − f ◦ ∈ A | | − µ[1] G f ( 1)| |f G µ[1]. For a1,...,ak+1 [1] ( ai = 1), ◦ (µ[1] G f )(a1,...,ak+1) ⊗ ⊗ = µ[1](f id + id f )(a1,...,ak+1) ⊗ − a1 f ⊗ = µ[1](f (a1,...,ak) ak+1) + ( 1)| || |µ[1](a1 f (a2,...,ak+1) − k − = ( 1) a1f (a2,...,ak+1) f (a1,...,ak)ak+1 and ◦ ◦ (f G µ[1])(a1,...,ak+1) = (f µ[1])(a1,...,ak+1) k X − i = ( 1) f (a1,...,ai 1,aiai+1,ai+2,...,ak+1), − i=1