Related papers: Failure of flat descent of model structures on mod…

We define the derived category of quasi--coherent modules for certain Artin stacks as the homotopy category of two Quillen monoidal model structures on the corresponding category of unbounded complexes of quasi--coherent modules.

In this note we extend the main results of [E. Enochs and S. Estrada, Relative homological algebra in the category of quasi-coherent sheaves. Adv. in Math. 194(2005), 284-295] to the category of cartesian modules over a flat presheaf of…

We construct a fully-faithful functor of $\infty$-categories from complexes of D-cap modules with Fr\'echet cohomology to quasi-coherent sheaves on an analytic stack. We prove various descent results for $\infty$-categories of D-cap modules…

We present a general construction of model category structures on the category $\mathbb{C}(\mathfrak{Qco}(X))$ of unbounded chain complexes of quasi-coherent sheaves on a semi-separated scheme $X$. The construction is based on making…

We investigate under which assumptions a subclass of flat quasi-coherent shea\-ves on a quasi-compact and semi-separated scheme allows to "mock" the homotopy category of projective modules. Our methods are based on module theoretic…

We prove two flat descent statements for Artin n-stacks. We first show that an n-stack for the etale topology which is an Artin n-stack in the sense of HAGII, is also an n-stack for the fppf topology. Moreover, an n-stack for the fppf…

We prove that for $X$ a quasi-compact $\mathbb{F}_p$-scheme with affine diagonal (e.g.\ $X$ quasi-compact and separated) there is a t-exact equivalence $\mathcal D(\mathrm{Frob}(\mathrm{QCoh}(X),F_*)) \to \mathrm{Frob}(\mathcal…

We study fppf descent for enhanced derived categories. We revisit the work of [HS] and [TV08] in a lax context. More precisely, we construct a Cartesian and coCartesian fibration ${}^{\mathrm{op}}\mathscr D^+_S\rightarrow…

To a smooth and proper morphism $\mathcal{X}\to U$ with quasicompact semiseparated target we associate a sheaf in the \'etale topology, which takes an affine $U$-scheme $V$ to the set of $V$-linear semiorthogonal decompositions (of fixed…

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 start the general structure theory of not necessarily semisimple finite tensor categories, generalizing the results in the semisimple case (i.e. for fusion categories), obtained recently in our joint work with D.Nikshych. In particular,…

The framework of templicial objects was put forth in arXiv:2302.02484v1 in order to develop higher categorical concepts in the presence of enrichment. In particular, quasi-categories in modules constitute a subclass of templicial modules…

We develop abstract nonsense for module categories over monoidal categories (this is a straightforward categorification of modules over rings). As applications we show that any semisimple monoidal category with finitely many simple objects…

This article studies descent theory in the setting of Berkovich spaces. We give sufficient conditions for a given fibered category over the category of k-affinoid algebras to be a stack for the Berkovich analogue of the faithfully-flat…

We give a self-contained exposition of the proof of faithfully flat descent for projectivity of modules. This fills a gap in the proof given in the literature.

We explain how any Artin stack $\mathfrak{X}$ over $\mathbb{Q}$ extends to a functor on non-negatively graded commutative cochain algebras, which we think of as functions on Lie algebroids or stacky affine schemes. There is a notion of…

We develop a theory of unbounded derived categories of quasi-coherent sheaves on algebraic stacks. In particular, we show that these categories are compactly generated by perfect complexes for stacks that either have finite stabilizers or…

Let H be a coFrobenius Hopf algebra over a field k. Let A be a right H-comodule algebra over k. We recall that the category of right H-comodules admits a certain model structure whose homotopy category is equivalent to the stable category…

We construct a flat model structure on the category $_{\mathcal{Q},R}{\mathsf{Mod}}$ of additive functors from a small preadditive category $\mathcal{Q}$ satisfying certain conditions to the module category $_{R}{\mathsf{Mod}}$ over an…

We generalise the techniques of semistable reduction for flat families of sheaves to the setting of the derived category $D^b(X)$ of coherent sheaves on a smooth projective three-fold $X$. Then we construct the moduli of PT-semistable…