Weyl \(n\)-algebras and the swiss cheese operad (Q2126301)

This paper continues the study of Weyl \(n\)-algebras from the papers [\textit{N. Markarian}, J. Knot Theory Ramifications 25, No. 12, Article ID 1642008, 18 p. (2016; Zbl 1362.57010)], [\textit{N. Markarian}, Commun. Math. Phys. 350, No. 2, 421--442 (2017; Zbl 1360.58018)] and [\textit{N. Markarian} and \textit{H. L. Tanaka}, in: Mathematical aspects of quantum field theories. Contributions of the Les Houches winter school `Mathematical aspects of field theories', Les Houches, France, January and February 2012. Cham: Springer. 213--231 (2015; Zbl 1315.81071)]. A Weyl \(n\)-algebra is a deformation of a commutative algebra in the category of algebras over the operad of \(\mathbb{R}\)-chains of the Fulton-MacPherson operad \(FM_n\). The factorization homology of Weyl \(n\)-algebras is related to Chern-Simons perturbative invariants of 3-manifolds. In this paper, Markarian proves formality theorems. This consists of constructing isomorphisms between higher Hochschild cohomology of polynomial algebras and Weyl \(n\)-algebras. One can view the results of this paper as rephrasing and generalizing the formality theorem of \textit{M. Kontsevich} [Lett. Math. Phys. 66, No. 3, 157--216 (2003; Zbl 1058.53065)]. The formality theorems are proved in two different ways. The first proof goes via propagators and the Swiss cheese operad and can be seen as a higher-dimensional generalization of the construction used by Kontsevich, written in terms of Weyl \(n\)-algebras. For the second method, the formality morphisms are constructed using factorization homology as in [Zbl 1362.57010]. The paper is organized as follows. The first three sections cover the necessary background material on the Fulton-MacPherson operad; Weyl \(n\)-algebras; the factorization complex; the Swiss cheese operad; and the higher Hochschild cohomological complex. In Section 4, the formality morphisms constructed via propagators and the Swiss cheese operad are presented. In Section 5, the formality morphisms are constructed via the factorization complex and it is shown that these coincide with those of Section 4 for a particular choice of propagator.