Related papers: Pure injective and absolutely pure sheaves

In this note we present a work in progress whose main purpose is to establish a categorified version of sheaf theory. We present a notion of derived categorical sheaves, which is a categorified version of the notion of complexes of sheaves…

We propose a natural discretisation scheme for classical projective minimal surfaces. We follow the classical geometric characterisation and classification of projective minimal surfaces and introduce at each step canonical discrete models…

We show that the topological classification and the smooth classification are generically the same for certain families of plane curves in a semi-local case(the double local case). Especially we give the normal form of transversely jointed…

The paper aims to establish a convenient formal framework for investigating the phenomenon of scheme definiteness, exemplified by first-order internal categoricity as studied by V\"a\"an\"anen, among others. To this end, we introduce the…

We will generalize the projective model structure in the category of unbounded complexes of modules over a commutative ring to the category of unbounded complexes of quasi-coherent sheaves over the projective line. Concretely we will define…

Using the fact that $\Pi$-invertible sheaves can be interpreted as locally free sheaves of modules for the super skew field $\mathbb{D}$, we give a new construction of the $\Pi$-projective superspace $\mathbb{P}^n_{\Pi, B}$ over affine $k$…

In this paper, we extend a theorem of To\"en and Vaqui\'e to the non-Archimedean and formal settings. More precisely, we prove that a smooth and proper rigid analytic variety is algebraizable if and only if its category of perfect complexes…

We study the spectrum of closed subcategories in a quasi-scheme, i.e. a Grothendieck category $X$. The closed subcategories are the direct analogs of closed subschemes in the commutative case, in the sense that when $X$ is the category of…

Let G be an infinitesimal group scheme of finite height r and V(G) the scheme which represents 1-parameter subgroups of G. We consider sheaves over the projectivization P(G) of V(G) constructed from a G-module M. We show that if P(G) is…

In a perfect category every object has a minimal projective resolution. We give a criterion for the category of modules over a categorygraded algebra to be perfect.

Improved local and global versions of the effective Nullstellensatz for ideal sheaves on non-singular complex varieties are obtained, based on a new invariant motivated by the notion of finite type from the theory of several complex…

It is a classical result of Powell that pure mapping class groups of connected, orientable surfaces of finite type and genus at least three are perfect. In stark contrast, we construct nontrivial homomorphisms from infinite-genus mapping…

We introduce an axiomatization of Grothendieck sites with additional structure, and we describe sheaves that reconstruct groupoids which are internal to the site structure. This setting applies to various concrete situations, where a Nash…

We introduce the notion of torsion-simple objects in an abelian category: these are the objects which are always either torsion or torsion-free with respect to any torsion pair. We present some general results concerning their properties,…

For the notion of degree of categoricity, we study an analogous notion for punctual structures. We show that such notions coincide for non-$\Delta_{1}^{0}$-categorical injection structures, and construct an example of a…

The aim of this note is threefold. The first is to obtain a simple characterization of relative constructible sheaves when the parameter space is projective. The second is to study the relative Fourier-Mukai for relative constructible…

The aim of this paper is to prove the existence of large complete subvarieties in moduli spaces of rank two stable sheaves with arbitrary $c_1$ and sufficiently large $c_2$ on algebraic surfaces. Then we study the restriction of these…

We introduce the notion of a quasicoherent sheaf on a complex noncommutative two-torus $T$ as an ind-object in the category of holomorphic vector bundles on $T$. Extending the results of math.QA/0211262 and math.QA/0308136 we prove that the…

We study moduli of semistable twisted sheaves on smooth proper morphisms of algebraic spaces. In the case of a relative curve or surface, we prove results on the structure of these spaces. For curves, they are essentially isomorphic to…

Under mild hypotheses, given a scheme $U$ and an open subset $V$ whose complement has codimension at least two, the pushforward of a torsion-free coherent sheaf on $V$ is coherent on $U$. We prove an analog of this result in the context of…