Related papers: Locally finitely presented categories with no flat…

Let Rep(F;K) denote the category of functors from finite dimensional F-vector spaces to K-modules, where F is a field and K is a commutative ring. We prove that, if F is a finite field, and Char F is invertible in K, then the K-linear…

We introduce the category of finite strings and study its basic properties. The category is closely related to the augmented simplex category, and it models categories of linear representations. Each lattice of non-crossing partitions…

We identify two categories of locally compact objects on an exact category A. They correspond to the well-known constructions of the Beilinson category lim A and the Kato category k(A). We study their mutual relations and compare the two…

Given a proper morphism X -> S, we show that a large class of objects in the derived category of X naturally form an Artin stack locally of finite presentation over S. This class includes S-flat coherent sheaves and, more generally,…

We study the question when a category of ind-objects is abelian. Our answer allows a further generalization of the notion of weakly Tannakian categories introduced by the author. As an application we show that, under suitable conditions,…

We introduce the semi-infinite category of sheaves on the affine Grassmannian, and construct a particular object in it, which we call the the semi-infinite intersection cohomology sheaf. We relate it to several other entities naturally…

For an exact category having enough projective objects, we establish a bijection between thick subcategories containing the projective objects and thick subcategories of the stable derived category. Using this bijection we classify thick…

A definition of quasi-flat left module is proposed and it is shown that any left module which is either quasi-projective or flat is quasi-flat. A characterization of local commutative rings for which each ideal is quasi-flat (resp.…

If G is a reductive group which acts on a linearized smooth scheme $X$ then we show that under suitable standard conditions the derived category of coherent sheaves of the corresponding GIT quotient stack $X^{ss}/G$ has a semi-orthogonal…

The "linear dual" of a cocomplete linear category $\mathcal C$ is the category of all cocontinuous linear functors $\mathcal C \to \mathrm{Vect}$. We study the questions of when a cocomplete linear category is reflexive (equivalent to its…

Let X be a (connected and reduced) complex space. A q-collar of X is a bounded domain whose boundary is a union of a strongly q-pseudoconvex, a strongly q-pseudoncave and two flat (i.e. locally zero sets of pluriharmonic functions)…

We define a tensor product of linear sites, and a resulting tensor product of Grothendieck categories based upon their representations as categories of linear sheaves. We show that our tensor product is a special case of the tensor product…

Given a stratified topological space, we answer the question whether the functor from the derived category of constructible sheaves to the derived category of sheaves with constructible cohomology is an equivalence. We also establish basic…

Let G be a finite group. The stable module category of G has been applied extensively in group representation theory. In particular, it has been used to great effect that it is a triangulated category which is compactly generated. Let H be…

In a previous work we constructed the $Q$-shaped derived category of any ring $A$ for any suitably nice category $Q$. The $Q$-shaped derived category of $A$, which is denoted by $\mathcal{D}_{Q}(A)$, is a generalization of the ordinary…

Given an essentially finite type morphism of schemes f: X --> Y and a positive integer d, let f^{d}: X^{d} --> Y denote the natural map from the d-fold fiber product, X^{d}, of X over Y and \pi_i: X^{d} --> X the i'th canonical projection.…

A ringed finite space is a ringed space whose underlying topological space is finite. The category of ringed finite spaces contains, fully faithfully, the category of finite topological spaces and the category of affine schemes. Any ringed…

Raynaud--Gruson characterized flat and pure morphisms between affine schemes in terms of projective modules. We give a similar characterization for non-affine morphisms. As an application, we show that every quasi-coherent sheaf is the…

For a local non-Archimedean field $K$ we construct ${\rm GL}_{d+1}(K)$-equivariant coherent sheaves ${\mathcal V}_{{\mathcal O}_K}$ on the formal ${\mathcal O}_K$-scheme ${\mathfrak X}$ underlying the symmetric space $X$ over $K$ of…

We continue the program of structural differential geometry that begins with the notion of a tangent category, an axiomatization of structural aspects of the tangent functor on the category of smooth manifolds. In classical geometry, having…