Formality of a higher codimensional Swiss-Cheese operad accepted in Algebraic & Geometric Topology
My paper, “Formality of a higher codimensional Swiss-Cheese operad”, has just been accepted for publication in Algebraic & Geometric Topology! This paper is part of my effort to try and apply rational homotopy theoretical methods to the computation of factorization homology and invariants of knot-like structures. As a reminder, here is its abstract:
We study bicolored configurations of points in the Euclidean -space that are constrained to remain either inside or outside a fixed Euclidean -subspace, with . We define a higher-codimensional variant of the Swiss-Cheese operad, called the complementarily constrained disks operad , associated to such configurations. The operad is weakly equivalent to the operad of locally constant factorization algebras on the stratified space . We prove that this operad is formal over ℝ.
The paper went through several iterations as part of the editorial process. I am very grateful to the editorial committee for this, as well as to the anonymous referees who provided many suggestions to improve the paper, especially the exposition.