A(nother) model for the framed little disks operad (Q6042775)

The framed little \(n\)-disks operad \(\mathsf{D}_{n}^{fr}\)\ is the operad of embeddings of \(n\)-dimensional unit disks in a unit disk, whose real homotopy type was computed for \(n=2\)\ in [\textit{J. Giansiracusa} and \textit{P. Salvatore}, Contemp. Math. 519, 115--121 (2010; Zbl 1209.18008); \textit{P. Boavida de Brito} and \textit{M. Weiss}, Homology Homotopy Appl. 15, No. 2, 361--383 (2013; Zbl 1291.18025)] and for \(n\geq3\) in [\textit{A. Khoroshkin} and \textit{T. Willwacher}, ``Real models for the framed little $n$-disks operads'', Preprint, \url{arXiv:1705.08108}]. A real model for the framed little disks operad is a Hopf cooperad which is quasi-isomorphic to the homotopy Hopf cooperad of differential forms \(\Omega\left( \mathsf{D}_{n}^{fr}\right) \). This paper is motivated by the realization that the framed little disks operad over \(\mathbb{R}\)\ has a large group of homotopy automorphisms, which are not visible as automorphisms in the existing Hopf cooperad models. Let \(\mathrm{GC}_{n}\)\ be the Kontsevich graph complex, which is a dg Lie algebra. It carries a grading by loop order, so that one can extend it to a Lie algebra \[ \mathbb{R}L\ltimes\mathrm{GC}_{n} \] where \(L\)\ denotes the generator of the loop order grading. The dg Lie algebra \[ \mathfrak{a}_{n}^{\prime}:=\mathrm{Der}\left( \left( H\left( BSO\left( n\right) \right) \right) \ltimes\left( \left( H\left( BSO\left( n\right) \right) \right) \widehat{\otimes}\left( \mathbb{R}L\ltimes \mathrm{GC}_{n}\right) \right) \right) \] with \[ \mathfrak{a}_{n}:=\left( \mathfrak{a}_{n}^{\prime}\right) ^{m} \] as the twist contains a Maurer-Cartan element \[ m\in H\left( BSO\left( n\right) \right) \widehat{\otimes}\mathrm{GC}_{n} \] describing the homotopy type of the action of \textrm{SO}\(\left( n\right) \) on the unframed little disks operad [\textit{A. Khoroshkin} and \textit{T. Willwacher}, ``Real models for the framed little $n$-disks operads'', Preprint, \url{arXiv:1705.08108}, Theorems 1.1 and 1.3]. The principal objective in this paper is to introduce a dg Hopf cooperad \(\mathsf{L}\mathrm{G}_{n}\)\ built from suitably decorated Feynman diagrams, which is a model for the framed little disks operad and carries an action of the dg Lie algebra \(\mathfrak{a}_{n}\)\ compatible with the Hopf cooperad structure. The main result is a description of a model for the framed little disks operad in which all of the infinitesimal homotopy automorphisms can be realized as infinitesimal Hopf cooperad automorphisms.