arxiv:math/ v1 [math.dg] 5 Jan 2004

Transcription

1 PROP profile of Poisson geometry S.A. Merkulov arxiv:math/040034v [math.dg] 5 Jan 004 The genetic code appears to be universal;... Britannica. 0. Abstract. The first instances of algebraic and topological strongly homotopy, or infinity, structures have been discovered by Stasheff [St] long ago. Since that time infinities have acquired a prominent role in algebraic topology and homological algebra. We argue in this paper that some classical local geometries are of infinity origin, i.e. their smooth formal germs are (homotopy) representations of cofibrant (di)operads P in spaces concentrated in degree zero; in particular, they admit natural infinity generalizations when one considers homotopy representations of P in generic differential graded (dg) spaces. The simplest manifestation of this phenomenon is provided by the Poisson geometry (or even by smooth germs of tensor fields!). Other instances, pseudo-riemannian cases including, will be discussed elsewhere [Mer]. The (di)operads P are the minimal resolutions of the (di)operads P which are trees built from very few basic elements, genes, subject to simple engineering rules. Thus to a local geometric structure one can associate a kind of a code, genome, which specifies it uniquely. Formal smooth germs of geometric structures discussed in this paper are pointed in the sense that they vanish at the distinguished point. This is the usual price one pays when working with (di)operads without zero terms (as is often done in the literature). This problem is not fundamental and can be fixed [Mer]. But at a price that the powerful machinery of proving Koszulness via distributive laws [Mar, G] fails to work and the whole story gets technically more complicated. As our primary goal in this paper is to motivate the claims made in the preceding paragraph in the simplest possible way we ignore these subtleties here, and employ throughout the paper the standard notions of PROPs, dioperads and operads when the well established techniques of [GiKa, Mar, G] work perfectly well.. Geometry PROP profile Geometry. Let P be an operad, or a dioperad, or even a PROP admitting a minimal dg resolution. Let PAlg be the category of finite dimensional dg P-algebras, and D(PAlg) the associated derived category (which we understand here as the homotopy category of P -algebras, P being the minimal resolution of P). For any locally defined geometric structure Geom (say, Poisson, Riemann, Kähler, etc.) it makes sense talking about the category of formal Geom-manifolds. Its objects are formal pointed manifolds (non-canonically isomorphic to (R n, 0) for some n) together with a germ of formal Geom-structure at the distinguished point... Definition. The operad/dioperad/prop P is called a PROP-profile, or genome, of a geometric structure Geom if the category of formal Geom-manifolds is equivalent to a full subcategory of the derived category D(PAlg), and there is no sub-(di)operad of P having the above property... Definition. If P is a PROP-profile of a geometric structure Geom, then a generic object of D(PAlg) is called a formal Geom -manifold.

2 Presumably, Geom -structure is what one gets from Geom by means of the extended deformation theory. Local geometric structures are often non-trivial and complicated creatures the general solution of the associated defining system of nonlinear differential equations is not available; it is often a very hard job just to show existence of non-trivial solutions. Nevertheless, if such a structure Geom admits a PROP-profile, P = Free(E)/Ideal, then Geom can be non-ambiguously characterized by its genetic code : genes are, by definition, the generators of E, and the engineering rules are, by definition, the generators of Ideal. And that code can be surprisingly simple, as the examples.3-.5 and the table below illustrate..3. Hertling-Manin s geometry and the G-operad. A Gerstenhaber algebra is, by definition, a graded vector space V together with two linear maps, satisfying the identities, : V V a b a b (i) a (b c) (a b) c = 0 (associativity);, [ ] : V V [] a b ( ) a [a b] (ii) [[a b] c] = [a [b c]] + ( ) b a + b + a [b [a c]] (Jacobi identity); (iii) [(a b) c] = a [b c] + ( ) b ( c +) [a c] b (Leibniz type identity). The operad whose algebras are Gerstenhaber algebras is often called the G-operad. It has a relatively simple structure, Free(E)/Ideal, with E spanned by two corollas, { } E = span =, [ ] = and with engineering rules (i)-(iii). The minimal resolution of the G-operad has been constructed in [GetJo] and is often called a G -operad. The derived category of Gerstenhaber algebras is equivalent to the category whose objects are isomorphism classes of minimal G -structures on graded vector spaces V. Let (M, ) be the formal pointed graded manifold whose tangent space at the distinguished point is isomorphic to a vector space V, and let us choose an arbitrary torsion-free affine connection on M. With this choice a structure of G algebra on a graded vector space V can be suitable described as a degree smooth vector field ð on M satisfying the integrability condition [ð, ð] = 0 and vanishing at the distinguished point ; (if ð has zero at of second order, then the G -structure is called minimal); a collection of homogeneous tensors, { µn,...,n k : T n M T n M... T n k M T M[k + n... n k ] } n i,k satisfying an infinite tower of quadratic algebraic and differential equations. The first two floors of this tower read as follows: the data {µ n } n (with µ := Lie ð ) makes the tangent sheaf T M into a sheaf of C algebras satisfying an integrability condition, [µ, µ ] G = Lie ð µ, for a certain bi-differential operator [, ] G whose leading term is just the usual vector field bracket of values of µ. It is also required that each tensor µ,..., : T M... T M T M vanishes if the input contains at least one pure shuffle product, (v... v k ) (v k+... v n ) := ( ) Koszul(σ) v σ()... v σ(n), v i T M. Shuffles σ of type (k,n) Any operad/dioperad/etc. can be represented as a quotient of the free operad/dioperad/etc., Free(E) generated by a collection of Σ m-left/σ n-right module E = {E(m, n)} m,n, by an Ideal. Often there exists a canonical, common factors cancelled out, representation like this. C stands for the minimal resolution of the operad of commutative associative algebras.

3 generic representation generic representation Genome P of P in R n of P in a graded vector space V P is the G-operad Genes:, Engeneering rules: - = = = 0 smooth formal Hertling-Manin structure in R n [HeMa] smooth formal Hertling-Manin structure in ˆV [Mer] P is the dioperad TF Genes:, Rules: + + = 0 = P is the dioperad Lie Bi Genes:, Rules: - - = = 0 = smooth formal section of T R n (variants: of T R n or of T R n) vanishing at 0 smooth formal Poisson structure in R n vanishing at 0 structure, (ˆV, ð TˆV ), of a smooth dg manifold together with a smooth section φ of TˆV (variants: of TˆV or of TˆV ) vanishing at 0 and satisfying Lie ð φ = 0. structure, ( V V [], ð), of a smooth dg manifold together with an odd symplectic form ω odd on V V [] such that the homological vector field ð is hamiltonian and vanishes on 0 V [] Notations: For a graded vector space V, ˆV stands for the formal graded manifold (non-canonically) isomorphic to the formal neighbourhood of 0 in V, and TˆV stands for the tangent bundle on ˆV. 3

4 A change of the connection alters the tensors µ,..., k, k, but leaves the homotopy class of the G -structure on V invariant. If the vector space V is concentrated in degree 0, i.e. V R n, then a G -structure on V reduces just to a single tensor field µ : T M T M which makes the tangent sheaf into a sheaf of commutative associative algebras, and satisfes the differential equations, [µ, µ ] G = 0. The explicit form for the bracket [, ] G can be read off from the G operad structural equations rather straightforwardly (see [Mer] for details), [µ, µ ] G (X, Y, Z, W) = [µ (X, Y ), µ (Z, W)] µ ([µ (X, Y ), Z], W) µ (Z, [µ (X, Y ), W]) µ (X, [Y, µ (Z, W)]) µ [X, µ (Z, W)], Y ) +µ (X, µ (Z, [Y, W])) + µ (X, µ ([Y, Z], W)) +µ ([X, Z], µ (Y, W)) + µ ([X, W], µ (Y, Z)). The resulting geometric structure is precisely the one discovered earlier by Hertling and Manin [HeMa] in their quest for a weaker notion of Frobenius manifold; they call it an F-manifold structure on V. Hertling-Manin s geometric structures arise naturally in the theory of singularities [He] and the deformation theory [Mer]..4. Germs of tensor fields. A TF bialgebra is, by definition, a graded vector space V together with two linear maps, δ satisfying the identities, : V V a, a a [ ] : V V [] a b ( ) a [a b] (i) [[a b] c] = [a [b c]] + ( ) b a + b + a [b [a c]] (Jacobi identity); (ii) δ[a b] = a [a b] + [a b ] b + ( ) a b + a + b ([b a ] a + b [b a]) (Leibniz type identity). There are obvious versions of the above notion with δ taking values in V and V, i.e. with the gene realizing either the trivial or sign representations of Σ. The dioperad whose algebras are T F bialgebras is called a T F-dioperad. This quadratic dioperad is Koszul so that one can construct its minimal resolution using the results of [G, GiKa, Mar]. It turns out that the structure of TF -algebra on a graded vector space V is the same as a pair of collections of linear maps, {µ n : n V V []} n, and {φ n : n V V V } n, satisfying a system of quadratic equations which are best described using a geometric language. Let M be the formal graded manifold associated to V. If {e α, α =,,... } is a homogeneous basis of V, then the associated dual basis t α, t α = e α, defines a coordinate system on M. The collection of tensors {µ n } n can be assembled into a germ, ð T M, of a degree smooth vector field, where ð := n! ( )ǫ t α t αn µ n= k= i= β α...α n n k ǫ = e αk ( + e αi ) t β 4

5 the numbers µ α...α n are defined by β µ n (e α,..., e αn ) = µ α...α n e β, and we assume here and throughout the paper summation over repeated small Greek indices. Another collection of linear maps, {φ n }, can be assembled into a smooth germ, φ T M, of a degree zero contravariant tensor field on M, φ := n! ( )ǫ t α t αn φ n= β β β α...α n t β t β where and the numbers µ β β α...α n n k ǫ = e β ( e β + ) + e αk e αi are defined by k= i= β β µ n (e α,..., e αn ) = µ α...α n e β e β..4.. Proposition. The collections of tensors, {µ n : n V m V []} n and {φ n : n V V V } n, define a structure of TF -algebra on V if and only if the associated smooth vector field ð and the contravariant tensor field φ satisfy the equations, and [ð, ð] = 0 Lie ð φ = 0, where [, ] stands for the usual bracket of vector fields and Lie ð for the Lie derivative along ð. If V is finite dimensional and concentrated in degree zero, then a TF -structure in V is just a germ of a smooth rank contravariant tensor on V vanishing at 0. Analogously (but using the technique of quadratic Koszul operads rather than dioperads) one can describe infinity versions of rank covariant tensor fields..5. Poisson geometry and the dioperad of Lie bialgebras. A Lie bialgebra is, by definition, a graded vector space V together with two linear maps, δ : V V a a a, [ ] : V V [] a b ( ) a [a b] satisfying the identities, (i) (δ Id)δa + τ(δ Id)δa + τ (δ Id)δa = 0, where τ is the cyclic permutation (3) represented naturally on V V V (co-jacobi identity); (ii) [[a b] c] = [a [b c]] + ( ) b a + b + a [b [a c]] (Jacobi identity); (iii) δ[a b] = a [a b] ( ) a a a [a b] + [a b ] b ( ) b b [a b ] b (Leibniz type identity). 5

6 The dioperad whose algebras are Lie bialgebras is called a Lie Bi-dioperad. The subscript in the notation is used to emphasize that the two basic operations have homogeneities differed by. δ =, [ ] = Similarly one can introduce the notion of Lie n bialgebras: colie algebra structure on V plus Lie algebra structure on V [ n] plus an obvious Leibniz type identity. Homotopy theory of Lie n bialgebras splits into two stories, one for n even, and one for n odd. The even case (more precisely, the case n = 0) has been studied by Gan [G]. In this paper we study the odd case, more precisely, the case n =. The dioperad Lie Bi is Koszul. Hence one can use the machinery of [G, GiKa, Mar] to construct its minimal resolution, the Lie Bi dioperad. The structure of a Lie Bi -algebra on a graded vector space V is a collection linear maps, {µ m,n : n V m V [ m]} m,n, satisfying a system of quadratic equations which can be described as follows. Let M be the formal graded manifold associated to V. If {e α, α =,,... } is a homogeneous basis of V, then the associated dual basis t α, t α = e α, defines a coordinate system on M. For a fixed m the collection of tensors {µ m,n } n can be assembled into a germ, Γ m m T M, of a smooth polyvector field (vanishing at 0 M), where and the numbers µ Γ m := ǫ = m!n! ( )ǫ t α t αn µ n= n e αk ( m + k= β...β m α...α n are defined by k e αi ) + i= β...β m α...α n t... β n ( e βk + ) k= β...β m n i=k+ µ m,n (e α,..., e αn ) = µ α...α n e β... e βm. t βm e βi.5.. Proposition. A collection of tensors, {µ m,n : n V m V [ m]} m,n, defines a structure of Lie Bi -algebra on V if and only if the associated smooth polyvector field, Γ := m Γ m T M, satisfies the equation [Γ, Γ] = 0, where [, ] stands for the Schouten bracket of polyvector fields. In particular, if V is finite dimensional and concentrated in degree zero, then the only non-zero summand in Γ is Γ T M. Hence a Lie Bi -algebra structure on R n is nothing but a germ of a smooth Poisson structure on R n vanishing at Paper s content. Section is a reminder on PROPs, dioperads and Koszulness [G, GiKa, Mar]. In Sections 3 and 4 we show Koszulness of the dioperads Lie Bi and TF, apply the machinery reviewed in Section to give explicit graph descriptions of their minimal resolutions, Lie Bi and TF, prove Propositions.4. and.5. and introduce and study the notion of Lie Bi morphisms. Section 5 is a comment on the geometric description of algebras over the dioperad Lie 0 Bi and their strongly homotopy maps. 6

7 . PROPs and dioperads [G]. Let S f be the groupoid of finite sets. It is equivalent to the category whose objects are natural numbers, {m} m, and morphisms are the permutation groups {Σ m } m. A PROP P in the category, dgvec, of differential graded (shortly, dg) vector spaces is a functor P : S f S f op dgvec together with natural transformations, A,B,C : P(A, B) P(B, C) P(A, C), A,B,C,D : P(A, B) P(C, D) P(A B, C D) and the distinguished elements Id A P(A, A) and s A,B P(A B, B A) satisfying a system of axioms [A] which just mimick the obvious properties of the following natural transformation, E V : (m, n) Hom(V n, V m ), canonically associated with an arbitrary dg space V. The latter fundamental example is called the endomorphism PROP of V. Given a collection of dg (Σ m, Σ n )-bimodules, E = {E(m, n)} m,n, one can construct the associated free PROP, Free(E), by decorating vertices of all possible directed graphs with a flow by the elements of E and then taking the colimit over the graph automorphism group. The composition operation corresponds then to gluing output legs of one graph to the input legs of another graph, and the tensor product to the disjoint union of graphs. Even for a very small finite dimensional collection E the resulting free PROP is a monstrous infinite dimensional object. The notion of dioperad was introduced by Gan [G] as a way to avoid that free PROP explosion. In the above setup, a free dioperad on E is built on graphs of genus zero, i.e. on trees. More precisely, a dioperad P consists of data: (i) a collection of dg (Σ m, Σ n ) bimodules, {P(m, n)} m,n ; (ii) for each m, n, m, n, i {,,..., n } and j {,..., n } a linear map i j : P(m, n ) P(m, n ) P(m + m, n + n ), (iii) a morphism e : k P(, ) such that the compositions k P(m, n) e Id P(, ) P(m, n) i P(m, n) and P(m, n) k Id e P(m, n) P(, ) j P(m, n) are the canonical isomorphisms for all m, n, i m and j n. These data satisfy associativity and equivariance conditions [G] which can be read off from the example of the endomorphism dioperad End V with End V (m, n) = Hom(V n, V n ), e : Id Hom(V, V ), and the compositions given by i j : P(m, n ) P(m, n ) P(m + m, n + n ) f g (Id... f... Id)σ(Id... g... Id), where f (resp. g) is at the jth (resp. ith) place, and σ is the permutation of the set I = (,,..., n + m ) swapping the subintervals, I I and I 4 I 5, of the unique order preserving decomposition, I = I I I 3 I 4 I 5, of I into the disjoint union of five intervals of lengths I = i, I = j, I 3 =, I 4 = m j and I 5 = n i. If P is a dioperad, then the collection of (Σ m, Σ n ) bimodules, is naturally a dioperad as well. P op (m, n) := (P(n, m), transposed actions of Σ m and Σ n ), 7

8 If P is a dioperad with P(m, n) vanishing for all m, n except for (m =, n ), then P is called an operad. A morphism of dioperads, F : P Q, is a collection of equivariant linear maps, F(m, n) : P(m, n) Q(m, n), preserving all the structures. If P is a dioperad, then a P-algebra is a dg vector space V together with a morphism, F : P End V, of dioperads. We shall consider below only dioperads P with P(m, n) being finite dimensional vector spaces (over a field k of characteristic zero) for all m, n. The endomorphism dioperad of the vector space k[ p], p Z, is denoted by p. Thus p (m, n) is sgn p n sgnm p [p(n m)] where sgn m stands for the one dimensional sign representation of Σ m. Representations of the dioperad P p := P p in a vector space V are the same as representations of the dioperad P in V [p]. If P is a dioperad, then ΛP := {sgn m P(m, n)[m ] sgn n } and Λ P :== {sgn m P(m, n)[ m] sgn n } are also dioperads... Cobar dual. If T is a directed (i.e. provided with a flow which we always assume in our pictures to go from the bottom to the top) tree, we denote by V ert(t) the set of all vertices, edge(t) the set of internal edges; det(t) := edge(t) span k (edge(t)); Edge(T) is the set of all edges, i.e. Edge(T) := edge(t) {input legs (leaves)} {output legs (roots)}; Det(T) := Edge(T) span k (Edge(T)); Out(v) (resp. In(v)) the set of outgoing (resp. incoming) edges at a vertex v V ert(v ). An (m, n)-tree is a tree T with n input legs labelled by the set [n] = {,..., n} and m output legs labelled by the set [n] = {,..., m}. A tree T is called trivalent if Out(v) In(v) = 3 for all v V ert(t). Let E = {E(m, n)} m,n be a collection of finite dimensional (Σ m, Σ n ) bimodules with E, = 0. For a pair of finite sets, I, J Objects(S f ), with I = m and J = n, one defines E(I, J) := Hom Sf ([m], A) Σm E(m, n)) Σn Hom Sf (J, [n]). The free dioperad, Free(E), generated by E is defined by Free(E)(m, n) := (m,n) trees T E(T), where E(T) := v V ert(t) E(Out(v), In(v)), and the compositions i j are given by grafting the jth root of one tree into ith leaf of another tree, and then taking the unordered tensor product [MSS] over the set of vertices of the resulting tree. Let P = {P(m, n)} m,n be a collection of graded (Σ m, Σ n ) bimodules. We denote by P the collection { P(m, n)} m,n given by P(m, n) := P(m, n) for m + n 3 and P(, ) = 0. The collection of dual vector spaces, P = { P(m, n) } m,n, is naturally a collection of (Σ m, Σ n )-bimodules with the transposed actions. We also set P = { P(m, n) := sgn m P(m, n) sgn n }. Let P be a graded dioperad with zero differential. The cobar dual of P is the dg dioperad DP defined by (i) as a dioperad of graded vector spaces, DP = Λ Free( P [ ]); 8

9 (ii) as a complex, DP is non-positively graded, DP(m, n) = m+n 3 i=0 DP i (m, n) with the differential given by dualizations of the compositions and edge contractions [G, GiKa], DP 3 m n d (m, n) DP 4 m n d (m, n) DP 3 m n d d (m, n)... DP 0 (m, n) P d (m, n) P d Det(T) P d d Det(T)... P Det(T) edge(t) = where the sums are taken over (m, n)-trees. edge(t) = trivalent trees T.. Remark. The vector space DP is bigraded: one grading comes from the grading of P as a vector space and another one from trees as in (ii) just above. The differential preserves the first grading and increases by the second one. The Z-grading of DP is always understood to be the associated total grading. In particular, deg DP P (m, n) = deg Vect P (m, n) + 3 m n..3. Koszul dioperads. A quadratic dioperad is a dioperad P of the form P = Free(E) Ideal < R >, where E = {E(m, n)} is a collection of finite dimensional (Σ m, Σ n )-bimodules with E(m, n) = 0 for (m, n) (, ), (, ), and the Ideal in Free(E) is generated by a collection, R, of three sub-bimodules R(, ) Free(E)(, ), R(, ) Free(E)(, ) and R(, ) Free(E)(, ). The quadratic dual dioperad, P!, is then defined by P! = Free(E ) Ideal < R >, where R is the collection of the three sub-bimodules R (i, j) Free(E )(i, j) which are annihilators of R(i, j), (i, j) = (, ), (, ), (, ). Clearly, DP 0 = Free(E ) so that there is a natural epimorphism DP 0 P!. Its kernel is precisely Im d(dp). Hence H 0 (D(P)) = P!. The quadratic operad P is called Koszul if the above morphism is a quasi-isomorphism, i.e. H i (DP) = 0 for all i < 0. In that case the operad DP! provides us with a minimal resolution of the operad P and is often denoted by P. Algebras over P are often called strong homotopy P-algebras; their most important property is that they can be transferred via quasi-isomorphisms of complexes [Mar]..4. Koszulness criterion. An (m, n)-tree T is called reduced if each vertex has either an outgoing root or at least two outgoing internal edges, and/or either an incoming leaf or at least two incoming internal edges. For a collection, E = {E m,n } m,n, of (Σ m, Σ n )-bimodules define another collection of (Σ m, Σ n )- bimodules as follows, Free(E)(m, n) := E(T). reduced (m,n) trees Let P be a quadratic dioperad, i.e. P = F ree(e)/ideal <R> for some generators E = {E(, ), E(, )} and relations R = {R(, 3), R(, ), R(3, )}. With P one can canonically associate two quadratic operads, P L and P R, such that P L = Free(E(, )) Ideal < R(, 3) >, Pop R = Free(E(, )) Ideal < R(, ) >. 9

10 Let us denote by P L P op R the collection of (Σ m, Σ n )-bimodules given by P L (, n) if m =, n ; P L P op R (m, n) := P op L (m, ) if n =, m ; 0 otherwise..4.. Theorem [G, Mar, MV]. A quadratic dioperad P is Koszul if the operads P L and P R are Koszul and P(i, j) = Free(P L P op R )(i, j) for (i, j) = (, 3), (, ), (3, ). Moreover, in this case P(m, n) = Free(P L P op R )(m, n) for all m, n. 3. The minimal resolution of the dioperad Lie Bi. First we present a graph description of the operad Lie Bi; it will pay off when discussing Lie Bi. By definition (see Sect..5), Lie Bi is a quadratic dioperad, Lie Bi = Free(E) Ideal < R >, where (i) E(, ) := sgn and E(, ) := [], where n stands for the one dimensional trivial representation of Σ n ; let δ E(, ) and [ ] E(, ) be basis vectors; we can represent both as directed 3 plane corollas, δ =, [ ] = with the following symmetries, =, = ; (ii) the relations R are generated by the following elements, Free(E)(3, ) Free(E)(, 3) + + Free(E)(, ). 3.. Proposition. The dioperad Lie Bi is Koszul. Proof. We have Lie Bi L = Lie {} and Lie [] Bi R = Lie, where Lie stands for the operad of Lie algebras and {m} = { {m}(n) := sgn m n [m(n )] } n for the endomorphism operad of k[ m]. As Lie is Koszul [GiKa], both the operads Lie Bi L and Lie Bi R are Koszul as well. Next, a straightforward analysis of all calculational schemes in Lie Bi represented by directed trivalent (i, j)-trees with i + j = 5 shows that they generate no new relations so that Lie Bi(i, j) = Free (Lie{} Lie op ) (i, j) 3 In all our graphs the flow is chosen to go from the bottom to the top. 0

11 for (i, j) = (, 3), (, ), (3, ). Hence by Theorem.4., the dioperad Lie Bi is Koszul. Proposition.5. is a straightforward corollary of the following 3.. Proposition.The minimal resolution, Lie Bi, of the dioperad Lie Bi can be described as follows. (i) As a dioperad of graded vector spaces, Lie Bi = Free(E), where the collection, E = {E(m, n)}, of one dimensional (Σ m, Σ n )-modules is given by { sgnm E(m, n) := n [ m] if m + n 3; 0 otherwise. (ii) If we represent a basis element of E(m, n) by the unique (up to a sign) planar (m, n)-corolla,.. m m n n with skew-symmetric outgoing legs and symmetric ingoing legs, then the differential d is given on generators by I {}} { I. m m {}}. { d... = ( ).. σ(i i)+ I I..... J n n I I =(,...,m) J J =(,...,n) I 0, I J, J 0 where σ(i I ) is the sign of the shuffle I I = (,..., m). Proof. Claim (i) follows from the fact that Lie Bi! = Free(Comm Comm{ } op ) and Remark.. Claim is a straightforward though tedious graph translation of the initial term, (Lie Bi! ) (m, n) d (Lie (m,n) trees T Bi! ) Det(T), edge(t) = J of the definition. of the differential d in DLie Bi Another geometric model for Lie Bi -structures. Let V be a finite dimensional graded vector space. Then the graded formal manifold, M, modelled on the infinitesimal neighbourhood of 0 in the vector space V V [] has an odd symplectic form ω induced from the natural pairing V V [] k[]. In particular, the graded structure sheaf O M on M has a degree Poisson bracket, { }, such that {f g} = ( ) f g + f + g {g f} and the Jacobi identity is satisfied. The odd symplectic manifold (M, ω) has also a Lagrangian submanifold, L M, associated with the subspace 0 V [] V V [] Proposition. A Lie Bi algebra structure in a graded vector space V is the same as a degree two smooth function f O M vanishing on L and satisfying the equation {f f} = 0. Proof. The manifold M is isomorphic to the total space of the shifted cotangent bundle, T [] M, of the manifold M of Proposition.5.. Hence smooth functions on M are the same as smooth polyvector fields on M, and the Poisson bracket { } on M is the same as the Schouten bracket on M Lie Bi -morphisms. Let (V, {µ m,n }) and (V, {µ m,n}) be two Lie Bi algebras.

12 3.4.. Definition. A Lie Bi -morphism F : V V is, by definition, a symplectomorphism, F : (M, ω, L) (M, ω, L ) such that F f = f. Thus a Lie Bi -morphism F : V V is a pair of collections of linear maps, {F m,n : m V n V V { [ n]} m,n 0, Fm,n : m V n V V } [ n] n 0,m satisfying a system equations F (ω ) = ω and F f = f. In particular, the equation F f = f says that the linear maps F,0 : (V, µ, ) (V, µ,) and F 0, : (V, µ,) (V, µ,) are morphisms of complexes, while the equation F (ω ) = ω says that the composition, is the identity map. F,0 F 0, : V V Definition. A Lie Bi -morphism F : V V is called a quasi-isomorphism if the morphisms of complexes induce isomorphisms in cohomology. F,0 : (V, µ, ) (V, µ,) and F 0, : (V, µ,) (V, µ,) Theorem. If F : V V is a Lie Bi quasi-isomorphism, then there exists a Lie Bi quasi-isomorphism G : V V such that on the cohomology level [F,0 ] = [Ḡ0,] and [G,0 ] = [ F 0, ]. Proof. This statement is essentially a corollary to a rather straightforward homotopy classification of odd symplectic dg manifolds. For dg manifolds (with no extra structure) such a classification has been obtained in [Ko]. The same ideas work here. Starting with the standard cohomological decomposition of the complex (V, µ, ) and the associated dual decomposition of the complex (V [], µ, ) one constructs by induction an equivariant symplectomorphism from the odd symplectic dg manifold (M, ω, ð = {f... }) into a direct product of a minimal odd symplectic dg manifold (M, ω, ð = {f... }), f having zero at the distinguished point of order 3, and a contractible one (M, ω, ð = {f... }), f being quadratic and the cohomology of ð trivial. The rest is the same as in [Ko]. 4. Minimal resolution of the operad TF. By definition (see Sect..4), TF is a quadratic dioperad TF = Free(E) Ideal < R >, where (i) E(, ) := k[σ ] and E(, ) := []; we represent two basis vectors of k[σ ] by planar corollas and and a basis vector of E(, ) by the symmetric corolla, = ; (ii) the relations R are generated by the following elements, Free(E)(, 3) Free(E)(, ).

13 Proposition.4. follows immediately from the following 4.. Proposition. The minimal resolution, TF, of the dioperad TF can be described as follows: (i) As a dioperad of graded vector spaces, TF = Free(E), where the collection, E = {E(m, n)}, of (Σ m, Σ n )-modules is given by k[σ ] n if m =, n ; E(m, n) := n [] if m =, n ; 0 otherwise. (ii) If we represent two basis elements of E(, n) by planar (, n)-corollas, and the basis element of E(, n) by planar (, n) corolla,. n n,. n n and, respectively,. n n with symmetric ingoing legs, then the differential d is given on generators by, d. n n = J J =(,...,n) J, J.... J J d. n n = J J =(,...,n) J, J 0 J J =(,...,n) J, J.... J J J J... J J Proof. Using criterion.4 it is easy to see that the dioperad T F is Koszul. Then the cobar dual DTF! provides the required minimal resolution. The rest is a straightforward calculation. 5. A comment on Lie 0 Bi algebras. It was shown in [G] that the dioperad Lie 0 Bi is Koszul so that its minimal resolution, Lie 0 Bi, can be constructed using the techniques reviewed in Section. Here we just present its explicit graph description; in fact, we prefer to show Lie 0 Bi. 5.. Proposition.The dioperad Lie 0 Bi is described as follows. (i) As a dioperad of graded vector spaces, Lie 0 Bi = Free(E), where the collection, E = {E(m, n)}, of one dimensional (Σ m, Σ n )-modules is given by { m E(m, n) := n [3 m] if m + n 3; 0 otherwise. 3

14 (ii) If we represent a basis element of E(m, n) by the unique space (m, n)-corolla, then the differential d is given on generators by,.. m m n n. d. m m n n = I I =(,...,m) J J =(,...,n) I 0, I J, J 0 I {}} { I {}}. {..... J J Let V be a graded vector space, and let M be the graded formal manifold isomorphic to the neighbourhood of zero in V [] V []. The manifold M has a natural even symplectic structure ω induced from the paring V [] V [] k; it also has a Lagrangian submanifold L modelled on the subspace 0 V [] V [] V []. The symplectic form induces degree Poisson bracket, {, }, on the structure sheaf, O M, of smooth functions on M. The following result has been independently obtained by Lyubashenko [Lyu]. 5. Corollary. A Lie 0 Bi algebra structure in a graded vector space V is the same as a degree 3 smooth function f O M vanishing on L and satisfying the equation {f, f} = 0. Lie 0 Bi morphisms and quasi-isomorphisms are defined exactly as in 3.4. and 3.4.; then an obvious analogue of Theorem holds. We omit the details. References [A] J.F. Adams, Infinite loop spaces, Princeton University Oress (978). [G] W.L. Gan, Koszul duality for dioperads, Math. Res. Lett. 0 (003), [GetJo] E. Getzler and J.D.S. Jones, Operads, homotopy algebra, and iterated integrals for double loop spaces, preprint hep-th/ [GiKa] V. Ginzburg and M. Kapranov, Koszul duality for operads, Duke Math. J. 76 (994), [He] C. Hertling, Frobenius manifolds and moduli spaces for singularities, Cambridge University Press 00. [HeMa] C. Hertling and Yu.I. Manin, Weak Frobenius manifolds, Intern. Math. Res. Notices 6 (999) [Lyu] V. Luybashenko, private communication. [Ko] M. Kontsevich, Deformation quantization of Poisson manifolds I, math/ [Mar] M. Markl, Distributive laws and Koszulness, Ann. Inst. Fourier, Grenoble 46 (996), [Mar] M. Markl, Homotopy algebras are homotopy algebras, math.at/ [MSS] M. Markl, S. Shnider and J.D. Stasheff, Operads in Algebra, Topology and Physics, AMS, Providence, 00. [MV] M. Markl and A.A. Voronov, PROPped up graph cohomology, math.qa/ [Mer] S.A. Merkulov, Operads, deformation theory and F-manifolds, math.ag/

15 [Mer] S.A. Merkulov, Infinity constructions of local geometries, to appear. [St] J.D. Stasheff, On the homotopy associativity of H-spaces, I II, Trans. Amer. Math. Soc. 08 (963), 7-9 & Matematiska institutionen Stockholms universitet 069 Stockholm Sweden 5