Subscribe to the gold package and get unlimited access to Shamra Academy
Register a new userProjective and Reedy model category structures for (infinitesimal) bimodules over an operad
142
0
0.0
(
0
)
Ask ChatGPT about the research
No Arabic abstract
We construct and study projective and Reedy model category structures for bimodules and infinitesimal bimodules over topological operads. Both model structures produce the same homotopy categories. For the model categories in question, we build explicit cofibrant and fibrant replacements. We show that these categories are right proper and under some conditions left proper. We also study the extension/restriction adjunctions.
rate research
Read More
Variations on the notions of Reedy model structures and projective model structures on categories of diagrams in a model category are introduced. These allow one to choose only a subset of the entries when defining weak equivalences, or to use different model categories at different entries of the diagrams. As a result, a bisimplicial model category that can be used to recover the algebraic K-theory for any Waldhausen subcategory of a model category is produced.
From a map of operads $eta : Orightarrow O$, we introduce a cofibrant replacement of the operad $O$ in the category of bimodules over itself such that the corresponding model of the derived mapping space of bimodules $Bimod_{O}^{h}(O;O)$ is an algebra over the one dimensional little cubes operad $mathcal{C}_{1}$. In the present work, we also build an explicit weak equivalence of $mathcal{C}_{1}$-algebras from the loop space $Omega Operad^{h}(O;O)$ to $Bimod_{O}^{h}(O;O)$.
We present a family of model structures on the category of multicomplexes. There is a cofibrantly generated model structure in which the weak equivalences are the morphisms inducing an isomorphism at a fixed stage of an associated spectral sequence. Corresponding model structures are given for truncate
We introduce a notion of bimodule in the setting of enriched $infty$-categories, and use this to construct a double $infty$-category of enriched $infty$-categories where the two kinds of 1-morphisms are functors and bimodules. We then consider a natural definition of natural transformations in this context, and show that in the underlying $(infty,2)$-category of enriched $infty$-categories with functors as 1-morphisms the 2-morphisms are given by natural transformations.
Given a symmetric operad $mathcal{P}$ and a $mathcal{P}$-algebra $V$, the associative universal enveloping algebra ${mathsf{U}_{mathcal{P}}}$ is an associative algebra whose category of modules is isomorphic to the abelian category of $V$-modules. We study the notion of PBW property for universal enveloping algebras over an operad. In case $mathcal{P}$ is Koszul a criterion for the PBW property is found. A necessary condition on the Hilbert series for $mathcal{P}$ is discovered. Moreover, given any symmetric operad $mathcal{P}$, together with a Grobner basis $G$, a condition is given in terms of the structure of the underlying trees associated with leading monomials of $G$, sufficient for the PBW property to hold. Examples are provided.
Log in to be able to interact and post comments
comments
Fetching comments
Sign in to be able to follow your search criteria
