Related papers: Finiteness of formal pushforwards

We use the anti-equivalence between Cohen-Macaulay complexes and coherent sheaves on formal schemes to shed light on some older results and prove new results. We bring out the relations between a coherent sheaf M satisfying an S_2 condition…

In this paper, we investigate the properties of $A$-coherent and $A$-quasi-coherent sheaves within the framework of algebraic geometry over non-algebraically closed fields. We define an $\mathcal{O}_X$-module to be $A$-coherent (resp.…

We study the compatibility with proper push-forward of the characteristic cycles of a constructible complex on a smooth variety over a perfect field.

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.…

Given a normal projective irreducible stack $\mathscr X$ over an algebraically closed field of characteristic zero we consider framed sheaves on $\mathscr X$, i.e., pairs $(\mathcal E,\phi_{\mathcal E})$, where $\mathcal E$ is a coherent…

We establish a criterion for sheaves on an adically complete DG scheme to be coherent. We deduce a description of coherent sheaves on an adically complete lci singularity in terms of modules for a DG Lie algebra.

In this paper we discuss different properties of noncommutative schemes over a field. We define a noncommutative scheme as a differential graded category of a special type. We study regularity, smoothness and properness for noncommutative…

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

There exists the Krichever map from the set of quintets (C,p,F,t,e) (where C is an integral and complete algebraic curve, p a smooth rational point, F a rank 2 torsion free coherent sheaf on C, t a local formal parameter in p and e a formal…

Let $Z\to X$ be a closed immersion of smooth affine schemes over an arbitrary field $k$, and $X^h_Z$ denote the henselization of $X$ along $Z$. For each presheaf $E\colon \mathbf{SH}(k)\to \mathrm{Ab}^\mathrm{op}$ on the stable motivic…

Relations between some kinds of formal and standard smoothness, for morphisms of schemes, are clarified in surprisingly simple and direct ways, bypassing much of the customarily employed machinery. Even the deep local-to-global property of…

We show that the pushout of an \'etale morphism and an open immersion exists in the category of algebraic stacks and show that such pushouts behave similarly to the gluing of two open substacks. For example, quasi-coherent sheaves on the…

This a first step to develop a theory of smooth, etale and unramified morphisms between noetherian formal schemes. Our main tool is the complete module of differentials, that is a coherent sheaf whenever the map of formal schemes is of…

We give necessary and sufficient conditions for the hull of a coherent sheaf to be coherent.

We show that every flat quasi-coherent sheaf on a quasi-compact quasi-separated scheme is a directed colimit of locally countably presentable flat quasi-coherent sheaves. More generally, the same assertion holds for any countably…

We prove that any flat family $(\mathcal{ F}_u)_{u\in U}$ of rank 2 torsion-free sheaves on a Gauduchon surface defines a continuous map on the semi-stable locus $U^{\mathrm {ss}}:=\{u\in U \ |\ \mathcal{ F}_u\hbox{ is slope semi-stable}\}$…

A quasi-coherent ringed scheme is a pair (X,A), where X is a scheme, and A is a noncommutative quasi-coherent O_X-ring. We introduce dualizing complexes over quasi-coherent ringed schemes and study their properties. For a separated…

Let X be a projective, equidimensional, singular scheme over an algebraically closed field. Then the existence of a geometric smoothing (i.e. a family of deformations of X over a smooth base curve whose generic fibre is smooth) implies the…

We characterise those objects in the derived category of a scheme which are a sheaf supported on a closed subscheme in terms of Koszul complexes. This is applied to generalize to arbitrary schemes the fully faithfullness criteria of an…

We construct monads for framed torsion-free sheaves on blow-ups of the complex projective plane at finitely many distinct points. Using these monads we prove that the moduli space of such sheaves is a smooth algebraic variety. Moreover we…