ترغب بنشر مسار تعليمي؟ اضغط هنا

A closed model structure on the category of weakly unital dg categories, II

220   0   0.0 ( 0 )
 نشر من قبل Boris Shoikhet
 تاريخ النشر 2020
  مجال البحث
والبحث باللغة English




اسأل ChatGPT حول البحث

In this paper, which is subsequent to our previous paper [PS] (but can be read independently from it), we continue our study of the closed model structure on the category $mathrm{Cat}_{mathrm{dgwu}}(Bbbk)$ of small weakly unital dg categories (in the sense of Kontsevich-Soibelman [KS]) over a field $Bbbk$. In [PS], we constructed a closed model structure on the category of weakly unital dg categories, imposing a technical condition on the weakly unital dg categories, saying that $mathrm{id}_xcdot mathrm{id}_x=mathrm{id}_x$ for any object $x$. Although this condition led us to a great simplification, it was redundant and had to be dropped. Here we get rid of this condition, and provide a closed model structure in full generality. The new closed model category is as well cofibrantly generated, and it is proven to be Quillen equivalent to the closed model category $mathrm{Cat}_mathrm{dg}(Bbbk)$ of (strictly unital) dg categories over $Bbbk$, given by Tabuada [Tab1]. Dropping the condition $mathrm{id}_x^2=mathrm{id}_x$ makes the construction of the closed model structure more distant from loc.cit., and requires new constructions. One of them is a pre-triangulated hull of a wu dg category, which in turn is shown to be a wu dg category as well. One example of a weakly unital dg category which naturally appears is the bar-cobar resolution of a dg category. We supply this paper with a refinement of the classical bar-cobar resolution of a unital dg category which is strictly unital (appendix B). A similar construction can be applied to constructing a cofibrant resolution in $mathrm{Cat}_mathrm{dgwu}(Bbbk)$.



قيم البحث

اقرأ أيضاً

In this paper, we study weakly unital dg categories as they were defined by Kontsevich and Soibelman [KS, Sect.4]. We construct a cofibrantly generated Quillen model structure on the category $mathrm{Cat}_{mathrm{dgwu}}(Bbbk)$ of small weakly unital dg categories over a field $Bbbk$. Our model structure can be thought of as an extension of the model structure on the category $mathrm{Cat}_{mathrm{dg}}(Bbbk)$ of (strictly unital) small dg categories over $Bbbk$, due to Tabuada [Tab]. More precisely, we show that the imbedding of $mathrm{Cat}_{mathrm{dg}}(Bbbk)$ to $mathrm{Cat}_{mathrm{dgwu}}(Bbbk)$ is a right adjoint of a Quillen pair of functors. We prove that this Quillen pair is, in turn, a Quillen equivalence. In course of the proof, we study a non-symmetric dg operad $mathcal{O}$, governing the weakly unital dg categories, which is encoded in the Kontsevich-Soibelman definition. We prove that this dg operad is quasi-isomorphic to the operad $mathrm{Assoc}_+$ of unital associative algebras.
200 - Boris Shoikhet 2018
Given two small dg categories $C,D$, defined over a field, we introduce their (non-symmetric) twisted tensor product $Coverset{sim}{otimes} D$. We show that $-overset{sim}{otimes} D$ is left adjoint to the functor $Coh(D,-)$, where $Coh(D,E)$ is the dg category of dg functors $Dto E$ and their coherent natural transformations. This adjunction holds in the category of small dg categories (not in the homotopy category of dg categories $mathrm{Hot}$). We show that for $C,D$ cofibrant, the adjunction descends to the corresponding adjunction in the homotopy category. Then comparison with a result of To{e}n shows that, for $C,D$ cofibtant, $Coverset{sim}{otimes} D$ is isomorphic to $Cotimes D$, as an object of the homotopy category $mathrm{Hot}$.
We study track categories (i.e., groupoid-enriched categories) endowed with additive structure similar to that of a 1-truncated DG-category, except that composition is not assumed right linear. We show that if such a track category is right linear up to suitably coherent correction tracks, then it is weakly equivalent to a 1-truncated DG-category. This generalizes work of the first author on the strictification of secondary cohomology operations. As an application, we show that the secondary integral Steenrod algebra is strictifiable.
96 - Hayato Saigo 2021
The purpose of this paper is to build a new bridge between category theory and a generalized probability theory known as noncommutative probability or quantum probability, which was originated as a mathematical framework for quantum theory, in terms of states as linear functionals defined on category algebras. We clarify that category algebras can be considered as generalized matrix algebras and that states on categories as linear functionals defined on category algebras turn out to be generalized of probability measures on sets as discrete categories. Moreover, by establishing a generalization of famous GNS (Gelfand-Naimark-Segal) construction, we obtain representations of category algebras of $^{dagger}$-categories on certain generalized Hilbert spaces which we call semi-Hilbert modules over rigs.
One-sided exact categories are obtained via a weakening of a Quillen exact category. Such one-sided exact categories are homologically similar to Quillen exact categories: a one-sided exact category $mathcal{E}$ can be (essentially uniquely) embedded into its exact hull ${mathcal{E}}^{textrm{ex}}$; this embedding induces a derived equivalence $textbf{D}^b(mathcal{E}) to textbf{D}^b({mathcal{E}}^{textrm{ex}})$. Whereas it is well known that Quillens obscure axioms are redundant for exact categories, some one-sided exact categories are known to not satisfy the corresponding obscure axiom. In fact, we show that the failure of the obscure axiom is controlled by the embedding of $mathcal{E}$ into its exact hull ${mathcal{E}}^{textrm{ex}}.$ In this paper, we introduce thr
التعليقات
جاري جلب التعليقات جاري جلب التعليقات
سجل دخول لتتمكن من متابعة معايير البحث التي قمت باختيارها
mircosoft-partner

هل ترغب بارسال اشعارات عن اخر التحديثات في شمرا-اكاديميا