相关论文: Operads and algebraic homotopy

The framed little 2-discs operad is homotopy equivalent to a cyclic operad. We show that the derived modular envelope of this cyclic operad (i.e., the modular operad freely generated in a homotopy invariant sense) is homotopy equivalent to…

We study the existence and left properness of transferred model structures for "monoid-like" objects in monoidal model categories. These include genuine monoids, but also all kinds of operads as for instance symmetric, cyclic, modular,…

In this article we give a construction of a polynomial 2-monad from an operad and describe the algebras of the 2-monads which then arise. This construction is different from the standard construction of a monad from an operad in that the…

The classifying spaces of cobordisms of singular maps have two fairly different constructions. We expose a homotopy theoretical connection between them. As a corollary we show that the classifying spaces in some cases have a simple product…

This paper studies formal deformations and homotopy theory of Rota-Baxter algebras of any weight. We define an $L_\infty$-algebra, which controls simultaneous deformations of associative products and Rota-Baxter operators. As a consequence,…

There are two main approaches to the problem of realizing a $\Pi$-algebra (a graded group $\Lambda$ equipped with an action of the primary homotopy operations) as the homotopy groups of a space $X$. Both involve trying to realize an…

We compare two approaches to the homotopy theory of infinity-operads. One of them, the theory of dendroidal sets, is based on an extension of the theory of simplicial sets and infinity-categories which replaces simplices by trees. The other…

We give a new proof of the fact that the complement of the complexification of a real hyperplane arrangement is homotopy equivalent to the Salvetti complex of the associated oriented matroid. Our proof involves no choices, is relatively…

We define several differential graded operads, some of them being related to families of polytopes : simplices and permutohedra. We also obtain a presentation by generators and relations of the operad K on associahedra introduced in a…

Given a locally presentable category together with a suitable functorial cylinder object, we construct model structures which are sensitive to the `direction' of the cylinder. We show that the Covariant and Contravariant model structures on…

We explain how the notion of homotopy colimits gives rise to that of mapping spaces, even in categories which are not simplicial. We apply the technique of model approximations and use elementary properties of the category of spaces to be…

We show that the category of numerically generated pointed spaces is complete, cocomplete, and monoidally closed with respect to the smash product, and then utilize these features to establish a simple but flexible method for constructing…

We prove that the category of algebras over a cofibrant operad admits a closed model category structure. This leads to the notion of "virtual operad algebra" - the algebra over a cofibrant resolution of the given operad. In particular,…

Quillen showed that simplicial sets form a model category (with appropriate choices of three classes of morphisms), which organized the homotopy theory of simplicial sets. His proof is very difficult and uses even the classification theory…

This paper contains an overview of background from stable homotopy theory used by Freed--Hopkins in their work on invertible extended topological field theories. We provide a working guide to the stable homotopy category, to the Steenrod…

It is shown that if T is a connected nontrivial graph and X is an arbitrary finite simplicial complex, then there is a graph G such that the complex Hom(T,G) is homotopy equivalent to X. The proof is constructive, and uses a nerve lemma.…

For several important classes of manifolds acted on by the torus, the information about the action can be encoded combinatorially by a regular n-valent graph with vector labels on its edges, which we refer to as the torus graph. By analogy…

Steenrod operations have been defined by Voedvodsky in motivic cohomology in order to show the Milnor and Bloch-Kato conjectures. These operations have also been constructed by Brosnan for Chow rings. The purpose of this paper is to provide…

A characterization of simplicial objects in categories with finite products obtained by the reduced bar construction is given. The condition that characterizes such simplicial objects is a strictification of Segal's condition guaranteeing…

Many homotopy-coherent algebraic structures can be described by Segal-type limit conditions determined by an "algebraic pattern", bywhich we mean an $\infty$-category equipped with a factorization system and a collection of "elementary"…