Related papers: A note on model structures on arbitrary Frobenius …
Owing to the difference in $K$-theory, an example by Dugger and Shipley implies that the equivalence of stable categories of Gorenstein projective modules should not be a Quillen equivalence. We give a sufficient and necessary condition for…
We introduce continuous Frobenius categories. These are topological categories which are constructed using representations of the circle over a discrete valuation ring. We show that they are Krull-Schmidt with one indecomposable object for…
For a small category A, we prove that the homotopy colimit functor from the category of simplicial diagrams on A to the category of simplicial sets over the nerve of A establishes a left Quillen equivalence between the projective (or Reedy)…
We prove that categories enriched in the Thomason model structure admit a model structure that is Quillen equivalent to the Bergner model structure on simplicial categories, providing a new model for (infinity,1)-categories. Along the way,…
We construct a Frobenius structure whose intersection form coincides with the generalized Cartan matrix of the $\ell$-Kronecker quiver $K_{\ell}$ and underlying complex manifold is isomorphic to the space of stability conditions for the…
In this paper, we construct a model structure for $(\infty,1)$-categories on the category of simplicial spaces, whose fibrant objects are the Segal spaces. In particular, we show that it is Quillen equivalent to the models of…
We define the projective stable category of a coherent scheme. It is the homotopy category of an abelian model structure on the category of unbounded chain complexes of quasi-coherent sheaves. We study the cofibrant objects of this model…
We prove that the marked triangulation functor from the category of marked cubical sets equipped with a model structure for ($n$-trivial, saturated) comical sets to the category of marked simplicial set equipped with a model structure for…
We construct Quillen equivalences between the model categories of monoids (rings), modules and algebras over two Quillen equivalent model categories under certain conditions. This is a continuation of our earlier work where we established…
For every stable model category $\mathcal{M}$ with a certain extra structure, we produce an associated model structure on the pro-category pro-$\mathcal{M}$ and a spectral sequence, analogous to the Atiyah-Hirzebruch spectral sequence, with…
Let $R$ be a left-Gorenstein ring. We show that there is a Quillen equivalence between singular contraderived model category and singular coderived model category. Consequently, an equivalence between the homotopy category of exact…
Any finite-dimensional Hopf algebra H is Frobenius and the stable category of H-modules is triangulated monoidal. To H-comodule algebras we assign triangulated module-categories over the stable category of H-modules. These module-categories…
For a semi-separated noetherian scheme, we show that the category of cotorsion Gorenstein flat quasi-coherent sheaves is Frobenius and a natural non-affine analogue of the category of Gorenstein projective modules over a noetherian ring. We…
We present a way of constructing a Quillen model structure on a full subcategory of an elementary topos, starting with an interval object with connections and a certain dominance. The advantage of this method is that it does not require the…
We classify certain subcategories in quotients of exact categories. In particular, we classify the triangulated and thick subcategories of an algebraic triangulated category, i.e. the stable category of a Frobenius category.
Let $\mathcal{E}$ be a weakly idempotent complete exact category with enough injective and projective objects. Assume that $\mathcal{M} \subseteq \mathcal{E}$ is a rigid, contravariantly finite subcategory of $\mathcal{E}$ containing all…
We establish a Quillen model category structure on the category of symmetric simplicial multicategories. This model structure extends the model structure on simplicial categories due to J. Bergner.
We propose a simplified definition of Quillen's fibration sequences in a pointed model category that fully captures the theory, although it is completely independent of the concept of action. This advantage arises from the understanding…
We introduce a notion of total acyclicity associated to a subcategory of an abelian category and consider the Gorenstein objects they define. These Gorenstein objects form a Frobenius category, whose induced stable category is equivalent to…
In this paper, we try to realize the unbounded derived category of an abelian category as the homotopy category of a Quillen model structure on the category of unbounded chain complexes. We construct such a model structure based on…