Formality of a higher-codimensional Swiss-Cheese operad
Abstract
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 operad, called the complementarily constrained disks operad $\mathsf{CD}_{mn}$, associated to such configurations. The operad $\mathsf{CD}_{mn}$ is weakly equivalent to the operad of locally constant factorization algebras on the stratified space $\{\mathbb{R}^{m} \subset \mathbb{R}^{n}\}$. We prove that this operad is formal over $\mathbb{R}$.
- Publication:
-
arXiv e-prints
- Pub Date:
- September 2018
- DOI:
- 10.48550/arXiv.1809.07667
- arXiv:
- arXiv:1809.07667
- Bibcode:
- 2018arXiv180907667I
- Keywords:
-
- Mathematics - Algebraic Topology;
- 18D50 (Primary) 55R80 (Secondary)
- E-Print:
- 47 pages, comments welcome. v3: The operad has been renamed. The abstract, introduction and background sections have been rewritten with a more expert audience in mind and pared down. The terrestrially bound graph complexes have been introduced in Section 5.1