اشترك بالحزمة الذهبية واحصل على وصول غير محدود شمرا أكاديميا
تسجيل مستخدم جديدProjective and Reedy model category structures for (infinitesimal) bimodules over an operad
142
0
0.0
(
0
)
اسأل ChatGPT حول البحث
ﻻ يوجد ملخص باللغة العربية
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.
قيم البحث
اقرأ أيضاً
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 differ
ent 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 algebr
a 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 natu
ral 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.
سجل دخول لتتمكن من نشر تعليقات
التعليقات
جاري جلب التعليقات
سجل دخول لتتمكن من متابعة معايير البحث التي قمت باختيارها
