Related papers: Computations with moduli of perverse point sheaves

To a smooth and proper morphism $\mathcal{X}\to U$ with quasicompact semiseparated target we associate a sheaf in the \'etale topology, which takes an affine $U$-scheme $V$ to the set of $V$-linear semiorthogonal decompositions (of fixed…

We prove that the length function for perverse sheaves and algebraic regular holonomic D-modules on a smooth complex algebraic variety Y is an absolute Q-constructible function. One consequence is: for "any" fixed natural (derived) functor…

On an $n$-dimensional locally reduced complex analytic space $X$ on which the shifted constant sheaf $\Q_X^\bullet[n]$ is perverse, it is well-known that, locally, $\Q_X^\bullet[n]$ underlies a mixed Hodge module of weight $\leq n$ on $X$,…

We show that the minimal model program on any smooth projective surface is realized as a variation of the moduli spaces of Bridgeland stable objects in the derived category of coherent sheaves.

We present a constructive criterion for flatness of a morphism of analytic spaces X -> Y or, more generally, for flatness over Y of a coherent sheaf of modules on X. The criterion is a combination of a simple linear-algebra condition "in…

The purpose of this article is to set foundations for decomposition numbers of perverse sheaves, to give some methods to calculate them in simple cases, and to compute them concretely in two situations: for a simple (Kleinian) surface…

Using the Brylinski-Radon transformation, we prove that under a generic surjective linear map from C^n to C^m, the pushforward of a perverse sheaf is perverse, modulo shifts of constant sheaves.

Given a (meromorphic) fibration $f:X\to Y$ where $X$ and $Y$ are compact complex manifolds of dimensions $n$ and $m$, we define $L_f$ to be the invertible subsheaf of the sheaf of holomorphic $m$-forms of $X$ given by the saturation of…

If Y,Z are three-dimensional smooth varieties related by a flop, then Bondal and Orlov conjectured that the derived categories of coherent sheaves on Y and Z are equivalent. This conjecture was recently proved by Bridgeland. Our aim in this…

For each $0<\alpha<\frac{1}{2}$, there exists a Bayer--Lahoz--Macr{\`{\i}}--Stellari inducing Bridgeland stability condition $\sigma(\alpha)$ on a Kuznetsov component $\mathrm{Ku}(Q)$ of the smooth quadric threefold $Q$. We obtain the…

A procedure resolving a torsion-free coherent sheaf on a nonsingular $N$-dimensional projective algebraic variety into a locally free sheaf on a projective scheme of certain class is proposed. This is a higher-dimensional analog of the…

We study a one parameter degeneration of Calabi Yau threefolds whose central fiber contains a single ordinary double point. Using the nearby and vanishing cycle formalism, we construct a canonical perverse object on the singular fiber from…

Studying crepant blow-ups of (compound) du Val singularities, we classify complexes of coherent sheaves which admit no negative self-extensions -- such a complex, up to flops and mutation equivalences, must either be (1) a module over a…

Moduli spaces of sheaves and Hilbert schemes of points have experienced a recent resurgence in interest in the past several years, due largely to new techniques arising from Bridgeland stability conditions and derived category methods. In…

Let $X$ be a projective variety over a field. In this paper, we will construct a moduli space of very ample line bundles on $X$. In doing so, we develop a generalization of Fitting ideals to complexes of sheaves on $X$. We give other…

Let X be a scheme of finite type over a Noetherian base scheme S admitting a dualizing complex, and let U be an open subset whose complement has codimension at least 2. We extend the Deligne-Bezrukavnikov theory of perverse coherent sheaves…

We consider a hyperplane arrangement in $\mathbb{C}^n$ defined over $\mathbb{R}$, and the associated natural stratification of $\mathbb{C}^n$. The category of perverse sheaves smooth with respect to this stratification was described by…

We show that the minimal free resolution of a general semi-stable sheaf $U$ on $\mathbb{P}^2$ contains a subcomplex that determines an extremal ray of the cone of effective divisors of its moduli space. We provide evidence that this is part…

Given a contraction of a variety X to a base Y, we enhance the locus in Y over which the contraction is not an isomorphism with a certain sheaf of noncommutative rings D, under mild assumptions which hold in the case of (1) crepant partial…

Given a normal surface singularity $(X, Q)$ and a birational morphism to a non- singular surface $\pi : X \to S$, we investigate the local geometry of the exceptional divisor $L$ of $\pi$. We prove that the dimension of the tangent space to…