Related papers: Approximation of sheaves on algebraic stacks

The higher direct image complex of a coherent sheaf (or finite complex of coherent sheaves) under a projective morphism is a fundamental construction that can be defined via a Cech complex or an injective resolution, both inherently…

By a result of Biswas and Dos Santos, on a smooth and projective variety over an algebraically closed field, a vector bundle trivialized by a proper and surjective map is essentially finite, that is it corresponds to a representation of the…

We study spaces of conformal blocks associated with line bundles over elliptic curves, with coefficients in a vertex algebra. For vertex algebras satisfying suitable finiteness and semisimplicity conditions, which are met by all admissible…

For a map f: X -> Y of quasi-compact quasi-separated schemes, we discuss quasi-perfection, that is, the right adjoint f^\times of the derived functor Rf_* respects small direct sums. This is equivalent to the existence of a functorial…

We extend the notion of algebraic stack to an arbitrary subcanonical site C. If the topology on C is local on the target and satisfies descent for morphisms, we show that algebraic stacks are precisely those which are weakly equivalent to…

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 introduce congruence spaces, which are topological spaces that are canonically attached to monoid schemes and that reflect closed topological properties. This leads to satisfactory topological characterizations of closed…

In this paper, we give an expository account of the geometric properties of the moduli stack of $G$-bundles. For $G$ an algebraic group over a base field and $X \to S$ a flat, finitely presented, projective morphism of schemes, we give a…

We prove that on separated algebraic surfaces every coherent sheaf is a quotient of a locally free sheaf. This class contains many schemes that are neither normal, reduced, quasiprojective or embeddable into toric varieties. Our methods…

Let X be a quasi-compact and quasi-separated (not necessarily semiseparated) scheme. The category QcoX of all quasi-coherent sheaves of OX-modules has several diferent pure derived categories. Recently, categorical pure derived categories…

Given a quasi-projective scheme M over complex numbers equipped with a perfect obstruction theory and a morphism to a nonsingular quasi-projective variety B, we show it is possible to find an affine bundle M'/ M that admits a perfect…

We consider categorical and geometric purity for sheaves of modules over a scheme satisfying some mild conditions, both for the category of all sheaves and for the category of quasicoherent sheaves. We investigate the relations between…

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

Dosi and, quite recently, the author showed that, on the character space of a nilpotent Lie algebra, there exists a sheaf of Fr\'echet--Arens--Michael algebras (of noncommutative holomorphic functions in the complex case and of…

In the smooth case, we prove quasi-flasqueness for the sheaves of all subelliptic multipliers as well as at each of the steps of the Kohn algorithm on a pseudoconvex domain in $\C^n.$ We use techniques by Jean-Claude Tougeron to show that…

We study the structure of Jacobians of geometrically reduced curves over arbitrary (i. e., not necessarily perfect) fields. We show that, while such a group scheme cannot in general be decomposed into an affine and an Abelian part as over…

We study complements of hypersurfaces in schemes with respect to the property being affine.

We construct a globalization of Ferrand's norm functor over rings which generalizes it to the setting of a finite locally free morphism of schemes $T\to S$ of constant rank. It sends quasi-coherent modules over $T$ to quasi-coherent modules…

Let X be an algebraic variety with an action of an algebraic group G. Suppose X has a full exceptional collection of sheaves, and these sheaves are invariant under the action of the group. We construct a semiorthogonal decomposition of…

We define graded, quasi-coherent $\mathcal{O}_S$-algebras over a given base derived scheme $S$, and show that these are equivalent to derived $\mathbb{G}_{m,S}$-schemes which are affine over $S$. We then use this $\mathbb{G}_{m,S}$-action…