arXiv subjects

Peter Bonventre

Publications and source records attributed to Peter Bonventre.

8 recordsLinked to original sources

arXiv2023

Equivariant Trees and Partition Complexes

We introduce two definitions of $G$-equivariant partitions of a finite $G$-set, both of which yield $G$-equivariant partition complexes. By considering suitable notions of equivariant trees, we show that $G$-equivariant partitions and $G$-trees are $G$-homotopy equivalent, generalizing existing results for the non-equivariant setting. Along the way, we develop equivariant versions of Quillen's Theorems A and B, which are of independent interest.

math.AT↗

arXiv2021

Equivariant dendroidal sets and simplicial operads

We establish a Quillen equivalence between the homotopy theories of equivariant Segal operads and equivariant simplicial operads with norm maps. Together with previous work, we further conclude that the homotopy coherent nerve is a right-Quillen equivalence from the model category of equivariant simplicial operads with norm maps to the model category structure for equivariant-$\infty$-operads in equivariant dendroidal sets.

math.AT↗

arXiv2021

On the homotopy theory of equivariant colored operads

We build model structures on the category of equivariant simplicial operads with weak equivalences determined by families of subgroups, in the context of operads with a varying set of colors (and building on the fixed color model structures in the prequel). In particular, by specifying to the family of graph subgroups (or, more generally, one of the indexing systems of Blumberg-Hill), we obtain model structures on the category of equivariant simplicial operads whose weak equivalences are determined by norm map data.

math.AT↗

arXiv2021

Homotopy theory of equivariant operads with fixed colors

We build model structures on the category of equivariant simplicial operads with a fixed set of colors, with weak equivalences determined by families of subgroups. In particular, by specifying to the family of graph subgroups (or, more generally, one of the indexing systems of Blumberg-Hill), we obtain model structures on the category of equivariant simplicial operads with a fixed set of colors, with weak equivalences determined by norm map data.

math.AT↗

arXiv2020

Rigidification of dendroidal infinity-operads

We give an explicit description of the rigidification of an $\infty$-operad as a simplicial operad. This description is based on the notion of dendroidal necklace, extending work of Dugger and Spivak from the categorical context to the operadic context, although with a different framework, which relates constructions involving necklaces to a standard factorization of maps in the category of trees.

math.AT↗

arXiv2020

Genuine equivariant operads

We build new algebraic structures, which we call genuine equivariant operads, which can be thought of as a hybrid between equivariant operads and coefficient systems. We then prove an Elmendorf-Piacenza type theorem stating that equivariant operads, with their graph model structure, are equivalent to genuine equivariant operads, with their projective model structure. As an application, we build explicit models for the $N_{\infty}$-operads of Blumberg and Hill.

math.AT↗

arXiv2019

Equivariant dendroidal Segal spaces and $G$-$\infty$-operads

We introduce the analogues of the notions of complete Segal space and of Segal category in the context of equivariant operads with norm maps, and build model categories with these as the fibrant objects. We then show that these model categories are Quillen equivalent to each other and to the model category for $G$-$\infty$-operads built in a previous paper. Moreover, we establish variants of these results for the Blumberg-Hill indexing systems. In an appendix, we discuss Reedy categories in the equivariant context.

math.AT↗

arXiv2019

The genuine operadic nerve

We construct a generalization of the operadic nerve, providing a translation between the equivariant simplicially enriched operadic world to the parametrized $\infty$-categorical perspective. This naturally factors through genuine equivariant operads, a model for "equivariant operads with norms up to homotopy". We introduce the notion of an op-fibration of genuine equivariant operads, extending Grothendieck op-fibrations, and characterize fibrant operads as the image of genuine equivariant symmetric monoidal categories. Moreover, we show that under the operadic nerve, this image is sent to $G$-symmetric monoidal $G$-$\infty$-categories. Finally, we produce a functor comparing the notion of algebra over an operad in each of these two contexts.

math.AT↗