The relative lattice path operad (Q1747141)

The author builds a combinatorial model for the Swiss-Cheese operad $\mathcal{SC}$, which is a relative version of the little cubes operad $\mathcal{C}$. This combinatorial model is filtered, and the $m$-level part is a model for the $m$-dimensional Swiss-Cheese operad $\mathcal{SC}_m$, which naturally acts on relative iterated loop spaces. \par This combinatorial model is based on a relative lattice path operad $\mathcal{RL}$, a relative version of the lattice path operad $\mathcal{L}$ of \textit{M. A. Batanin} and \textit{C. Berger} [Contemp. Math. 504, 23--52 (2009; Zbl 1221.18006)]. Briefly, recall that $\mathcal{L}$ is an operad on the set of colors $\mathbb{N}$. An element of $\mathcal{L}(n_1, \dots, n_k; n)$ is given by a increasing path from $(0,\dots,0)$ to $(n_1,\dots,n_k)$ in the integer lattice $\mathbb{N}^k$, together with the image of intermediate step $x(0), \dots, x(n)$ such that $x(0) = (0,\dots,0)$ and $x(n) = (n_1, \dots, n_k)$. The relative lattice path operad $\mathcal{RL}$ is defined in a similar manner: its set of colors is given by two disjoint copies of $\mathbb{N}$ (one ``open'' and one ``closed''); its ``closed'' part is $\mathcal{L}$, while its ``open'' part is given by similar path in the lattice. There is a natural filtration of $\mathcal{RL}$ by ``complexity'', i.e. the number of changes of directions of a path in the lattice. \par The author extends the ``condensation'' procedure of Batanin-Berger to colored Swiss-Cheese-type operads. Roughly speaking, the condensation procedure ``condenses'' the set of ``open'' colors and the set of ``closed'' colors into one single color each, using a functor $\delta$ from the set of unary operations to a given category. When applied to the the lattice path operad $\mathcal{L}$ functors $\delta_{\mathrm{Top}} = \Delta^\bullet : \Delta \to \mathsf{Top}$ and $\delta_{\mathbb{Z}} = C_*(\Delta^\bullet; \mathbb{Z}) : \Delta \to \mathsf{Ch}(\mathbb{Z})$, Batanin-Berger had shown that one recovers the little cubes operad and its filtration. This result was obtained by showing that the condensation is equipped with the structure of a cellular operad over the extended complete graph operad $\mathcal{K}_m$ (see [\textit{C. Berger}, Contemp. Math. 202, 37--52 (1997; Zbl 0860.18001)]). \par The author generalizes Berger's result, defined two relative versions of the graph operad $\mathcal{RK}_m$ and $\mathcal{RK}'_m$ and showing that cellular operads over these are weakly equivalent to the Swiss-Cheese operad. Then the author shows that the condensation of the relative lattice path operad is equipped with such a cellular structure, completing the proof. The author concludes by discussing the case $m = 2$ and the representations of $\mathcal{RL}_2$, which is of interest for applications.