Related papers: Semistable sheaves and comparison isomorphisms in …

We introduce a notion of compatibility for families $(\mathcal{F}_{\ell})_{\ell}$ of bounded constructible $\ell$-adic complexes of \'etale sheaves on schemes. For schemes of finite type over a field, this notion is preserved by the usual…

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…

Inspired by the works in linkage theory of modules, we define the concept of linkage of sheaves of modules as a generalization of linkage of modules. Thus, we expressed it in geometry algebraic language. We show that the linkedness of…

In this paper, we study the Picard group of the moduli space of semistable sheaves on a smooth quadric surface. We polarize the surface by an ample divisor close to the anticanonical class. We focus especially on moduli spaces of sheaves of…

Given a stratified variety X with strata satisfying a cohomological parity-vanishing condition, we define and show the uniqueness of "parity sheaves", which are objects in the constructible derived category of sheaves with coefficients in…

Given an invertible sheaf on a fibre space between projective varieties of positive characteristic, we show that fibrewise semi-ampleness implies relative semi-ampleness. The same statement fails in characteristic zero.

We prove that for any finite-dimensional differential graded algebra with separable semisimple part the category of perfect modules is equivalent to a full subcategory of the category of perfect complexes on a smooth projective scheme with…

We show that every sheaf on the site of smooth manifolds with values in a stable (infinity,1)-category (like spectra or chain complexes) gives rise to a differential cohomology diagram and a homotopy formula, which are common features of…

We prove a comparison isomorphism between singular cohomology and sheaf cohomology.

There is an interplay between models, specified by variables and equations, and their connections to one another. This dichotomy should be reflected in the abstract as well. Without referring to the models directly -- only that a model…

We study semistable pairs on elliptic K3 surfaces with a section: we construct a family of moduli spaces of pairs, related by wall crossing phenomena, which can be studied to describe the birational correspondence between moduli spaces of…

We extend previous results on boundedness of sets of coherent sheaves on a compact K\"ahler manifold to the relative and not necessarily smooth case. This enlarged context allows us to prove properness properties of the relative Douady…

We introduce a notion of stability for sheaves with respect to several polarisations that generalises the usual notion of Gieseker-stability. We prove, under a boundedness assumption, which we show to hold on threefolds or for rank two…

We construct a 2-category of differential graded schemes. The local affine models in this theory are differential graded algebras, which are graded commutative with unit over a field of characteristic zero, are concentrated in non-positive…

We classify the prelocalizing subcategories of the category of quasi-coherent sheaves on a locally noetherian scheme. In order to give the classification, we introduce the notion of a local filter of subobjects of the structure sheaf. The…

(Makes a Gamma-acylic coherent resolution of a coherent sheaf on a projection scheme.)

To develop a constructive description of $\mathrm{Ext}$ in categories of coherent sheaves over certain schemes, we establish a binatural isomorphism between the $\mathrm{Ext}$-groups in Serre quotient categories $\mathcal{A}/\mathcal{C}$…

We initiate the computability-theoretic study of ringed spaces and schemes. In particular, we show that any Turing degree may occur as the least degree of an isomorphic copy of a structure of these kinds. We also show that these structures…

We establish the existence of Springer isomorphisms for reductive group schemes over general base schemes. For this, we first study centralizers of fiberwise regular sections of reductive group schemes, and we establish their flatness in…

We introduce the notion of a relative log scheme with boundary: a morphism of log schemes together with a (log schematically) dense open immersion of its source into a third log scheme. The sheaf of relative log differentials naturally…