A(nother) model for the framed little disks operad

Chain complexes (category-theoretic aspects), dg categories (18G35) Graph complexes and graph homology (18G85) Topological and simplicial operads (18M75) General geometric structures on manifolds (almost complex, almost product structures, etc.) (53C15) Deformation quantization, star products (53D55)

Abstract: We describe new graphical models of the framed little disks operads which exhibit large symmetry dg Lie algebras.

Review text

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.

Recommendations

Cited in

(3)

This page was built for publication: A(nother) model for the framed little disks operad

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6042775)