Related papers: OCHA and the swiss-cheese operad

We introduce a new operad, which we call the Swiss-cheese operad. It mixes naturally the little disks and the little intervals operads. The Swiss-cheese operad is related to the configuration spaces of points on the upper half-plane and…

In this paper we study the homology of 2 versions of the swiss-cheese operad. We prove that the zeroth homology of these two versions are Koszul operads and relate this to strong homotopy Lebiniz pairs and OCHA, defined by Kajiura and…

For an associative algebra A we consider the pair "the Hochschild cochain complex C*(A,A) and the algebra A". There is a natural 2-colored operad which acts on this pair. We show that this operad is quasi-isomorphic to the singular chain…

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…

We prove that the homology of the Swiss-cheese operad is a Koszul operad. As a consequence, we obtain that the spectral sequence associated to the stratification of the compactification of points on the upper half plane collapses at the…

We build a model in groupoids for the Swiss-Cheese operad, based on parenthesized permutations and braids, and we relate algebras over this model to the classical description of algebras over the homology of the Swiss-Cheese operad. We…

We prove a conjecture of Kontsevich which states that if $A$ is an $E_{d-1}$ algebra then the Hochschild cohomology object of $A$ is the universal $E_d$ algebra acting on $A$. The notion of an $E_d$ algebra acting on an $E_{d-1}$ algebra…

We describe combinatorial Hopf (co-)operadic models for the Swiss Cheese operads built from Feynman diagrams. This extends previous work of Kontsevich and Lambrechts-Voli\'c for the little disks operads.

The Swiss-Cheese operads, which encode actions of algebras over the little $n$-cubes operad on algebras over the little $(n-1)$-cubes operad, comes in several variants. We prove that the variant in which open operations must have at least…

We construct a set-theoretic coloured operad that may be thought of as a combinatorial model for the Swiss Cheese operad. This is the relative (or Swiss Cheese) version of the lattice path operad constructed by Batanin and Berger. By…

In this work we present an explicit operad morphism that is also a homotopy equivalence between the operad given by the real Fulton MacPherson compactification of configuration spaces and the little $n$-disks operad. In particular, the…

We study bicolored configurations of points in the Euclidean $n$-space that are constrained to remain either inside or outside a fixed Euclidean $m$-subspace, with $n - m \ge 2$. We define a higher-codimensional variant of the Swiss-Cheese…

In the present work, we extract pairs of topological spaces from maps between coloured operads. We prove that those pairs are weakly equivalent to explicit algebras over the one dimensional Swiss-Cheese operad SC_{1}. Thereafter, we show…

We prove that if a pair of semi-cosimplicial spaces (X,Y) arise from a coloured operad then the semi-totalization sTot(Y) has the homotopy type of a relative double loop space and the pair (sTot(X),sTot(Y)) is weakly equivalent to an…

We show that the color restriction map $\mathrm{Op}^h({\mathcal{SC}}_m,{\mathcal{SC}}_n)\to \mathrm{Op}^h({\mathcal E}_{m-1},{\mathcal E}_{n-1})$ from the derived mapping space of Swiss cheese operads to that of little discs operads, is a…

We study two colored operads of configurations of little $n$-disks in a unit $n$-disk, with the centers of the small disks of one color restricted to an $m$-plane, $m<n$. We compute the rational homotopy type of these \emph{extended Swiss…

In a recent paper, Horel-Krannich-Kupers proved that all endomorphisms of the little $d$-disk operad are automorphisms. In this paper we show that this is also true for the framed little $d$-disk operad by using the classification of self…

In this paper we present a construction which is a generalization of the exterior algebra of a vector space $V$. We show how this fits in the language of operads, discuss some properties, and give explicit computations for the case…

In this note, we prove that the Swiss-cheese operad is not formal. We also give a criteria in terms of Massey operadic product for the non-formality of a topological operad.

Let $A$ be a $1$-algebra. The Kontsevich Swiss Cheese conjecture [K2] states that the homotopy category $\mathrm{Ho}(\mathrm{Act}(A))$ of actions of $2$-algebras on $A$ has a final object and that this object is weakly equivalent to the…