A combinatorial approach to Kontsevich's Swiss cheese conjecture

TL;DR

This paper constructs a new operad from a coloured operad and its algebra, proving it matches the Swiss cheese operad for little disks, thus providing a weak version of Kontsevich's Swiss cheese conjecture and applications to Hochschild cochains.

Contribution

It introduces a combinatorial construction of the Swiss cheese operad from coloured operads, advancing understanding of operadic actions in algebraic topology.

Findings

The operad $ ext{SC}( ext{little } n ext{-disks})$ is equivalent to the Swiss cheese operad $ ext{SC}_n$.

Established a weak version of Kontsevich's Swiss cheese conjecture.

Proved the existence of an $E_{n+1}$-action on Hochschild-Pirashvili cochains.

Abstract

From a coloured operad $\mathcal{P}$ and a $\mathcal{P}$-algebra $A$, we construct a new operad $\mathrm{SC}(\mathcal{P})$ and a Hochschild object $\mathrm{Hoch}(A)$ together with an $\mathrm{SC}(\mathcal{P})$-action on the pair $(\mathrm{Hoch}(A),A)$. We prove that if $\mathcal{P}$ is the little $n$-disks operad, then $\mathrm{SC}(\mathcal{P})$ is equivalent to the Swiss cheese operad $\mathcal{SC}_n$. This gives us a weak version of Kontsevich's Swiss cheese conjecture (without the universal property). We apply our result to prove the existence of an $E_{n+1}$-action on the Hochschild-Pirashvili cochain of order $n$ of a commutative algebra.