Formality of a higher-codimensional Swiss-Cheese operad

To appear in Algebr. Geom. Topol., 47 p.
Online .
Updated .
Accepted .

We study bicolored configurations of points in the Euclidean nn-space that are constrained to remain either inside or outside a fixed Euclidean mm-subspace, with nm2n - m \ge 2. We define a higher-codimensional variant of the Swiss-Cheese operad, called the complementarily constrained disks operad CDmn\mathsf{CD}_{mn}, associated to such configurations. The operad CDmn\mathsf{CD}_{mn} is weakly equivalent to the operad of locally constant factorization algebras on the stratified space {RmRn}\{\mathbb{R}^{m} \subset \mathbb{R}^{n}\}. We prove that this operad is formal over R\mathbb{R}.