ITEP-TH-28/04 <ph f="cmr"> </ph><ph f="cmbx">On the Lie-formality of Poisson manifolds</ph>

G.Sharygin * * E-mail: sharygin@itep.ru, D.Talalaev † † E-mail: talalaev@itep.ru

November 27, 2006

Institute of Theoretical and Experimental Physics 1   Abstract Starting from the problem of describing cohomological invariants of Poisson manifolds we prove in a sense a “no-go” result: the differential graded Lie algebra of de Rham forms on a smooth Poisson manifold is formal.

1 Introduction

The notion of formality was first introduced in the context of differential graded algebras in the beginning of 1970-ies. It was related to the investigations in the rational homotopy theory. In brief, to say that a DG algebra A   is formal would mean that A   is homotopy equivalent (as algebra) to its cohomology H ( A )   (with zero differential), i.e.
that there exists a sequence of quasi-isomorphisms of DG algebras, beginning at A   and ending at H ( A )   :
A 1 A 3 A n ↙ ↘ ↙ ↘ ↙ ↘ A = A 0 A 2 . . . A n + 1 = H ( A ) (1)
Here quasi-isomorphism is a homomorphism of DG algebras, inducing an isomorphism of their cohomology.
More generally, formality is a particular case of the notion of homotopy equivalence of DG algebras: one says that algebras A   and B   are homotopy equivalent, if there exists a sequence of algebras and homomorphisms, similar to  1 , connecting them. All homotopical constructions, applied to homotopy equivalent algebras give equivalent results. In particular, their (usual) cohomology are isomorphic as well as the DG-algebraic cohomology with coefficients in a suitable module.
However, the contrary is not true in general: two algebras with isomorphic cohomology are not necessarily homotopy equivalent. One should also note, that there can be no quasi-isomorphism A → B   even if A   and B   are homotopy equivalent: it is not always possible to find homotopy inverse homomorphisms of DG-algebras for all the arrows, pointing to the left in the sequence  1 . (Recall, that two chain maps f : A → B   and g : B → A   are called homotopy inverse to each other, if both their compositions f g   and g f   are homotopic to the corresponding identity maps.) On the contrary, it is always possible to find a homotopy inverse chain map for a quasi-isomorphism of chain complexes (i.e for a map inducing an isomorphism of cohomology), if the characteristic of the ground field is zero.
Using the last observation, one can define a suitable generalization of the morphism of DG-algebras, that would be homotopy invertible whenever it establishes an isomorphism of cohomology (in the characteristic zero case). It is the strong homotopical morphisms of algebras. In brief, such a morphism from A   to B   is a collection of linear maps F = { f i } i ≥ 1 , f i : A ⊗ i → B   , where every map f n   is a chain homotopy between zero and a certain combination of the maps f i   with smaller indices. The first two equations of this series are
d B f 1 ( a ) = f 1 ( d A a ) , (2)
d B f 2 ( a , b ) + f 2 ( d A a , b ) − ( − 1 ) | a | f 2 ( a , d A b ) = f 1 ( a b ) − f 1 ( a ) f 1 ( b ) , (3)
where d A , d B   are the differentials in A , B   , and a , b ∈ A   are the arbitrary elements.
These equations mean that f 1   is a chain map, and that f 2   is a chain homotopy, making f 1 * : H ( A ) → H ( B )   into a homomorphism of algebras.
In particular, every homomorphism f   of algebras can be represented as an A ∞   morphism, by choosing f i = 0 , i ≥ 2   . As it was mentioned above, an important property of A ∞   maps is that they can be inverted up to a homotopy if f 1   establishes an isomorphism in cohomology. For instance, every quasi-isomorphism of algebras can be inverted in the class of such maps. Starting from this observation one can prove that two DG-algebras A   and B   are homotopy-equivalent iff there exists an A ∞   -morphism F : A → B   with quasi-isomorphic f 1   . In this case, there will exist a homotopy inverse morphism G = F − 1 : B → A   . In particular, A   is formal, iff there exists an A ∞   -quasi-isomorphism F : A → H ( A )   (or G : H ( A ) → A   ).
In analogy with associative algebras, there exists homotopy theory of differential graded Lie algebras (DGL-algebras). The analogue of A ∞   morphisms in this case is called L ∞   . An L ∞   -map F : A → B   (where A   and B   are Lie algebras) consists of a series of linear mappings f i : ∧ i A → B   (where ∧ n A   denotes the n   -th external power of the graded space A   ). These mappings are subject to some relations, analogous to the above (see §3 below). In particular, one has the following analog of  3 
d B f 2 ( a , b ) − f 2 ( d A a , b ) + ( − 1 ) | a | f 2 ( a , d A b ) = f 1 ( { a , b } A ) − { f 1 ( a ) , f 1 ( b ) } B , (4)
where { , } A , { , } B   are the commutators in A   and B   . One can prove (see e.g. [1] ), that, similarly to the DG-algebras case, any L ∞   map with a quasi-isomorphic first stage, can be homotopy inverted in the class of L ∞   morphisms. In particular, a DGL-algebra is formal, iff there exists an L ∞   morphism from its cohomology Lie algebra to itself, with quasi-isomorphic f 1   .
As in the case of associative algebras, homotopy equivalence of two DGLa's implies homotopy equivalence of functorial constructions, that one applies to them. For example, their DGL cohomology with coefficients in a (differential graded) module are isomorphic; e.g. for a formal Lie algebra A   , one can calculate its Lie algebraic cohomology by substituting H ( A )   (with trivial differential) for A   in the standard complex. This makes such cohomology calculable, since, for an arbitrary DG Lie algebra A   , H ( A )   is often of finite type (i.e. has finite dimensional homogeneous components).
In this note we prove the formality of the DG Lie algebra of de Rham forms on a Poisson manifold. This fact implies, that there are no cohomological invariants, associated to this algebra, except for its (usual) cohomology. Speaking somewhat loosely, this Lie algebra knows not more about the Poisson structure on the manifold, than its cohomology does.
The composition of this note is as follows. In the next section we recall the definition and the main properties of the DG Lie algebra of the differential forms on a Poisson manifold (the so-called Brylinski complex). We prove that the induced Lie bracket on the cohomology is trivial and deduce the formula  17 , which is crucial for our proof of the formality.
In §3 we discuss the definitions and the basic properties of the L ∞   algebras and L ∞   morphisms. Finally, in §4 we prove the formality result for Brylinski complex of a Poisson manifold.
Acknowledgements. We are indebted to A. Khoroshkin for the discussions, and we are thankful to I. Nikonov for pointing the formula  17 . The work of both authors has been partially supported by the RFBR grant 04-01-00702.

2 Brylinski complex of a Poisson manifold

Let us consider a Poisson manifold ( M , π ) .   Here π   is a Poisson bivector, which in particular implies that the bracket on C ( M )   defined by the formula { f , g } = π ( d f , d g )   endows this space with the Lie algebra structure. That is, this bracket is anti-commutative and the Jacobi identity holds:
{ f , { g , h } } = { { f , g } , h } + { g , { f , h } } .   The latter equation is equivalent to the condition that the Schouten square of π   vanishes:
{ π , π } = 0 .   Remark 1. The Schouten bracket on polyvector fields is a unique graded bracket which coincides with the commutator of vector fields being restricted to the first graded component and obeying the Leibnitz rule.
In this section we collect several known and rather simple facts about the DGLA structure on the complex of de Rham forms on a Poisson manifold. We give it here mostly for the methodological reasons. Let 0 ⟶ C ( M ) ⟶ d Ω 1 ( M ) ⟶ d Ω 2 ( M ) ⋯   be the de Rham complex of M .   The material of this section is organized as follows
  • ∙ Firstly we recall the construction of the Koszul bracket on the space of 1   -forms on a Poisson manifold and prove that it endows Ω 1 ( M )   with the lie algebra structure.
  • ∙ Further we extend this bracket to the exterior algebra ∧ * Ω 1 ( M )   and prove that it descends correctly to the de Rham complex.
  • ∙ We prove that this generalized bracket behaves well with respect to the external differential and that the induced Lie algebra structure on the cohomology is trivial (i.e. the Lie bracket is equal to zero).

Koszul bracket

on 1   -forms is given by the formula:
{ α , β } = − d π ( α , β ) + ℒ π # α β − ℒ π # β α (5)
where ℒ   denotes the Lie derivative. On exact forms d f , d g   it gives { d f , d g } = d { f , g }   where on the right-hand side we use the standard Poisson bracket of functions on Poisson manifold.
Let us recall that there is a Lie algebroid structure on T * ( M )   with the anchor map π # : T * ( M ) → T ( M ) .   The important property of a Lie algebroid consists in a differential module structure on Γ ( T * ( M ) ) .   Indeed, one has
{ α , f β } = f { α , β } + ( ℒ π # α f ) β . (6)
Lemma 1.
[ π # α , π # β ] = π # { α , β } (7)
Proof For α , β   exact the statement follows from the standard fact in Poisson geometry that the commutator of Hamiltonian vector fields is a Hamiltonian vector field corresponding to the Poisson bracket of Hamiltonians [ X f , X g ] = X { f , g }   due to the fact that π # d f = X f .   Then, locally each 1   -form can be represented as a sum of expressions of the type f d g ,   and it is sufficient to prove the claim for α = f 1 d f 2 , β = g 1 d g 2   due to the local nature of this relation. One has
[ π # f 1 d f 2 , π # g 1 d g 2 ] = f 1 g 1 [ π # d f 2 , π # d g 2 ] + f 1 ( ℒ π # α g 1 ) π # β − g 1 ( ℒ π # β f 1 ) π # α
π # { f 1 d f 2 , g 1 d g 2 } = π # ( f 1 g 1 { d f 2 , d g 2 } + f 1 ( ℒ π # α g 1 ) β − g 1 ( ℒ π # β f 1 ) α )
= f 1 g 1 π # { d f 2 , d g 2 } + f 1 ( ℒ π # α g 1 ) π # β − g 1 ( ℒ π # β f 1 ) π # α
Then returning to the formula ( 7 ) for exact 1   -forms one obtains the general statement □   Lemma 2. The bracket ( 5 ) satisfies the Jacobi identity.
Proof We proceed as in the previous lemma starting from consideration of exact 1   -forms.
The Jacobi identity for forms α = d f , β = d g , γ = d h   is equivalent to the Jacobi identity for the bracket of functions:
J ( d f , d g , d h ) = { { d f , d g } d h } + { { d g , d h } d f } + { { d h , d f } d g } = d J ( f , g , h )
where on the right-hand side the Jacobi expression is taken with respect to the Poisson bracket on functions. To finish the proof one needs to show that the Jacobi expression J ( α , β , γ )   is tri-linear subject to multiplication by functions. Indeed,
J ( α , β , f γ ) = { { α , β } f γ } + { { β , f γ } α } + { { f γ , α } β }
= f { α , β } , γ } + ( ℒ π # { α , β } f ) γ + f { { β , γ } , α } − ( ℒ π # α f ) { β , γ }
+ ( ℒ π # β f ) { γ , α } − ( ℒ π # α ( ℒ π # β f ) ) γ + f { { γ , α } , β } − ( ℒ π # β f ) { γ , α }
− ( ℒ π # α f ) { β , γ } + ( ℒ π # β ( ℒ π # α f ) ) γ
= f J ( α , β , γ )
where we used the property ( 6 ) and the result of lemma  1  □  

Extension to n   -forms

In fact the Lie bracket ( 5 ) can be extended to the graded Lie bracket on the de Rham complex. To do this we first observe, that it can be extended to the exterior algebra of 1   -forms ∧ * Γ Ω 1 ( M )   as follows. Let us introduce the grading d e g ω = d = | ω | − 1   for ω ∈ ∧ d + 1 Γ Ω 1 ( M ) .   Further we denote by d i   the degree d e g ω i .   Now one can use the following formula to define the sought extension of ( 5 )
{ ω 1 , ω 2 ∧ ω 3 } = { ω 1 , ω 2 } ∧ ω 3 + ( − 1 ) d 1 ( d 2 + 1 ) ω 2 ∧ { ω 1 , ω 3 } (8)
Imposing the graded antisymmetry { ω 1 , ω 2 } = − ( − 1 ) d 1 d 2 { ω 2 , ω 1 }   one obtains
{ ω 1 ∧ ω 2 , ω 3 } = ( − 1 ) d 3 ( d 2 + 1 ) { ω 1 , ω 3 } ∧ ω 2 + ω 1 ∧ { ω 2 , ω 3 }
This bracket satisfies the graded Jacobi identity:
0 = J g r ( ω 1 , ω 2 , ω 3 )
= ( − 1 ) d 1 d 3 { { ω 1 , ω 2 } , ω 3 } + ( − 1 ) d 2 d 1 { { ω 2 , ω 3 } , ω 1 } + ( − 1 ) d 3 d 2 { { ω 3 , ω 1 } , ω 2 } .
We can proceed by induction on the degree of ω 3   due to the symmetry of the Jacobi relation. In fact,
J ( ω 1 , ω 2 , ω 3 ∧ α ) = ( − 1 ) d 1 J ( ω 1 , ω 2 , ω 3 ) ∧ α + ( − 1 ) d 2 ( d 3 + 1 ) ω 3 ∧ J ( ω 1 , ω 2 , α )
and hence it reduces to the Jacobi identity for lower order elements.
In fact the bracket on the exterior algebra ∧ * Γ Ω 1 ( M )   descends correctly to the de Rham complex with the same grading. To verify this it is sufficient to prove the next formula:
{ ω 1 , f ω 2 ∧ ω 3 } = { ω 1 , ω 2 ∧ f ω 3 } . (9)
We shall restrict ourselves to the decomposable case ω 1 = α 1 ∧ … ∧ α k   and ω 2 = β 1 ∧ … ∧ β l   and demonstrate that the the following equation holds for all i   and j   :
{ α 1 ∧ … ∧ α k , β 1 ∧ … ∧ f β i ∧ … ∧ β l } = { α 1 ∧ … ∧ α k , β 1 ∧ … ∧ f β j ∧ … ∧ β l } (10)
Consider the left-hand side of  10 
∑ m ( − 1 ) m + i { α m , f β i } ∧ α 1 ∧ … ∧ α m ^ ∧ … ∧ α k ∧ β 1 ∧ … ∧ β i ^ ∧ … ∧ β l
+ f ∑ m , k ≠ i ( − 1 ) m + k { α m , β k } ∧ α 1 ∧ … ∧ α m ^ ∧ … ∧ α k ∧ β 1 ∧ … ∧ β k ^ ∧ … ∧ β l
= ∑ m ( − 1 ) m + i ℒ π # α m f β i ∧ α 1 ∧ … ∧ α m ^ ∧ … ∧ α k ∧ β 1 ∧ … ∧ β i ^ ∧ … ∧ β l
+ f ∑ m ( − 1 ) m + i { α m , β i } ∧ α 1 ∧ … ∧ α m ^ ∧ … ∧ α k ∧ β 1 ∧ … ∧ β i ^ ∧ … ∧ β l
+ f ∑ m , k ≠ i ( − 1 ) m + k { α m , β k } ∧ α 1 ∧ … ∧ α m ^ ∧ … ∧ α k ∧ β 1 ∧ … ∧ β k ^ ∧ … ∧ β l
= f { ω 1 , ω 2 } + ℒ π # ω 1 f ∧ ω 2 ; (11)
where
ℒ π # ω 1 f = ∑ m ( − 1 ) m ( ℒ π # α m f ) α 1 ∧ … ∧ α m ^ ∧ … ∧ α k . (12)
Now it is enough to notice that the resulting formula does not depend on i .  

Reduction

The next crucial property of the considered construction that makes Ω * ( M )   a DGLA is relation between the graded Lie algebra structure on Ω * ( M )   and the de Rham differential, exactly it is that d   differentiates the Lie bracket introduced above.
Lemma 3.
d { ω 1 , ω 2 } = { d ω 1 , ω 2 } + ( − 1 ) d 1 { ω 1 , d ω 2 } (13)
Proof We proceed by induction on the degree of ω 2 .   We take a decomposable element ω 2 ∧ ω 3   and suppose that
d { ω 1 , ω 2 } = { d ω 1 , ω 2 } + ( − 1 ) d 1 { ω 1 , d ω 2 } ;
d { ω 1 , ω 3 } = { d ω 1 , ω 2 } + ( − 1 ) d 1 { ω 1 , d ω 3 } .
Then one needs to prove that
d { ω 1 , ω 2 ∧ ω 3 } = { d ω 1 , ω 2 ∧ ω 3 } + ( − 1 ) d 1 { ω 1 , d ( ω 2 ∧ ω 3 ) } .
On the left-hand side we have:
d ( { ω 1 , ω 2 } ∧ ω 3 + ( − 1 ) d 1 ( d 2 + 1 ) ω 2 ∧ { ω 1 , ω 3 } )
= { d ω 1 , ω 2 } ∧ ω 3 + ( − 1 ) d 1 { ω 1 , d ω 2 } ∧ ω 3 + ( − 1 ) d 1 + d 2 + 1 { ω 1 , ω 2 } ∧ d ω 3
+ ( − 1 ) d 1 ( d 2 + 1 ) d ω 2 ∧ { ω 1 , ω 3 } + ( − 1 ) ( d 1 + 1 ) ( d 2 + 1 ) ( ω 2 ∧ { d ω 1 , ω 3 } + ( − 1 ) d 1 ω 2 ∧ { ω 1 , d ω 3 } ) .
On the right-hand side we have:
{ d ω 1 , ω 2 } ∧ ω 3 + ( − 1 ) ( d 1 + 1 ) ( d 2 + 1 ) ω 2 ∧ { d ω 1 , ω 3 }
+ ( − 1 ) d 1 ( { ω 1 , d ω 2 } ∧ ω 3 + ( − 1 ) d 1 ( d 2 + 2 ) d ω 2 ∧ { ω 1 , ω 3 }
+ ( − 1 ) d 2 + 1 { ω 1 , ω 2 } ∧ d ω 3 + ( − 1 ) d 2 + 1 + d 1 ( d 2 + 1 ) ω 2 ∧ { ω 1 , d ω 3 } ) .
Comparing both sides one obtains the lemma □   Lemma 4. The Lie algebra structure on Ω * ( M )   can be pushed down to its de Rham cohomology Proof Let ω 1 , ω 2   be closed then { ω 1 , ω 2 }   is also closed; let ω 1   be closed and ω 2   exact, then { ω 1 , ω 2 }   is exact due to ( 13 ) □   Lemma 5. The induced Lie algebra structure on H * ( M )   of a Poisson manifold is trivial.
Proof It is obvious for 1   -forms. Indeed, let α , β   be closed: d α = 0 , d β = 0 .   Then ℒ π # α β = d ı π # α β = d π ( α , β )   and
{ α , β } = d π ( α , β ) (14)
so, it is exact.
Let us next consider closed forms α , ω   of degrees 1   and k   respectively. There is a simplification of the formula ( 8 ) for this case:
{ α , ω } = ℒ π # α ω = d ( ı π # α ω ) .
Indeed, on both sides one has a differentiation and the equality fulfills when ω   is a 1   -form.
Now observe that the right hand side of the last formula can be written down in the form
{ ω 1 , ω 2 } = d π ~ ( ω 1 , ω 2 ) , (15)
where π ~ is a bilinear operation, sending two forms ω 1 , | ω 1 | = k and ω 2 , | ω 2 | = l to a ( k + l − 2 ) -form π ~ ( ω 1 , ω 2 ) = ∑ p , q ∑ 1 ≤ i ≤ k , 1 ≤ j ≤ l ( − 1 ) k + j − 1 π ( α i , β j ) ∧ α 1 p ⋅ ⋅ ⋅ ∧ α ^ i p ∧ ⋅ ⋅ ⋅ ∧ β ^ j q ∧ ⋅ ⋅ ⋅ ∧ β l q , (16)
where, as usually, ^ over an element means that this element is omitted and ω 1 = ∑ p α 1 p ∧ ⋅ ⋅ ⋅ ∧ α k p ,
ω 2 = ∑ q β 1 q ∧ ⋅ ⋅ ⋅ ∧ β l q .
As before, α i p , β j q   are 1-forms. Observe, that π ~ ( ω 1 , ω 2 ) = π ⊢ ( ω 1 ∧ ω 2 ) − ( π ⊢ ω 1 ) ∧ ω 2 − ( − 1 ) | ω 1 | ω 1 ∧ ( π ⊢ ω 2 ) ,   where π ⊢   denotes the internal multiplication of a differential form by the bivector π   . In particular, it follows that π ~   is a bilinear with respect to the multiplication by functions and differentiation with respect to either argument (which can also be proved independently directly from the formula  16 ).
We shall prove, that the formula  15 holds in the general case, i.e that ω 1 , ω 2   are closed forms, then their Poisson bracket is an exact form, defined by formulas  15 ,  16 .
To this end, let us observe that the right hand side of the formula  16 (and consequently that of  15 ) is well-defined, that is it doesn't depend on the way one decomposes the forms α , β   into the wedge-product of 1-forms. Second, it is enough to prove formula  15 locally, i.e. on an arbitrary open domain in the manifold. Indeed, the expressions on both its sides are well-defined everywhere on the manifold and don't depend on the choice of the decompositions of α , β   into 1   -forms. Finally, recall, that locally all closed forms are exact, and hence they are representable as the sum of products of closed (and even exact) forms (one has ω = d ω ′ = d ( ∑ I = ( i 1 , . . . , i n ) f I d x i 1 ∧ . . . ∧ d x i n ) = ∑ I d f I d x i 1 ∧ . . . ∧ d x i n   ). Now the conclusion follows from the formula  14 . □   Remark 2. In effect, one can prove the following formula (pointed out by I.Nikonov):
{ ω 1 , ω 2 } = d π ~ ( ω 1 , ω 2 ) − π ~ ( d ω 1 , ω 2 ) − ( − 1 ) | ω 1 | π ~ ( ω 1 , d ω 2 ) . (17)
Here ω 1 , ω 2   are arbitrary de Rham forms on the manifold and π ~   is the operation, defined above by the formula  16 .
In order to prove  17 just observe, that its right hand side is a skew-symmetric bilinear form of degree − 1   on the de Rham complex of the Poisson manifold, verifying the Leibnitz rule with respect to the multiplication of the forms (i.e. the formula  9 holds for { , }   replaced with the expression from  17 ), and differentiated by the de Rham differential (i.e. verifying the formula  13 ). Finally, observe that it coincides with the bracket { , }   when both forms have degree 1.

3 L ∞   -algebras and L ∞   -morphisms

In this section we recall the basic definitions and constructions of the homotopy Lie algebras ( L ∞   -algebras) and L ∞   morphisms, which are crucial for our treatment of the formality (see section 1). First, let us recall the definition of L ∞   -algebras. In what follows, we use the notation and signs from the paper [2] .

The free cocommutative coalgebra of a graded space

Let L   be a graded vector space. Consider the external algebra, associated to L   :
∧ * L = ⊕ i ≥ 1 L ⊗ i / { a ⊗ b + ( − 1 ) | a | | b | b ⊗ a } . (18)
Here and below | a |   will denote the degree of an element a   in L   . Recall, that one can introduce double grading on Λ * L   , putting bideg ( a 1 ∧ a 2 ∧ ⋅ ⋅ ⋅ ∧ a n ) = ( ∑ | a i | , n ) , a i ∈ L   .
For an element of bi-degree ( m , n )   we define its total degree to be equal to the difference n − m   . We shall denote the second degree of an element α   by | α | ′   (in contrast with its first degree, denoted by | α |   ).
One uses the following formula as the definition of comultiplication ∇   in ∧ * L   ( a i ∈ L   are arbitrary elements):
∇ ( a 1 ∧ ⋅ ⋅ ⋅ ∧ a n ) = ∑ i = 1 n − 1 ∑ σ ∈ S h k , l ( − 1 ) σ + k l a σ ( 1 ) ∧ ⋅ ⋅ ⋅ ∧ a σ ( k ) ⊗ a σ ( k + 1 ) ∧ ⋅ ⋅ ⋅ ∧ a σ ( n ) . (19)
Here S h k , l   stands for the subset of all ( k , l )   -shuffles in the group of permutations of k + l   elements, that is of the permutations, preserving the order of the first k   and the last l   elements. And the sign ( − 1 ) σ   of the shuffling σ   , is determined by the following rule: every time we change the order of two elements a i   and a j   in the sequence a 1 , . . . , a n   , we multiply it by | a i | | a j | + 1   . Equipped with this comultiplication ∧ * L   is the free cocommutative coalgebra, (without counit) (co)generated by L   .
Clearly, the comultiplication ∇   respects the double grading and hence the total grading in ∧ * L   , so that the latter space becomes a (bi)graded cocommutative coalgebra.
Now one can introduce bi-degrees for all the maps from Λ * L   to itself, as (minus) the difference of degrees of a (bi-homogeneous) element and its image. Of course, this is not always correctly defined (i.e. it may depend on the element). We would say that the map is (bi-)homogeneous, if it has bi-degree. As in the case of elements, we denote the second degree of a map f   by | f | ′   , reserving the symbol | f |   for the first (usual) degree of the map f   .
As before, one defines the total degree of a map as the difference of its first and second degrees. Observe, that a map, which is homogeneous with respect to this grading, is not necessarily bihomogeneous (while the contrary is true).

Graded coderivatives

One can give the following important definition
Definition 1. Let ( C , ∇ C )   be a bigraded coalgebra with comultiplication ∇ C   . A bi-homogeneous map D : C → C   of bidegree ( | D | , | D | ′ )   is called (bi-homogeneous) coderivative, if the following diagram is commutative up to a sign, depending on the bidegrees of elements:
C − − − → ∇ C C ⊗ C ↓ D ↓ D ⊗ 1 + 1 ⊗ D C − − − → ∇ C C ⊗ C . (20)
Or, in more explicit terms, ∇ ( D α ) = D α ( 1 ) ⊗ α ( 2 ) + ( − 1 ) | D | | α ( 1 ) | + | D | ′ | α ( 1 ) | ′ α ( 1 ) ⊗ D α ( 2 ) ,   for all α   in C   . Here we use the Sweedler's notation for comultiplication:
∇ ( α ) = α ( 1 ) ⊗ α ( 2 )   .
Proposition 1. Let D 1   and D 2   be two bi-homogeneous coderivatives of Λ * V   . Then their bi-graded commutator
[ D 1 , D 2 ] = D 1 D 2 − ( − 1 ) | D 1 | | D 2 | + | D 1 | ′ | D 2 | ′ D 2 D 1 (21)
is also a bi-homogeneous coderivative. Its bi-degree is equal to the (element-wise) sum of the bi-degrees of D 1   and D 2   .
  • Proof. Evident.
By the virtue of freeness of the coalgebra ∧ * L   , any coderivative on it is uniquely determined by its “values on cogenerators”, that is by a collection of linear mappings l n : ∧ n L → L   (see [3] ). If the total degree of l   is equal to p   , we conclude, that the n   -th map in this set, l n   , sends elements a 1 ∧ ⋅ ⋅ ⋅ ∧ a n ∈ ∧ n L   to the elements of degree | a 1 | + ⋅ ⋅ ⋅ + | a n | − n + p + 1   in L   , due to the introduced grading in ∧ * L   . And the converse is also true: if { f k : Λ k L → Λ 1 L }   is an arbitrary collection of linear maps, such that the first degree of f k   is equal to m k   , then one can in a unique way extend { f k }   to a coderivative F : Λ * V → Λ * V   , equal to the sum of bi-homogeneous coderivatives of bi-degrees ( m k , k − 1 )   . (Here the phrase “ F   extends f   ” means that F | Λ i V = f i   .) This is an immediate consequence of freeness of Λ * V   (see Sweedler's book). More explicitly, one uses following formula as the definition of F   :
F ( a 1 ∧ ⋅ ⋅ ⋅ ∧ a n ) = ∑ k < n ∑ σ ∈ Σ n ( − 1 ) σ 1 k ! ( n − k ) ! f k ( a σ ( 1 ) ∧ ⋅ ⋅ ⋅ ∧ a σ ( k ) ) ∧ a σ ( k + 1 ) ∧ ⋅ ⋅ ⋅ ∧ a σ ( n ) (22)
Here the sign ( − 1 ) σ   is defined as above.
One can check, that the commutator of two bi-homogeneous coderivatives Φ   and Ψ   of bidegrees ( | φ | , k − 1 )   and ( | ψ | , l − 1 )   , extending the maps φ : Λ k L → Λ 1 L   and ψ : Λ l L → Λ 1 L   coincides with the extension of the map [ φ , ψ ] : Λ k + l − 1 L → Λ 1 L   , given by the formula
[ φ , ψ ] ( a 1 ∧ ⋅ ⋅ ⋅ ∧ a k + l − 1 ) = ∑ σ ∈ Σ k + l − 1 1 l ! ( k − 1 ) ! φ ( ψ ( a σ ( 1 ) ∧ ⋅ ⋅ ⋅ ∧ a σ ( l ) ) ∧ a σ ( l + 1 ) ∧ ⋅ ⋅ ⋅ ∧ a σ ( k + l − 1 ) ) − ( − 1 ) ε ∑ σ ∈ Σ k + l − 1 1 ( l − 1 ) ! k ! ψ ( φ ( a σ ( 1 ) ∧ ⋅ ⋅ ⋅ ∧ a σ ( k ) ) ∧ a σ ( k + 1 ) ∧ ⋅ ⋅ ⋅ ∧ a σ ( k + l − 1 ) ) , (23)
where ε = | φ | | ψ | + ( k − 1 ) ( l − 1 )   .
The space of (bi-graded) coderivatives of ∧ * L   , endowed with the commutator [ , ]   , turns into a bi-graded Lie algebra. However, one can turn it into the graded Lie algebra with respect to the total degree simply by changing slightly the sign in  21 , namely
{ D 1 , D 2 } = ( − 1 ) | D 1 | | D 2 | ′ [ D 1 , D 2 ] . (24)
An alternative way of looking at this formula is as follows. Consider a “deformation” D ¯   of a bihomogeneous map D : ∧ * L → ∧ * L   , defined by the formula D ¯ ( α ) = ( − 1 ) | D | | α | ′ D ( α )   .
Then D 1 D 2 ¯ = ( − 1 ) | D 1 | | D 2 | ′ D ¯ 1 D ¯ 2   . Indeed,
D ¯ 1 ( D ¯ 2 ( α ) ) = ( − 1 ) | D 2 | | α | ′ D ¯ 1 ( D 2 ( α ) ) = ( − 1 ) | D 1 | ( | D 2 | ′ + | α | ′ ) + | D 2 | ′ | α | D 1 ( D 2 ( α ) ) = ( − 1 ) | D 1 | | D 2 | ′ D 1 D 2 ¯ ( α ) .
Observe, that if D   is a coderivative, then D ¯   is not a bi-graded coderivative for the given diagonal ∇   (the signs rule is violated). In effect, it is a graded coderivative (i.e. a coderivative with respect to the total degree), for a “deformed” comultiplication ∇ ¯   , given by the formula ∇ ¯ ( α ) = ( − 1 ) | α ( 1 ) | | α ( 2 ) | ′ α ( 1 ) ⊗ α ( 2 )   , where ∇ ( α ) = α ( 1 ) ⊗ α ( 2 )   . This is verified by a direct computation:
∇ ¯ ( D ¯ ( α ) ) = ( − 1 ) | D | | α | ′ ∇ ¯ ( D ( α ) ) = = ( − 1 ) | D | | α | ′ ( ( − 1 ) ( | D | + | α ( 1 ) | ) | α ( 2 ) | ′ D ( α ( 1 ) ) ⊗ α ( 2 ) + ( − 1 ) | D | | α ( 1 ) | + | D | ′ | α ( 1 ) | ′ + | α ( 1 ) | ( | D | ′ + | α ( 2 ) | ′ ) α ( 1 ) ⊗ D ( α ( 2 ) ) ) = ( − 1 ) | D | | α | ′ ( ( − 1 ) | D | ( | α ( 1 ) | ′ + | α ( 2 ) | ′ ) + | α ( 1 ) | | α ( 2 ) | ′ D ¯ ( α ( 1 ) ) ⊗ α ( 2 ) + ( − 1 ) | D | | α ( 1 ) | + | D | ′ | α ( 1 ) | ′ + | α ( 1 ) | ( | D | ′ + | α ( 2 ) | ′ ) + | D | | α ( 2 ) | ′ α ( 1 ) ⊗ D ¯ ( α ( 2 ) ) ) = ( − 1 ) | α ( 1 ) | | α ( 2 ) | ′ ( D ¯ ( α ( 1 ) ) ⊗ α ( 2 ) + ( − 1 ) ( | D | + | D | ′ ) ( | α ( 1 ) | + | α ( 1 ) | ′ ) α ( 1 ) ⊗ D ¯ ( α ( 2 ) ) ) = ( D ¯ ⊗ 1 + ( − 1 ) ( | D | + | D | ′ ) ( | α ( 1 ) | + | α ( 1 ) | ′ ) 1 ⊗ D ¯ ) ∇ ¯ ( α ) .
Now, if [ A , B ] t o t   denotes the commutator of two maps A , B : ∧ * L → ∧ * L   with respect to their total degree, then one has
[ D ¯ 1 , D ¯ 2 ] t o t = D ¯ 1 D ¯ 2 + ( − 1 ) ( | D 1 | + | D 1 | ′ ) ( | D 2 | + | D 2 | ′ ) D ¯ 2 D ¯ 1 = ( − 1 ) | D 1 | | D 2 | ′ D 1 D 2 ¯ + ( − 1 ) | D 2 | | D 1 | ′ + ( | D 1 | + | D 1 | ′ ) ( | D 2 | + | D 2 | ′ ) D 2 D 1 ¯ = ( − 1 ) | D 1 | | D 2 | ′ ( D 1 D 2 ¯ + ( − 1 ) | D 1 | | D 2 | ′ + | D 2 | | D 1 | ′ + ( | D 1 | + | D 1 | ′ ) ( | D 2 | + | D 2 | ′ ) D 2 D 1 ¯ ) = ( − 1 ) | D 1 | | D 2 | ′ ( D 1 D 2 ¯ + ( − 1 ) | D 1 | | D 2 | + | D 1 | ′ | D 2 | ′ D 2 D 1 ¯ ) = { D 1 , D 2 } ¯ (25)

L ∞   -algebras and morphisms

The definition of an L ∞   -algebras can now be formulated in a very concise way
Definition 2. One says, that the graded space L   is an L ∞   -algebra, if its free coalgebra ∧ * L   is equipped with a degree-1 (i.e. its total degree should be equal to 1) bigraded coderivative l   verifying the relation { l , l } = 0   . Equivalently, in the view of equation  25 , one can say, that the graded coderivative l ¯   verifies the equation ( l ¯ ) 2 = 0   .
The equations, appearing in this definition, can be interpreted as an infinite collection of quadratic equations on the components l i   of l   . Here are the first three equations of this collection:
l 1 ( l 1 ( a ) ) = 0 ; l 1 ( l 2 ( a ∧ b ) ) = l 2 ( l 1 ( a ) ∧ b ) − ( − 1 ) | a | l 2 ( a ∧ l 1 ( b ) ) ;
l 1 ( l 3 ( a ∧ b ∧ c ) ) + l 3 ( l 1 ( a ) ∧ b ∧ c ) + ( − 1 ) | a | l 3 ( a ∧ l 1 ( b ) ∧ c ) + ( − 1 ) | a | + | b | l 3 ( a ∧ b ∧ l 1 ( c ) ) = 1 2 ( ( − 1 ) | a | | c | l 2 ( l 2 ( a ∧ b ) ∧ c ) + ( − 1 ) | a | ( | b | + | c | ) l 2 ( l 2 ( b ∧ c ) ∧ a ) + ( − 1 ) ( | a | + | b | ) | c | l 2 ( l 2 ( c ∧ a ) ∧ b ) ) .
The first and the second of these equalities mean, that l 1   is a square-zero differential and l 2   – an anti-symmetric bracket on the space L   , so that l 1   is a differentiation of l 2   . The third equation implies, that the Jacobi identity on L   holds up to a homotopy, moreover, the chain homotopy connecting it (the Jacobi formula) to zero is l 3   .
On the whole, the equations, verified by the mappings l i   can be written down in the following way:
∑ k + l = n + 1 σ ∈ S h k , l − 1 ( − 1 ) σ + ( k − 1 ) l l l ( l k ( a σ ( 1 ) ∧ ⋅ ⋅ ⋅ ∧ a σ ( k ) ) ∧ ⋅ ⋅ ⋅ ∧ a σ ( n ) ) = 0 . (26)
Or, in a more conceptual form, d ( l n ) = ∑ i = 1 [ n 2 ] 1 2 l i ∘ ( l n − i × 1 ) .   Here we have denoted the differential l 1   in L   (see above) by a more traditional letter d   , [ x ]   denotes the integer part of the number x   , d ( l n ) = d ∘ l n + ( − 1 ) n − 2 l n ∘ d   , and l i × 1 = d e f ( l i ⊗ 1 ) ∘ ∇   . In brief, l n   is a chain homotopy connecting certain linear combination of l i , i < n   with zero.
In particular, one sees from these formulas, that every differential graded Lie algebra is L ∞   -algebra. It is enough to put
l 1 = d – differential in L ,
l 2 = [ , ] – the Lie bracket in L , and
l i = 0 , i ≥ 2 .
One can define two different types of natural maps between L ∞   -algebras. First is the so-called strict L ∞   -maps, i.e. the maps, commuting with all the mappings l n   . The second, and the most important type is the strong homotopy morphisms or L ∞   -morphisms. By definition, an L ∞   -morphism from an L ∞   -algebra L   to an L ∞   -algebra L ′   is a (total) degree-0 linear map F : ∧ * L → ∧ * L ′   , commuting with comultiplications and (co)differentials l , l ′   in ∧ * L   and ∧ * L ′   .
As before, due to the freeness of ∧ * L ′   , any homomorphism to this coalgebra from a coalgebra C   is uniquely determined by its “zero stage”, i.e. by the linear map C → L   , which it defines. In our situation, this reduces to a collection of maps f n : ∧ n L → L ′ , n ≥ 1   , each changing the (first) degree by − ( n − 1 )   . The condition that the total map, made up from all the f i   commutes with the (co)differentials, takes the form of an infinite series of equations on the maps f i   . The first two equations of this series are as follows (c.f.  2 , 3 ):
l 1 ′ ( f 1 ( a ) ) = f 1 ( l 1 ( a ) ) , (27)
l 1 ′ ( f 2 ( a ∧ b ) ) − f 2 ( l 1 ( a ) ∧ b ) − ( − 1 ) | a | f 2 ( a ∧ l 1 ( b ) ) = f 1 ( l 2 ( a ∧ b ) ) − l 2 ′ ( f 1 ( a ) ∧ f 1 ( b ) ) . (28)
The equation  27 shows that the map f 1   should commute with the differentials l 1 , l 1 ′   in L , L ′   , and the equation  28 means that f 2   is the chain homotopy, which makes the map f 1   a homomorphism of Lie algebras on the corresponding cohomology. The general equation from the definition of L ∞   -morphisms can be written down in the following form:
d f n = ∑ k = 2 n 1 k ! ∑ i 1 + ⋅ ⋅ ⋅ + i k = n ± l k ∘ ( f i 1 × ⋅ ⋅ ⋅ × f i k )
+ ∑ k = 1 n − 1 ± 1 2 f k ∘ ( l n − k + 1 × 1 ) .
Here, as above, we denote by f 1 × f 2   the composition ( f 1 ⊗ f 2 ) ∘ ∇   (the “external product” of more than 2   terms is defined by induction).
The signs in this formula depend on the dimensions of the maps, and on their order.
Since below we shall consider only the case when both L ∞   -algebras are in effect (graded, differential) Lie algebras, let us give the precise formulas for the equations, verified by an L ∞   -morphism just in this case:
d f n ( a 1 ∧ ⋅ ⋅ ⋅ ∧ a n ) = = ∑ i = 1 n ( − 1 ) n − 1 + ɛ i f ( a 1 ∧ ⋅ ⋅ ⋅ ∧ d a i ∧ ⋅ ⋅ ⋅ ∧ a n ) + 1 2 ∑ i + j = k ∑ σ ∈ S h i , j ( − 1 ) σ + ( i − 1 ) ɛ i { f i ( a σ ( 1 ) ∧ ⋅ ⋅ ⋅ ∧ a σ ( i ) ) , f j ( a σ ( i + 1 ) ∧ ⋅ ⋅ ⋅ ∧ a σ ( n ) ) } + 1 2 ∑ 1 ≤ i < j ≤ n ( − 1 ) ( i − 1 ) ɛ i − 1 + ( j − 1 ) ɛ j − 1 i f n − 1 ( { a i , a j } ∧ a 1 ∧ ⋅ ⋅ ⋅ ∧ a ^ i ∧ ⋅ ⋅ ⋅ ∧ a ^ j ∧ ⋅ ⋅ ⋅ ∧ a n ) . (29)
As usually, the “hat” over an entry means that the entry is omitted in the formula, S h i , j   denotes the collection of all ( i , j )   -shuffles, the sign ( − 1 ) σ   is defined as above and ɛ i = − i + ∑ k = 1 i | a k | , ɛ i j = ɛ i − | a j | + 1 .  

4 Main theorem

The purpose of this section is to prove the formality of the DG Lie algebra, associated to a Poisson manifold. To this end we shall construct an L ∞   -quasi-isomorphism (i.e. an L ∞   -map with quasi-isomorphic first stage) between this Lie algebra and its cohomology Lie algebra. More accurately, in order to speak about the Lie algebras in this case, one should first change grading in Ω * ( ℳ )   . In fact, the bracket, introduced in §2 sends a couple of elements of degrees k   and l   in Ω * ( ℳ )   to an element of degree k + l − 1   and not k + l   . So, we pass to the suspension Σ Ω * ( ℳ )   of Ω * ( ℳ )   , Here for a graded space V   , Σ V   is the graded space, defined by ( Σ V ) i = V i + 1 .   (In particular, Σ Ω * ( ℳ ) − 1 = C ∞ ( ℳ )   .) It is easy to check, that the new grading is respected by the Cartan bracket on Ω * ( ℳ )   . Similarly, one should replace H ( ℳ )   by its suspension Σ H ( ℳ )   .
In order to prove the formality of the Lie algebra Σ Ω * ( ℳ )   for a Poisson manifold ℳ   , we shall need some special properties of the free coalgebra, generated by Σ Ω ( ℳ )   .
These properties result from the usual constructions, related to the differential forms on a smooth manifold, such as the Cartan calculus and external multiplication of forms. We have collected these results in a separate subsection.

4.1 Coderivatives in ∧ * Σ Ω ( ℳ )  

Let L = Σ Ω ( ℳ )   – the suspension of the algebra of de Rham forms for some manifold ℳ   (see above). We shall denote by s   the evident degree − 1   isomorphism Ω ( ℳ ) → s Σ Ω ( ℳ )   , in particular s α   will denote the element of Σ Ω ( ℳ )   , corresponding to a form α ∈ Ω ( ℳ )   .
Below we give few geometric examples of coderivatives of Λ * L   in this case.

Cartan algebra

Let X   be a vector field. We can associate to it two differentiations of Ω ( ℳ )   , Lie derivative and the internal multiplication by X   . We shall denote them by ℒ X   and ı X   respectively. The degree of ℒ X   is equal to 0   and of ı X   — to − 1   .
We shall associate to ℒ X   and ı X   the maps ℒ ~ x , ı ~ X : Σ Ω ( ℳ ) → Σ Ω ( ℳ )   as follows:
ℒ ~ X ( s α ) = s ℒ X ( α ) , ı ~ X ( s α ) = − s ı X ( α ) .   The degrees of these maps are also equal to 0   ad − 1   .
These two maps can be extended to coderivatives of Λ * Σ Ω ( ℳ )   of bi-degrees ( 0 , 0 )   and ( 0 , − 1 )   respectively (see the remark, following the proposition  1 ). We shall denote these coderivatives by L X , I X   .
Similarly, the external differential d : Ω * ( M ) → Ω * + 1 ( M )   , gives rise to a map d ~ : Σ Ω ( ℳ ) → Σ Ω ( ℳ ) , d ~ s α = − s d α   . The corresponding coderivative on Λ * Σ Ω ( ℳ )   is denoted by D   , its bi-degree is ( 0 , 1 )   .
Proposition 2. The maps L X , I X   and D   verify the same Cartan identities as the original maps on the level of Ω ( ℳ )   , i.e.
[ L X , L Y ] = L [ X , Y ] , [ I X , I Y ] = 0 , [ L X , I Y ] = I [ X , Y ] ,
[ D , L X ] = 0 , [ D , I X ] = L X , a n d D 2 = 0 .
As above the symbol [ , ]   denotes the bi-graded commutator of the coderivatives. Observe, that similar formulae hold for the modified commutator { , }   (this is due to its definition).
  • Proof. Direct calculations with the help of the formula  23 and  22 , which in the case of the maps f : Λ 1 V → Λ 1 V   reduces to
    f ~ ( a 1 ∧ ⋅ ⋅ ⋅ ∧ a n ) = ∑ i = 1 n ( − 1 ) | a i | ( | a 1 | + ⋅ ⋅ ⋅ + | a i − 1 | ) + i − 1 f ( a i ) ∧ ⋅ ⋅ ⋅ ∧ a ^ i ∧ ⋅ ⋅ ⋅ ∧ a n = ∑ i = 1 n ( − 1 ) | f | ( | a 1 | + ⋅ ⋅ ⋅ + | a i − 1 | ) a 1 ∧ ⋅ ⋅ ⋅ ∧ f ( a i ) ∧ ⋅ ⋅ ⋅ ∧ a n
Remark 1. As a matter of fact, due to the discussion preceding Definition  2 , one can replace all the considered maps by their “skewed versions” and from equation  25 it follows, that these “skewed” maps verify equations, similar to the equations of Proposition  2 , but with the commutator [ , ] t o t   substituted for [ , ]   . The same remark is true for all the examples, that will follow. In effect, one could rewrite these examples and the rest of the paper with “skewed” operators substituted for the usual ones and with [ , ] t o t   instead of [ , ]   .

Multiplication

Let ⋅ : Ω ( ℳ ) ⊗ Ω ( ℳ ) → Ω ( ℳ ) , α ⊗ β → α ⋅ β   be the external multiplication of forms. It turns out, that it can be extended to a correctly defined map m : Λ 2 Σ Ω ( ℳ ) → Λ 1 Σ Ω ( ℳ )   . Namely, put m ( s α ∧ s β ) = ( − 1 ) | α | s ( α ⋅ β ) f o r a l l s α , s β ∈ Σ Ω ( ℳ ) .   Observe, that here | α |   denotes the non-suspended degree of α   . One easily checks, that this definition is compatible with the commutator relations in Λ 2 Σ Ω ( ℳ )   . Note, that the second degree of this map is equal to 1   . So, we obtain a homogeneous coderivative M   of Λ * Σ Ω ( ℳ )   of bi-degree ( − 1 , 1 )   .
Proposition 3. The map M   commutes with I x , L X   and D   (the commutator is understood in the bi-graded sense, i.e. all the bi-graded commutators, defined as above, vanish).
  • Proof. We shall check the statement solely for the maps I X   . In the case of the maps L X   and D   the proof is similar. In the view of the formula  23 , it is enough to check that the maps m   and ı ~ X   anti-commute (the sign ε   in this case is equal to 1   ).
    We compute for all s α , s β ∈ Σ Ω ( ℳ )   :
    ı ~ X ( m ( s α ∧ s β ) ) = ( − 1 ) | α | ı ~ X ( s ( α ⋅ β ) ) = ( − 1 ) | α | + 1 s ı X ( α ⋅ β ) = ( − 1 ) | α | + 1 s ( ı X ( α ) ⋅ β + ( − 1 ) | α | α ⋅ ı X ( β ) ) (30)
    But s ( ı X ( α ) ⋅ β ) = ( − 1 ) | α | + 1 m ( s ı X ( α ) ∧ s β ) = ( − 1 ) | α | m ( ı ~ X ( s α ) ∧ s β )   . Similarly s ( α ⋅ ı X ( β ) ) = ( − 1 ) | α | m ( s α ∧ s ı X ( β ) ) = ( − 1 ) | α | + 1 m ( s α ∧ ı ~ X ( s β ) )   Hence, we continue the equation  30 :
    ı ~ X ( m ( s α ∧ s β ) ) = − m ( ı ~ X ( s α ) ∧ s β ) + ( − 1 ) | α | m ( s α ∧ ı ~ X ( s β ) ) = − ( m ( ı ~ X ( s α ) ∧ s β ) + ( − 1 ) ( | α | − 1 ) ( | β | − 1 ) + 1 m ( ı ~ X ( s β ) ∧ s α ) ) .
Remark 2. As a matter of fact, in the proof of the proposition we used only the fact that ı X   is a differentiation of the algebra Ω ( ℳ )   . It is easy to check that this proposition holds for arbitrary differentiations of the de Rham algebra of a manifold. Namely: let φ : Ω ( ℳ ) → Ω ( ℳ )   be a degree k   differentiation, i.e. φ ( Ω i ( ℳ ) ) ⊆ Ω i + k ( ℳ )   , and φ ( α ⋅ β ) = φ ( α ) ⋅ β + ( − 1 ) k | α | α ⋅ φ ( β ) .   Define a degree- k   map φ ~ : Σ Ω ( ℳ ) → Σ Ω ( ℳ )   as φ ~ ( s α ) = ( − 1 ) k s φ ( α )   . Then the coderivative Φ   , extending this map to Λ Σ Ω ( ℳ )   , commutes with the map M   above in the bi-graded sense.

The cup-product and its properties

The following definition is important for our proof of the formality.
Definition 3. Let φ : Λ k Σ Ω ( ℳ ) → Σ Ω ( ℳ )   and ψ : Λ l Σ Ω ( ℳ ) → Σ Ω ( ℳ )   be two linear maps. We define map φ ∪ ψ : Λ k + l Σ Ω ( ℳ ) → Σ Ω ( ℳ )   by the following formula (here a 1 , . . . a k + l   are arbitrary elements of Σ Ω ( ℳ )   )
φ ∪ ψ ( a 1 ∧ ⋅ ⋅ ⋅ ∧ a k + l ) = 1 k ! l ! ∑ σ ∈ Σ k + l ( − 1 ) σ ′ φ ( a σ ( 1 ) ∧ ⋅ ⋅ ⋅ ∧ a σ ( k ) ) ⋅ ψ ( a σ ( k + 1 ) ∧ ⋅ ⋅ ⋅ ∧ a σ ( k + l ) ) (31)
where the sign ( − 1 ) σ ′ = ( − 1 ) σ + ( | ψ | + 1 ) ( ∑ i = 1 k | a σ ( i ) | ) + ( k − 1 ) ( l − 1 ) + | φ |   (the sign ( − 1 ) σ   is defined above).
Lemma 6.
  • (i ) The cup-product is (bi)graded-commutative, i.e.
    φ ∪ ψ = ( − 1 ) | φ | | ψ | + ( k − 1 ) ( l − 1 ) ψ ∪ φ . (32)
  • (ii ) For any differentiation δ : Ω ( ℳ ) → Ω ( ℳ )   , the following formula holds
    [ δ ~ , φ ∪ ψ ] = [ δ ~ , φ ] ∪ ψ + ( − 1 ) | δ | | φ | φ ∪ [ δ ~ , ψ ] , (33)
    where δ ~ : Σ Ω ( ℳ ) → Σ Ω ( ℳ )   is defined in remark  2 and commutator [ , ]   – by formula  23 .
  • (iii ) If α , β , γ   and δ   are differentiations of Ω ( ℳ )   , then
    [ α ~ ∪ β ~ , γ ~ ∪ δ ~ ] = α ~ ∪ [ β ~ , γ ~ ∪ δ ~ ] + ( − 1 ) | β | ( | γ | + | δ | ) [ α ~ , γ ~ ∪ δ ~ ] ∪ β ~ = α ~ ∪ [ β ~ , γ ~ ] ∪ δ ~ + ( − 1 ) | α | | γ | α ~ ∪ γ ~ ∪ [ β ~ , δ ~ ] + ( − 1 ) | β | ( | γ | + | δ | ) + | α | | γ | γ ~ ∪ [ α ~ , δ ~ ] ∪ β ~ + ( − 1 ) | β | ( | γ | + | δ | ) [ α ~ , γ ~ ] ∪ δ ~ ∪ β ~ . (34)
  • Proof. Parts (i ) and (ii ) follow by direct inspection of formulae. Part (iii ) follows from (ii ) and the fact that the map α ~ ∪ β ~ ( s a ∧ − ) : Σ Ω ( ℳ ) → Σ Ω ( ℳ )   (where −   stands for the argument and s a ∈ Σ Ω ( ℳ )   is an arbitrary element) is generated by a degree | α | + | β | + | a | + 1   differentiation
    ı a ( α ∪ β ) ( x ) = d e f ( − 1 ) ( | β | + 1 ) ( | a | + 1 ) + | α | α ( a ) ⋅ β ( x ) + ( − 1 ) ( | a | + 1 ) ( | x | + 1 ) + ( | β | + 1 ) ( | x | + 1 ) + | α | + 1 α ( x ) ⋅ β ( a )
    of Ω ( ℳ )   .

4.2 Proof of the main theorem

Let π = ∑ k X k ∧ Y k   be a bivector on ℳ   . One easily checks that the map π ~ ~ = ∑ k ı ~ X k ∪ ı ~ Y k   is well-defined, i.e. doesn't depend on the choice of X k , Y k   in the presentation of π   . The following statement is evident.
Lemma 7.
  • (i ) Let s a , s b ∈ Σ Ω ( ℳ )   be arbitrary elements, then π ~ ~ ( s a ∧ s b ) = ( − 1 ) | a | s π ~ ( a , b ) ,   where π ~   is the map defined in equation  16 .
  • (ii ) Let us denote the coderivation of Λ Σ Ω ( ℳ )   , induced by the map π ~ ~ = π ~   by Π   . The following formula holds [ π ~ ~ , d ~ ] ( s a ∧ s b ) = s { a , b } ,   where { , }   is the Poisson bracket from the first paragraph.
Corollary 1. The map s { }   , defined as s a ∧ s b ↦ s { } s { a , b }   is equal to s { } = ∑ k ( ı ~ X k ∪ ℒ ~ Y k − ℒ ~ X k ∪ ı ~ Y k ) .  
Let us denote by e Π   the map
1 + Π + 1 2 Π ∘ Π + 1 6 Π ∘ Π ∘ Π + … : Λ Σ Ω ( ℳ ) → Λ Σ Ω ( ℳ ) (35)
It is easy to check that this map is a homomorphism of coalgebras (in effect this follows just from the fact, that Π   is a coderivative). The following formula is the principal result of this paper.
Theorem 1. If the bivector π   is a Poisson bivector (i.e. its Schouten bracket with itself vanishes), then
e Π ∘ D ∘ e Π = D + { , } ~ , (36)
where { , } ~   is the extension to Λ Σ Ω ( ℳ )   of the Poisson bracket.
  • Proof. Consider the map e t Π   , where t   is the formal parameter, t ∈ R   and the formal deformation e t Π ∘ D ∘ e t Π   of the left hand side of the formula  36 . We shall prove, that it coincides with the formal deformation D + t { , } ~   of the right hand side of the same formula, i.e. we are going to prove the formula
    e t Π ∘ D ∘ e t Π = D + t { , } ~ (eee' ?? )
    To this end it is enough to show, that the formal derivatives at zero ∂ n ∂ t n | t = 0   of the deformed maps on both sides are equal for all n   .
    Indeed, the equality is evident when n = 0   . If n = 1   , we compute (we omit the composition signs, where it is possible):
    ∂ ∂ t ( e t Π ∘ D ∘ e t Π ) = e t Π ( Π ∘ D + D ∘ Π ) e t Π = e t Π [ Π , D ] e t Π = e t Π [ π ~ ~ , d ~ ] ~ e t Π = e t Π { , } ~ e t Π .  
    We have used the Lemma  7 and the fact that in our case, the bidegrees of the maps being ( 1 , 0 )   and ( − 2 , 1 )   , the bi-graded commutator coincides with the anti-commutator (the bi-degree of D   is equal to ( 1 , 0 )   and that of Π   – to ( − 1 , − 1 )   ). So, ∂ ∂ t | t = 0   applied to both sides of the formula ( 36  ′   ) gives { , } ~   .
    For n = 2   similar calculations give ∂ 2 ∂ t 2 ( e t Π ∘ D ∘ e t Π ) = ∂ ∂ t ( e t Π { , } ~ e t Π ) = e t Π [ π ~ ~ , s { } ] ~ e t Π .   Now we can use the formula  34 and the Cartan relations verified by the Lie derivatives and the internal derivatives to show, that (up to a certain sign) the commutator [ π ~ ~ , s { } ]   is equal to
    ∑ k , j { ı ~ X k ∪ ı ~ [ Y k , X j ] ∪ ı ~ Y j − ı ~ X k ∪ ı ~ X j ∪ ı ~ [ Y k , Y j ] − ı ~ [ X k , X j ] ∪ ı ~ Y k ∪ ı ~ Y j + ı ~ X j ∪ ı ~ [ X k , Y j ] ∪ ı ~ Y k }
    (of course, some of the terms may cancell each other). This expression depends only on the Schouten bracket of π   with itself. Actually, the Schouten bracket { π , π }   is defined with the help of the commutation relations, similar to  34 , and one checks that it is equal to
    ∑ k , j { X k ∧ [ Y k , X j ] ∧ Y j − X k ∧ X j ∧ [ Y k , Y j ] − [ X k , X j ] ∧ Y k ∧ Y j + X j ∧ [ X k , Y j ] ∧ Y k } ,
    and the map, given by the formula ∑ m ı ~ X m ∪ ı ~ Y m ∪ ı ~ Z m   depends only the tri-vector ∑ m X m ∧ Y m ∧ Z m   .
    From these observations and from the hypotheses that the Schouten bracket of π   with itself is equal to 0   , it follows, that ∂ 2 ∂ t 2 ( e t Π ∘ D ∘ e t Π ) = 0   . Consequently, one has ∂ 3 ∂ t 3 ( e t Π ∘ D ∘ e t Π ) = … = ∂ n ∂ t n ( e t Π ∘ D ∘ e t Π ) = ⋅ ⋅ ⋅ = 0   .
Remark 3. It would, probably be more convenient and more insightful to use the “skewed” version of all the operators. Then the bi-graded commutator [ , ]   should be replaced by [ , ] t o t   (see remark  1 ). Consequently, formula  36 would look like e Π ¯ ∘ D ¯ ∘ e − Π ¯ = D ¯ + { , } ~ ¯   , i.e. the operator e Π ¯   intertwines the standard L ∞   -structure on Σ Ω ( ℳ )   (that is the structure, induced by the DGL-algebra structure on it) with the trivial one (that is the structure, for which all the maps l i   are equal to 0   , when i ≥ 2   ).

Corrollaries and discussions

Corollary 2. The Lie algebra Ω ( ℳ )   is formal.
  • Proof. We need to produce an L ∞   -quasi-isomorphism between Σ Ω ( ℳ )   and Σ H ( ℳ )   .
    Since all such maps are invertible, it is enough to find a morphism only in one direction.
    So, we shall construct an L ∞   -quasi-isomorphism from Σ H ( ℳ )   to Σ Ω ( ℳ )   .
    Let us first rewrite  29 , taking in account that both the differential and the Lie bracket vanish in Σ H ( ℳ )   :
    d f n ( α 1 ∧ . . . ∧ α n ) = = ∑ i ≥ [ n 2 ] , σ ∈ S h i , n − i ( − 1 ) σ + ( i − 1 ) ɛ i { f i ( α σ ( 1 ) ∧ . . . ∧ α σ ( i ) ) , f n − i ( α σ ( i + 1 ) ∧ . . . ∧ α σ ( n ) ) } . (37)
    for all α i ∈ Σ H ( ℳ )   . Or, in brief ( D + { , } ~ ) ∘ F = 0   , where F   is the map of coalgebras F : ∧ * Σ H ( ℳ ) → ∧ * Σ Ω ( ℳ )   , assembled from f k   . It is the map F   that we shall construct.
    To this end we first define the bottom stage of this morphism as a linear splitting of the projection Z ( ℳ ) → H ( ℳ )   from the space of closed forms to cohomology (we omit the suspension signs): f 1 ( [ α ] ) = α   , where α   is a closed form, representing the class [ α ]   . For instance, one can choose α   to be the only harmonic form (with respect to a Riemannian structure) in the class [ α ]   . We shall have d f 1 ( [ α ] ) = 0   , as prescribed by  37 , and it is almost by definition, that f 1   is a quasi-isomorphism of chain complexes. But the commutator of two harmonic forms is not necessarily harmonic, so f 1   is not in general a homomorphism.
    Now we can extend f 1   in a trivial way to the map of coalgebras ∧ * f 1 : ∧ * Σ Ω ( ℳ ) → ∧ * H ( ℳ )   . It is clear that D ∘ ∧ * f 1 = 0   .
    Let us put F = e − Π ∘ ∧ * f 1   . Then ( D + { , } ~ ) ∘ F = ( D + { , } ~ ) ∘ e − Π ∘ ∧ * f 1 = e Π ∘ D ∘ ∧ * f 1 = 0 .  
One can visualize the first few stages of F   . For instance,
f 2 ( [ α ] ∧ [ β ] ) = π ~ ( f 1 ( [ α ] ) , f 1 ( [ β ] ) ) , (38)
f 3 ( [ α 1 ] ∧ [ α 2 ] ∧ [ α 3 ] ) = ∑ σ ∈ Σ 3 1 2 π ~ ( π ~ ( f 1 ( [ α σ ( 1 ) ] ) , f 1 ( [ α σ ( 2 ) ] ) ) , f 1 ( [ α σ ( 3 ) ] ) ) . (39)
In effect, these formulas can be found independently. For instance, it follows from  15 that { f 1 ( [ α ] ) , f 1 ( [ β ] ) } = { α , β } = d π ~ ( α , β ) .   (Here α , β   denote the forms, representing classes [ α ] , [ β ]   .) So we have { f 1 ( [ α ] ) , f 1 ( [ β ] ) } = d f 2 ( [ α ] ∧ [ β ] ) ,   as prescribed by  37 .
Finally for this choice of f 1 , f 2   and n = 3    37 takes the following form:
d f 3 ( [ α ] ∧ [ β ] ∧ [ γ ] ) = { f 2 ( [ α ] ∧ [ β ] ) , f 1 ( [ γ ] ) } + ( − 1 ) | α | ( | β | + | γ | ) { f 2 ( [ β ] ∧ [ γ ] ) , f 1 ( [ α ] ) } + ( − 1 ) | β | | γ | { f 2 ( [ α ] ∧ [ γ ] ) , f 1 ( [ β ] ) } = { π ~ ( α , β ) , γ } + ( − 1 ) | α | ( | β | + | γ | ) { π ~ ( β , γ ) , α } + ( − 1 ) | β | | γ | { π ~ ( α , γ ) , β } (40)
(here α , β , γ   are some closed forms). Let us introduce a map π 3   by the following equation (for all forms α , β , γ   ):
π 3 ( α , β , γ ) = { π ~ ( α , β ) , γ } + ( − 1 ) | α | ( | β | + | γ | ) { π ~ ( β , γ ) , α } + ( − 1 ) | β | | γ | { π ~ ( α , γ ) , β } . (41)
This map extends to all Σ Ω ( ℳ )   the right hand side of  40 . One can show, that π 3   verifies the following equation:
π 3 ( α 1 ∧ α 2 , β , γ ) = α 1 ∧ π 3 ( α 2 , β , γ ) ± π 3 ( α 1 , β , γ ) ∧ α 2 ± ( { α 1 , β } ∧ π ~ ( α 2 , γ ) + ( − 1 ) | α 1 | + | β | π ~ ( α 1 , β ) ∧ { α 2 , γ } ) ± ( { α 1 , γ } ∧ π ~ ( α 2 , β ) + ( − 1 ) | α 1 | + | γ | π ~ ( α 1 , γ ) ∧ { α 2 , β } ) . (42)
Observe, that if all the forms α 1 , α 2 , β , γ   are closed then it follows from  15 that the last two lines on the right hand side of  42 consist of exact forms. Now, one can consider local coordinates and use the argument, similar to the first proof of  15 to show, that the following is true on the whole manifold π 3 ( α 1 , α 2 , α 3 ) = d ∑ σ ∈ Σ 3 1 2 π ~ ( π ~ ( α σ ( 1 ) , α σ ( 2 ) ) , α σ ( 3 ) ) ,   which means that  39 is a good choice of f 3   . One can continue this process infinitely to find all the maps f i , i ≥ 4   in a straightforward way. References

  1. M. Kontsevich, Deformation quantization of Poisson manifolds, I, preprint arXiv:q-alg/9709040
  2. M. Penkava, L. Weldon, Infinity algebras, Massey products and deformations, preprint arXiv:math.QA/9808058
  3. M. E. Sweedler, Hopf Algebras, W. A. Benjamin, New-York, 1969