Subscribe to the gold package and get unlimited access to Shamra Academy
Register a new userA Quillen model structure on the category of Kontsevich-Soibelman weakly unital dg categories
272
0
0.0
(
0
)
Ask ChatGPT about the research
No Arabic abstract
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.
rate research
Read More
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)$.
Let $g_1$ and $g_2$ be two dg Lie algebras, then it is well-known that the $L_infty$ morphisms from $g_1$ to $g_2$ are in 1-1 correspondence to the solutions of the Maurer-Cartan equation in some dg Lie algebra $Bbbk(g_1,g_2)$. Then the gauge action by exponents of the zero degree component $Bbbk(g_1,g_2)^0$ on $MCsubsetBbbk(g_1,g_2)^1$ gives an explicit homotopy relation between two $L_infty$ morphisms. We prove that the quotient category by this relation (that is, the category whose objects are $L_infty$ algebras and morphisms are $L_infty$ morphisms modulo the gauge relation) is well-defined, and is a localization of the category of dg Lie algebras and dg Lie maps by quasi-isomorphisms. As localization is unique up to an equivalence, it is equivalent to the Quillen-Hinich homotopical category of dg Lie algebras [Q1,2], [H1,2]. Moreover, we prove that the Quillens concept of a homotopy coincides with ours. The last result was conjectured by V.Dolgushev [D].
In this article we build a Quillen model category structure on the category of sequentially complete l.m.c.-C*-algebras such that the corresponding homotopy classes of maps Ho(A,B) for separable C*-algebras A and B coincide with the Kasparov groups KK(A,B). This answers an open question posed by Mark Hovey about the possibility of describing KK-theory for C*-algebras using the language of Quillen model categories.
This paper works out in detail the closed multicategory structure of the category of Waldhausen categories.
We show any slightly degenerate weakly group-theoretical fusion category admits a minimal extension. Let $d$ be a positive square-free integer, given a weakly group-theoretical non-degenerate fusion category $mathcal{C}$, assume that $text{FPdim}(mathcal{C})=nd$ and $(n,d)=1$. If $(text{FPdim}(X)^2,d)=1$ for all simple objects $X$ of $mathcal{C}$, then we show that $mathcal{C}$ contains a non-degenerate fusion subcategory $mathcal{C}(mathbb{Z}_d,q)$. In particular, we obtain that integral fusion categories of FP-dimensions $p^md$ such that $mathcal{C}subseteq text{sVec}$ are nilpotent and group-theoretical, where $p$ is a prime and $(p,d)=1$.
Log in to be able to interact and post comments
comments
Fetching comments
Sign in to be able to follow your search criteria
