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

In this paper we prove that the dimension of the bounded derived category of coherent sheaves on a smooth quasi-projective curve is equal to one. We also discuss dimension spectrums of these categories.

We establish some properties of the derived category of torus-equivariant coherent sheaves on a split toric stack bundle. Our main result is a semi-orthogonal decomposition of such a category.

We establish a duality between flat affine group schemes and rigid tensor categories equipped with a neutral fiber functor (called Tannakian lattice), both defined over a Dedekind ring. We use this duality and the known Tannakian duality…

We prove that the bounded derived category of coherent sheaves on a quasicompact separated quasiexcellent scheme of finite dimension has a strong generator in the sense of Bondal-Van den Bergh. This extends a recent result of Neeman and is…

We discuss derived categories of coherent sheaves on algebraic varieties. We focus on the case of non-singular Calabi-Yau varieties and consider two unsolved problems: proving that birational varieties have equivalent derived categories,…

For a noetherian scheme that has an ample family of invertible sheaves, we prove that direct products in the category of quasi-coherent sheaves are not exact unless the scheme is affine. This result can especially be applied to all…

For an abelian category, a category equivalent to its derived category is constructed by means of specific projective (injective) multicomplexes, the so-called homological resolutions.

Given a quasi-compact, quasi-separated scheme X, a bijection between the tensor localizing subcategories of finite type in Qcoh(X) and the set of all subsets $Y\subseteq X$ of the form $Y=\bigcup_{i\in\Omega}Y_i$, with $X\setminus Y_i$…

The theory of integral, or Fourier-Mukai, transforms between derived categories of sheaves is a well established tool in noncommutative algebraic geometry. General "representation theorems" identify all reasonable linear functors between…

We investigate the properties of relative analogues of admissible Ind, Pro, and elementary Tate objects for pairs of exact categories, and give criteria for those categories to be abelian. A relative index map is introduced, and as an…

For any abelian category \calC satsifying (AB5) over a separated, quasi-compact scheme S, we construct a stack of 2-groups \GL(\calC) over the flat site of S. We will give a concrete description of \GL(\calC) when \calC is the category of…

We give a formula for the relative Deligne tensor product of two indecomposable finite semisimple module categories over a pointed braided fusion category over an algebraically closed field.

We show that an algebraic stack with affine stabilizer groups satisfies the resolution property if and only if it is a quotient of a quasi-affine scheme by the action of the general linear group, or equivalently, if there exists a vector…

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 consider semisimple super Tannakian categories generated by an object whose symmetric or alternating tensor square is simple up to trivial summands. Using representation theory, we provide a criterion to identify the corresponding…

We survey some results on tensor products of irreducible Harish-Chandra bimodules. It turns out that such tensor products are semisimple in suitable Serre quotient categories. We explain how to identify the resulting semisimple tensor…

We consider smooth algebraic varieties with ample either canonical or anticanonical sheaf. We prove that such a variety is uniquely determined by its derived category of coherent sheaves. We also calculate the group of exact…

Using the relative derived categories, we prove that if an Artin algebra $A$ has a module $T$ with ${\rm inj.dim}T<\infty$ such that $^\perp T$ is finite, then the bounded derived category $D^b({\rm mod}A)$ admits a categorical resolution;…

In a recent paper we introduced a much weaker and easy to verify structure than a model category, which we called a "weak fibration category". We further showed that a small weak fibration category can be "completed" into a full model…

We demonstrate equivalence between two definitions of lower finite highest weight categories. We also show that, in the presence of a duality, a lower finite highest weight structure on a category is unique. Finally, we give a new proof for…