Genuine equivariant operads (Q2656117)

Operads are well-known structures in the theory of up-to-homotopy algebraic structures. Equivariant operads incorporate an action of a group \(G\). Quillen model categories are standard tools in the theory, both in the equivariant and non-equivariant cases. However, the equivariant case is known [\textit{S. R. Costenoble} and \textit{S. Waner}, Trans. Am. Math. Soc. 326, No. 2, 485--505 (1991; Zbl 0769.54041)] to be laden with subtleties. This, and much more, is recounted in the first few pages of the introduction, motivating the need for a more refined notion of weak equivalences in the equivariant case than a naive approach would suggest. Genuine equivariant operads, introduced in the first half of the article, aim to address the problem by providing suitable Quillen model structures, in the second half of the work, and some Quillen equivalences between suitable categories. The work thus establishes this new kind of equivariant operads as viable tools for tackling the subtleties of equivariance, and places them within the general landscape of existing theories. In some sense, operads exist for the sake of their algebras. This `second phase' of the development of the theory is touched upon conjecturally on page 14, hinting at future work. The language of (split) fibrations and monads is used throughout the work, and aspects of the dendroidal category \(\Omega \) are used. The former two are well known, and thus only briefly recalled in the preliminaries section; the majority of that section is devoted to the dendroidal category. The article proper starts at Section 4 by introducing genuine equivariant operads, proceeds to establish model structures, and to compare them. As an application, the authors consider an abstract way to construct an \(N\mathcal F\)-operad, and proceed to obtain an explicit description of it using the theory they develop.