Related papers: Ind-abelian categories and quasi-coherent sheaves

We define an intrinsic symmetric bi-right-exact (and for varieties, bi-cocontinuous) bilinear product on objects of a semi-abelian category, constructed as the cosmash product in the two-nilpotent reflection. When applied to abelian…

Integral categories form a sub-class of pre-abelian categories whose systematic study was initiated by Rump in 2001. In the first part of this article we determine whether several categories of topological and bornological vector spaces are…

We assume given a smooth symplectic (in the algebraic sense) resolution $X$ of an affine algebraic variety $Y$, and we prove that, possibly after replacing $Y$ with an etale neighborhood of a point, the derived category of coherent sheaves…

In these notes, an introduction to derived categories and derived functors is given. The main focus is the bounded derived category of coherent sheaves on a smooth projective variety.

We relativize the notion of a compact object in an abelian category with respect to a fixed subclass of objects. We show that the standard closure properties persist to hold in this case. Furthermore, we describe categorical and…

Given a tensor triangulated category we investigate the geometry of the Balmer spectrum as a locally ringed space. Specifically we construct functors assigning to every object in the category a corresponding sheaf and a notion of support…

For a Serre subcategory $\mathscr L$ and a resolving subcategory $\mathscr A$ of an abelian category, we show that the derived equivalence $D^b(\overline{\mathscr A} \cap \mathscr L) \simeq D^b_{\mathscr L}(\mathscr A)$ holds under certain…

These notes provide a description of the abelian categories that arise as categories of coherent sheaves on weighted projective lines. Two different approaches are presented: one is based on a list of axioms and the other yields a…

In [BaSc2], the author and Tomer Schlank introduced a much weaker homotopical structure than a model category, which we called a "weak cofibration category". We further showed that a small weak cofibration category induces in a natural way…

The derived category of bounded complexes of coherent sheaves is one of the most important algebraic invariants of a smooth projective variety. An important approach to understand derived categories is to construct full strongly exceptional…

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…

We give a purely geometric categorification of tensor products of finite-dimensional simple $U_q(sl_2)$-modules and $R$-matrices on them. The work is developed in the framework of category of perverse sheaves and the categorification…

This paper studies abelian categories that can be decomposed into smaller abelian categories via iterated recollements - such a decomposition we call a stratification. Examples include the categories of (equivariant) perverse sheaves and…

We prove that the 2-Deligne tensor product of two compact semisimple 2-categories exists. Further, under suitable hypotheses, we explain how to describe the $Hom$-categories, connected components, and simple objects of a 2-Deligne tensor…

We show that the triangulated category of bounded constructible complexes on an algebraic variety X over an algebraically closed field is equivalent to the bounded derived category of the abelian category of constructible sheaves on X,…

We show that Lurie's results on Tannaka duality for geometric stacks hold without any tameness hypotheses. We deduce this as a consequence of an affineness theorem in the theory of sheaves of categories. This affineness result is also…

In an ongoing project to classify all hereditary abelian categories, we provide a classification of Ext-finite directed hereditary abelian categories satisfying Serre duality up to derived equivalence. In order to prove the classification,…

In this paper we show that if $\mathscr{C}$ is a tangent category then the Ind-category $\operatorname{Ind}(\mathscr{C})$ is a tangent category as well with a tangent structure which locally looks like the tangent structure on…

In this paper, we show all k-linear abelian 1-Calabi-Yau categories over an algebraically closed field k are derived equivalent to either the category of coherent sheaves on an elliptic curve, or to the finite dimensional representations of…

Motivated by applications to the categorical and geometric local Langlands correspondences, we establish an equivalence between the category of filtered $\mathcal{D}$-modules on a smooth stack $X$ and the category of $S^1$-equivariant…