相关论文: Homotopy theory of modules over operads in symmetr…
We apply the theory of operadic Koszul duality to provide a cofibrant resolution of the colored operad whose algebras are prefactorization algebras on a fixed space M. his allows us to describe a notion of prefactorization algebra up to…
We apply the Dwyer-Kan theory of homotopy function complexes in model categories to the study of mapping spaces in quasi-categories. Using this, together with our work on rigidification from [DS1], we give a streamlined proof of the Quillen…
We define a notion of a connectivity structure on an $\infty$-category, analogous to a $t$-structure but applicable in unstable contexts -- such as spaces, or algebras over an operad. This allows us to generalize notions of n-skeleta,…
In the previous paper, we defined a new category which categorifies the Hecke algebra. This is a generalization of the theory of Soergel bimodules. To prove theorems, the existences of certain homomorphisms between Bott-Samelson bimodules…
We construct a "diagonal" cofibrantly generated model structre on the category of simplicial objects in the category of topological categories sCat_{Top}, which is the category of diagrams [\Delta^{op}, Cat_{Top}]. Moreover, we prove that…
Over the past century, cohomology operations have played a crucial role in homotopy theory and its applications. A powerful framework for constructing such operations is the theory of commutative algebras in spectra. In this article, we…
In this paper we apply homotopical localization to the framework of differential graded algebras over an operad. We get plus construction by performing nullification with respect to an universal acyclic algebra. This plus construction for…
In this note, we establish an equivalence of categories between the category of all eight-dimensional composition algebras with any given quadratic form $n$ over a field $k$ of characteristic not two, and a category arising from an action…
We show that morphisms from n A_infinity-algebras to a single one are maps over an operad module with n+1 commuting actions of the operad A_infinity, whose algebras are conventional A_infinity-algebras. Similar statement holds for homotopy…
We introduce a general definition of a $n$-crossed module of $P$-algebras over an algebraic operad $P$, which coincides with historical definitions in the cases of the operads As and Lie and $n = 1$. We establish a natural isomorphism…
We show that there is an equivalence of $\infty$-categories between Lie algebroids and certain kinds of curved Lie algebras. For this we develop a method to study the $\infty$-category of curved Lie algebras using the homotopy theory of…
In this work we study the homotopy theory of the category $\mathsf{RMod}_{\mathcal{P}}$ of right modules over a simplicial operad $\mathcal{P}$ via the formalism of forest spaces $\mathsf{fSpaces}$, as introduced by Heuts, Hinich and…
Higher structures - infinity algebras and other objects up to homotopy, categorified algebras, `oidified' concepts, operads, higher categories, higher Lie theory, higher gauge theory... - are currently intensively investigated in…
A monoidal model category is a model category with a compatible closed monoidal structure. Such things abound in nature; simplicial sets and chain complexes of abelian groups are examples. Given a monoidal model category, one can consider…
Vertex algebras formalize the subalgebra of holomorphic fields of a conformal field theory. OPE-algebras were proposed as a generalization of vertex algebras that formalizes the algebra of all fields of a conformal field theory. We prove…
The homotopy type of the complement of a complex coordinate subspace arrangement is studied by fathoming out the connection between its topological and combinatorial structures. A family of arrangements for which the complement is homotopy…
Using the framework for multiplicative parametrized homotopy theory introduced in joint work with C. Schlichtkrull, we produce a multiplicative comparison between the homotopical and operator algebraic constructions of twisted K-theory,…
This paper gives an explicit description of the categorical operad whose algebras are precisely symmetric monoidal categories. This allows us to place the operad in a sequence of four, and therefore a sequence of four successively stricter…
This article develops several main results for a general theory of homological algebra in categories such as the category of sheaves of idempotent modules over a topos. In the analogy with the development of homological algebra for abelian…
We construct explicit minimal models for the (hyper)operads governing modular, cyclic and ordinary operads, and wheeled properads, respectively. Algebras for these models are homotopy versions of the corresponding structures.