On sifted homotopy colimits of algebras over an $N_{\infty}$-operad

Abstract: We prove that the forgetful functor from algebras over an $N_{\infty}$-operad to equivariant spaces preserves sifted homotopy colimits

• The paper demonstrates that sifted homotopy colimits are preserved under the forgetful functor from N∞-operad algebras to equivariant spaces.
• It innovatively employs a graph model structure and strong fixed cofibrancy conditions to overcome the lack of Σ-cofibrancy.
• The results pave the way for rectification theorems and further comparisons between strict and homotopy-invariant models in equivariant algebraic topology.

Sifted Homotopy Colimits for Algebras over $N_{\infty}$-Operads

Introduction

The paper "On sifted homotopy colimits of algebras over an $N_{\infty}$-operad" (2604.00734) addresses the persistence of sifted homotopy colimits under the forgetful functor from algebras over an $N_{\infty}$-operad to the underlying category of equivariant spaces. This problem is deeply intertwined with foundational aspects of equivariant homotopy theory, the behavior of operads under colimit-forming processes, and the possibility of comparing strict and homotopy-invariant algebraic structures in equivariant contexts. The work extends classical results originally developed for $\Sigma$-cofibrant operads in the non-equivariant setting, notably results of Berger-Moerdijk and Pavlov-Scholbach [BM03, PS1], to a broad class of equivariant operads containing the $N_{\infty}$-operads, bypassing technical obstructions posed by their failure of $\Sigma$-cofibrancy.

$N_{\infty}$-Operads and Equivariant Homotopy Theory

$N_{\infty}$-operads were introduced by Blumberg and Hill [BH1] as an equivariant generalization of the classical $E_{\infty}$-operads, encoding structured commutative multiplications and transfer phenomena in genuine equivariant stable homotopy theory. Unlike their non-equivariant ancestors, $N_{\infty}$-operads are classified by $N_{\infty}$0-indexing systems and typically fail to be $N_{\infty}$1-cofibrant. This lack of $N_{\infty}$2-cofibrancy has severe consequences: many structural results in the homotopy theory of operads and their algebras do not immediately extend, impeding progress on comparisons and rectification problems between strict and homotopy-invariant models.

The key technical challenge addressed by the paper is to extend preservation properties of sifted (homotopy) colimits—crucial to comparison and localization theorems for algebras—from the non-equivariant $N_{\infty}$3-cofibrant context to the broader family of $N_{\infty}$4-operads.

Main Theorem and Equivariant Generalization

The central contribution is the equivariant generalization of compatibility of sifted homotopy colimits with the forgetful functor:

Theorem: Let $N_{\infty}$5 be a $N_{\infty}$6-simplicial operad with each $N_{\infty}$7 carrying a free $N_{\infty}$8-action. Then the forgetful functor

$N_{\infty}$9

preserves sifted colimits.

This result applies in particular to all $N_{\infty}$0-operads, despite their failure to be $N_{\infty}$1-cofibrant. The proof strategy diverges from classical arguments, compensating for this failure by leveraging equivariant diagrammatic techniques, new model structures (such as the graph model structure), and careful analysis of fixed points compatibility through colimit constructions.

Technical Framework and Proof Structure

The argument is built on an equivariant cellular machinery. Key innovations and technical components include:

• Counterexamples to Classical Extensions: The paper first rigorously shows that $N_{\infty}$2-operads are not $N_{\infty}$3-cofibrant by explicit computations on fixed points and stabilizers, and demonstrates the failure of preservation of cofibrant objects under forgetful functors in this context.
• Graph Model Structure and Strong Fixed Cofibrancy: The author introduces and utilizes a "graph" model structure to capture compatibilities between $N_{\infty}$4-actions and the symmetric group actions, and defines strong fixed cofibrations as morphisms with favorable fixed point properties under partitions and pushout-products. Cellular objects for this structure play a central role.
• Inductive Decomposition via Partitioned Trees: The combinatorics of operadic compositions is controlled using marked partitioned trees, allowing for explicit decompositions of automorphism groups and inductive constructions.
• Fixed Point and Colimit Commutation: The proof systematizes how fixed point functors interact with cellular filtrations, transfinite compositional steps, and equivariant diagrams—securing cofibrancy and colimit-preserving properties at each stage.
• Pushout Product and Equivariant Quotients: Through a careful analysis using orbits and transfer functors, the paper ensures that all technical criteria required for the preservation of cofibrancy and compatibility with fixed points are satisfied.
• Passage to $N_{\infty}$5-Categories: The results are shown to descend from model category structures to the associated $N_{\infty}$6-categories, ensuring that the assertion participates in the modern landscape of higher category theory.

Implications and Theoretical Consequences

Equivariant Algebraic Homotopy Theory: The preservation of sifted homotopy colimits under forgetful functors is a critical property for formulating and understanding adjunctions, Bousfield localizations, and comparisons between strict and homotopy-coherent structures in the equivariant setting. In particular, it is a necessary precursor for any rectification theorem—the process of relating strict algebraic structures to homotopy-invariant analogues.

Resolution of Technical Bottlenecks: By bypassing the need for $N_{\infty}$7-cofibrancy, this work enables a robust transfer of homotopical algebraic machinery to the equivariant context. In particular, this substantial technical advancement unblocks further comparison between $N_{\infty}$8-algebras as studied by Blumberg-Hill, Bonventre-Pereira, Rubin, and others.

Future Directions and Open Problems: The extension of full rectification theorems for algebras over $N_{\infty}$9-operads is now rendered accessible—indeed, the results of this paper are used as a key input in subsequent rectification results for $\Sigma$0-algebras [greg1]. Remaining open problems include the development of comparison functors between equivariant topological and $\Sigma$1-operadic models that are equivalences on broader classes of $\Sigma$2-operads, and the corresponding universal properties in parametrized higher category theory. Conjecturally, this line of work should synergize with efforts in global equivariant homotopy theory, equivariant higher semiadditivity, and multiplicative infinite loop space theory, as pursued in recent advances [CLL3, CLL1, CLL2].

Conclusion

This paper establishes that, for $\Sigma$3-operads and their algebras, sifted homotopy colimits are preserved under the forgetful functor to equivariant spaces, despite the failure of $\Sigma$4-cofibrancy. The methods developed extend classical homotopical techniques to the equivariant setting, leveraging new framework tools and model structures that tightly control the interplay of equivariant and symmetric actions. These results have substantial impact on the foundations of equivariant algebraic homotopy theory and provide essential infrastructure for future rectification and comparison theorems for algebras over genuine equivariant operads (2604.00734).