---
abstract: 'We describe combinatorial Hopf (co-)operadic models for the Swiss Cheese operads built from Feynman diagrams. This extends previous work of Kontsevich and Lambrechts-Volić for the little disks operads.'
address: |
    Institute of Mathematics\
    University of Zurich\
    Winterthurerstrasse 190\
    8057 Zurich, Switzerland
author:
- Thomas Willwacher
bibliography:
- '../biblio.bib'
title: 'Models for the $n$-Swiss Cheese operads'
---

[^1]

Introduction
============

The little $n$-disks operads ${\mathsf{D}}_n$ are operads of rectilinear embeddings of "small" $n$-dimensional disks in the $n$-dimensional unit disk. The operadic composition is obtained by gluing one such configuration into one of the small disks, cf. Figure \[fig:LDcomposition\] below. Similarly, one may consider spaces ${\mathsf{D}}^1_n$ of rectilinear embedings of "small" disks and half-disks in the $n$-dimensional unit half-disk, such that the equators of the small half disks sit in the equatorial plane of the unit half-disk. $$\begin{tikzpicture}[scale=.7]
 \clip (-5,-.008) rectangle (5,5);
 \draw (0,0) circle (4);
 \node[draw, circle] at (-1,1.7) {1};
 \node[draw, circle, minimum width=10pt] at (2,2.1) {2};
 \draw (0,0) circle (4);
 \draw(-4,0) -- (4,0);
 \draw (-3,0) circle (.5);
 \node at (-3,0.2) {$\scriptstyle 1$};
 \draw (-.55,0) circle (1);
 \node at (-.55,0.5) {$3$};
 \draw (2,0) circle (.75);
 \node at (2,0.3) {$2$};
\end{tikzpicture}$$ By gluing such configurations, one can can naturally define a two-colored operad structure on the pair ${\mathsf{SC}}_n=({\mathsf{D}}_n,{\mathsf{D}}_n^1)$, which is called the $n$-dimensional Swiss Cheese operad, cf. @voronov_swisscheese. The little disks and Swiss-Cheese operads play a central role in several disciplines of mathematics. In particular, understanding their rational homotopy theory is important for computing the factorization homology of manifolds with boundary @AyalaFrancis, and in the embedding calculus for such manifolds @GoodwillieWeiss.

The goal of this short note is to describe real combinatorial (cofibrant) dg Hopf cooperad models for the topological colored operads ${\mathsf{SC}}_n$. We expect that the result will have applications in the aforementioned areas of mathematics.

In fact, we will work with versions of the Swiss Cheese operads built from configuration spaces of points rather than configurations of disks as in @voronov_swisscheese. Concretely, the topological operad ${\mathsf{FM}}_n$ is defined as a compactification of the space of configurations of finite sets of points in ${{\mathbb{R}}}^n$, modulo scaling and translation. It is homotopic to ${\mathsf{D}}_n$, see @K2. Similarly, the (homotopic) variant of ${\mathsf{D}}_n^1$ are configurations of points in the upper halfplane and on the real axis, modulo scaling and translation, suitably compactified so that the operadic compositions are defined @voronov_swisscheese. We denote these configuration spaces collectively by ${\mathsf{FM}}_n^1$, and the two-colored topological operad formed by $${\mathsf{SFM}}_n=({\mathsf{FM}}_n,{\mathsf{FM}}_n^1).$$ In fact, ${\mathsf{SFM}}_n$ is an operad of semi-algebraic manifolds, and in each fixed arity we may consider the dg algebras of PA forms @HLTV on the underlying configuration spaces. We denote this collection by $\Omega_{{{\mathit{PA}}}}({\mathsf{SFM}}_n)$.

The main result of this paper is to describe a combinatorial 2-colored differential graded Hopf[^2] cooperad ${{\mathsf{SGraphs}}}_n=({{\mathsf{Graphs}}}_n, {{\mathsf{Graphs}}^1}_n)$ with a map (of colored collections) ${{\mathsf{SGraphs}}}_n\to \Omega_{{{\mathit{PA}}}}({\mathsf{SFM}}_n)$ that satisfies the following properties:

-   In each arity the map is a quasi-isomorphism of differential graded commutative algebras.

-   The map is compatible with the (co)operadic (co)compositions in the sense that the following diagrams commute: $$\label{equ:opcompat1}
      \begin{tikzcd}
       {{\mathsf{Graphs}}}_n(r) \ar{r} \ar{dd} & \Omega_{{{\mathit{PA}}}}({\mathsf{FM}}_n(r)) \ar{d} \\
       & \Omega_{{{\mathit{PA}}}}({\mathsf{FM}}_n(r-k+1)\times {\mathsf{FM}}_n(k)) \\
       {{\mathsf{Graphs}}}_n(r-k+1)\otimes {{\mathsf{Graphs}}}_n(k) \ar{r} & \Omega_{{{\mathit{PA}}}}({\mathsf{FM}}_n(r-k+1))\otimes \Omega_{{{\mathit{PA}}}}({\mathsf{FM}}_n(k)) \ar{u}
      \end{tikzcd}$$ $$\label{equ:opcompat2}
      \begin{tikzcd}
       {{\mathsf{Graphs}}}_n^1(r,s) \ar{r} \ar{dd} & \Omega_{{{\mathit{PA}}}}({\mathsf{FM}}_n^1(r,s)) \ar{d} \\
       & \Omega_{{{\mathit{PA}}}}({\mathsf{FM}}_n^1(r-k, s-l+1)\times {\mathsf{FM}}_n^1(k,l)) \\
       {{\mathsf{Graphs}}}_n^1(r-k,s-l+1)\otimes {{\mathsf{Graphs}}}_n^1(k,l) \ar{r} & \Omega_{{{\mathit{PA}}}}({\mathsf{FM}}_n^1(r-k, s-l+1))\otimes \Omega_{{{\mathit{PA}}}}({\mathsf{FM}}_n^1(k,l)) \ar{u}
      \end{tikzcd}$$ $$\label{equ:opcompat3}
      \begin{tikzcd}
       {{\mathsf{Graphs}}}_n^1(r,s) \ar{r} \ar{dd} & \Omega_{{{\mathit{PA}}}}({\mathsf{FM}}_n^1(r,s)) \ar{d} \\
       & \Omega_{{{\mathit{PA}}}}({\mathsf{FM}}_n^1(r-k+1,s)\times {\mathsf{FM}}_n(k)) \\
       {{\mathsf{Graphs}}}_n^1(r-k+1,s)\otimes {{\mathsf{Graphs}}}_n(k) \ar{r} & \Omega_{{{\mathit{PA}}}}({\mathsf{FM}}_n^1(r-k+1,s))\otimes \Omega_{{{\mathit{PA}}}}({\mathsf{FM}}_n(k)) \ar{u}
      \end{tikzcd}$$

-   The graded commutative algebras underlying ${{\mathsf{SGraphs}}}$ are free.

Given the above properties, we consider ${{\mathsf{SGraphs}}}_n$ to be a dg commutative algebra model for the topological Swiss Cheese operads ${\mathsf{SFM}}_n$ and ${\mathsf{SC}}_n$.

In fact, our construction is merely an extension to the Swiss-Cheese setting of a similar construction of Kontsevich @K2 for the little $n$-disks operads, which was implemented in detail and more rigor by Lambrechts and Volić @LV. Our contribution in this paper is to solve some technical issues which before have prevented this extension, and whose solution the author had missed in @graphthings.

To describe the model, let us quickly summarize Kontsevich's construction.[^3] For this one considers a cooperad ${{\mathsf{fGraphs}}}_n$ whose operations in arity $r$ are linear combinations of graphs with $r$ numbered ("external") vertices and an arbitrary (finite) number of unidentifiable "internal" vertices like the following: $$\label{equ:graphsexample}
 \begin{tikzpicture}[baseline=2ex]
  \node[ext] (v1) at (0,0) {$\scriptstyle 1$};
  \node[ext] (v2) at (2,0) {$\scriptstyle 2$};
  \node[ext] (v3) at (0,1) {$\scriptstyle 3$};
  \node[ext] (v4) at (2,1) {$\scriptstyle 4$};
  \node[int] (w1) at (.66,.5) {};
  \node[int] (w2) at (1.33,.5) {};
  \node[int] (w3) at (3,.5) {};
  \node[int] (w4) at (4,.5) {};
  \node[int] (w5) at (3,1.5) {};
  \node[int] (w6) at (4,1.5) {};
  \draw (v1) edge (v2) edge (v3) edge (w1)
        (w1) edge (w2) edge (v3)
        (w2) edge (v2) edge (v4)
        (w3) edge (w4) edge (w5) edge (w6)
        (w4) edge (w5) edge (w6)
        (w5) edge (w6);
 \end{tikzpicture}$$

For each such graph $\Gamma\in{{\mathsf{fGraphs}}}(r)$ (with, say, $k$ internal vertices) one may define a PA form $\omega_\Gamma\in \Omega_{{{\mathit{PA}}}}({\mathsf{FM}}_n(r))$. This is done by a fiber integral $$\label{equ:integral1}
  \omega_\Gamma = \int_{{\mathsf{FM}}_n(k+r)\to {\mathsf{FM}}_n(r)} \bigwedge_{(i,j)\text{ edge}} \pi_{ij}^*\Omega_{S^{n-1}},$$ where the integral is taken over the fiber of the forgetful map ${\mathsf{FM}}_n(k+r)\to {\mathsf{FM}}_n(r)$, and the integrand is obtained as a product of pullbacks of the round volume form on the sphere by the forgetful maps $$\pi_{ij} : {\mathsf{FM}}_n(k+r) \to {\mathsf{FM}}_n(2) =S^{n-1}$$ forgetting all but two points.

The spaces ${{\mathsf{fGraphs}}}_n(r)$ naturally assemble into a dg Hopf cooperad ${{\mathsf{fGraphs}}}_n$, and it can be checked using Stokes' Theorem that the map ${{\mathsf{fGraphs}}}_n\to \Omega_{{{\mathit{PA}}}}({\mathsf{FM}}_n)$ is compatible with all algebraic operations, in particular the cooperad structure in the sense of . However, the maps ${{\mathsf{fGraphs}}}_n(r)\to \Omega_{{{\mathit{PA}}}}({\mathsf{FM}}_n(r))$ are not quasi-isomorphisms (yet). To have a quasi-isomorphism, one has to pass to the connected quotient. We call a graph in ${{\mathsf{fGraphs}}}_n(r)$ *externally disconnected* if it has a connected component containing only internal vertices but no external. For example, the graph in the above picture is externally disconnected. One then has the following result.

\[Kontsevich <span>@K2</span>, Lambrechts-Volić<span>@LV</span>\] \[thm:KLV\] The space of externally disconnected ${{\mathsf{fGraphs}}}_n^{disc}$ is a bi-ideal, so that the quotient collection $${{\mathsf{Graphs}}}_{n} = {{\mathsf{fGraphs}}}_n / {{\mathsf{fGraphs}}}_n^{disc}$$ inherits a dg Hopf cooperad structure.

The map ${{\mathsf{fGraphs}}}_n\to \Omega_{{{\mathit{PA}}}}({\mathsf{FM}}_n)$ factors through ${{\mathsf{Graphs}}}_n$, and the map $${{\mathsf{Graphs}}}_n \to \Omega_{{{\mathit{PA}}}}({\mathsf{FM}}_n)$$ is a quasi-isomorphism compatible with all algebraic structures.

In this paper, we extend the Kontsevich construction as follows. To model the spaces ${\mathsf{FM}}_n^1(r,s)$ of configurations of $r$ points in the halfspace and $s$ on the boundary, we consider the dg commutative algebra ${{\mathsf{fGraphs}}}_n^1(r,s)$, whose elements are linear combinations of directed graphs with two types of vertices (usually denoted by type I and type II), with $r$ type one vertices and $s$ type II vertices numbered ("external"), and the remainder of vertices unidentifiable ("internal"), as for example in the following picture. $$\label{equ:kgraphsexample}
  \begin{tikzpicture}
  \draw (-.5,-.5) -- (4.5,-.5);
  \node[ext] (v1) at (0,0) {$\scriptstyle 1$};
  \node[ext, fill=white] (v2) at (2,-.5) {$\scriptstyle 1$};
  \node[ext] (v3) at (0,1) {$\scriptstyle 2$};
  \node[ext] (v4) at (2,1) {$\scriptstyle 3$};
  \node[ext, fill=white] (v5) at (0,-.5) {$\scriptstyle 2$};
  \node[int] (w1) at (.66,.5) {};
  \node[int] (w2) at (1.33,.5) {};
  \node[int] (w3) at (3,.5) {};
  \node[int] (w4) at (4,.5) {};
  \node[int] (w5) at (3,1.5) {};
  \node[int] (w6) at (4,1.5) {};
  \node[int] (u1) at (1,-.5) {};
  \node[int] (u2) at (3,-.5) {};
  \draw[-latex] (v1) edge (v2) edge (v3) edge (w1)
        (w1) edge (w2) edge (v3)
        (w2) edge (v2) edge (v4)
        (w3) edge (w4) edge (w5) edge (w6)
        (w4) edge (w5) edge (w6)
        (w5) edge (w6)
        (v4) edge (u1) edge(u2)
        (w3) edge (u2);       
 \end{tikzpicture}$$ For $n=2$ we require in addition that all type II vertices (internal and external) are equipped with a linear ordering, which we indicate by drawing these vertices on a line as above.

Now, to each such graph $\Gamma\in {{\mathsf{fGraphs}}}_n^1(r,s)$ (with say $k$ and $l$ internal vertices of types I and II) we may associate a differential form $\omega^1_\Gamma\in\Omega_{{{\mathit{PA}}}}({\mathsf{FM}}_n^1(r,s))$ by the following variant of above: $$\label{equ:integral2}
 \omega_\Gamma^1 = \int_{{\mathsf{FM}}_n^1(r+k,s+l)\to{\mathsf{FM}}_n^1(r,s)}
 \bigwedge_{(i,j)\text{ edge}}
 \pi_{ij}^*\Omega_{S^{n-1}}.$$ Here the integral is again over the fiber of the forgetful map. The integrand is again a product of pullbacks of the round volume form on the sphere along the forgetful maps $$\pi_{ij}: {\mathsf{FM}}_n^1(r+k,s+l) \to 
 \begin{cases}
  {\mathsf{FM}}_n^1(2,0) &\text{for $i,j$ of type I} \\
  {\mathsf{FM}}_n^1(1,1) &\text{for $i$ of type I, $j$ of type II}
 \end{cases}
 \to S^{n-1},$$ where the final projection is by projecting the $j$-th point into the unit sphere in the tangent space at the $i$-th point, along the hyperbolic geodesic, as indicated in the following picture (for 2 dimensions). $$\label{equ:hyperbolicanglepicture}
\begin{tikzpicture}[scale=.7]
\draw (-3,0)--(3,0);
\node[int, label=30:{$i$}] (v1) at (1,3) {};
\node[int, label=180:{$j$}] (v2) at (-2,1) {};
\draw[dashed] (v1)+(0,-.5) -- +(0,3);
\draw (v1)+(80:.8) arc (80:195:.8);
\clip (-5,-.5) rectangle (2.5,4);
\node [draw, dashed] at (.84,0) [circle through={(v1)}] {};
\draw[-triangle 60] (v1)--(v2);
\end{tikzpicture}$$ Analogously to the little-disks setting, one may again endow the pair $${\mathsf{fSGraphs}}_n=({{\mathsf{fGraphs}}}_n, {{\mathsf{fGraphs}}}_n^1)$$ with a two-colored dg Hopf operad structure, such that the maps $${\mathsf{fSGraphs}}_n\to \Omega({\mathsf{SFM}}_n)$$ are compatible with all algebraic structures. Continuing in analogy with the little disks setting, we wish to (i) define a bi-ideal of "externally disconnceted" graphs ${\mathsf{fSGraphs}}_n^{disc}$ such that the map ${\mathsf{fSGraphs}}_n\to \Omega({\mathsf{SFM}}_n)$ factors through the quotient, and such that (ii) this map on the quotient is a quasi-isomorphism. We note that step (i) is not obvious if $n=2$, since the naive definition of having connected components with only internal vertices does not work. Computing the cohomology in step (ii) is a bit more complicated than in the little disk setting, owed in part to the fact that the Swiss-Cheese operads are not formal @livernet. The contribution of this note is to solve the problems (i) and (ii) and show the following result.

\[thm:main\] There is a natural Hopf cooperadic bi-ideal ${\mathsf{fSGraphs}}_n^{disc}\subset {\mathsf{fSGraphs}}_n$ such that the map $ {\mathsf{fSGraphs}}_n\to \Omega({\mathsf{SFM}}_n)$ factors through the quotient dg Hopf cooperad $${{\mathsf{SGraphs}}}_n =    {\mathsf{fSGraphs}}_n / {\mathsf{fSGraphs}}_n^{disc},$$ and such that the induced map ${{\mathsf{SGraphs}}}_n\to \Omega({\mathsf{SFM}}_n)$ is a quasi-isomorphism compatible with the differential graded commutative algebra structures and the (co)operadic (co)compositions as in -.

Furthermore, one can easily check that all arity components of ${{\mathsf{SGraphs}}}_n$ are free as graded commutative algebras, and thus ${{\mathsf{SGraphs}}}_n$ forms the desired dgca model (in the sense described above) for the Swiss-Cheese operad ${\mathsf{SC}}_n$.

The remainder of this paper is organized as follows: Section \[sec:notation\] is devoted to a somewhat more careful recollection/definition of the notation, in particular of the graphical models sketched above. Section \[sec:ideal\] discusses the bi-ideal ${\mathsf{fSGraphs}}_n^{disc}$. The cohomology computation for the quotient that finishes the proof of Theorem \[thm:main\] is contained in section \[sec:cohom\]. Finally, in section \[sec:application\] we present an application of our result to deformation quantization: We show that any $L_\infty$ stable formality morphism may be extended (up to homotopy, see Theorem \[thm:defq\] below) to a homotopy Gerstenhaber formality morphism.

$$\begin{tikzpicture}[baseline=-.65ex,yshift=-1cm]
\draw (1,1) circle (1.2);
\node[draw,circle, minimum height=.5cm,minimum width=.5cm] at (.5,.5) {1};
\node[draw,circle,minimum height=.5cm,minimum width=.5cm] at (.7,1.5) {2};
\node[draw,circle, minimum height=.9cm,minimum width=.9cm] at (1.33,.65) {3};
\end{tikzpicture}
\circ_3
\begin{tikzpicture}[baseline=-.65ex]
\draw (0,0) circle (1.2);
\node[draw,circle, minimum height=.8cm,minimum width=.8cm] at (-.5,0) {a};
\node[draw,circle, minimum height=.8cm,minimum width=.8cm] at (.5,0) {b};
\end{tikzpicture}
=
\begin{tikzpicture}[baseline=-.65ex,yshift=-1cm]
\draw (1,1) circle (1.2);
\node[draw,circle, minimum height=.5cm,minimum width=.5cm] at (.5,.5) {1};
\node[draw,circle,minimum height=.5cm,minimum width=.5cm] at (.7,1.5) {2};
\begin{scope}[xshift=1.43cm,yshift=.65cm, scale=.5]
\draw[dotted] (0,0) circle (1.2);
\node[draw,circle, minimum height=.1cm,minimum width=.1cm] at (-.5,0) {$\scriptstyle a$};
\node[draw,circle, minimum height=.1cm,minimum width=.1cm] at (.5,0) {$\scriptstyle b$};
\end{scope}
\end{tikzpicture}$$

Acknowledgements {#acknowledgements .unnumbered}
----------------

I am grateful for helpful discussions with Anton Khoroshkin and Victor Turchin. In particular, Anton and Sergei Merkulov have independently obtained (yet unpublished) results in the direction of those of the present paper.

Notation {#sec:notation}
========

We generally work over the ground field ${{\mathbb{R}}}$. All vector spaces and differential graded vector spaces considered are ${{\mathbb{R}}}$-vector spaces. We use cohomological conventions for all differential graded (dg) vector spaces we consider, i.e., the differential always has degree $+1$ under all circumstances. In particular, this means that, for example, the homology of a topological space is considered to be concentrated in non-positive degrees.

We use the language of operads and colored operads, and mostly follow the conventions of the textbook by Loday and Vallette @lodayval, to which we frequently appeal. Operads of particular importance for us are the associative operad ${\mathsf{Assoc}}$, the Lie operad ${\mathsf{Lie}}$, and the $n$-Poisson operad ${{{\mathsf{Pois}}}}_n$, generated by two binary operations of degree 0 and $1-n$. Finally, we will need the braces operad ${\mathsf{Br}}$, cf. @graphthings for the definition we will use here.

We denote the $k$-fold (de)suspension of an operad ${\mathcal}P$ by ${\mathcal}P\{k\}$, cf. @lodayval. In particular, we denote ${\mathsf{Lie}}_k:={\mathsf{Lie}}\{k-1\}$, so that one has a map ${\mathsf{Lie}}_n\to {{{\mathsf{Pois}}}}_n$.

At several (few) places we will use quasi-free resolutions of these operads. In particular, we denote by $${\mathsf{hoLie}}_2 =\Omega({\mathsf{Lie}}_2^\vee)$$ the operadic cobar construction of the Koszul dual cooperad ${\mathsf{Lie}}_2^\vee$ of ${\mathsf{Lie}}_2$. Similarly, we define ${\mathsf{hoPois}}_2 =\Omega({{{\mathsf{Pois}}}}_2^\vee)$.

Compactified configuration space operads {#sec:compactified}
----------------------------------------

Let us also briefly recall the definition of the compactified configuration spaces models ${\mathsf{SFM}}_n$ for the $n$-Swiss Cheese operads. First consider the space ${\mathrm{Conf}}_r({{\mathbb{R}}}^n)$ of $r$ distinguishable points in ${{\mathbb{R}}}^n$. It comes equipped with a natural action of the group ${{\mathbb{R}}}_{>0}\ltimes {{\mathbb{R}}}^n$ by scaling and translation. The Fulton-MacPherson-Axelrod-Singer compactification of the quotient $${\mathsf{FM}}_n(r) = ({\mathrm{Conf}}_r({{\mathbb{R}}}^n)/{{\mathbb{R}}}_+\ltimes {{\mathbb{R}}}^n)^-$$ is defined by iterated real blowups (or rather bordifications) of the boundary, cf. @GJ [@K1; @K2]. The spaces ${\mathsf{FM}}_n(-)$ naturally assemble into a topological operad ${\mathsf{FM}}_n$, with the operadic conposition defined by "inserting" one configuration of points at some point of another. The composition takes values on the boundary. One may or may not define ${\mathsf{FM}}_n(0)$ to consist of a single point, insertion of which is the forgetful map. To distinguish both variants we will call the "unital version" ${\mathsf{uFM}}_n$, with ${\mathsf{uFM}}_n(0)=*$, while ${\mathsf{FM}}_n(0)=\emptyset$. In this note, we will mostly disconsider this zero-ary operation until Remark \[rem:zeroary\].

Similarly, we consider the the space of configurations ${\mathrm{Conf}}_{r,s}({{\mathbb{R}}}_{\geq 0}\times{{\mathbb{R}}}^{n-1})$ of $r$ points in the upper halfspace ${{\mathbb{R}}}_{> 0}\times{{\mathbb{R}}}^{n-1}$ and $s$ points on the boundary ${{\mathbb{R}}}^{n-1}$. This configuration space admits a natural action of the group ${{\mathbb{R}}}_{>0}\ltimes {{\mathbb{R}}}^{n-1}$ by scaling and translation parallel to the boundary. One defines again the Fulton-MacPherson-Axelrod-Singer compactification of the quotient $${\mathsf{FM}^1}_n(r,s) = ({\mathrm{Conf}}_{r,s}({{\mathbb{R}}}_{\geq 0}\times{{\mathbb{R}}}^{n-1})/{{\mathbb{R}}}_+\ltimes {{\mathbb{R}}}^{n-1})^-.$$ Again, by insertion of configurations the pair ${\mathsf{SFM}}_n=({\mathsf{FM}}_n,{\mathsf{FM}^1}_n)$ defines a topological operad @voronov_swisscheese, which we will use as our variant of the $n$-Swiss Cheese operad. Finally, we will consider another a variant ${\mathsf{uSFM}}_n=({\mathsf{uFM}}_n,{{\mathsf{uFM}}^1}_n)$ by declaring that ${{\mathsf{uFM}}^1}_n(0,0)=*$, the additional operation acting by forgetting points.

Graphical (co)operads
=====================

We briefly recall here the definition of several combinatrial (co)operads. Most definitions have appeared in the literature, see, e.g., @LV [@graphthings; @K2; @K1]. Let ${{\mathrm{gra}}}_{r,k}$ be the set of directed graphs with vertex set $\{1,\dots,r\}$ and edges labelled by $\{1,\dots,k\}$. It carries a natural action of the group $S_k\ltimes (S_2)^k$ by permuting the edge labels and edge directions. One defines vector spaces $${{\mathsf{dGra}}}_n(r) := \bigoplus_k\left( {{\mathbb{R}}}\langle {{\mathrm{gra}}}_{r,k} \rangle\otimes ({{\mathbb{R}}}[n-1])^{\otimes k}\right)_{S_k}$$ where the action of $S_k$ is the diagonal one, by permutation of edge labels and of the weight factors ${\mathbb{R}}[n-1]$, with appropriate Koszul signs. The spaces ${{\mathsf{dGra}}}_n(r)$ assemble into a cooperad ${{\mathsf{dGra}}}_n$, with the right $S_r$ action by permuting vertex labels, and the cocomposition by "subgraph contraction", cf. Figure \[fig:dGracocomp\]. Futhermore, ${{\mathsf{dGra}}}_n$ is a Hopf cooperad, with the Hopf structure defined by gluing two graphs at their vertices.

$$\begin{tikzpicture}[baseline=-.65ex]
  \node (v1) at (0,.2) {$\scriptstyle 1$};
  \node (v2) at (0.5,.2) {$\scriptstyle 2$};
  \coordinate (vp) at (1,.2) ;
  \coordinate (vpp) at (.5,.6) ;
  \node (v3) at (0.7,-.2) {$\scriptstyle 3$};
  \node (v4) at (1.3,-.2) {$\scriptstyle 4$};
  \draw (vpp) edge (v1) edge (v2) edge (vp) edge +(0,.3)
  (vp) edge (v3) edge (v4);
 \end{tikzpicture}
 \colon\quad
  \begin{tikzpicture}[baseline=-.65ex]
   \node[ext] (v1) at (-.5,-.5) {$\scriptstyle 1$};
   \node[ext] (v2) at (.5,-.5) {$\scriptstyle 3$};
   \node[ext] (v3) at (.5,.5) {$\scriptstyle 4$};
   \node[ext] (v4) at (-.5,.5) {$\scriptstyle 2$};
   \draw[-latex] (v1) edge (v4) edge (v2)
   (v3) edge (v4) edge (v2);
   \draw[dotted] (.5,0) ellipse (.3 and .8); 
  \end{tikzpicture}
\mapsto 
  \begin{tikzpicture}[baseline=-.65ex]
   \node[ext] (v1) at (-.5,-.5) {$\scriptstyle 1$};
   \node[ext] (vx) at (.5,0) {$\scriptstyle *$};
   \node[ext] (v4) at (-.5,.5) {$\scriptstyle 2$};
   \draw[-latex] (v1) edge (v4) edge (vx)
   (vx) edge (v4);
  \end{tikzpicture}
  \otimes 
    \begin{tikzpicture}[baseline=-.65ex]
   \node[ext] (v2) at (.5,-.5) {$\scriptstyle 3$};
   \node[ext] (v3) at (.5,.5) {$\scriptstyle 4$};
   \draw[-latex] (v3) edge (v2);
  \end{tikzpicture}$$

There is furthermore an interesting quotient Hopf cooperad $${{\mathsf{Gra}}}_n \leftarrow {{\mathsf{dGra}}}_n$$ obtained by identifying a directed edge with $(-1)^{n}$ times the oppositely directed edge. The Hopf operad ${{\mathsf{Gra}}}_n$ (and hence also ${{\mathsf{dGra}}}_n$) comes equipped with a natural map $${{\mathsf{Gra}}}_n \to \Omega_{{\mathit{PA}}}({\mathsf{FM}}_n)$$ by sending a graph $\Gamma$ to the differentlal form $$\omega_\Gamma' := \bigwedge_{(i,j)} \pi_{ij}^* \Omega_{S^{n-1}}$$ where the product is over the edges in the graph, $$\pi_{ij} : {\mathsf{FM}}_n(r) \to {\mathsf{FM}}_n(2) \cong S^{n-1}$$ is the forgetful map forgetting all points but points $i$ and $j$, and finally $\Omega_{S^{n-1}}$ is the round volume form on the sphere $S^{n-1}$. Furthermore, there is a natural map of Hopf cooperads ${{\mathsf{Gra}}}_n\to {{\mathsf{Pois}}}_n^*$, (pre-)dual to the map of Hopf operads ${{\mathsf{Pois}}}_n\to {{\mathsf{Gra}}}_n^*$ which maps the product and bracket generators as follows: $$\begin{aligned}
- \wedge - &\mapsto 
\begin{tikzpicture}[baseline=-.65ex]
\node[ext] (v) at (0,0) {1};
\node[ext] (w) at (0.7,0) {2};
\end{tikzpicture}
&
[-,-] &\mapsto 
\begin{tikzpicture}[baseline=-.65ex]
\node[ext] (v) at (0,0) {1};
\node[ext] (w) at (1,0) {2};
\draw (v) edge (w) ;
\end{tikzpicture}\,.\end{aligned}$$

From the cooperads ${{\mathsf{Gra}}}_n$ and ${{\mathsf{dGra}}}_n$ we may build further cooperads by (co)operadic twisting @vastwisting. Concretely, we define collections ${{\mathsf{fGraphs}}}_n$, ${{\mathsf{fdGraphs}}}_n$ such that $$\begin{aligned}
{{\mathsf{fGraphs}}}_n(r) &= \bigoplus_{r'\geq 0} ({{\mathsf{Gra}}}_n(r+r')\otimes ({\mathbb{R}}[-n])^{\otimes r'} )_{S_{r'}} \\
{{\mathsf{fdGraphs}}}_n(r) &= \bigoplus_{r'\geq 0} ({{\mathsf{dGra}}}_n(r+r')\otimes ({\mathbb{R}}[-n])^{\otimes r'} )_{S_{r'}}.\end{aligned}$$ In other words, one formally "fills" some of the "slots" in cooperations. In pictures, we will draw the corresponding (unlabeled) vertices black, cf. . We furthermore call the $r$ labelled vertices the "external" vertices and the ($r'$) black vertices the "internal" vertices. The collections ${{\mathsf{fGraphs}}}_n$ and ${{\mathsf{fdGraphs}}}_n$ carry natural dg Hopf cooperad structures. The differential is defined by contracting edges, removing one internal vertex, e.g., $$\begin{aligned}
 \begin{tikzpicture}[baseline=-.65ex, scale=.7]
  \node[int] (v) at (0,0) {};
  \node[int] (w) at (1,0) {};
  \draw[-latex] (v) edge (w);
  \draw (v) edge +(-.5,.5) edge +(-.5,0) edge +(-.5,-.5);
  \draw (w) edge +(.5,.5) edge +(.5,0) edge +(.5,-.5);
 \end{tikzpicture}
&\mapsto
 \begin{tikzpicture}[baseline=-.65ex, scale=.7]
  \node[int] (v) at (0,0) {};
  \draw (v) edge +(-.5,.5) edge +(-.5,0) edge +(-.5,-.5);
  \draw (v) edge +(.5,.5) edge +(.5,0) edge +(.5,-.5);
 \end{tikzpicture}
 &\text{or}
 & &
  \begin{tikzpicture}[baseline=-.65ex, scale=.7]
  \node[ext] (v) at (0,0) {};
  \node[int] (w) at (1,0) {};
  \draw (v) edge (w);
  \draw (v) edge +(-.5,.5) edge +(-.5,0) edge +(-.5,-.5);
  \draw (w) edge +(.5,.5) edge +(.5,0) edge +(.5,-.5);
 \end{tikzpicture}
&\mapsto
 \begin{tikzpicture}[baseline=-.65ex, scale=.7]
  \node[ext] (v) at (0,0) {};
  \draw (v) edge +(-.5,.5) edge +(-.5,0) edge +(-.5,-.5);
  \draw (v) edge +(.5,.5) edge +(.5,0) edge +(.5,-.5);
 \end{tikzpicture}\, .\end{aligned}$$ The Hopf structure is defined as before by gluing graphs at their external vertices, and the finally the cooperad structure is also defined as before by subgraph contraction.

There are a natural maps of Hopf cooperads ${{\mathsf{Gra}}}_n\to {{\mathsf{fGraphs}}}_n$, and the map ${{\mathsf{Gra}}}_n\to \Omega({\mathsf{FM}}_n)$ from before factors through ${{\mathsf{fGraphs}}}_n$. More concretely, a graph $\Gamma\in {{\mathsf{Gra}}}_n(r+r')$ is sent to the differential form $$\label{equ:Graphsintegral}
\omega_\Gamma = \int_{{\mathsf{FM}}_n(r+r')\to {\mathsf{FM}}_n(r)} \omega_\Gamma'$$ where $\int_{{\mathsf{FM}}_n(r+r')\to {\mathsf{FM}}_n(r)}: \Omega({\mathsf{FM}}_n(r+r'))\to \Omega(r)$ is the fiber integral, for a more precise definition of this operation we refer to @HLTV.

The map ${{\mathsf{fGraphs}}}_n\to \Omega({\mathsf{FM}}_n)$ is not a quasi-isomorphism. However, one may pass to a quotient operad $${{\mathsf{Graphs}}}_n \leftarrow {{\mathsf{fGraphs}}}_n$$ obtained by equating graphs to zero that contain connected components of only internal vertices. It is easy to check that for such graphs $\Gamma$ we have $\omega_{\Gamma}=0$ so that one obtains a map ${{\mathsf{Graphs}}}_n\to \Omega({\mathsf{FM}}_2)$. Now the main Theorem by Kontsevich, Lambrechts and Volić is that this map is a quasi-isomorphism.

\[Kontsevich @K2, Lambrechts-Volić @LV\] The map $${{\mathsf{Graphs}}}_n \to {{\mathsf{Pois}}}_n^*$$ is a quasi-isomorphism of Hopf cooperads. The map $${{\mathsf{Graphs}}}_n\to \Omega_{{{\mathit{PA}}}}({\mathsf{FM}}_2)$$ is a quasi-isomorphism of Hopf collections compatible with the (co)operadic compositions in the sense that the diagram \[equ:opcompat1\] commutes.

The goal of the present paper is to describe the generalization of the above construction to the Swiss Cheese setting. Define ${{\mathrm{kgra}}}_{r,s,k}$ to be the set of directed graphs with vertex set $\{1,\dots,r \}\sqcup \{\bar 1,\dots,\bar s\}$, and directed edges numbered $\{1,\dots, k\}$, such that no edge starts at a vertex in $\{\bar 1,\dots,\bar s\}$. Following Kontsevich, we call the vertices $\{1,\dots,r \}$ the type I vertices and the $\{\bar 1,\dots,\bar s\}$ the type II vertices. We define collections $${{\mathsf{Gra}}^1}_n(r,s) = 
\begin{cases}
\bigoplus_k\left( {{\mathbb{R}}}\langle {{\mathrm{kgra}}}_{r,s,k} \rangle\otimes ({{\mathbb{R}}}[n-1])^{\otimes k}\right)_{S_k} &\text{for $n>1$} \\
\bigoplus_k\left( {{\mathbb{R}}}\langle {{\mathrm{kgra}}}_{r,s,k} \rangle\otimes ({{\mathbb{R}}}[n-1])^{\otimes k} \otimes {{\mathbb{R}}}[S_s] \right)_{S_k} &\text{for n=1}
\end{cases}.$$ Note that we distinguish the case $n=1$, and the factor ${{\mathbb{R}}}[S_s]$ occurring in the definition may be interpreted as equipping our graphs with additional data, namely an additional linear ordering on the set of type II vertices. The bi-collection ${{\mathsf{Gra}}^1}_n$ carries a natural right comodule structure over the operad ${{\mathsf{dGra}}}_n$ by contracting subgraphs of type I vertices only. Furthermore, ${{\mathsf{dGra}}}_n$ and ${{\mathsf{Gra}}^1}_n$ assemble into a two-colored operad ${{\mathsf{SGra}}}_n$ such that $$\begin{aligned}
{{\mathsf{SGra}}}_n^1(r,s) &=  
\begin{cases}
{{\mathsf{dGra}}}_n(r) & \text{for $s=0$} \\
0 & \text{otherwise}
\end{cases} 
\\
{{\mathsf{SGra}}}_n^2(r,s) &= {{\mathsf{Gra}}^1}_n(r,s).\end{aligned}$$

The map ${{\mathsf{dGra}}}_n\to \Omega({\mathsf{FM}}_n)$ may be extended to a map of colored collections $$\label{equ:SGraToSFM}
{{\mathsf{SGra}}}_n \to \Omega({\mathsf{SFM}}_n)$$ by sending a graph $\Gamma$ in ${{\mathsf{Gra}}^1}_n(r,s)$ to the differential form $$\omega_\Gamma' = \bigwedge_{(i,j)\text{ edge}} \pi_{ij}^* \tilde \Omega$$ where $\pi_{ij}$ is the forgetful map forgetting all but vertices $i$ and $j$ and $\tilde \Omega$ is the hyperbolic $n-1$-form described in the introduction, cf. .

The map is not a quasi-isomorphism (of course). Again, to repair the defect we may pass to a twisted version, using the colored (co)operadic twisting construction, cf. @graphthings, @ricardoBr. Concretely, this means that we extend the cooperad ${{\mathsf{fdGraphs}}}_n$ to a two colored cooperad ${\mathsf{fSGraphs}}_n=({{\mathsf{fGraphs}}}_n,{{{\mathsf{fGraphs}}}^1}_n)$, whose color 2 components are given by the bi-collection $${{{\mathsf{fGraphs}}}^1}_n(r,s) = \bigoplus_{r',s'} \left( {{\mathsf{Gra}}^1}_n(r+r',s+s') \otimes ({{\mathbb{R}}}[-n])^{\otimes r'} \otimes ({{\mathbb{R}}}[1-n])^{\otimes s'} \right)_{S_{r'}\times S_{s'}}.$$

Elements may be depicted as graphs with four kinds of vertices: internal and external vertices, of type either I or II, cf. . Again, similarly to we define for such a graph $\Gamma$ in ${{\mathsf{Gra}}^1}_n(r+r',s+s')$ a PA form $\omega_\Gamma\in \Omega_{{\mathit{PA}}}({\mathsf{FM}^1}(r,s))$ by a fiber integral $$\omega_\Gamma = \int_{{\mathsf{FM}^1}_n(r+r',s+s')\to {\mathsf{FM}^1}_n(r,s)} \omega_\Gamma'$$ along the fiber of the forgetful map ${\mathsf{FM}^1}(r+r', s+s')\to {\mathsf{FM}^1}(r,s)$. Again, we refer to @HLTV for the more precise definition of the fiber integral for PA forms.

We may equip ${\mathsf{fSGraphs}}_n$ with a two colored dg Hopf operad structure. The Hopf and cooperad structures are induced from those on ${{\mathsf{SGra}}}_n$ and are given by gluing graphs at the external vertices, and by subgraph contraction respectively, as before. The definition of the differential in the operadic twisting construction is more tricky. It is defined so that the map ${\mathsf{fSGraphs}}_n\to \Omega_{{\mathit{PA}}}({\mathsf{SFM}}_n)$ commutes with the differentials. More concretely, the arity $(0,0)$ components of the map ${\mathsf{fSGraphs}}_n\to \Omega_{{\mathit{PA}}}({\mathsf{SFM}}_n)$ assign to each graph $\Gamma$ in ${{\mathsf{Graphs}}^1}_n(0,0)$ without external vertices, and with say $r'$ and $s'$ internal vertices of types I and II a number $$\label{equ:KontsevichWeight}
c_\Gamma = \int_{{\mathsf{FM}^1}_n(r',s')} \omega_\Gamma'.$$ The differential on a general graph $\Gamma\in {{\mathsf{Graphs}}^1}_n(r,s)$ now has 3 pieces: First, we may contract an edge connecting to least one internal type I vertex. $$\begin{tikzpicture}[baseline=-.65ex]
\node[int] (v) at (0,0) {};
\node[int] (w) at (1,0) {};
\draw (v) edge +(-.5,-.5) edge +(-.5,0) edge +(-.5, .5);
\draw (w) edge +(.5,-.5) edge +(.5,0) edge +(.5, .5);
\draw[-latex] (v) edge (w);
\end{tikzpicture}
\mapsto
\begin{tikzpicture}[baseline=-.65ex]
\node[int] (v) at (0,0) {};
\draw (v) edge +(-.5,-.5) edge +(-.5,0) edge +(-.5, .5);
\draw (v) edge +(.5,-.5) edge +(.5,0) edge +(.5, .5);
\end{tikzpicture}$$ Secondly, we may contract a subgraph $\Gamma_1$ consisting of at most one external vertex, with coefficient $c_{\Gamma_1}$. $$\begin{tikzpicture}[baseline=-.65ex]
  \draw (-.5,-.5) -- (4.5,-.5);
  \node[ext] (v1) at (0,0) {$\scriptstyle 1$};
  \node[ext, fill=white] (v2) at (2,-.5) {$\scriptstyle 1$};
  \node[ext] (v3) at (0,1) {$\scriptstyle 2$};
  \node[ext] (v4) at (2,1) {$\scriptstyle 3$};
  \node[ext, fill=white] (v5) at (0,-.5) {$\scriptstyle 2$};
  \node[int] (w1) at (.66,.5) {};
  \node[int] (w2) at (1.33,.5) {};
  \begin{scope}[xshift=.4cm, yshift=-.1cm]
  \node[int] (w3) at (3,.125) {};
  \node[int] (w4) at (3.5,.125) {};
  \node[int] (w5) at (3,.5) {};
  \node[int] (w6) at (3.5,.5) {};
  \end{scope}
  \node[int] (u1) at (1,-.5) {};
  \node[int] (u2) at (3,-.5) {};
  \draw[-latex] (v1) edge (v2) edge (v3) edge (w1)
        (w1) edge (w2) edge (v3)
        (w2) edge (v2) edge (v4)
        (w3) edge (w4) edge (w5) edge (w6)
        (w4) edge (w5) edge (w6)
        (w5) edge (w6)
        (v4) edge (u1) edge(u2)
        (w3) edge (u2);       
 \node at (4.2,-.3) {$\Gamma_1$};
 \clip (2.2,-0.5) rectangle (4.5,2);
  \draw[dotted] (3.5,-.5) circle (1.2);
 \end{tikzpicture}
 \mapsto 
 c_{\Gamma_1} \, 
   \begin{tikzpicture}[baseline=-.65ex]
  \draw (-.5,-.5) -- (4.5,-.5);
  \node[ext] (v1) at (0,0) {$\scriptstyle 1$};
  \node[ext, fill=white] (v2) at (2,-.5) {$\scriptstyle 1$};
  \node[ext] (v3) at (0,1) {$\scriptstyle 2$};
  \node[ext] (v4) at (2,1) {$\scriptstyle 3$};
  \node[ext, fill=white] (v5) at (0,-.5) {$\scriptstyle 2$};
  \node[int] (w1) at (.66,.5) {};
  \node[int] (w2) at (1.33,.5) {};
  \begin{scope}[xshift=.4cm, yshift=-.1cm]
  \end{scope}
  \node[int] (u1) at (1,-.5) {};
  \node[int] (u2) at (3,-.5) {};
  \draw[-latex] (v1) edge (v2) edge (v3) edge (w1)
        (w1) edge (w2) edge (v3)
        (w2) edge (v2) edge (v4)
        (v4) edge (u1) edge (u2);       
 \end{tikzpicture}$$ Finally, we identify a subgraph $\Gamma'$ consisting of all external vertices. The third piece of the differential then sends $\Gamma$ to $\pm c_{\Gamma/\Gamma'} \Gamma'$. $$\begin{tikzpicture}[baseline=-.65ex]
  \draw (-.5,-.5) -- (4.5,-.5);
  \node[ext] (v1) at (0,0) {$\scriptstyle 1$};
  \node[ext, fill=white] (v2) at (2,-.5) {$\scriptstyle 1$};
  \node[ext] (v3) at (0,1) {$\scriptstyle 2$};
  \node[ext] (v4) at (2,1) {$\scriptstyle 3$};
  \node[ext, fill=white] (v5) at (0,-.5) {$\scriptstyle 2$};
  \node[int] (w1) at (.66,.5) {};
  \node[int] (w2) at (1.33,.5) {};
    \begin{scope}[xshift=0cm, yshift=1.2cm]
  \node[int] (w3) at (3,.5) {};
  \node[int] (w4) at (4,.5) {};
  \node[int] (w5) at (3,1.5) {};
  \node[int] (w6) at (4,1.5) {};
  \end{scope}
  \node[int] (u1) at (1,-.5) {};
  \node[int] (u2) at (3,-.5) {};
  \draw[-latex] (v1) edge (v2) edge (v3) edge (w1)
        (w1) edge (w2) edge (v3)
        (w2) edge (v2) edge (v4)
        (w3) edge (w4) edge (w5) edge (w6)
        (w4) edge (w5) edge (w6)
        (w5) edge (w6)
        (v4) edge (u1) edge(u2)
        (w3) edge (u2);
          \node at (3.65,-.3) {$\Gamma'$};
 \clip (-.5,-0.5) rectangle (4.5,4.5);
  \draw[dotted] (1.5,-.5) circle (2.3);       
 \end{tikzpicture}
 \mapsto 
 c_{\Gamma/\Gamma'}
    \begin{tikzpicture}[baseline=-.65ex]
  \draw (-.5,-.5) -- (4.5,-.5);
  \node[ext] (v1) at (0,0) {$\scriptstyle 1$};
  \node[ext, fill=white] (v2) at (2,-.5) {$\scriptstyle 1$};
  \node[ext] (v3) at (0,1) {$\scriptstyle 2$};
  \node[ext] (v4) at (2,1) {$\scriptstyle 3$};
  \node[ext, fill=white] (v5) at (0,-.5) {$\scriptstyle 2$};
  \node[int] (w1) at (.66,.5) {};
  \node[int] (w2) at (1.33,.5) {};
  \begin{scope}[xshift=.4cm, yshift=-.1cm]
  \end{scope}
  \node[int] (u1) at (1,-.5) {};
  \node[int] (u2) at (3,-.5) {};
  \draw[-latex] (v1) edge (v2) edge (v3) edge (w1)
        (w1) edge (w2) edge (v3)
        (w2) edge (v2) edge (v4)
        (v4) edge (u1) edge (u2);       
 \end{tikzpicture}$$

We emphasize that the differential on ${{\mathsf{Graphs}}^1}_n$ is relatively complicated, involving many non-zero terms. In particular, for $n=2$ the cooperad ${{\mathsf{Graphs}}^1}_2$ encodes a stable formality quasi-isomorphism in the sense of @vasilystable.

As before the map $${{{\mathsf{fGraphs}}}^1}_n\to \Omega({\mathsf{FM}^1}_n)$$ is not (yet) a quasi-isomorphism. We shall repair this defect in the following section.

The (bi-)ideal ${\mathsf{fSGraphs}}_n^{disc}$ {#sec:ideal}
=============================================

We split the construction of the bi-ideal ${\mathsf{fSGraphs}}_n^{disc}$ in two cases.

For $n\geq 3$ we define the bi-ideal ${\mathsf{fSGraphs}}_n^{disc}$ in the obvious way by defining a graph $\Gamma\in {{{\mathsf{fGraphs}}}^1}_n$ to be externally disconnected if it contains a connected component made of internal vertices only. We note that this definition yields a bi-ideal, i.e., it is compatible with the dg Hopf cooperad structure by the following reasoning. We only consider the "novel" piece of that statement, i.e., the bi-ideal conditions on ${{\mathsf{fGraphs}}}_n^{1,disc}\subset {{\mathsf{fGraphs}}}_n^{1,disc}$, and take the statements on ${{\mathsf{fGraphs}}}_n^{disc}$ for granted.

-   By inspection it is clear that the cooperadic cocomposition cannot co-compose an externally disconnected graph into two externally connected graphs. Hence ${\mathsf{fSGraphs}}_n^{disc}$ is a cooperadic coideal.

-   The commutative product (fusion at external vertices) cannot remove connected components of internal vertices only, so each ${\mathsf{fSGraphs}}_n^{1,disc}(r,s)$ is a graded ideal in the graded algebra ${\mathsf{fSGraphs}}_n^1(r,s)$.

-   The subset ${\mathsf{fSGraphs}}_n^{disc}$ is closed under the differential since the numbers $c_\Gamma$ of defined above are zero for disconnected graphs $\Gamma$ and $n\geq 3$.

Hence we may define the two-colored quotient dg Hopf cooperad $${{\mathsf{SGraphs}}}_n = {\mathsf{fSGraphs}}_n / {\mathsf{fSGraphs}}_n^{disc}.$$

To check that the map ${\mathsf{fSGraphs}}_n\to \Omega_{{\mathit{PA}}}({\mathsf{SFM}}_n)$ factors through the quotient ${{\mathsf{SGraphs}}}_n$, we have to check that the fiber integrals vanish on externally disconnected graphs $\Gamma$. However, this is pretty obvious: Suppose some $k'$ type I and $l'$ type II vertices form a connected component without external vertices. Using Fubini's theorem to factor out the integral over the positions of these internal vertices, the fiber integral then reads $$\omega_\Gamma = \int_{{\mathsf{FM}}_n^1(r+k-k',s+l-l')\to{\mathsf{FM}}_n^1(r,s)}
 \int_{{\mathsf{FM}}_n^1(r+k,s+l)\to{\mathsf{FM}}_n^1(r+k-k',s+l-l')}
 \bigwedge_{ (i,j)\text{ edge} }
 \pi_{ij}^*\Omega_{S^{n-1}} .$$ The inner integral yields zero, because the piece of the pieces of the integrand depending on the locations of the $k'+l'$ internal points are basic under scaling and translation and can thus not contribute a top degree piece to the differential form.

Note that instead of defining ${{\mathsf{SGraphs}}}_n$ as a quotient as above, we could have defined it to consist only of externally connected graphs from the start. This would have avoided or made obvious some parts of the above discussion. However, we next want to treat the case $n=2$, where the above statements are not immediate.

The case $n=2$: First note that in the case $n=2$ one cannot define ${\mathsf{fSGraphs}}_2^{disc}$ in the same way as before, since there is the disconnected graph $$\Gamma = 
\begin{tikzpicture}[baseline=-.65ex]
\draw(0,0) -- (1,0);
\node[int] at (.2,0) {};
\node[int] at (.8,0) {};
\end{tikzpicture}$$ which is assigned nonzero weight $c_\Gamma=1\neq 0$ under . Hence the naively defined subspace of externally disconnected graphs is not closed under the differential, i.e., the differential can map a disconnected graph to a connected one. To find a better definition of "externally disconnected", we will first consider a change of basis in ${\mathsf{fSGraphs}}_2^{disc}$. By a Lie decorated graph we mean a graph $\Gamma$ as in ${\mathsf{fSGraphs}}_2$, but with a linear ordering on the *external* type II vertices only, and with an arrangement of the internal type II vertices in a product of formal Lie expressions. It is best explained by a picture: $$\begin{tikzpicture}
 \draw (-.5,0) -- (3.5,0);
  \node[ext] (v1) at (0.5,1) {$\scriptstyle 1$};
  \node[ext] (v2) at (3,1) {$\scriptstyle 2$};
  \node[ext, fill=white](u1) at (0,0) {$\scriptstyle 1$};
  \node[ext, fill=white](u2) at (2,0) {$\scriptstyle 2$};
  \node at (-.2, 0) {$ [$};
  \node at (.7, 0) {$ ]$};
  \node at (.25, -.1) {$,$};
  \node[int] (w1) at (.5,0) {};
  \node[int] (w2) at (3,0) {};
  \draw [-latex] (v1) edge (w1) (v2) edge (w2);
 \end{tikzpicture}$$ Such Lie decorated graphs naturally define elements of ${\mathsf{fSGraphs}}_2$ by formally applying the Poincaré-Birkhoff-Witt map. Again, this procedure is best explained by an example. The Lie decorated graph above corresponds to the linear combination of ordinary graphs $$\begin{gathered}
 \pm
 \begin{tikzpicture}[baseline=-.65ex, scale=.5]
 \draw (-1.5,0) -- (2.5,0);
  \node[ext] (v1) at (-0.7,1) {$\scriptstyle 1$};
  \node[ext] (v2) at (-1.5,1) {$\scriptstyle 2$};
  \node[ext, fill=white](u1) at (0,0) {$\scriptstyle 1$};
  \node[ext, fill=white](u2) at (2,0) {$\scriptstyle 2$};
  \node[int] (w1) at (-.7,0) {};
  \node[int] (w2) at (-1.5,0) {};
  \draw [-latex] (v1) edge (w1) (v2) edge (w2);
 \end{tikzpicture}
\pm
  \begin{tikzpicture}[baseline=-.65ex, scale=.5]
 \draw (-1.5,0) -- (2.5,0);
  \node[ext] (v1) at (-1.5,1) {$\scriptstyle 1$};
  \node[ext] (v2) at (-.7,1) {$\scriptstyle 2$};
  \node[ext, fill=white](u1) at (0,0) {$\scriptstyle 1$};
  \node[ext, fill=white](u2) at (2,0) {$\scriptstyle 2$};
  \node[int] (w1) at (-1.5,0) {};
  \node[int] (w2) at (-.7,0) {};
  \draw [-latex] (v1) edge (w1) (v2) edge (w2);
 \end{tikzpicture}
\pm
  \begin{tikzpicture}[baseline=-.65ex, scale=.5]
 \draw (-1.5,0) -- (2.5,0);
  \node[ext] (v1) at (-0.7,1) {$\scriptstyle 1$};
  \node[ext] (v2) at (1,1) {$\scriptstyle 2$};
  \node[ext, fill=white](u1) at (0,0) {$\scriptstyle 1$};
  \node[ext, fill=white](u2) at (2,0) {$\scriptstyle 2$};
  \node[int] (w1) at (-.7,0) {};
  \node[int] (w2) at (1,0) {};
  \draw [-latex] (v1) edge (w1) (v2) edge (w2);
 \end{tikzpicture}
 \pm
   \begin{tikzpicture}[baseline=-.65ex, scale=.5]
 \draw (-1.5,0) -- (3.5,0);
  \node[ext] (v1) at (-0.7,1) {$\scriptstyle 1$};
  \node[ext] (v2) at (3,1) {$\scriptstyle 2$};
  \node[ext, fill=white](u1) at (0,0) {$\scriptstyle 1$};
  \node[ext, fill=white](u2) at (2,0) {$\scriptstyle 2$};
  \node[int] (w1) at (-.7,0) {};
  \node[int] (w2) at (3,0) {};
  \draw [-latex] (v1) edge (w1) (v2) edge (w2);
 \end{tikzpicture}
 \\
 \pm
 \begin{tikzpicture}[baseline=-.65ex, scale=.5]
 \draw (-1.5,0) -- (2.5,0);
  \node[ext] (v1) at (0.7,1) {$\scriptstyle 1$};
  \node[ext] (v2) at (-.7,1) {$\scriptstyle 2$};
  \node[ext, fill=white](u1) at (0,0) {$\scriptstyle 1$};
  \node[ext, fill=white](u2) at (2,0) {$\scriptstyle 2$};
  \node[int] (w1) at (.7,0) {};
  \node[int] (w2) at (-.7,0) {};
  \draw [-latex] (v1) edge (w1) (v2) edge (w2);
 \end{tikzpicture}
 \pm
  \begin{tikzpicture}[baseline=-.65ex, scale=.5]
 \draw (-.5,0) -- (2.5,0);
  \node[ext] (v1) at (1.4,1) {$\scriptstyle 1$};
  \node[ext] (v2) at (.7,1) {$\scriptstyle 2$};
  \node[ext, fill=white](u1) at (0,0) {$\scriptstyle 1$};
  \node[ext, fill=white](u2) at (2,0) {$\scriptstyle 2$};
  \node[int] (w1) at (1.4,0) {};
  \node[int] (w2) at (.7,0) {};
  \draw [-latex] (v1) edge (w1) (v2) edge (w2);
 \end{tikzpicture}
  \pm
  \begin{tikzpicture}[baseline=-.65ex, scale=.5]
 \draw (-.5,0) -- (2.5,0);
  \node[ext] (v1) at (.7,1) {$\scriptstyle 1$};
  \node[ext] (v2) at (1.4,1) {$\scriptstyle 2$};
  \node[ext, fill=white](u1) at (0,0) {$\scriptstyle 1$};
  \node[ext, fill=white](u2) at (2,0) {$\scriptstyle 2$};
  \node[int] (w1) at (.7,0) {};
  \node[int] (w2) at (1.4,0) {};
  \draw [-latex] (v1) edge (w1) (v2) edge (w2);
 \end{tikzpicture}
 \pm
 \begin{tikzpicture}[baseline=-.65ex, scale=.5]
 \draw (-.5,0) -- (3.5,0);
  \node[ext] (v1) at (0.7,1) {$\scriptstyle 1$};
  \node[ext] (v2) at (3,1) {$\scriptstyle 2$};
  \node[ext, fill=white](u1) at (0,0) {$\scriptstyle 1$};
  \node[ext, fill=white](u2) at (2,0) {$\scriptstyle 2$};
  \node[int] (w1) at (.7,0) {};
  \node[int] (w2) at (3,0) {};
  \draw [-latex] (v1) edge (w1) (v2) edge (w2);
 \end{tikzpicture} \end{gathered}$$ (To obtain the signs, one needs to consider the type II vertices as odd objects.)

It follows from the Poincaré-Birkhoff-Witt Theorem that the collection of (isomorphism classes of) such Lie decorated graphs in fact forms a basis ${\mathsf{fSGraphs}}_2$. We are now ready to state our definition of ${\mathsf{fSGraphs}}_2^{disc}$.

A Lie decorated graph $\Gamma\in {{\mathsf{fGraphs}}}_2^{1}(r,s)$ is called externally disconnected if it contains a connected component consisting of internal vertices only, where we count type II vertices in a formal Lie expression as belonging to the same connected component. The subspace ${{\mathsf{fGraphs}}}_2^{1,disc}(r,s)\subset {{\mathsf{fGraphs}}}_2^{1}(r,s)$ is defined to be the linear span of the externally disconnected Lie decorated graphs.

We claim that this definition indeed satisfies our requirements.

The sub-collection ${\mathsf{fSGraphs}}_2^{disc}$ made of ${{\mathsf{fGraphs}}}_2^{disc}$ in the first color and the spaces ${{\mathsf{fGraphs}}}_2^{1,disc}(r,s)$ in the second is a dg Hopf cooperadic bi-ideal. Furthermore, the map ${\mathsf{fSGraphs}}_2\to \Omega_{{{\mathit{PA}}}}({\mathsf{SFM}}_2)$ factors through the quotient dg Hopf cooperad $${{\mathsf{SGraphs}}}_2=({{\mathsf{Graphs}}}_n,{{\mathsf{Graphs}}^1}_n) ={\mathsf{fSGraphs}}_2^{}/{\mathsf{fSGraphs}}_2^{disc}$$

Again we have to check compatibility with the algebra structure, the cooperad structure, and the differential. Let us leave the former two points to the reader. For the last step, it suffices to note that under all externally disconnected graphs are assigned zero weight: The integral factors again using Fubini's theorem, and by basic-ness under rescaling and translation one factor of the integrand cannot contribute a top form. A similar argument shows the factorization statement.

The cohomology of ${\mathsf{fSGraphs}}_n$ {#sec:cohom}
=========================================

In this section we will show that the map $${{\mathsf{SGraphs}}}_n\to \Omega_{{{\mathit{PA}}}}({\mathsf{SFM}}_n)$$ is a quasi-isomorphism, by computing the cohomology of the left-hand side. Since the part of the result in the first color is already known (by Theorem \[thm:KLV\]), we focus on the piece of color 2, i.e., on the maps $${{\mathsf{Graphs}}}_n^1(r,s) \to \Omega_{{{\mathit{PA}}}}({\mathsf{FM}}_n^1(r,s)).$$ We have to consider the cases $n=2$ and $n\geq 3$ separately. To compute the cohomology of ${{\mathsf{Graphs}}}_2^1(r,s)$ we consider a filtration on the number of internal type I vertices. No piece of the differential can create such vertices. Furthermore, there is only one piece of the differential not destroying internal type I vertices, and that piece is a "Hochschild type" differential contracting internal type II vertices, schematically: $$\delta_1\colon 
 \begin{tikzpicture}[baseline=-.65ex]
\draw(0,0) -- (1,0);
\node[int] (v1) at (.2,0) {};
\node[int] (v2) at (.8,0) {};
\draw (v1) edge +(-.3,.3) edge +(0,.3)
      (v2) edge +(.3,.3) edge +(0,.3);
\end{tikzpicture}
\mapsto 
 \begin{tikzpicture}[baseline=-.65ex]
\draw(0,0) -- (1,0);
\node[int] (v1) at (.5,0) {};
\draw (v1) edge +(-.3,.3) edge +(-.1,.3)
      (v1) edge +(.3,.3) edge +(0.1,.3);
\end{tikzpicture}\, .$$ This is the differential we will see on the first page of the spectral sequence. By standard arguments (cf. @graphthings [Proposition 74]), we find that the homology of the the complex $({{\mathsf{Graphs}}}_n^1(r,s), \delta_1)$ is spanned by Lie decorated graphs $\Gamma$ such that all internal type II vertices are univalent and in their own Lie cluster, and all external type II vertices are zero valent. (In other words, the corresponding classes of plain graphs are found by antisymmetrizing over the positions of the internal type II vertices.) The differential on the next page removes exactly one internal type I vertex, together with zero or one edges. Again we may borrow the argument of @graphthings [Proposition 74] to show that the resulting complex is quasi-isomorphic to ${{\mathsf{Graphs}}}_n$ (for each fixed linear ordering of the external type II vertices), and hence the cohomology is identified with $s!$ copies of ${\mathsf{e}}_n^*(r)$, one for each ordering of the external type II vertices. But this space is exactly the cohomology of ${\mathsf{FM}}_n^1(r,s)$. It remains to show that the spectral sequence abuts at this point. However, this is immediate since all cohomology classes found may be represented by graphs without internal vertices, which are evidently closed under the full differential.

Now let us turn to the case $n\geq 3$. We consider a filtration by the total number of internal vertices. Any piece of the differential reduces the number of internal vertices by at least one, and the piece that reduces the number by exactly one is just the contraction of one edge between an internal type I vertex and another vertex.

We will show by an induction on the arity $(r,s)$ that the cohomology can be identified with ${{\mathsf{Pois}}}_n^*(r)\otimes {{\mathsf{Graphs}}}_{n-1}(s)$. More concretely, elements of ${{{\mathsf{Pois}}}}_n^*(r)$ may be represented by components of the graph connecting the $r$ external type I vertices, without involvement of internal vertices. Elements $\gamma\in {{\mathsf{Graphs}}}_{n-1}(s)$ be be represented by replacing each edge by a zigzag of the form $$\label{equ:2zigzag}
 \begin{tikzpicture}
  \draw (-.5,0) -- (1.5, 0);
  \node[ext, fill=white] (v1) at (0,0) {};
  \node[ext, fill=white] (v2) at (1,0) {};
  \node[int] (w) at (.5,.5) {};
  \draw[-latex] (w) edge (v1) edge (v2);
 \end{tikzpicture}$$ The procedure is best explained by an example: $${{\mathsf{Graphs}}}_{n-1}(3)
\ni
  \begin{tikzpicture}[baseline=-.65ex]
  \node[ext] (v1) at (0:.5) {$\scriptstyle 1$};
  \node[ext] (v2) at (120:.5) {$\scriptstyle 2$};
  \node[ext] (v3) at (240:.5) {$\scriptstyle 3$};
  \node[int] (w) at (0,0) {};
  \draw (w) edge (v1) edge (v2) edge (v3);
 \end{tikzpicture}
 \mapsto
  \begin{tikzpicture}[baseline=-.65ex]
  \draw (-.5,0) -- (3.5, 0);
  \node[ext, fill=white] (v1) at (0,0) {$\scriptstyle 1$};
  \node[ext, fill=white] (v2) at (1,0) {$\scriptstyle 2$};
  \node[ext, fill=white] (v3) at (3,0) {$\scriptstyle 3$};
  \node[int] (w) at (2,0) {};
  \node[int] (u1) at (1.5,.7) {};
  \node[int] (u2) at (1.5,1.4) {};
  \node[int] (u3) at (2.5,.7) {};
  \draw[-latex] (u1) edge (w) edge (v2);
  \draw[-latex] (u2) edge (w) edge (v1);
  \draw[-latex] (u3) edge (w) edge (v3);
 \end{tikzpicture} 
 \in {{\mathsf{Graphs}}}_n^1(0,3)$$ Note again that the order of type II vertices in the last picture is irrelevant since we are in the case $n\geq 3$. We merely draw the horizontal line to distinguish the type II vertices on it from the type I vertices above it. (One should consider the line as an $(n-1)$-plane.)

Now let us prove that the cohomology may be identified with ${\mathsf{e}}_n^*(r)\otimes {{\mathsf{Graphs}}}_{n-1}(s)$. First we may filter our complex again by the number of non-(internal-bivalent-type I-vertices). The first differential in the associated spectral sequence then removes one internal bivalent type I vertex by contracting an adjacent edge. Similarly to @grt [Appendix K] the resulting complex factors into subcomplexes, one for each pair of non-bivalent vertices connected by a string of bivalent vertices. Those subcomplexes are acyclic is the string connects an type I and a type II vertex. If the string connects two type I vertices the cohomology of the string-complex is one-dimensional, spanned by an edge connecting the two vertices directly, in either direction. If the string connects two type I vertices the cohomology of the string-complex is again-dimensional, connecting the two endpoints by a length 2 zigzag of the form . From this argument one can see that $({{\mathsf{Graphs}}}_n^1(r,s), \delta_1)$ is quasi-isomorphic to its quotient, say $V_{r,s}$, obtained by:

1.  Equating graphs to zero in which type II vertices are connected to type I vertices other then those in length 2 zigzags connecting to another type 2 vertex.

2.  Equating graphs to zero which contain bivalent internal type I vertices, other than those in the length 2 zigzags between two external type II vertices.

3.  Equating graphs obtained by changing directions of edges connecting two type I vertices.

Obviously, we may identify $$V_{r,s} = {{\mathsf{Graphs}}}_n(r) \otimes {{\mathsf{Graphs}}}_{n-1}(s),$$ with the differential $\delta_1$ inducing the differential on ${{\mathsf{Graphs}}}_n(r)$. From this (and Theorem \[thm:KLV\]) it follows that $$H({{\mathsf{Graphs}}}_n^1(r,s), \delta_1) \cong {{\mathsf{Pois}}}_n^*(r)\otimes {{\mathsf{Graphs}}}_{n-1}(s).$$ The next differential $\delta_2$ in the (outer) spectral sequence reduces the number of internal vertices by two. By inspection, we find that this differential is exactly the differential on the factor ${{\mathsf{Graphs}}}_{n-1}(s)$, and hence (using Theorem \[thm:KLV\] again) we find that $$H( H({{\mathsf{Graphs}}}_n^1(r,s), \delta_1), \delta_2) \cong {{\mathsf{Pois}}}_n^*(r)\otimes {{\mathsf{Pois}}}_{n-1}^*(s).$$ But the right hand side is exactly $H({\mathsf{FM}}_n^1(r,s))$. Again, we find that the spectral sequence abuts at this stage since all surviving classes are naturally represented by graph cocycles.

This finishes the proof of Theorem \[thm:main\].

We remark that slightly smaller (but quasi-isomorphic) variants of the graphical cooperad ${{\mathsf{SGraphs}}}_n$ may be defined. First, for the piece in color 1, i.e., ${{\mathsf{Graphs}}}_n$, one may additionally postulate that all graphs with internal vertices of valence $<3$ are zero, as is done in @K2. The resulting quotient graph cooperad is quasi-isomorphic to our version. Furthermore, one can check that the map ${{\mathsf{Graphs}}}_n\to \Omega_{{{\mathit{PA}}}}({\mathsf{FM}}_n)$ factors through this quotient.

Similarly, we may define a smaller (but quasi-isomorphic) variant of ${{\mathsf{Graphs}}^1}_n$ by declaring that graphs with internal vertices of valence $<2$ are zero, as well as graphs with internal vertices with in- and out valence exactly one, i.e., $\begin{tikzpicture}[baseline=-.65ex]
   \node[int] (v) at (0,0) {};
   \draw[-latex] (v) edge +(.5,0);
   \draw[latex-] (v) edge +(-.5,0);
  \end{tikzpicture}=0$. Again, one can check that the map ${{\mathsf{Graphs}}^1}_n\to \Omega_{{{\mathit{PA}}}}({\mathsf{FM}^1}_n)$ factors through this quotient.

\[rem:zeroary\] One may add a nullary cooperation in to the the cooperad ${{\mathsf{Graphs}}}_n$ whose coaction creates external vertices of valence zero, call the resulting Hopf cooperad ${\mathsf{uGraphs}}_n$. The map ${{\mathsf{Graphs}}}_n\to \Omega_{{{\mathit{PA}}}}({\mathsf{FM}}_n)$ above then naturally extends to a map ${\mathsf{uGraphs}}_n\to \Omega_{{{\mathit{PA}}}}({\mathsf{uFM}}_n)$, cf. section \[sec:compactified\] for the notation.

Similarly, one may add a nullary cooperation to ${{\mathsf{Graphs}}^1}_n$ whose coaction creates external type II vertices of valence zero. Calling the resulting two colored Hopf cooperad ${\mathsf{uSGraphs}}_n=({\mathsf{uGraphs}}_n, {{\mathsf{uGraphs}}^1}_n)$ one can naturally extend the map ${{\mathsf{Graphs}}}_n\to \Omega_{{{\mathit{PA}}}}({\mathsf{FM}}_n)$ above to a map ${\mathsf{uSGraphs}}_n\to \Omega_{{{\mathit{PA}}}}({\mathsf{uSFM}}_n)$.

An application: Formality morphisms {#sec:application}
===================================

In this section we describe an application of the aforementioned results in the field of deformation quantization. Concretely, we sketch a proof that a(ny) $L_\infty$ formality morphism can be extended to a homotopy Gerstenhaber formality morphism.

The Kontsevich formality Theorem in deformation quantization
------------------------------------------------------------

Let ${T_{\rm poly}}$ be the Gerstenhaber algebra of multivector fields on ${{\mathbb{R}}}^d$ and ${D_{\rm poly}}$ be the braces algebra of multi differential operators. The Kontsevich formality Theorem @K1 states that these two objects are quasi-isomorphic as ${\mathsf{hoLie}}_2$ algebras. Concretely, Kontsevich constructs an $L_\infty$ morphism ${\mathcal{U}}$ between the Lie algebra ${T_{\rm poly}}[1]$ and the Lie algebra ${D_{\rm poly}}[1]$ given by a sum-of-graphs formula $$\label{equ:stableformality}
\begin{gathered}
{\mathcal{U}}_n : S^n ({T_{\rm poly}}[2]) \to {D_{\rm poly}}[2] \\
(v_1,\dots,v_n) \mapsto \sum_{\Gamma} c_\Gamma D_\Gamma(v_1, \dots, v_n)
\end{gathered}$$ where

-   The sum is over graphs forming a basis of ${{\mathsf{Graphs}}^1}_2(0,0)$, with $n$ type I vertices.

-   The coefficients $c_\Gamma$ are defined by the integral formula .

-   $D_\Gamma(v_1, \dots, v_n)$ is a multidifferential operator naturally associated to the graph $\Gamma$, cf. @K1 for details. (The precise formula for $D_\Gamma$ will not be important for us.)

Note that the formality morphism is completely specified by providing the numbers $c_\Gamma$ in the formula above. Formality morphisms of the form have been christened *stable formality morphisms* in @vasilystable, under the mild additional condition that the linear piece of the $L_\infty$ morphism agrees with the Hochschild-Kostant-Rosenberg map, that is, the coefficients of the graphs $$\Gamma_n = 
\underbrace{
\begin{tikzpicture}[baseline=-.65ex]
 \draw(-1.2,-.5) -- (1.2,-.5);
 \node[int] (v) at (0,.5) {};
 \node[int] (w1) at (-1,-.5) {};
 \node[int] (w2) at (-.6,-.5) {};
 \node at (0,-.2) {$\cdots$};
 \node[int] (w3) at (.6,-.5) {};
 \node[int] (w4) at (1,-.5) {};
 \draw[-latex] (v) edge (w1) edge (w2) edge (w3) edge (w4);
\end{tikzpicture}
}_{n\times}$$ satisfy $c_{\Gamma_n}=\frac 1 {n!}$.

Let us also introduce the following notion.

A stable formality morphism is called *connected* is the numbers $c_\Gamma$ associated to any disconnected[^4] Lie decorated graph vanish.

For example, the Kontsevich stable formality morphism is connected.

A model for the operadic bimodule ${{\mathsf{D}}}^1_n(-,0)$
-----------------------------------------------------------

It has been shown in @graphthings that the semi-algebraic chains $C({\mathsf{FM}^1}_2(-,0))$ form an operadic ${\mathsf{Br}}$-$C({\mathsf{FM}}_2)$-bimodule $${\mathsf{Br}}{\lcirclearrowright}C({\mathsf{FM}^1}_2(-,0)) {\rcirclearrowleft}C({\mathsf{FM}}_2).$$ In fact, this operadic bimodule is even an operadic torsor in the sense of @CWtorsors. The construction of the operadic bimodule structure in @graphthings uses only naturally defined operations on the Swiss-Cheese operad ${\mathsf{SFM}}_2$. Hence, by a similar construction, one can see that our model $${\mathsf{KGraphsM}}:= {{\mathsf{Graphs}}^1}_2(-,0)^*$$ for $C({\mathsf{FM}^1}_2(-,0))$ also carries a left braces action compatible with the right ${{\mathsf{Graphs}}}_2^*$ action, and that all algebraic structures are preserved under the map $C({\mathsf{FM}^1}_2(-,0))\to {\mathsf{KGraphsM}}$. In other words, we have a commutative diagram of operads and operadic bimodules (in fact: of operadic torsors) $$\begin{tikzcd}[column sep=0.5em]    
{\mathsf{Br}}\ar{d}{\sim}& {\lcirclearrowright}& C({\mathsf{FM}^1}(-,0)) \ar{d}{\sim}& {\rcirclearrowleft}& C({\mathsf{FM}}_2)\ar{d}{\sim} \\
{\mathsf{Br}}& {\lcirclearrowright}& {\mathsf{KGraphsM}}& {\rcirclearrowleft}& {{\mathsf{Graphs}}}_2^*
\end{tikzcd}$$

The important point is now that the definition of ${{\mathsf{Graphs}}^1}_2$ can be repeated, for any connected stable formality morphism ${\mathcal{U}}$, which enters the definition in so far that it defines the coefficients entering the differential on ${{\mathsf{Graphs}}^1}_2$. Similar, we may define a variant of the ${\mathsf{Br}}$-${{\mathsf{Graphs}}}_2^*$ bimodule ${\mathsf{KGraphsM}}$ for any ${\mathcal{U}}$, which we will denote by ${\mathsf{KGraphsM}}^{\mathcal{U}}$.

Our result
----------

Concretely, as an the application of our results we will give a short proof of the following theorem.

\[thm:defq\] Suppose ${\mathcal{U}}$ is a connected ($L_\infty$-) stable formality morphism. Then one may pick a homotopic stable formality morphism ${\mathcal{U}}'$ that can be extended to a stable homotopy Gerstenhaber (or, equivalently homotopy braces) formality morphism.

We claim that in fact any stable formality morphism can be changed into a homotopic connected stable formality morphism using @vasilystable, and hence the above Theorem also holds if we omit the word "connected". However, we shall not prove this here.

The proof is relatively short. First, we consider the ${\mathsf{Br}}$-${{\mathsf{Graphs}}}_2$ bimodule ${\mathsf{KGraphsM}}^{\mathcal{U}}$. It generates a two colored operad $${\mathsf{bigGraphs}}:= {\begin{pmatrix}}{\mathsf{Br}}& {\mathsf{KGraphsM}}^{\mathcal{U}}& {{\mathsf{Graphs}}}_2^* {\end{pmatrix}}$$ which naturally acts on the colored vector space ${D_{\rm poly}}\oplus {T_{\rm poly}}$. Let ${\mathsf{ELie}}$ be the two-colored operad governing two ${\mathsf{hoLie}}_2$ algebras and an $\infty$-morphism between them, and let similarly ${\mathsf{EGer}}$ be the two-colored operad governing two ${\mathsf{hoPois}}_2$ algebras and an $\infty$-morphism between them. By twisting our stable formality morphism ${\mathcal{U}}$ gives a map $${\mathsf{ELie}}\to {\mathsf{bigGraphs}}$$ extending the canonical maps ${\mathsf{hoLie}}_2\to {\mathsf{Br}}$ and ${\mathsf{hoLie}}_2\to {{\mathsf{Graphs}}}_2^*$. Our objective is to define a stable homotopy Gerstenhaber formality morphism by extending the above map to a (suitable) map from the operad ${\mathsf{EGer}}$ into ${\mathsf{bigGraphs}}$. This is done by the following arguments:

1.  We know that $H({\mathsf{KGraphsM}}^{\mathcal{U}}(1))\cong {{\mathbb{R}}}$. Pick some cocycle generating the non-trivial cohomology ${\mathbf{1}}\in {\mathsf{KGraphsM}}(1)$.

2.  The maps (of dg collections) ${\mathsf{Br}}\to {\mathsf{KGraphsM}}^{\mathcal{U}}\leftarrow {{\mathsf{Graphs}}}_2^*$ obtained by composing with the element ${\mathbf{1}}$ are quasi-isomorphisms. Hence we conclude that ${\mathsf{KGraphsM}}^{\mathcal{U}}$ is an operadic ${\mathsf{Br}}$-${{\mathsf{Graphs}}}_2^*$-torsor in the sense of @CWtorsors.

3.  The main result of loc. cit. states that if ${\mathcal}M$ is an operadic ${\mathcal}P$-${\mathcal}Q$ torsor, then ${\mathcal}P$ and ${\mathcal}Q$ are quasi-isomorphic, and furthermore the triple $${\mathcal}P {\lcirclearrowright}{\mathcal}M {\rcirclearrowleft}{\mathcal}Q$$ is quasi-isomorphic to the "canonical" triple $${\mathcal}Q {\lcirclearrowright}{\mathcal}Q {\rcirclearrowleft}{\mathcal}Q.$$ It follows further that the two colored operad generated by our triple is quasi-isomorphic to the two colored operad governing two ${\mathcal}Q$ algebras and a map between them. Furthermore, if we take any cofibrant model of that latter operad, a direct quasi-isomorphism to ${\begin{pmatrix}}{\mathcal}P & {\mathcal}M & {\mathcal}Q{\end{pmatrix}}$ may be constructed by lifting.

4.  In our setup ${\mathcal}Q={{\mathsf{Graphs}}}_2^*$ is quasi-isomorphic to the Gerstenhaber operad ${{\mathsf{Pois}}}_2$, cf. Theorem \[thm:KLV\]. The operad ${\mathsf{EGer}}$ governing to ${\mathsf{hoPois}}_2$ algebras and an $\infty$ morphism between them is a cofibrant replacement for the two colored operad ${\begin{pmatrix}}{\mathcal}Q & {\mathcal}Q & {\mathcal}Q{\end{pmatrix}}$. Hence we obtain "for free" from the above generalities a quasi-isomorphism of colored operads $$\label{equ:prestableformality}
    {\mathsf{EGer}}\to {\begin{pmatrix}}{\mathsf{Br}}& {\mathsf{KGraphsM}}^{\mathcal{U}}& {{\mathsf{Graphs}}}_2^* {\end{pmatrix}}.$$

Having constructed the map , we want to verify that it indeed defines a stable formality morphism, possibly after changing to a homotopic morphism. (I.e., that (i) the induced maps ${\mathsf{hoLie}}_2 \to {{\mathsf{Graphs}}}_2$ and ${\mathsf{hoLie}}_2\to {\mathsf{Br}}$ are the standard maps and (ii) the unary component is a deformation of the HKR map.) The construction of is somewhat inexplicit, and we do not desire to unpack the underlying formalism. Fortunately, however, the space of homology non-trivial maps ${\mathsf{hoLie}}_2\to {\mathcal}P$ for ${\mathcal}P$ any operad quasi-isomorphic to ${{\mathsf{Pois}}}_2$ is very simple, up to homotopy: There is a one parameter family of homotopy classes of maps, indexed by the rescaling factor applied to the single generator in homology. This scaling freedom is exhausted by the automorphisms of the operad ${\mathcal}P$ (or any operad) by resealing by arity, i.e., multiplying an arity $r$ operation $x$ by $\lambda^{r-1}$ for $\lambda\in {{\mathbb{R}}}_{\neq 0}$. Hence, by changing the morphism to a homotopic one, and by exercising the rescaling freedom, we may always assume that the induced maps ${\mathsf{hoLie}}_2 \to {{\mathsf{Graphs}}}_2$ and ${\mathsf{hoLie}}_2\to {\mathsf{Br}}$ are the standard ones. By essentially the same argument one checks that a map of two colored operads ${\mathsf{ELie}}\to {\mathcal}C$, where ${\mathcal}C$ is a two colored operad quasi-isomorphic to ${\begin{pmatrix}}{{{\mathsf{Pois}}}}_2 & {{{\mathsf{Pois}}}}_2 & {{{\mathsf{Pois}}}}_2 {\end{pmatrix}}$, and which is an inclusion in homology is essentially unique, up to homotopy and rescalings. Hence we may assume that -possibly after rescaling and passing to a homotopic morphism- we may ensure that the restriction of our morphism to ${\mathsf{ELie}}$ agrees with any given twistable stable formality morphism. For example, one such is obtained by operadic twisting from our given morphism. In particular it follows that the linear piece is a deformation of the HKR morphism, and thus the theorem is shown.

[^1]: The author was partially supported by the Swiss National Science foundation, grant 200021-150012, and the SwissMAP NCCR funded by the Swiss National Science foundation.

[^2]: A Hopf cooperad is a cooperad in the category of differential graded commutative algebras, cf. @lodayval.

[^3]: We present a slightly non-standard (and slightly too complicated) approach to Kontsevich's construction. This approach will however set the stage for the Swiss Cheese case later.

[^4]: in the sense discussed above

{'source': 'arXiv_out/1506'}