--- title: Open–Closed Formality Morphism Overview url: https://www.emergentmind.com/topics/open-closed-formality-morphism type: topic --- # Open–Closed Formality Morphism Overview An open–closed formality morphism is an \(L_\infty\)-morphism that simultaneously treats a “closed” dg Lie algebra and an “open” module over it, and identifies a geometric model with an algebraic one up to homotopy. In the classical case on \(M=\mathbb{R}^n\), the closed sector is the Schouten–Nijenhuis dg Lie algebra of polyvector fields and the open sector is the Hochschild chain complex, with target given by Hochschild cochains and de Rham forms; for each Drinfeld associator \(\Phi\), T. Willwacher constructs \(L_\infty\)-quasi-isomorphisms \(U_\Phi\) and \(V_\Phi\) that together form a 2-colored, Swiss-cheese-compatible formality morphism, and whose homotopy class is a torsor over the Grothendieck–Teichmüller group \(GRT\) [1308.6097]. Related transfer-theoretic and categorical formulations place the same idea in the frameworks of the 2-colored operad \(G^+\), the Swiss-Cheese operad, and open–closed string field theory [1007.2427], [2507.15445], [2603.18186]. ## 1. Classical algebraic framework Let \(M=\mathbb{R}^n\) and \(A=C^\infty(M)\). The standard open–closed formality package uses the following objects: | Sector | Source | Target | |---|---|---| | Closed | \(T_{\mathrm{poly}}(M)[1]\) | \(D_{\mathrm{poly}}(M)[1]\) | | Open | \(C_\bullet(A,A)[1]\) | \(\Omega_\bullet(M)[1]\) | Here \(T_{\mathrm{poly}}(M)[1]=\bigoplus_k \Gamma(M,\Lambda^{k+1}TM)\) is the Schouten–Nijenhuis dg Lie algebra of polyvector fields, shifted so that a \(k\)-vector has degree \(k-1\). Its differential is \(\partial=0\), and its bracket is the Schouten–Nijenhuis bracket. The target closed sector is \(D_{\mathrm{poly}}(M)[1]\), the Hochschild cochains \(C^\bullet(A,A)\) equipped with the Gerstenhaber bracket and the Hochschild differential \(\delta_{HH}\) [1308.6097]. The open sector is the completed Hochschild chain complex \(C_\bullet(A,A)[1]\), with Hochschild boundary \(b\) and Connes operator \(B\) of degree \(+1\), making \(C_\bullet\) a mixed complex. On the geometric side, \(\Omega_\bullet(M)[1]\) is the de Rham complex, negatively graded, with differential \(d\). The module structure is given by the Lie derivative \[ L_\gamma \alpha = d(i_\gamma \alpha) + (-1)^{|\gamma|} i_\gamma(d\alpha). \] The \(T_{\mathrm{poly}}\)-action on \(C_\bullet\) is obtained by pulling back the usual Gerstenhaber module structure along \(U_\Phi\) [1308.6097]. A related 2-colored formulation appears in V. Dolgushev’s transfer approach. There the pair \((C^\bullet(A,A),A)\) carries a \(G^+\)-structure extending the \(G_\infty\)-structure on Hochschild cochains and the \(A_\infty\)-structure on \(A\), with mixed generators \(\varphi_{k,n}\) encoding the open–closed homotopy algebra structure [1007.2427]. ## 2. The Kontsevich–Shoikhet open–closed formality theorem For each choice of Drinfeld associator \(\Phi\), there exist \(L_\infty\)-quasi-isomorphisms \[ U_\Phi : T_{\mathrm{poly}}(M)[1] \to D_{\mathrm{poly}}(M)[1], \qquad V_\Phi : C_\bullet(A,A)[1] \to \Omega_\bullet(M)[1], \] with three defining properties. First, \(U_\Phi\) is an \(L_\infty\)-morphism of dg Lie algebras inducing a quasi-isomorphism. Second, \(V_\Phi\) is an \(L_\infty\)-morphism of modules, intertwining the \(T_{\mathrm{poly}}\)-action on \(C_\bullet\) with the Lie derivative action on \(\Omega_\bullet\). Third, \((U_\Phi,V_\Phi)\) together form an \(L_\infty\)-morphism from the 2-colored dg Lie structure, equivalently an algebra over the Swiss-cheese homotopy operad [1308.6097]. This theorem extends the closed-sector Kontsevich formality to chains. In the terminology of the paper, it yields the “Kontsevich–Shoikhet formality on chains,” and the resulting pair is an open–closed formality morphism in the precise sense that the closed and open parts are not independent: the higher Stasheff identities and module homotopies are packaged into one 2-colored structure [1308.6097]. Dolgushev’s transfer theorem gives another formulation of the same open–closed pattern. For a regular commutative algebra \(A\), there is a \(G^+\)-algebra structure on \(\bigl(HH^\bullet(A),A\bigr)\) and a \(G^+\)-quasi-isomorphism \[ F:\bigl(HH^\bullet(A),A\bigr)\xrightarrow{\;\simeq\;}\bigl(C^\bullet(A,A),A\bigr), \] whose restriction to the closed color is Kontsevich’s formality map and whose restriction to the open color is the identity on \(A\) [1007.2427]. ## 3. Graphical and configuration-space construction The Taylor components of \(U_\Phi\) and \(V_\Phi\) are given by sums over admissible directed graphs. For \(n,m\geq 0\), one considers the compactified configuration space \[ C_{n,m}^+ = \{(z_1,\dots,z_n)\in \mathbb{H}^n,\ (x_1<\cdots0\}\). On \(C_{n,m}^+\) one uses the \(1\)-form \[ \omega(z,w)=d\,\mathrm{Arg}(z-w). \] If \(\Gamma\in G_{n,m}\) is a directed graph with \(n\) internal vertices, \(m\) boundary vertices, and no loops at internal vertices, and \(k=|E(\Gamma)|\), then its weight is \[ w_\Gamma=(2\pi)^{-k}\int_{C_{n,m}^+}\bigwedge_{e\in E(\Gamma)} \omega(z_{s(e)},z_{t(e)}). \] To \(\Gamma\) one also associates a bidifferential operator \(B_\Gamma\) obtained by differentiating the multivector inputs according to the outgoing edges and then applying them to the functions \(f_0,\dots,f_m\) in the order prescribed by the boundary labeling [1308.6097]. The closed-sector Taylor component has the form \[ U_n(\gamma_1,\dots,\gamma_n)(f_0,\dots,f_m)(x) = \sum_{\Gamma\in G_{n,m}} w_\Gamma\, B_\Gamma(\gamma_1,\dots,\gamma_n;f_0,\dots,f_m), \] and the open-sector Taylor component \(V_n\) is given by exactly the same sum but produces a differential form. In compact notation the paper writes \[ F_n(\gamma_1,\dots,\gamma_n)(\bullet) = \sum_{\Gamma\in G_{n,m}} w_\Gamma \prod_{e\in E(\Gamma)} \frac{\partial}{\partial x_{s(e)}}(\gamma_1\otimes\cdots\otimes \gamma_n\otimes \bullet), \] and similarly for the chain side [1308.6097]. The proof mechanism is Stokes-theoretic. The boundary of every integrand \(\bigwedge_e \omega_e\) on the compactified \(C_{n,m}^+\) corresponds to the failure of the naive \(L_\infty\)-identity, and because \(\partial C_{n,m}^+\) splits into strata indexed by partitions of vertices, Stokes’ theorem makes the boundary terms cancel graph by graph. This is the geometric origin of the open–closed homotopy relations [1308.6097]. ## 4. Operads, transfer, and non-formality The open–closed formality problem is naturally 2-colored. Willwacher formulates the construction through a 2-colored operad \(\mathrm{Graphs}_{01}\), whose algebras are pairs such as \((T_{\mathrm{poly}},\Omega_\bullet)\) or \((D_{\mathrm{poly}},C_\bullet)\) together with the required action, and identifies the relevant homotopy identities with the homology of the Swiss-cheese operad \(SC_\infty\) [1308.6097]. Dolgushev’s approach makes the same 2-colored structure explicit via the operad \(G^+=\mathrm{Cobar}(\mathsf S)\). The color \(c\) sub-operad is the usual \(G_\infty\)-operad for homotopy Gerstenhaber algebras, the color \(o\) sub-operad is the usual \(A_\infty\)-operad, and the mixed generators \(\varphi_{k,n}\) encode the open–closed homotopy algebra structure. Moreover, \[ G^+ \longrightarrow E^1(\mathsf{SC}) \] embeds \(G^+\) as a sub-DG-operad of the first page \(E^1(\mathsf{SC})\) of the homology spectral sequence of the Fulton–MacPherson model of Voronov’s Swiss-Cheese operad [1007.2427]. The homotopy-transfer procedure then produces a transferred coderivation \(Q_H\) and an operad map \(\Phi\) from a homotopy retraction \[ (H,0)\underset{i}{\overset{p}{\leftrightarrows}}(C^\bullet(A,A),d_{\rm Hoch}), \qquad pi=\mathrm{id}_H, \qquad ip+d_{\rm Hoch}h+hd_{\rm Hoch}=\mathrm{id}_C. \] The transferred structure maps are given by sums over planar \(\mathsf S\)-trees, and package into a \(G^+\)-morphism \(F=\Phi\) [1007.2427]. A frequent misconception is that open–closed formality should imply formality of the underlying 2-colored operad. Dolgushev proves the opposite for this transfer-theoretic model: neither \(G^+\) nor \(E^1(\mathsf{SC})\) is formal [1007.2427]. The existence of an open–closed formality morphism therefore does not collapse the higher open–closed operations into a strict operadic model. ## 5. Associators, graph complexes, and the \(GRT\)-torsor The dependence on a Drinfeld associator is essential. Kontsevich’s original weights \(w_\Gamma\) are obtained from the Knizhnik–Zamolodchikov associator \(\Phi_{KZ}\), but the construction extends to any Drinfeld associator \(\Phi\in \mathrm{Assoc}(K)\) [1308.6097]. In Willwacher’s formulation, one chooses a solution of the graph-complex Maurer–Cartan equation in the full directed graph complex \(dfGC\), which is a torsor over the Grothendieck–Teichmüller Lie algebra \(\mathfrak{grt}\). Changing \(\Phi\) by \(g\in GRT\) replaces the Maurer–Cartan element \(\Gamma_{MC}\) by \(g\cdot \Gamma_{MC}\), and this alters the graph weights \(w_\Gamma\) by an explicit gauge transformation in the graph complex. The resulting pair \((U_{\Phi'},V_{\Phi'})\) is a new open–closed formality morphism in the same homotopy class [1308.6097]. This point is conceptually important. The open–closed extension is not an ad hoc addition to the closed theory; the paper shows that the \(GRT\)-action extends to the cochain-and-chain package “up to homotopy.” A plausible implication is that the chain-level data are controlled by the same graph-complex symmetries that organize the closed-sector formality, rather than by an unrelated auxiliary choice. ## 6. Categorical and string-field-theoretic generalizations Recent work recasts open–closed formality in the setting of Calabi–Yau \(A_\infty\)-categories and BD algebras. For a smooth proper \(d\)-Calabi–Yau \(A_\infty\)-category \(C\), the closed sector is modeled by \[ \mathcal{F}^c(C)=\bigl(\mathrm{Sym}(CH_C[u^{-1}])[\hat\gamma],\ D=d_{\mathrm{Hoch}}+u\cdot B+\gamma\cdot \Delta_c,\ \{-,-\}_c\bigr), \] while the open sector associated to a full subcategory \(\Lambda\) is \[ \mathcal{F}^o(\Lambda)=\bigl(\mathrm{Sym}(\mathrm{Cyc}^\ast(\Lambda)[d-4])[\hat\gamma],\ d+\nabla+\gamma\cdot \delta,\ \{-,-\}_o\bigr). \] Tensoring the sectors yields an open–closed dg Lie algebra \(\mathfrak g_{oc}\), and for any splitting \(s\) of the noncommutative Hodge filtration there is an \(L_\infty\) quasi-isomorphism \[ \Psi_s^{oc}:\mathcal{F}^c(C)\otimes \mathcal{F}^o(\Lambda)[5-2d] \rightsquigarrow \mathcal{F}^c(C)^{Triv}\otimes \mathcal{F}^o(\Lambda)[5-2d], \] which on the closed factor recovers the Caldararu–Tu map and on the open factor is the identity on products [2507.15445]. The splitting \(s\) is a \(k\)-linear chain map \[ s:(CH_C,d_{\mathrm{Hoch}})\to (CH_C[u],d_{\mathrm{Hoch}}+u\cdot B) \] that is a right inverse to the projection \(u\mapsto 0\). In the thesis formulation, Costello–Căldăraru–Tu prove that \(s\) induces an \(L_\infty\) quasi-isomorphism \[ \mathcal{K}_s:F^c(\mathcal C)\simeq F^c(\mathcal C)^{Triv}, \] and the open–closed formality morphism is obtained by tensoring \(\mathcal{K}_s\) with the identity on the open sector and allowing for suitable shifts [2603.18186]. The Taylor components in this categorical setting are defined by sums over connected stable ribbon graphs with \(n\) closed vertices and one open boundary. The \(n\)-th Taylor coefficient \(\Psi_s^{oc\,n}\) is formed by desymmetrizing the closed inputs, contracting internal edges with the residue-pairing inverse \(H^{sym}\), inserting the open input at the unique boundary, multiplying by \(\gamma^g\), dividing by \(|\mathrm{Aut}\,\Gamma|\), and summing over ribbon graphs \(\Gamma\) [2603.18186]. Ulmer states the corresponding tensor-product construction as a coalgebra map \(C(\mathcal K_s\otimes m)\), and the key identity is a graph-combinatorial bijection between contracting two open variables and either lowering the genus or splitting the graph into disconnected pieces [2507.15445]. These categorical extensions are tied to applications. The open–closed morphism is described as an ingredient toward quantizing the large \(N\) open SFT of an object of a Calabi–Yau category [2507.15445], and the thesis formulation states that the quantized open–closed formality \(\Psi_s^{oc}\) allows one to lift the classical interaction \(I_\infty(E)\) on \(\mathrm{End}(E)\) to a solution of the quantum master equation in the BD algebra \(O^{pq}(gl_N\,\mathrm{End}(E))\) [2603.18186]. The same sources state that, when \(\mathcal C=Fuk(X)\) and \(E=L\) is a Lagrangian, the open–closed theory defined by \(\Psi_s^{oc}\) should encode open–closed Gromov–Witten invariants of \((X,L)\), and that this provides a categorical framework for twisted holography [2603.18186]. Within this broader literature, the phrase “open–closed formality morphism” therefore designates a family of constructions with a common core: a 2-colored \(L_\infty\)-quasi-isomorphism, controlled by graph or ribbon-graph expansions, compatible with Swiss-cheese or BD-algebra structures, and sensitive to auxiliary data such as a Drinfeld associator or a splitting of the noncommutative Hodge filtration. Source: https://www.emergentmind.com/topics/open-closed-formality-morphism