Cat-valued sheaves

Let \(\mathcal{\widetilde{O}}\)(B) be the category of (open) subcategories of a topological groupoid B: In this paper we study Cat-valued sheaves over category \(\mathcal{\widetilde{O}}\)(B): The paper introduces a notion of categorical union, such that the categorical union of subcategories is a subcategory. We use this definition of categorical unions to define a categorical cover of a topological category. Instead of assuming a Grothendieck topology, we define Cat-valued sheaves in terms of the categorical cover defined in this paper. The main result is the following. For a fixed category C, the categories of local functorial sections from B to C define a Catvalued sheaf on \(\mathcal{\widetilde{O}}\)(B): Replacing C with a categorical group G; we find a CatGrp-valued sheaf on \(\mathcal{\widetilde{O}}\)(B): We also relate and distinguish our construction with the notion of stacks.     

Toric co-Higgs sheaves

We characterise and investigate co-Higgs sheaves and associated algebraic and combinatorial invariants on toric varieties. In particular, we compute explicit examples.     

Gorenstein injective sheaves

We define Gorenstein injective quasi-coherent sheaves, and prove that the notion is local in case the scheme is Gorenstein. We also give a new characterization of a Gorenstein scheme in terms of the total acyclicity of every acyclic complex of injective quasi-coherent modules.     

Relatively Noetherian rings, localization and sheaves. II: Structure sheaves

In the first part of this note, we have introduced a version of the (strong) second layer condition for ringsR which are relatively Noetherian with respect to some radical inR-mod and studied its impact on classical and symmetric localization theory. As an application, we now show how the relative version of the strong second layer condition allows us to endowK(), the generically closed subset of Spec(R) canonically associated to , with structure sheaves, which generalize most previously studied sheaf constructions in noncommutative algebra.     

Quantales and their sheaves

A quantale is a complete lattice provided with a binary multiplication which, in particular, distributes over in each variable. First we study the quantales, their morphisms, their points and the relations with the theory of locales: the case where the multiplication is just the meet. We describe the presheaves and sheaves on a quantale and exhibit a link between the corresponding toposes and quantum logic.Research supported by NATO grant 476/84.     

On Macaulayfication of sheaves

Let X be a quasi-projective scheme and ℱ a coherent sheaf of modules over X such that its non-Cohen–Macaulay locus is at most one dimensional. We use and extend the techniques of Brodmann to construct proper birational morphisms of quasi-projective schemes f:Y→X and Cohen–Macaulay coherent sheaves of modules over Y that are isomorphic to the pull-back of ℱ away from the exceptional locus of f. Certain blow-ups of X at locally complete intersections subschemes which contain non-reduced scheme structures on the non-Cohen–Macaulay locus of ℱ are the main part of the construction. Received: 19 February 1998 / Revised version: 28 December 1998     

Constructible sheaves are holonomic

We develop the theory of singular support for étale sheaves on algebraic varieties over an arbitrary base field.     

Locally torsion-free quasi-coherent sheaves

Let X   be an arbitrary scheme. It is known that the category Qcoh(X)$\mathfrak{Qcoh}(X)$ of quasi-coherent sheaves admits arbitrary products. However its structure seems to be rather mysterious. In the present paper we will describe the structure of the product object of a family of locally torsion-free objects in Qcoh(X)$\mathfrak{Qcoh}(X)$, for X an integral scheme. Several applications are provided. For instance it is shown that the class of flat quasi-coherent sheaves on a Dedekind scheme X   is closed under arbitrary direct products, and that the class of all locally torsion-free quasi-coherent sheaves induces a hereditary torsion theory on Qcoh(X)$\mathfrak{Qcoh}(X)$. Finally torsion-free covers are shown to exist in Qcoh(X)$\mathfrak{Qcoh}(X)$.