Related papers: Coherence of local and global hulls

This paper introduces an abelian category of logarithmic coherent sheaves that arranges coherent sheaves across all expansions and root stacks of a simple normal crossing degeneration. Formally, logarithmic coherent sheaves are coherent…

In this short note we prove that in many cases the failure of a variety to be separably rationally connected is caused by the instability of the tangent sheaf (if there are no other obvious reasons). A simple application of the results…

We extend Langton's valuative criterion for families of coherent algebraic sheaves to a complex analytic set-up. As a consequence we derive a set of sufficient conditions for the compactness of a moduli space of semistable sheaves over a…

Let X be a smooth irreducible projective surface. The aim of this paper is to establish a version of Clifford's theorem for coherent systems on X.

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

In this note, we show that the canonical orientation data on the quiver hearts are compatible under the autoequivalence $\_\otimes\pi^*O(1)$, and hence glue to give an orientation data for the stack of coherent sheaves on local P2.

We prove a universal property for the $(\infty, n)$-category of correspondences, generalizing and providing a new proof for the case $n = 2$ from [GR17]. We also provide conditions under which a functor out of a higher category of…

We give a sheaf-theoretic version of the universal coefficient theorem.

Coherent states for general systems with discrete spectrum, such as the bound states of the hydrogen atom, are discussed. The states in question satisfy: (1) continuity of labeling, (2) resolution of unity, (3) temporal stability, and (4)…

We propose here a transcendantal proof of the coherence of the higher direct images of a coherent sheaf by a proper morphism of algebraic varieties, which does not use Chow's lemma nor any projective method. The main tool here are…

Let $M$ be a hyperkaehler manifold, and $F$ a torsion-free and reflexive coherent sheaf on $M$. Assume that $F$ (outside of its singularities) admits a connection with a curvature which is invariant under the standard SU(2)-action on…

We show the kernel sheaf associated to a sufficiently positive torsion-free sheaf of rank 1 is slope stable. Furthermore, we are able to give an explicit bound for "sufficiently positive." This settles a conjecture of…

Given a coherent sheaf E on a scheme of finite type X over a perfect field, we introduce a category of complexes of \'etale sheaves on X with logarithmic conductors bounded by E and study its compatibilities with finite push-forward.

We expand the toolbox of (co)homological methods in computational topology by applying the concept of persistence to sheaf cohomology. Since sheaves (of modules) combine topological information with algebraic information, they allow for…

We study derived categories of coherent sheaves on abelian varieties. We give a criterion for the equivalence of the derived categories on two abelian varieties. We describe the autoequivalence group for the derived category of coherent…

We study the spaces of locally-finite stability conditions on the derived categories of coherent sheaves on the minimal resolutions of $A_n$-singularities supported at the exceptional sets. Our main theorem is that they are connected and…

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

We introduce an invariant, associated to a coherent sheaf over a projective morphism of schemes, which controls when sheaf cohomology can be passed through the given morphism. We then use this invariant to estimate the stability indexes of…

We describe an analogue of the notion of a perverse sheaf in the setting of the derived category of coherent sheaves on an algebraic stack. Under strong additional assumptions the construction of coherent "intersection cohomology" complexes…

We give a sufficient condition for a meromorphic correspondence to be a holomorphic correspondence in a neighbourhood of a smooth real hypersurface