we begin by recalling two closely related operads .
the first is the _
little 2-discs _ operad of boardman and vogt , denoted @xmath0 .
the arity @xmath1 space , @xmath2 , is the space of embeddings of the disjoint union of @xmath1 discs into a standard disc , where each disc is embedded by a map which is a translation composed with a dilation . at the level of spaces ,
group complete algebras over this operad are 2-fold loop spaces , and at the level of homology an algebra over @xmath3 is precisely a gerstenhaber algebra .
the second operad is a variant of the little 2-discs ; it is the _ framed little 2-discs _ operad , denoted @xmath4 , first introduced by getzler @xcite . here
each little disc is allowed to be embedded by a composition of a _ rotation _ in addition to a dilation and translation , so in particular , @xmath5 .
getzler observed that algebras over the homology operad @xmath6 are precisely batalin - vilkovisky algebras , and at the space level the second author and wahl @xcite proved that a group complete algebra over @xmath4 is a 2-fold loop space on a based space with a circle action .
tamarkin @xcite first proved that the operad @xmath0 is _ formal _ over @xmath7 , meaning that the singular chain operad @xmath8 is quasi - isomorphic to the homology operad @xmath9 .
his proof is algebraic in nature , using braid groups and drinfeld associators .
kontsevich @xcite sketched a different proof of this formality theorem over @xmath10 which generalizes to show formality of the little @xmath11-discs for all @xmath12 . roughly speaking ,
kontsevich works dually , constructing a cooperad of cochain complexes of graphs which maps to both the cochains and the cohomology of @xmath0 by quasi - isomorphisms .
the full details of kontsevich s proof have been explained nicely by lambrechts and volic @xcite .
the kontsevich proof method has the advantage over tamarkin s proof of simultaneously proving the formality in the sullivan dga sense of the individual spaces of the operad .
recently severa and willwacher @xcite have shown that the quasi - isomorphisms of kontsevich and tamarkin are homotopic for a particular choice of drinfeld associator .
tamarkin s proof of formality for @xmath0 has been adapted to the operad @xmath4 by severa @xcite , and kontsevich s proof has been adapted to @xmath4 by the present authors in @xcite .
both adaptations are relatively straightforward .
operad formality theorems have significant applications .
the formality of @xmath0 plays an important role in tamarkin s proof @xcite of kontsevich s celebrated deformation quantization theorem , and the formality of @xmath13 for @xmath14 is a primary ingredient in the computation of the homology of spaces of long knots in high dimensions @xcite .
formality of the operad @xmath4 is used in @xcite to construct chain level homotopy bv - algebra structures for topological conformal field theories and for the 2-fold loop space on a space with a circle action , as well as to give a particular solution to the cyclic deligne conjecture .
unlike @xmath13 , the operad @xmath15 has the additional structure of being homotopy equivalent to a _
cyclic operad _
( see @xcite for an explicit cyclic model ) ; being a cyclic operad means roughly that the roles of inputs and outputs can be interchanged .
the present paper was motivated by the question of whether the formality of the operad can be made compatible with the cyclic structure .
we answer this question in the affirmative when @xmath16 . in section [ cyclic - model ]
we will recall a cyclic model @xmath17 for @xmath4 constructed in terms of compactified moduli spaces of genus zero curves with marked points .
the elements of @xmath17 are genus zero stable curves decorated with real tangent rays at the marked points and nodes .
the operad composition is obtained by gluing stable curves at marked points and tensoring the corresponding rays .
this model was first introduced by kimura - stasheff - voronov @xcite , and it is closely related to the modular operad of deligne - mumford compactified moduli spaces of curves whose formality is proved in @xcite .
moreover @xmath17 is homotopy equivalent , as a cyclic operad , to the operad of genus zero riemann surfaces with boundary , where the operad composition is defined by gluing along boundary components .
the main result of this paper is :    [ main ] the cyclic operad @xmath18 of singular chains on @xmath17 with real coefficients is quasi - isomorphic as a cyclic operad to its homology , @xmath19 , which is the batalin - vilkovisky operad .
the new and important point of this theorem is that the chain of quasi - isomorphisms is compatible with the _ cyclic _ operad structure . a second point , coming out of the proof
, is that this operad formality simultaneously realises the formality of the individual spaces of the operad in the sullivan commutative dga sense , as was the case for the kontsevich proof in the unframed case .
this cyclic formality has a consequence in computing the cohomology of diffeomorphism groups of 3-dimensional handlebodies , as discussed further below .
it is not immediately clear that the previous operad formality proofs given in @xcite and @xcite are compatible with the cyclic structure , nor is it clear that they are compatible with the formality of the individual spaces of the operad .
however , since the completion of this work severa has indicated how to show that his formality proof is in fact compatible with the cyclic structure . as for the other proof , the kontsevich graph complex , as modified for the framed 2-discs operad in @xcite , in arity @xmath1 has an action of the enlarged symmetric group @xmath20 ( this action would be part of the cyclic operad structure ) by linear automorphisms , but it is not clear if this action respects the differential .
it seems likely that the action is in fact compatible , but proving this appears to be a very difficult combinatorial problem .    instead
, here we take a more conceptual approach and build a new manifestly cyclic operad of `` projective graph complexes '' as a replacement for kontsevich s graph complexes .
the differential is now a combination of both edge deletions and edge contractions .
the projective graph complexes do form a cyclic cooperad .
our proof of theorem [ main ] then follows in outline the method used by kontsevich in the unframed case .
the projective graph complexes map onto the cohomology of @xmath17 , and they also map to the ( semi - algebraic ) forms on @xmath17 by a variation of kontsevich s map defined by certain configuration space integrals . we prove that both of these maps are quasi - isomorphisms and are compatible with the cyclic cooperad structures .
the theorem then follows by dualising .    for @xmath21
the question of formality of @xmath15 as a cyclic operad , or even just as an ordinary operad , remains open . in future work
we hope to address this .      in the forthcoming paper @xcite
, the first author proves that the modular operad generated by the cyclic operad @xmath17 is homotopy equivalent to the modular operad made from @xmath22s of handlebodies .
this leads to a bousfield - kan spectral sequence computing the cohomology of @xmath23 for @xmath24 a handlebody of genus @xmath25 .
theorem [ main ] implies that this spectral sequence degenerates at the @xmath26 page .
( note that formality as an operad rather than a cyclic operad is not enough to imply degeneration of the spectral sequence . )
the framed little 2-discs operad @xmath4 is homotopy equivalent to a cyclic operad , ( although it is not itself cyclic on the nose ) .
a convenient cyclic model was introduced in @xcite .
we recall that model and discuss some of its properties .
recall that a _
cyclic operad _ is an extension of the concept of operad in which inputs and outputs are on equal footing ; this can be formalised by asking that the @xmath27 action on the arity @xmath1 space extends to an action of @xmath20 in a way compatible with the operad composition maps .
the notion of a cyclic operad was first introduced by getzler and kapranov @xcite .    in more detail , a cyclic operad in a symmetric monoidal category @xmath28
is defined by the following data : a functor @xmath29 from the category of non - empty finite sets and bijections to @xmath28 , and for each pair of finite sets @xmath30 with elements @xmath31 a composition morphism , @xmath32 natural in @xmath33 and @xmath34 and satisfying the following axioms .    * * ( associativity ) * given finite sets @xmath35 , and elements @xmath36 , the following diagram commutes : @xmath37 * * ( commutativity ) * given finite sets @xmath30 and elements @xmath38 and @xmath39 , the following diagram commutes : @xmath40 where @xmath41 is the canonical bijection @xmath42 .
* * ( unit axiom ) * for each set @xmath43 of cardinality 2 there is a morphism @xmath44 , where @xmath45 is the monoidal unit , that is natural in @xmath46 and such that for any finite set @xmath33 and an element @xmath38 the following diagram commutes : @xmath47{p(a\sqcup i \smallsetminus \{a , i\ } ) , } \end{diagram}\ ] ] where @xmath48 is the canonical bijection sending @xmath49 to @xmath50 .
dually one defines a _ cyclic cooperad _ by reversing the arrows in the definition .
concretely , a cyclic cooperad is specified by the data of a functor @xmath29 from finite sets and bijections to @xmath28 , and a co - composition map @xmath51 ( where @xmath52 and @xmath53 are auxiliary points ) for each partition @xmath54 .
these co - composition maps must satisfy dual versions of the naturality , symmetry , and associativity conditions .
a cyclic ( co)operad in the category of chain complexes is called a _ differential graded cyclic ( co)operad_.      we now recall the moduli space operad introduced by kimura , stasheff and voronov in @xcite . in their notation , the operad is denoted @xmath55 , but we prefer @xmath17 as being more consistent with other notations .
this operad is manifestly a cyclic operad , and we will show in proposition [ operad - equivalence ] that its underlying operad is homotopy equivalent to the framed little 2-discs operad .
given a non - empty finite set @xmath56 , let @xmath57 denote the moduli space of genus zero riemann surfaces with marked points labelled by @xmath56 .
explicitly , @xmath58 where @xmath59 is the space of injective maps from @xmath56 to the complex projective line , and the automorphism group @xmath60 acts on the target in the standard way .
we will write @xmath61 when @xmath56 is the set @xmath62 .
there is an identification between @xmath61 and the complement in @xmath63 of the union of the hyperplanes of the form @xmath64    if @xmath65 then the moduli space @xmath61 is noncompact and has a deligne - mumford - knudsen compactification @xmath66 which can be constructed blowing up in a suitable order all proper intersections of hyperplanes of the form in @xmath63 @xcite .
the points of @xmath67 correspond to stable nodal riemann surfaces , ( _ nodal _ means that the surfaces are allowed to have double - point singularities , and _
stable _ in this case means that no irreducible component is a sphere with strictly fewer than 3 points that are either nodes or marked points ) . for @xmath68
there is a complex line bundle @xmath69 over @xmath67 whose fibre over a given riemann surface @xmath70 is the tangent space at the @xmath71 marked point .
the boundary , @xmath72 , is a normal crossing divisor .
it has an irreducible component for each unordered partition @xmath73 into two subsets of cardinality at least 2 , and the corresponding component is canonically isomorphic to @xmath74 .
the inclusions @xmath75 define a cyclic operad structure on the deligne - mumford - knudsen moduli spaces .    the space @xmath76 is defined as the real oriented blowup of the boundary locus of @xmath77 .
we pull the complex line bundles @xmath78 back from @xmath77 ( and denote them by the same symbol ) .
the space @xmath76 can be interpreted as the moduli space of genus zero stable nodal riemann surfaces with points marked by @xmath56 and equipped with the additional data of a ray in the tensor product of the two tangent spaces at either side of each node .
it can be constructed as the iterated _ real oriented _ blowup of @xmath63 along _ all _ intersections of hyperplanes , by blowing up first the proper intersections in the same order as for the deligne - mumford space , and finally the hyperplanes themselves .
the space @xmath77 is a compact smooth manifold with _ faces _ ; i.e. it is a manifold with corners , stratified with the interior as the unique codimension 0 stratum and all of the positive codimension strata lying on the boundary , each of which is a transversal intersection of faces ( codimension 1 strata ) .
faces correspond to unordered partitions of @xmath56 into two subsets @xmath79 of cardinality at least 2 ; given such a partition , the corresponding face is canonically isomorphic to the unit circle bundle of the exterior tensor product @xmath80 over @xmath81    let @xmath82 denote the ( coarse ) moduli space of genus zero smooth surfaces equipped with points marked by @xmath56 with real tangent rays .
explicitly , @xmath83 where @xmath84 is the circle bundle associated with the tangent bundle of @xmath85 . observe that there are diffeomorphisms @xmath86 in particular , @xmath87 is compact for @xmath88 .    when @xmath65 , @xmath87 is noncompact . forgetting the tangent rays at the marked points gives a trivial principal @xmath89-bundle @xmath90 which extends uniquely to a trivial torus bundle over @xmath91 .
we call its total space @xmath92 . note that the trivialisation of the bundle is not canonical .
more explicitly , @xmath93 one sees that @xmath94 is a compactification of @xmath87 obtained by adding boundary and corners , and hence it is homotopy equivalent to its interior . when @xmath88 we simply define @xmath95 .
the functor @xmath96 forms a cyclic operad .
composition with @xmath97 acts by rotating tangent rays , and composition with @xmath98 removes a marked point .
all other composition maps are defined by gluing marked points together to form a node and tensoring their tangent rays to produce the decoration at the node ; in more detail , if @xmath99 and @xmath100 both have cardinality at least 2 then the composition map @xmath101 is a trivial circle bundle over the face associated with the partition @xmath102 and it is induced by the multiplication map @xmath103 .
recall that a homotopy equivalence of topological operads is a morphism of operads ( a natural transformation commuting with the composition and unit maps ) that is level - wise an equivariant homotopy equivalence .
[ operad - equivalence ] there is homotopy equivalences of operads @xmath104 there is also a homotopy equivalence of spaces , @xmath105 , where the torus acts by rotating all but the zeroth tangent direction .
in @xcite the second author constructed a zigzag of homotopy equivalences between the operad @xmath0 and the _ fulton - macpherson operad _
, @xmath106 , introduced by getzler and jones in @xcite .
the space @xmath107 is the real oriented fulton - macpherson compactification of the space of configurations of @xmath1 points in @xmath108 modulo dilation and translation .
it can be constructed by iterated real oriented blowup from the @xmath109-sphere @xmath110 , where @xmath111 is the thin diagonal defined by @xmath112 and @xmath113 is the affine group generated by positive dilations and translations .
the blowups are performed along all diagonals .
the space @xmath107 is a manifold with faces ; a face corresponds to an unordered partition of @xmath114 into two subsets of cardinality at least 2 , and it is canonically diffeomorphic to @xmath115 .
the inclusion of a face with @xmath116 represents a ( non - cyclic ) @xmath117 operad composition .    from @xcite
, @xmath0 is an operad in the category of spaces with @xmath118 action and so one can form the semidirect product operad @xmath119 which is isomorphic to @xmath4 .
similarly , @xmath106 is an operad in @xmath118-spaces , and one can form the _ framed fulton - macpherson operad _ @xmath120 .
the homotopy equivalence between @xmath0 and @xmath106 is realised by a zigzag of @xmath118-equivariant maps and thus induces a homotopy equivalence of operads , @xmath121    it turns out that @xmath122 and @xmath17 are isomorphic as operads .
this is immediate in arity @xmath123 in higher arity , note that blowing up the sphere @xmath124 at the diagonal @xmath125 is the same as blowing up @xmath126 at the hypersurfaces @xmath127 . blowing up all other diagonals identifies @xmath128 , and thus we have diffeomorphisms @xmath129 compatible with the operad composition , by definition .
for the proof of theorem [ main ] , we will need to work in the category of semi - algebraic spaces .
the theory of semi - algebraic spaces and its corresponding de rham theory has been developed by hardt , lambrechts , turchin and volic in @xcite .
the functor @xmath96 forms a cyclic operad in the category of semi - algebraic manifolds .
sinha constructs in @xcite a @xmath27-equivariant semi - algebraic embedding @xmath130^{\binom{n}{3}}$ ] by evaluating the direction between each pair of points and ratio of distances for each triple of points .
thus the symmetric group acts semi - algebraically .
moreover , lambrechts and volic check in ( * ? ? ?
* prop 5.5 ) that the operad composition @xmath131 is the restriction of a semi - algebraic map .
passing to the semi - direct product with @xmath118 , it follows that @xmath122 is an operad in semi - algebraic manifolds .
finally , we must verify that the action of @xmath27 on @xmath132 is semi - algebraic .
for this it is convenient instead to @xmath27-equivariantly embed @xmath133 by evaluating angles between rays for pair of points and the cross ratio for 4-tuples of points .
this shows that @xmath134 acts semi - algebraically on @xmath94 .
forgetting subsets of the marked points defines a collection of important projections between the various moduli spaces . given a subset @xmath135 , let @xmath136 be the map induced by forgetting all marked points labelled by @xmath46 .
note that @xmath137 is the iterated operad composition with the point of @xmath138 for each element of @xmath46 .
the map @xmath139 , forgetting the points in @xmath46 , is a semi - algebraic fibre bundle .
the projection @xmath140 is equivalent to the composition @xmath141 .
the first map is a semi - algebraic bundle by ( * ? ? ?
* appendix a ) , the second map is a trivial bundle , and the composite of bundle projections is a bundle projection by ( * ? ? ?
the fibres of the bundle @xmath140 are manifolds with faces , so the fibrewise boundary is stratified into pieces of codimension 1 ( in the total space ) and greater .
we shall refer to the codimension 1 strata as the _ fibrewise boundary components_.    [ fibrewise - boundary ] for @xmath142 , the fibrewise boundary components of the bundle @xmath143 correspond bijectively with the set of unordered partitions of @xmath56 into two subsets @xmath144 of cardinality at least 2 such that @xmath145 .    corresponding to a partition @xmath146
is the closure of the locus in @xmath147 in which a node separates the sphere into two lobes , one containing the points of @xmath148 and the other containing the points of @xmath149 .
this closed stratum fibres over @xmath150 if and only if one of the @xmath151 contains at most one point of @xmath152 ( a priori it is an unordered partition , but we can always choose to call the set with this property @xmath148 ) .
given a partition @xmath153 as above , we will write @xmath154 for the corresponding fibrewise boundary component of @xmath137 .      fibrewise orientations of the canonical projections play an important role in the formality proof in this paper . here
we establish some general definitions and conventions for working with orientations .
given a finite dimensional real vector space @xmath155 , let @xmath156 denote the top exterior power of @xmath155 ; a choice of a ray in this line is equivalent to a choice of an orientation of @xmath155 . if @xmath70 is a finite set then we write @xmath157 ( and @xmath158 when @xmath70 is empty ) . if @xmath70 has cardinality at least 2 then choosing a ray in @xmath159 is equivalent to choosing an ordering of @xmath70 up to even permutation .
an orientation form on an @xmath1-dimensional manifold @xmath160 is a nowhere vanishing @xmath1-form @xmath161 .
clearly an orientation form determines an orientation of @xmath160 , and two orientation forms determine the same orientation if and only if they agree up to multiplication by a positive scalar function . given a fibre bundle @xmath162 ,
a fibrewise orientation form is a form on @xmath163 whose restriction to each fibre is an orientation form .
we will use the following general orientation conventions .
* given @xmath164 , we define an isomorphism @xmath165 by the rule @xmath166 ( inverse to the map @xmath167 ) . *
if @xmath160 is a manifold with boundary with orientation form @xmath161 and @xmath168 is an outward pointing normal vector field on @xmath169 , then @xmath169 is given the induced orientation @xmath170 .
thus the stokes formula is @xmath171 . *
if @xmath172 and @xmath173 are fibre bundles with fibrewise orientation forms @xmath174 and @xmath175 respectively , then we give the the composite bundle @xmath176 the fibrewise orientation form @xmath177 .    given a finite set @xmath56 and an element @xmath178 , the canonical projection @xmath179 has a standard fibrewise orientation defined as follows .
it factors as @xmath180 where @xmath181 forgets the tangent ray decoration at the marked point @xmath182 , and @xmath183 forgets the position of @xmath182 , thus forgetting it entirely .
the principal @xmath184-bundle @xmath181 inherits a fibrewise orientation @xmath185 from the counterclockwise orientation of the circle .
the map @xmath183 is a family of riemann surfaces and so the complex structures of the fibres determine a fibrewise orientation @xmath186 . using the above orientation conventions , we then give @xmath187 the fibrewise orientation determined by the form @xmath188 .    given @xmath189 , we define a bijection between rays in @xmath190 and fibrewise orientations of @xmath191 as follows . the ray spanned by @xmath192 ( where @xmath193 are the elements of @xmath46 ) corresponds to the fibrewise orientation determined by the above conventions and the factorisation @xmath194 .
we will first recall arnold s well - known presentation of the cohomology of the ordered configuration spaces of @xmath108 , or equivalently of the spaces of the unframed little discs operad @xmath0 .
then we will use this result to give a new presentation of the cohomology of the framed little discs operad which will be convenient for working with the cyclic operad structure .      consider the little @xmath195-discs operad @xmath0 . for @xmath196 , consider the map @xmath197 which forgets all but the @xmath71 and @xmath198 discs . define a collection of 1-forms @xmath199 where @xmath200 is the standard volume form of @xmath184 .
( we will often abuse notation by using the same symbol for both a differential form and the cohomology class it represents . )
( arnold)[arnold - pres ] the real cohomology of @xmath2 is generated by the degree 1 classes @xmath201 for @xmath202 , subject to only to the symmetry relation , @xmath203 and the arnold relation , @xmath204 for each triple of distinct indices @xmath205 .
in fact , this gives a presentation of the integral cohomology , but we shall only be concerned with real cohomology in this paper .      since @xmath206 , where the @xmath71 @xmath184 factor measures the angle by which the @xmath71 disc is rotated , one has @xmath207 where @xmath208 is the class represented by the volume form @xmath209 of the @xmath49-th circle .
thus the cohomology is generated by the classes @xmath201 together with the classes @xmath208 , and subject only to the symmetry and arnold relations .
the symmetric group @xmath20 acts on @xmath210 by permuting the labels of the marked points .
the subgroup @xmath211 , consisting of permutations which fix 0 , permutes the generators and relations among themselves in the obvious way .
however , the permutations which do not fix zero act in a more complicated way .    we will now give a different presentation in which the generators and relations of @xmath212 are both permuted by the full symmetric group @xmath20 .
let @xmath213 the projection forgetting all but the @xmath49-th and the @xmath214-th points with their tangent rays ( see earlier section [ canonical - projections ] ) . since @xmath97
, we define closed 1-forms @xmath215 which represent generators of the cohomology . to describe the relations among these generators we must relate them to the generators @xmath201 , @xmath208 described above .
there are two ways of identifying the space @xmath216 with @xmath217 .
the first way is to apply the unique conformal automorphism of @xmath218 which puts the marked points @xmath219 labelled by @xmath220 at the points @xmath221 respectively .
one then reads off the angle @xmath222 , in the counter - clockwise sense , from the equator ( going in the direction from @xmath223 to @xmath224 to @xmath225 ) to the tangent ray at the @xmath49 marked point . in terms of these coordinates , @xmath226 .
the other way of identifying @xmath227 with @xmath217 is to put the points at @xmath228 and then rotate the sphere around the axis through @xmath223 and @xmath225 , so that the tangent ray of the point at @xmath225 is parallel to the equator ( pointing in the direction from @xmath225 to @xmath223 to @xmath224 ) .
we define @xmath229 to be the angle between the ray at @xmath223 and the equator .
parallel transport along the geodesic from @xmath230 to @xmath231 of the tangent ray to the equator at @xmath230 gives a reference ray at @xmath231 and @xmath232 is the angle from this ray to the tangent ray of @xmath231 .
the angle @xmath233 is measured at @xmath230 from the equator to the geodesic from @xmath230 and @xmath231 . in terms of these coordinates , @xmath234 and @xmath235 .
these two different coordinate systems are illustrated below .
one easily sees that these two coordinate systems are related as follows : @xmath236 hence , in the cohomology of @xmath94 the two sets of generators are related by : @xmath237    in terms of the @xmath238 classes , the arnold relation becomes : @xmath239 the action of the symmetric group must send relations to relations , so one can write the relations in a more invariant form .
let @xmath240 be four distinct elements of @xmath241 .
cyclic arnold relations _ are @xmath242 where @xmath243 is the alternating group on 4 letters .
clearly the symmetric group @xmath20 sends each relation of this type to another relation of this type .
[ cyclic - pres ] the real cohomology of @xmath210 is generated by the 1-dimensional classes @xmath244 ( @xmath245 ) subject only to the cyclic arnold relations , one for each 4-tuple of distinct indices @xmath240 between @xmath223 and @xmath1 , and to the symmetry relation @xmath246 .
the main ingredient in kontsevich s proof of formality of the unframed little discs operad is the construction of a certain differential graded algebra of graphs , the _ kontsevich graph complex _
@xmath247 , which resolves the usual arnold presentation ( theorem [ arnold - pres ] ) of the cohomology of the little discs @xmath2 .
as @xmath1 varies these dgas of graphs fit together to form a cooperad , and the dual operad is quasi - isomorphic to the operad of chains on the little discs .
tensoring kontsevich s resolution @xmath247 of @xmath248 with @xmath249 gives a resolution of the presentation of the cohomology ring of @xmath250  we shall refer to this dga as the _ affine graph complex _ , denoted @xmath251 .
the collection of dgas @xmath252 forms a cooperad , but it is _ not _ compatible with the _ cyclic _ operad structure of @xmath17 . to deal with this
we will pass to the _ projective graph complex _ @xmath253 .
the projective graph complexes do form a cyclic cooperad and we prove that @xmath253 is indeed a resolution of @xmath212 by a comparison with @xmath251 . summarising this :    * @xmath247 is kontsevich s graph complex ; it resolves @xmath248 over @xmath254 $ ] .
* @xmath255 is the affine graph complex ; it resolves @xmath212 over @xmath254 $ ] .
* @xmath253 is the projective graph complex , which resolves @xmath212 over @xmath256 $ ] .
each of these complexes will be defined in detail below .      by a graph @xmath257
we shall mean a finite set @xmath258 of vertices and a set @xmath163 of unordered pairs of vertices representing the edges . note that our graphs can not have loops or double edges .
those vertices in @xmath259 are called _ internal vertices _ , and those in @xmath56 are called _ external vertices _ ; there is an induced partition of the set of edges @xmath260 where the set of _ internal edges _ , @xmath261 , consists of those edges for which both endpoints are internal , the set of _ external edges _ , @xmath262 , consists of those for which both endpoints are external vertices , and
the set of boundary edges , @xmath263 , consists of those which have one internal endpoint and one external endpoint .
an _ affine orientation _ of a graph @xmath264 is a choice of a ray in the real line @xmath265
. a _ projective orientation _ of @xmath266 is a choice of a ray in @xmath267 .
if @xmath266 is equipped with an affine or projective orientation then we shall write @xmath268 for the same underlying graph equipped with the opposite orientation .      given a graph @xmath269 and an edge @xmath270 , we define a new graph @xmath271 by deleting the edge @xmath270 . if @xmath266 has a projective or affine orientation , then @xmath272 inherits an orientation of the same type by the isomorphism @xmath273 from section [ orientations ] .
given a graph @xmath269 and an edge @xmath270 that is not part of a triangle of edges and has at least one internal endpoint , let @xmath274 denote the graph constructed from @xmath266 by contracting the edge @xmath270 , i.e. deleting @xmath270 from the set of edges and identifying its two endpoints together . if @xmath270 is a boundary edge then the resulting vertex is external ; if @xmath275 then the resulting vertex is internal
. thus the set of external vertices of @xmath274 is identified with @xmath56 .
if @xmath266 has an affine orientation then @xmath274 inherits an affine orientation by the isomorphism @xmath273 .
inducing projective orientations is slightly more complicated and depends on whether @xmath270 is boundary , or internal .    *
if @xmath276 then one endpoint , @xmath182 , is external and one endpoint , @xmath277 , is internal . in this case
there is a canonical identification of the edges of @xmath274 with @xmath278 ; we identify the external vertices of @xmath274 with @xmath56 , and the internal vertices with @xmath279 , by identifying the vertex in @xmath274 at which @xmath270 was contracted with @xmath182 . using these identifications ,
the induced projective orientation of @xmath274 is the image of the projective orientation of @xmath266 under the isomorphism @xmath280 . * if @xmath275 then inducing a projective orientation on @xmath274 is equivalent to choosing an orientation of @xmath270 , meaning a choice of one end , @xmath277 , as _ head _ and the other , @xmath182 as _ tail_. as in the boundary edge case , we contract @xmath270 onto its tail and identify the internal vertices of @xmath274 with @xmath281 , and then we induce a projective orientation via @xmath280 .
suppose that @xmath282 is a pair of edges in a graph @xmath266 meeting at an internal vertex @xmath182 and such that @xmath270 is not a side of a triangle in @xmath283 .
then we shall write @xmath284 if @xmath266 has a projective orientation and @xmath270 is either a boundary edge or an oriented internal edge , then @xmath285 inherits a projective orientation by the above discussion .
first recall kontsevich s complex of `` admissible graphs '' ( * ? ? ?
* definition 13 ) , denoted @xmath286 .
the vector space @xmath287 is spanned by isomorphism classes of affine oriented graphs with external vertex set @xmath56 modulo the relations    1 .
@xmath288 if there is a connected component of @xmath266 containing no external vertices , 2 .
@xmath288 if there is an internal vertex of valence @xmath289 , 3 .
@xmath290 .
there is a grading defined by @xmath291 .
the differential of degree 1 is given by the formula @xmath292 where @xmath270 runs among those boundary and internal edges such that @xmath274 is defined .
there is an associative and graded commutative product defined by gluing the external vertices together according to the labelling , and by tensoring orientation rays .
note that the differential is a derivation of the product , and so @xmath287 forms a commutative dga .
we will write @xmath293 when @xmath294 .
[ agc ] the affine graph complex is the cdga defined as @xmath295    we now come to principal object of this paper : the cdga of _ projective graphs_.    [ defproj ] the vector space of projective graphs @xmath296 , for a finite set @xmath56 , is spanned by isomorphism classes of projectively oriented graphs @xmath266 with @xmath56 as set of external vertices , modulo the relations    * if @xmath266 has an internal vertex of valence @xmath297 then @xmath288 , * if @xmath266 has a component with at most one external vertex and at least one internal vertex then @xmath288 , * @xmath290 , * the `` pinwheel relation '' : for @xmath277 an internal vertex of @xmath266 and @xmath298 the set of edges incident at @xmath277 , @xmath299    there is a grading defined by @xmath300 .
there is an associative and graded commutative algebra structure on @xmath296 given by gluing at the external vertices , and tensoring orientation rays .    in the case
@xmath301 , we write @xmath302 .    we next define a differential @xmath303 on @xmath296 .
the formula will involve choices , but we will show that because of the pinwheel relation it is in fact independent of these choices . to define @xmath304 , with @xmath305 , we first arbitrarily choose an orientation of each internal edge @xmath270 of @xmath266 .
we orient the boundary edges in each case so that their heads are at their internal endpoints .
the differential is now given by the formula @xmath306 where the sum runs over all ordered pairs of edges @xmath282 for which the head of @xmath270 is internal and incident to @xmath307 ( so in particular , they must lie in @xmath308 ) and such that @xmath309 is defined ( i.e. deleting @xmath307 and contracting @xmath270 does not result in a loop or double - edge ) .
@xmath310 is well - defined , independent of the choices of orientations for the edges between internal vertices .
suppose @xmath270 is an edge between internal vertices @xmath277 , @xmath311 .
the difference between @xmath310 with @xmath270 oriented one way or the other is precisely the pinwheel relation in @xmath274 at the vertex where @xmath270 is contracted .
thus @xmath310 is independent of the choices of orienting the internal edges .
it remains to check that @xmath303 descends to the quotient by the pinwheel relation .
given a graph @xmath266 with an internal vertex @xmath277 , orient all of the ( internal ) edges of @xmath298 with their heads at @xmath277 .
then , @xmath312 the first of the two above summations can be grouped as a sum of terms , each of which is a pinwheel sum over edges @xmath25 incident at @xmath277 in @xmath285 .
the terms of the second summation cancel in pairs since @xmath313 oriented with head at @xmath277 means that @xmath314 , and @xmath315 .
@xmath316 .    to compute @xmath317 we first choose an orientation of each internal edge of @xmath266 ;
@xmath310 is a sum of terms of the form @xmath318 and the internal edges of each of these terms inherit orientations .
now , @xmath317 is a sum of graphs of the form @xmath319 ( the sign depends only on @xmath266 ) , where @xmath320 are internal or boundary edges in @xmath266 with @xmath307 incident at the head of @xmath270 , and @xmath321 are internal or boundary edges in @xmath318 with @xmath322 incident at the head of @xmath323 .
this means that , as edges in @xmath266 , the possible configurations are enumerated as follows :    type ( 0 ) : the head of @xmath323 is incident at @xmath322 in @xmath266 and the heads of @xmath270 and @xmath323 are disjoint .
if the head of @xmath323 is incident at @xmath322 in @xmath266 but the configuration is not of type ( 0 ) then it must be    type ( 1 ) : @xmath307 , @xmath322 , @xmath270 and @xmath323 all meet at a vertex .
if the head of @xmath323 is not incident at @xmath322 in @xmath266 then it must be incident at @xmath322 in @xmath285 .
this can happen only if , in @xmath266 , either @xmath323 and @xmath322 are incident at opposite ends of @xmath270 ( types ( 2 ) , ( 4 ) , and ( 5 ) below ) , or if @xmath322 is incident at the tail of @xmath323 and contracting @xmath270 causes @xmath323 to reverse orientation ( type ( 3 ) below ) .
so the configuration must be one of the following types
.    we will show case by case that all terms can be grouped to exactly cancel . for type ( 0 ) , the way that orientations are induced yields @xmath324 and so these two terms in @xmath325 cancel . for types ( 1 ) and ( 2 )
, @xmath326 cancels with @xmath327 . in the configuration of type ( 3 )
, @xmath328 cancels with @xmath329 which is a term of type ( 4 ) , and hence the terms of type ( 3 ) cancel in pairs with the terms of type ( 4 ) .
type ( 5 ) is slightly more involved . by the pinwheel relation , @xmath330
consider the sum of the expression over all @xmath331 ; the sum over @xmath332 is zero because of the symmetry of swapping @xmath307 and @xmath25 ( just as for type ( 0 ) ) , and the sum over @xmath333 exactly cancels with the sum over @xmath333 of the type ( 5 ) terms @xmath334 occurring in @xmath325 .
here we introduce maps of graph complexes that are combinatorial analogues of certain configuration space integrals .
fix finite sets @xmath335 .
let @xmath336 denote the subalgebra of graphs having no internal vertices .
note that for such a graph @xmath337 , a projective orientation is simply a ray in @xmath265 .
given a ray @xmath338 , there is a linear map @xmath339 it is defined by turning the @xmath259 vertices into internal vertices and mapping the orientations by @xmath340 note that @xmath341 geometrically , this map corresponds to integrating out the @xmath259 vertices as we shall see in section [ int - section ] .
a general projectively oriented graph @xmath305 with set of internal vertices @xmath259 can be written as @xmath342 , where @xmath343 and @xmath344 is a ray in @xmath345 .      we now define a cyclic cooperad structure on the collection of projective graph complexes . for any partition @xmath346 we need to define a co - composition map @xmath347 let @xmath348 be the graph consisting of a single edge between external vertices @xmath349 and @xmath50 , oriented from @xmath349 to @xmath50 .
then , @xmath350    a graph @xmath351 can be written as a product of graphs each having only a single edge .
the order of the factors corresponds to the chosen orientation .
the multiplication of the formulae above for the edges of @xmath266 defines @xmath352 .
given a partition @xmath353 , choose rays @xmath354 and @xmath355 such that @xmath356 .
now consider the composition @xmath357 we can now define the cooperad co - composition map on an arbitrary graph @xmath358 by the formula @xmath359 there is a useful alternative description of this co - composition that will make the verification of certain properties easier .
an @xmath360-_splitting _ of a graph @xmath266 is a partition of the vertices into two sets @xmath361 with @xmath362 and @xmath363 and a partition of the edges into two sets @xmath364 such that if both of the endpoints of an edge @xmath270 are in @xmath365 ( @xmath366 ) then @xmath367 . given a splitting @xmath41 , we can construct two new graphs @xmath368 with vertices @xmath369 and edges @xmath370 ; if @xmath367 , as an edge in @xmath266 , has only one endpoint in @xmath365 then as an edge in @xmath371 it s endpoint that is not in @xmath365 is replaced by the auxiliary vertex @xmath372 . if @xmath266 has a projective orientation @xmath373 then we give @xmath374 and @xmath375 projective orientations @xmath376 and @xmath377 such that @xmath378 . by inspection one
finds the following .    the co - composition map defined above in is given by the formula @xmath379 where the sum runs over the set @xmath380 of all @xmath360-splittings of @xmath266 .
the co - composition maps given above are well - defined and they make @xmath296 into a cyclic cooperad in the category of commutative differential graded algebras .
there are three facts to verify .
* @xmath381 is compatible with the relations @xmath382 of definition [ defproj ] .
* @xmath381 commutes with the differential .
* these maps satisfy the cyclic cooperad axioms given in section [ cyclic - operad - definitions ] .    for ( i )
, it is easy to verify compatibility with @xmath383 . for the pinwheel relation @xmath384 , suppose @xmath266 is a projective graph with an internal vertex @xmath277 and external vertices @xmath385 .
then @xmath386 where @xmath41 runs over the set @xmath387 of @xmath360-splittings of @xmath388 .
then can be written as @xmath389 this verifies statement ( i ) .
we turn to ( ii ) now . given an oriented edge @xmath270 , let @xmath390 denote the head and @xmath391 the tail
. observe that choosing a splitting of @xmath318 is the same as choosing a splitting of @xmath266 such that @xmath392 are either all on the left or all on the right .
hence , @xmath393 applying the differential to a co - composition and expanding similarly , one sees that @xmath394 is given by the above sum but without the requirement @xmath391 be on the same side as @xmath390 .
we will show that these additional terms cancel out .
suppose we are given a pair @xmath282 in @xmath266 meeting at an internal vertex @xmath395 and a splitting @xmath396 such that @xmath397 , @xmath398 , and @xmath399 .
define a new splitting @xmath400 by switching @xmath320 and @xmath390 from the right to the left .
then @xmath401 and so these two terms exactly cancel .
all of the additional terms in @xmath402 can thus be paired in this way to cancel .
finally , the verification of ( iii ) is entirely straightforward .
kontsevich showed that the map @xmath405 , defined by sending a graph with no internal vertices to the corresponding product of arnold classes @xmath201 , one for each edge @xmath406 , and sending all graphs with internal vertices to zero , is a quasi - isomorphism of cooperads ; see ( * ? ? ?
* section 3.3.4 ) or ( * ? ? ?
* theorem 9.1 ) .
it follows immediately that the analogous map @xmath407 is also a quasi - isomorphism of cooperads .
the cohomology @xmath408 is a cyclic cooperad , but @xmath409 is _ not _ a cyclic cooperad .
hence we must pass from affine to projective graphs .
[ projective - graphs - resolution ] the map @xmath410 defined by sending @xmath266 to zero if it has any internal vertices , and otherwise sending it to the corresponding product of @xmath244 classes , one for each edge @xmath411 , is a quasi - isomorphism of cyclic cooperads .    we will derive this theorem from the corresponding statement for @xmath412 by a spectral sequence comparison of @xmath412 and @xmath403 .
the first step is to construct a map between @xmath412 and @xmath403 , and for this we must introduce a couple of auxiliary graded vector spaces .
let @xmath413 denote the graded vector space covering @xmath412 in which each graph is equipped with an injective map from the set of its internal vertices to @xmath414 .
let @xmath415 denote the graded vector space covering @xmath403 in which the pinwheel relation is _ not _ imposed and each graph is equipped with an injective map from the set of its internal vertices to @xmath414 .
there is an injective linear map @xmath416 defined by sending @xmath417 to the graph constructed by adding a disjoint external vertex @xmath223 , denoted @xmath418 , and then successively adding an external edge @xmath419 between @xmath418 and the external vertex labelled by @xmath420 for @xmath421 , and then finally by adding a boundary edge @xmath422 from @xmath418 to each internal vertex @xmath277 .
the affine orientation @xmath52 of @xmath266 determines a projective orientation of @xmath423 by the expression @xmath424 where @xmath277 runs over the internal vertices in some arbitrary order .
the image of @xmath425 is precisely the vector space spanned by graphs for which each internal vertex is connected to @xmath418 by an edge .
one checks that @xmath425 descends to a linear map @xmath426 this is a morphism of graded algebras , but it does _ not _ commute with the differentials .
however , we have the following .    [ linear - iso ] the map @xmath427 is a linear isomorphism .    the idea of the proof of the above lemma is to explicitly construct an inverse to @xmath233 by using the pinwheel relation to rewrite any projective graph as a sum of projective graphs in which each internal vertex is connected by an edge to the external vertex @xmath418 .
we now formalise this procedure . for any @xmath428
, we define two linear operators @xmath429 by specifying what they do on generators . given a projective graph @xmath430 , if there is no internal vertex labelled by @xmath11 then @xmath431 ; if there is such an internal vertex then @xmath432 simply adds an edge @xmath270 from that vertex to @xmath418 or outputs zero if there is already such an edge ; the new projective orientation is given by @xmath433 .
observe that the operators @xmath432 anticommute .
let @xmath434 denote the set of edges in @xmath266 which are incident at the internal vertex with label @xmath11 , where @xmath435 if there is no such vertex .
if @xmath434 contains an edge to the external vertex @xmath418 then @xmath436 ; otherwise @xmath437 one can think of @xmath438 as using the pinwheel relation to write @xmath266 as a sum of graphs that are in the image of @xmath233 , although we have not yet passed from @xmath439 to @xmath440 .
we can now proceed to define an inverse to @xmath233 .
consider the infinite composition @xmath441 since any graph @xmath266 has only finitely many internal vertices , all but finitely many of the @xmath438 act by identity on @xmath266 , and so this is well defined .
[ p - ops ]    * @xmath442 is equivariant with respect to the action of the group @xmath443 of permutations of @xmath414 by relabelling the internal vertices . *
@xmath266 and @xmath444 project to the same element of @xmath403 . * any two operators @xmath445 commute . * the pinwheel ideal is contained in the kernel of @xmath442 .
part ( i ) is trivial .
part ( ii ) is immediate from the pinwheel relation . for part ( iii )
we need only consider the case where @xmath266 is a graph with internal vertices @xmath214 and @xmath11 , neither of which has an edge to @xmath418 since in all other cases at least one of @xmath446 or @xmath438 acts by identity on @xmath266 .
in this situation , @xmath447 the operations of deleting edges @xmath270 and @xmath307 anticommute , deleting either @xmath270 or @xmath307 anticommutes with @xmath448 and @xmath432 , and @xmath448 and @xmath432 anticommute with one another .
hence @xmath449    we turn to part ( iv ) .
it suffices to check that for any graph @xmath266 with internal vertex @xmath11 , @xmath450 since the operators @xmath438 all commute , we need only show that @xmath438 sends @xmath451 to zero .
first suppose that there is no edge in @xmath266 between the vertices @xmath11 and @xmath418 .
then @xmath452 and this is zero since the @xmath282 term cancels exactly with the @xmath453 term .
now suppose that there is an edge @xmath454 in @xmath266 between the internal vertex labelled @xmath11 and the external vertex @xmath418 .
then @xmath455 since @xmath456 so all terms cancel .
observe that @xmath457 lies in the image of @xmath425 .
since @xmath425 is injective we can thus regard @xmath442 as a linear map @xmath458 which clearly satisfies @xmath459 and , by lemma [ p - ops ] , descends to a map @xmath460 such that @xmath461 . on the other hand , lemma [ p - ops ]
implies that @xmath442 descends to the identity on @xmath403 . but the induced map on @xmath403 is equal to @xmath462
. therefore @xmath233 is bijective .
the complex @xmath403 has a descending filtration @xmath463 in which the @xmath11-th filtration level , @xmath464 , is the subcomplex spanned by projective graphs having at least @xmath11 edges connecting @xmath418 to other external vertices .
the filtration is well defined because the pinwheel relation does not affect edges between external vertices , and similarly , the differential is compatible with the filtration .
there is a spectral sequence @xmath465 associated with this filtration .
[ iso ] the map @xmath233 induces an isomorphism of complexes @xmath466 .
let us filter @xmath467 so that @xmath468 is spanned by elements @xmath469 where @xmath470 is a product of at least @xmath11 distinct generators @xmath208 .
the linear isomorphism @xmath427 respects the filtrations .
we show that if @xmath471 then @xmath472 where the error term , @xmath473 , is in strictly higher filtration , i.e. @xmath474 .
this will prove the lemma .
recall that @xmath475 has an edge from the external vertex @xmath418 to each internal vertex @xmath277 ; let @xmath422 denote this edge .
the differential of @xmath476 is a sum of terms of the form @xmath477  we now consider the various possible positions of the pair of adjacent edges @xmath282 in @xmath476 .
case 1 : @xmath270 is an internal edge from @xmath478 to @xmath479 . if @xmath307 connects @xmath479 to the external vertex @xmath418 , then @xmath480 . to see that the orientations agree ,
suppose @xmath266 has affine orientation @xmath52 .
then @xmath475 has projective orientation @xmath481 where @xmath482 here stands for a wedge product of the boundary edges incident at @xmath418 corresponding to the class @xmath470 , and @xmath477 has projective orientation @xmath483 which is precisely the projective orientation of @xmath484 . if @xmath307 connects @xmath479 to a vertex that is not @xmath418 then
@xmath485 because this graph has a double edge coming from the edges @xmath486 and @xmath487 in @xmath488 .
case 2 : @xmath270 goes from an external vertex @xmath489 to an internal vertex @xmath277 . if @xmath490 is the edge from @xmath418 to @xmath277 , then @xmath491 as in case 1 .
the remaining possibilities for the position of @xmath307 will contribute only to the error term @xmath473 . if @xmath492 then @xmath493 is in strictly higher filtration because it has an additional external edge between @xmath52 and @xmath418 .
case 3 : @xmath270 goes from @xmath418 to an internal vertex @xmath277 .
the internal vertices are at least 4-valent , so there are at least 3 edges connecting @xmath277 to vertices @xmath494 other than @xmath418 .
we may assume that @xmath307 is not the edge from @xmath277 to @xmath349 . if @xmath349 is internal then @xmath495 because it has a double edge coming from the edges from @xmath349 to @xmath277 and from @xmath349 to @xmath418 in @xmath475 .
if @xmath349 is external then @xmath496 has one more edge than @xmath475 connecting @xmath349 to @xmath418 and thus lives in higher filtration .    by lemma [ iso ]
the @xmath497-term is @xmath498 . on the other hand by definition of the affine graph complex ( definition [ agc ] ) , and since kontsevich s graph complex @xmath499 is a resolution of @xmath500 , @xmath501 we claim that the spectral sequence collapses at the @xmath497-term .
the projection @xmath502 is surjective in cohomology because the forms @xmath244 generate the cohomology ring of @xmath94 and @xmath244 is the image of the graph with a single edge between external vertices labelled @xmath49 and @xmath214 .
thus the dimension of @xmath503 is not smaller than the dimension @xmath404 .
the isomorphism @xmath504 and finite dimensionality imply that @xmath505 and @xmath506 is an isomorphism of cyclic cooperads .
in this section we construct a quasi - isomorphism @xmath507 where @xmath508 is the complex of `` piecewise semi - algebraic forms '' .
the idea is as follows .
a graph @xmath264 determines a differential form on @xmath509 given by multiplying @xmath244 1-forms corresponding to the edges , and one then integrates this form along the fibres of the bundle @xmath510 to obtain a form on @xmath147 .
both the integrand and the integration map have a sign ambiguity , but if @xmath266 has a projective orientation then these sign ambiguities are resolved .
the differential form that results is generally _ not _ smooth , and so we must pass to the semi - algebraic setting in which the kontsevich integral is well - defined .
given a semi - algebraic manifold , the complex of _ minimal _ forms , @xmath511 , is spanned by elements @xmath512 where the @xmath513 are semi - algebraic functions .
the complex of @xmath514 forms , @xmath515 , consists of those forms which can be written as a pushforward of a minimal form .
when @xmath168 is smooth , the commutative differential graded algebra of @xmath514 forms is quasi - isomorphic to the ordinary smooth forms .
we first recall some facts about semi - algebraic fibrewise integration .
suppose @xmath516 is a semi - algebraic fibre bundle with @xmath1-dimensional compact fibres and equipped with a fibrewise orientation .
integration of forms fibrewise defines a map ( see ( * ? ? ?
* section 8) ) @xmath517 in particular , if @xmath518 restricts to a volume form on each fibre then @xmath519 is the semi - algebraic function on @xmath520 which sends @xmath521 to the volume of the fibre over @xmath50
.    we shall need _ iterated _ fibrewise integrals at several points in this section . as the theory is developed in @xcite ,
the pushforward of a minimal form is a @xmath514 form by definition , and the pushforward of a @xmath514 form is not defined .
note that the minimal forms constitute a sub - cdga of all @xmath514 forms .
[ twosteps ] if @xmath522 and @xmath523 are semi - algebraic bundles with compact oriented fibres , and @xmath524 is a minimal form on @xmath163 such that @xmath525 is a minimal form on @xmath520 , then @xmath526 is defined and @xmath527    this is a slight generalisation of ( * ? ? ?
* prop 8.11 ) and has a similar proof .    given any form @xmath528
, one has the push - pull formula ( ( * ? ? ?
* prop . 8.13 ) ) , @xmath529 now recall the fibrewise stokes formula .
8.10 ) [ stokes ] let @xmath516 be a semi - algebraic bundle of oriented @xmath11-manifolds with boundary , with @xmath530 denoting the associated fibrewise boundary bundle . then , giving the boundary the induced orientation , @xmath531 for any form @xmath532 .
we first define @xmath533 on the subcomplex @xmath534 of graphs with no internal vertices .
let @xmath535 be such a graph with edge set @xmath163 and orientation ray in @xmath265 spanned by @xmath536 .
an edge @xmath270 between vertices @xmath182 and @xmath277 determines a semi - algebraic minimal 1-form @xmath537 where @xmath538 forgets all marked points except @xmath182 and @xmath277 . define @xmath539    recall that ( the equivalence class of ) a projectively oriented graph @xmath266 with internal vertex set @xmath259 and external vertex set @xmath56 can be written as @xmath540 for some ray @xmath338 and graph @xmath541 .
we then define @xmath542 where the fibrewise orientation of @xmath543 is determined by the ray @xmath344 as described in section [ orientations ] .
we prove in lemma [ kont - integral - properties ] below that @xmath533 respects the relations @xmath382 of definition [ defproj ] , and hence it descends to a map from @xmath296 , that we denote by the same name .
[ kont - integral - properties ] the kontsevich integral satisfies    * @xmath544 . * @xmath533 vanishes on graphs having an internal vertex of valence @xmath297 . * @xmath533 vanishes on graphs which have a connected component containing at most one vertex in @xmath56 and at least one internal vertex . *
the pinwheel ideal is contained in the kernel of @xmath533 .
hence we have a well - defined morphism @xmath545 of graded algebras .    statement ( i )
is trivial . for ( ii ) ,
suppose @xmath266 has a trivalent internal vertex @xmath52 adjacent to vertices @xmath182 , @xmath277 and @xmath311 as below .    by proposition [ twosteps ]
one may integrate out the internal vertices by first integrating out @xmath52 and then integrating out the remaining internal vertices , i.e. @xmath546 where if @xmath547 has fibrewise orientation @xmath548 then @xmath549 has fibrewise orientation @xmath550 and @xmath551 has its standard fibrewise orientation .
this works because the integrand @xmath552 is the product of @xmath553 with a minimal form @xmath554 that is independent of @xmath52 , so by formula , @xmath555 is equal to the product of @xmath554 with the @xmath514 form @xmath556 and since the fibres of @xmath557 have dimension 3 , is a semi - algebraic function on @xmath558 , and so @xmath555 is minimal .
putting @xmath182 , @xmath277 and @xmath311 at @xmath223 , @xmath224 and @xmath225 identifies each fibre with the complement of a codimension 1 semi - algebraic subset of the unit tangent circle bundle of the riemann sphere punctured at @xmath223 , @xmath224 and @xmath225 , @xmath559 , and the differential form @xmath553 extends to @xmath559 .
complex conjugation is an orientation - preserving diffeomorphism of the tangent circle bundle , and it reverses the sign of @xmath560 since it reverses the sign of each of the three factors . hence the integral over each fibre is zero , and the fibrewise integral is identically zero .
statement ( iii ) follows from kontsevich s lemma on vanishing of integrals over configuration spaces ( * ? ? ?
* lemma 6.4 ) .
we choose an external vertex as the point at infinity , and write a form @xmath552 as polynomial in the forms @xmath201 and @xmath561 . integrate out the internal vertices by first integrating out the tangent ray decorations at the internal vertices , resulting in a @xmath514 and in fact minimal form on a configuration space ; what remains is a configuration space integral of the form that kontsevich s lemma refers to .    for ( iv ) we will in show that if @xmath277 is an internal vertex then integrating out the tangent ray decoration at @xmath277 sends the element @xmath562 to zero .
write the orientation of @xmath563 as @xmath564 where @xmath565 is the set of edges incident at @xmath277 .
let @xmath566 denote the opposite endpoint of @xmath567 .
then @xmath568 and integrating out the decoration at @xmath277 extracts the coefficient of @xmath569 .
it is not hard to see that the coefficient of @xmath569 is in fact zero .
here we shall prove the following .
[ differential - of - graph ] the linear map @xmath545 commutes with the differentials and is thus a morphism of differential graded algebras    let @xmath305 be a projectively oriented graph .
we will prove this theorem by using the stokes formula to compute the exterior derivative of the pa form @xmath570 .
write @xmath571 . by the fibrewise stokes formula ( theorem [ stokes ] ) , @xmath572 since @xmath552 is closed
. we can factor @xmath573 into the composition of first forgetting the points in @xmath574 and then forgetting the remaining internal vertices : @xmath575 by lemma [ fibrewise - boundary ] , the fibrewise boundary component @xmath576 is the ( closure of the ) locus where a node separates the sphere into two lobes @xmath577 , with the points labelled by @xmath151 on the lobe @xmath578 .
the map @xmath579 forgets the first lobe if @xmath580 , and collapses it to a single marked point if @xmath148 contains an external vertex ; hence it is a semi - algebraic fibre bundle , and in fact it is trivial .
if @xmath581 then the corresponding term in the stokes formula vanishes : @xmath582    consider performing the fibrewise integration by first integrating along the fibres of @xmath583 and then integrating out the remaining internal vertices .
furthermore , consider performing the integral over the fibres of @xmath584 by first integrating out the tangent ray decorations of the points in @xmath574 and then integrating out the positions of these points : @xmath585 since iterated integration of @xmath514 forms is not defined in general , we must justify as above both of these iterated integrations .
we will see that each successive integration results again in a minimal form , so the iteration is allowed .
relative to a choice of a point @xmath586 as point at infinity , the form @xmath552 can be expanded in terms of the affine presentation generators as in the proof of lemma [ kont - integral - properties ] ( iii),(iv ) . integrating out the @xmath587 decorations then yields a polynomial @xmath588 in @xmath201 forms and @xmath561 forms for @xmath589 , and hence a minimal form . on the locus @xmath576 ,
let @xmath590 denote the node between the two lobes . on this locus , if @xmath591 and @xmath592 then @xmath593 .
hence each monomial in @xmath29 factors as a product @xmath594 , where @xmath595 is a monomial of @xmath470 and @xmath596 forms on the second lobe ( relative to @xmath52 and including @xmath590 as a marked point ) and @xmath597 is a monomial of only @xmath470 forms on the first lobe ( relative to @xmath590 ) .
now , integrating out the @xmath587 positions , @xmath598 and if @xmath581 then @xmath599 by kontsevich s vanishing lemma ( * ? ? ?
* lemma 6.4 ) .
thus the only fibrewise boundary components which contribute are those for which @xmath600 .
if @xmath601 then we will write @xmath602 . we will now compute the stokes boundary term @xmath603 .
factor @xmath604 as @xmath605 the first map is given its standard fibrewise orientation and the second map is given the fibrewise orientation @xmath606 , where @xmath338 is the fibrewise orientation of @xmath547 .
note that with these choices of orientation , @xmath607 the stokes formula then becomes @xmath608 where the sum runs over unordered pairs @xmath609 at most one of which is external ( if one is internal then we call it @xmath277 , and if both are internal then we choose one to call @xmath277 ) .
[ key - relation ] suppose we are given four distinct vertices @xmath610 . then on @xmath611 , @xmath612    we can consider @xmath52 to be at infinity and in the corresponding affine presentation , @xmath613 .
hence , on @xmath611 we have the relation @xmath614 .
the result follows from multiplying both sides with @xmath615 since 1-forms anticommute .
[ volume - forms ] for any triple of vertices @xmath616 , the 2-form @xmath617 is a fibrewise negative unit volume form for @xmath618 .    in terms of the affine presentation ( relative to @xmath311 ) , one sees that @xmath619 is a fibrewise negative unit volume form for @xmath620 as follows .
we factor @xmath621 as @xmath622 , and each of these maps has a fibrewise orientation as described in section [ orientations ] .
the form @xmath569 is a fibrewise positive unit volume form for @xmath623 .
the form @xmath624 is a negative fibrewise unit volume form for the restriction of @xmath625 to the face @xmath626 .
translating to the cyclic presentation , @xmath627 since @xmath628 is constant on the fibres of @xmath629 , the first term in the final line integrates to zero on each fibre , and so we obtain the result .
[ boundary - expansion ] consider a vertex set @xmath630 .
on the boundary component @xmath631 the following identity holds .
@xmath632    use induction on @xmath11 and the relation .
suppose @xmath266 is a projective graph .
write @xmath633 .
given an edge @xmath270 between vertices @xmath634 with @xmath277 internal ( if @xmath182 is internal as well then we orient @xmath270 with head at @xmath277 ) and a second edge @xmath307 meeting @xmath277 , @xmath635 where the sign comes from sliding @xmath277 to the left past the edges @xmath636 . by lemmas [ boundary - expansion ] and [ volume - forms ] , @xmath637 by combining these
we find that @xmath638 summing this over all unordered pairs @xmath639 and using then gives the desired result .      as an illustration of theorem [ differential - of - graph ] ,
let us consider the product @xmath640 corresponding to the graph @xmath266 shown below ,    with internal vertex @xmath277 and projective orientation @xmath641 .
we can express @xmath642 as a linear combination of edge forms as follows .
on @xmath643 , @xmath644 by lemma [ volume - forms ] , @xmath645 this corresponds to the sum of graphs    where each is given the orientation induced from that of @xmath266 by first deleting an edge and then contracting the @xmath646 edge . from this one
finds that @xmath647
the @xmath514-forms on @xmath17 do not constitute a cyclic cooperad because the exterior product of forms , @xmath648 is invertible up to quasi - isomorphism but not on the nose .
however , lemma [ cooperad - diagram ] below shows compatibility between the cyclic operad structure on @xmath17 and the cyclic cooperad structure on @xmath440 .
if @xmath182 and @xmath277 are both in @xmath33 then commutativity of the diagram @xmath653 implies the formula in this case ; the reasoning is the same when @xmath654 .
suppose now that @xmath655 and @xmath656 .
choosing an identification @xmath97 , the map @xmath657 corresponds with the product map @xmath658 , and @xmath659 .
commutativity of the diagram @xmath660 then implies the formula .
[ cooperad - diagram ] ( c.f .
* proposition 8.19 ) . ) the following diagram commutes : @xmath661{e , t}{_i\bullet_j }   \node[2]{{\mathcal{pg}}_{i \sqcup \{x\ } } \otimes { \mathcal{pg}}_{j\sqcup\{y\ } } }    \arrow{s , r}{{\mathscr{i}}\otimes { \mathscr{i } } } \\
\node { \omega_{pa}^*({f\underline{\mathcal{m}}}_{i\sqcup j } ) }    \arrow{se , t}{({_x\circ_y})^ * }    \node[2]{\omega_{pa}^*({f\underline{\mathcal{m}}}_{i\sqcup\{x\ } } ) \otimes      \omega_{pa}^*({f\underline{\mathcal{m}}}_{j\sqcup\{y\ } } ) . }
\arrow{sw } \\
\node[2]{\omega_{pa}^*({f\underline{\mathcal{m}}}_{i\sqcup \{x\ } } \times { f\underline{\mathcal{m}}}_{j\sqcup \{y\ } } ) } \end{diagram}\ ] ]    the composition map @xmath662 is a principal @xmath184-bundle over its image @xmath663 , where the circle action is by rotating the rays at the @xmath52 and @xmath53 points in opposite directions . consider a graph @xmath664 with set of internal vertices @xmath259 .
there are pullback squares @xmath665 and @xmath666 on each fibre over @xmath663 the quotient map @xmath667 is a diffeomorphism in the interior and finite
to1 on the boundary . with this observation and the above pullback squares
, one has @xmath668 where we choose compatible fibrewise orientations for @xmath137 and @xmath669 .
the lemma now follows directly from this , lemma [ pullback - lemma ] , and the definition of the cooperad structure on @xmath440 from section [ cooperad - structure ] .
the projective graph complexes @xmath670 collectively form a cyclic cooperad in the category of commutative dgas , and they are degree - wise finite dimensional .
hence the graded duals @xmath671 form a cyclic operad in the category of cocommutative differential graded coalgebras . the projections @xmath672 determine a quasi - isomorphism of cyclic cooperads , so the dual morphisms , @xmath673 constitute a quasi - isomorphism of cyclic operads .
let @xmath674 denote the symmetric monoidal functor of semi - algebraic chains with real coefficients @xcite .
this functor is weakly equivalent to the functor of real singular chains @xmath675 , so the cyclic operads @xmath18 and @xmath676 are weakly equivalent . by (
7.3 ) , if @xmath168 is compact then the natural evaluation map @xmath677 is a quasi - isomorphism .
although the complexes @xmath678 do not form a cyclic operad , the compositions @xmath679 give a quasi - isomorphism of cyclic operads by lemma [ cooperad - diagram ] .
this completes the proof .
j. giansiracusa and p. salvatore , formality of the framed little 2-discs and semidirect products . to appear in proceedings of `` homotopy theory of function spaces and related topics , '' oberwolfach ,
april 5 - 11 , 2009 .