Gerstenhaber and Schack ([GS]) developed a deformation theory of presheaves of algebras on small categories. We translate their cohomological description to sheaf cohomology. More precisely, we describe the deformation space of (admissible) quasicoherent sheaves of algebras on a quasiprojective scheme $X$ in terms of sheaf cohomology on $X$ and $X\times X$. These results are applied to the study of deformations of the sheaf $D_X$ of differential operators on $X$. In particular, in case $X$ is a flag variety we show that any deformation of $D_X$, which is induced by a deformation of $\cO_X$, must be trivial. This result is used in [LR3], where we study the localization construction for quantum groups.
We show that for a quasicompact quasiseparated scheme $X$, the following assertions are equivalent: (1) the category $\operatorname{QCoh}(X)$ of all quasicoherent sheaves on $X$ has a flat generator; (2) for every injective object $\mathcal E$ of $\operatorname{QCoh}(X)$, the internal hom functor into $\mathcal E$ is exact; (3) the scheme $X$ is semiseparated.
A correspondence between quasicoherent sheaves on toric schemes and graded modules over some homogeneous coordinate ring is presented, and the behaviour of several finiteness properties under this correspondence is investigated.
We introduce the notion of a quasicoherent sheaf on a complex noncommutative two-torus $T$ as an ind-object in the category of holomorphic vector bundles on $T$. Extending the results of math.QA/0211262 and math.QA/0308136 we prove that the derived category of quasicoherent sheaves on $T$ is equivalent to the derived category of usual quasicoherent sheaves on the corresponding elliptic curve. We define the rank of a quasicoherent sheaf that can take arbitrary nonnegative real values. We study the category $\Qcoh(η_T)$ obtained by taking the quotient of the category of quasicoherent sheaves by …
Given a graded monoid A with 1, one can construct a projective monoid scheme MProj(A) analogous to Proj(R) of a graded ring R. This paper is concerned with the study of quasicoherent sheaves (of pointed sets) on MProj(A), and we prove several basic results regarding these. We show that: 1.) Every quasicoherent sheaf F on MProj(A) can be constructed from a graded A--set in analogy with the construction of quasicoherent sheaves on Proj(R) from graded R--modules. 2.) High enough twists of coherent sheaves are generated by finitely many global sections, hence that every coherent sheaf is a quotien…
Let X be the toric scheme over a ring R associated with a fan Sigma. It is shown that there are a group B, a B-graded R-algebra S and a graded ideal I of S such that there is an essentially surjective, exact functor ~ from the category of B-graded S-modules to the category of quasicoherent O_X-modules that vanishes on I-torsion modules and that induces for every B-graded S-module F a surjection Xi_F from the set of I-saturated graded sub-S-modules of F onto the set of quasicoherent sub-O_X-modules of ~F. If Sigma is simplicial, the above data can be chosen such that ~ vanishes precisely on I-t…
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 these four purities and compute a number of examples, in particular describing both the geometric and categorical Ziegler spectra for the category of quasicoherent sheaves over the projective line over a field.
Studying toric varieties from a scheme-theoretical point of view leads to toric schemes, i.e. "toric varieties over arbitrary base rings". It is shown how the base ring affects the geometry of a toric scheme. Moreover, generalisations of results by Cox and Mustata allow to describe quasicoherent sheaves on toric schemes in terms of graded modules. Finally, a toric version of the Serre-Grothendieck correspondence relates cohomology of quasicoherent sheaves on toric schemes to local cohomology of graded modules.
We give bounds for the cohomology of constructible sheaves on the moduli stacks M_{g,n} over the complex field. This enables us recover Harer's bound for the virtual cohomological dimension of the associated mapping class groups as well the theorem of Diaz on complete subvarieties of M_g. We also obtain such bounds for any open subset of the Deligne-Mumford compactification of M_{g,n} that is a union of strata. Our proof yields a template for obtaining similar bounds for the cohomological dimension for quasicoherent sheaves on M_{g,n}.
We identify the type of $\mathbb{C}[[\hbar]]$-linear structure inherent in the $\infty$-categories which arise in the theory of Deformation Quantization modules. Using this structure, we show that the $\infty$-category of quasicoherent cohomologically complete DQ-modules is a deformation of the $\infty$-category of quasicoherent sheaves. We also obtain integral representation results for DQ-modules similar to the ones of Toën and Ben-Zvi-Nadler-Francis, stating that suitably linear functors between $\infty$-categories of DQ-modules are integral transforms.
We introduce and study kernel algebras, i.e., algebras in the category of sheaves on a square of a scheme, where the latter category is equipped with a monoidal structure via a natural convolution operation. We show that many interesting categories, such as D-modules, equivariant sheaves and their twisted versions, arise as categories of modules over kernel algebras. We develop the techniques of constructing derived equivalences between these module categories. As one application we generalize the results of math.AG/9901009 concerning modules over algebras of twisted differential operators on …
In this paper, we study deformations of nonsingular Poisson varieties, deformations of Poisson invertible sheaves and simultaneous deformations of nonsingular Poisson varieties and Poisson invertible sheaves, which extend flat deformation theory of nonsingular varieties and invertible sheaves. In an appendix, we study deformations of Poisson vector bundles. We identify first-order deformations and obstructions.
We determine versal non-commutative deformations of some simple collections in the categories of perverse coherent sheaves arising from tilting generators for projective morphisms.
We consider non-commutative deformations of sheaves on algebraic varieties. We develop some tools to determine parameter algebras of versal non-commutative deformations for partial simple collections and the structure sheaves of smooth rational curves. We apply them to universal flopping contractions of length 2 and higher. We confirm Donovan-Wemyss conjecture in the case of deformations of Laufer's flops.
We review the theory of non-commutative deformations of sheaves and describe a versal deformation by using an A-infinity algebra and the change of differentials of an injective resolution. We give some explicit non-trivial examples.
In this article, we study the deformation theory of locally free sheaves and Hitchin pairs over a nodal curve. As a special case, the infinitesimal deformation of these objects gives the tangent space of the corresponding moduli spaces, which can be used to calculate the dimension of the corresponding moduli space. We show that the deformation of locally free sheaves and Hitchin pairs over a nodal curve is equivalent to the deformation of generalized parabolic bundles and generalized parabolic Hitchin pairs over the normalization of the nodal curve respectively.
We compare the obstruction classes defined in arXiv:1101.4069 to those defined by Illusie. We also give sheaf theoretic proofs of some of the standard properties of the cotangent complex.
We show that the space of first-order deformations of an orthogonal (resp. symplectic) sheaf over a smooth projective scheme is the first hypercohomology space of a complex which is naturally constructed out of the orthogonal (resp. symplectic) sheaf. We also provide an obstruction theory of these objects whose target is the second hypercohomology space of this complex.
A primitive multiple curve is a Cohen-Macaulay irreducible projective curve Y that can be locally embedded in a smooth surface, and such that C=Y_red is smooth. In this case, L=I_C/I_C^2 is a line bundle on C. If Y is of multiplicity 2, i.e. if I_C^2=0, Y is called a ribbon. If Y is a ribbon and h^0(L^{-2})>0, then Y can be deformed to smooth curves, but in general a coherent sheaf on Y cannot be deformed in coherent sheaves on the smooth curves. A ribbon with associated line bundle L such that deg(L)=-d<0 can be deformed to reduced curves having 2 irreducible components if L can be written as…
In this paper we study deformation classes of moduli spaces of sheaves on a projective K3 surface. More precisely, let $(S1,H1)$ and $(S2,H2)$ be two polarized K3 surfaces, $m\in\mathbb{N}$, and for $i=1,2$ let $mv_{i}$ be a Mukai vector on $S_{i}$ such that $H_{i}$ is $mv_{i}-$generic. Moreover, suppose that the moduli spaces $M_{mv_{1}}(S_{1},H_{1})$ of $H_{1}-$semistable sheaves on $S_{1}$ of Mukai vector $mv_{1}$ and $M_{mv_{2}}(S_{2},H_{2})$ of $H_{2}-$semistable sheaves on $S_{2}$ with Mukai vector $mv_{2}$, have the same dimension. The aim of this paper is to prove that $M_{mv_{1}}(S_{1…
Let $X$ be a smooth connected projective algebraic curve over an algebraically closed field, and let $S$ be a finite nonempty closed subset in $X$. We study deformations of $\overline{\mathbb F}_\ell$-sheaves. The universal deformation space is a formal scheme. Its generic fiber has a rigid analytic space structure. By studying this rigid analytic space, we prove a conjecture of Katz which says that if a lisse $\overline{\mathbb Q}_\ell$-sheaf $\mathcal F$ on $X-S$ is irreducible and rigid, then we have $\mathrm{dim}\, H^1(X,j_\ast\mathcal End(\mathcal F))=2g$, where $j:X-S\to X$ is the open i…
This paper studies deformations and birational maps between singular moduli spaces of semistable sheaves with 2-divisible Mukai vectors on K3 surfaces. It is showed that under certain conditions, two such moduli spaces of the same dimension can be connected by deformations and birational maps.
We describe a noncommutative deformation theory for presheaves and sheaves of modules that generalizes the commutative deformation theory of these global algebraic structures, and the noncommutative deformation theory of modules over algebras due to Laudal. In the first part of the paper, we describe a noncommutative deformation functor for presheaves of modules on a small category, and an obstruction theory for this functor in terms of global Hochschild cohomology. An important feature of this obstruction theory is that it can be computed in concrete terms in many interesting cases. In the la…
Let $C$ be a smooth irreducible complex projective curve of genus $g \geq 2$ and $M$ the moduli space of stable vector bundles on $C$ of rank $n$ and degree $d$ with $\gcd(n,d)=1$. A generalised Picard sheaf is the direct image on $M$ of the tensor product of a universal bundle on $M\times C$ by the pullback of a vector bundle $E_0$ on $C$. In this paper, we investigate the stability of generalised Picard sheaves and, in the case where these are locally free, their deformations. When $g\ge3$, $n\ge2$ (with some additional restrictions for $g=3,4$) and the rank and degree of $E_0$ are coprime, …
Let S be a K3 surface and M a smooth and projective 2n-dimensional moduli space of stable coherent sheaves on S. Over M x M there exists a rank 2n-2 reflexive hyperholomorphic sheaf E_M, whose fiber over a non-diagonal point (F,G) is Ext^1(F,G). The sheaf E_M can be deformed along some twistor path to a sheaf E_X over the cartesian square of every Kahler manifold X deformation equivalent to M. We prove that E_X is infinitesimally rigid, and the isomorphism class of the Azumaya algebra End(E_X) is independent of the twistor path chosen. This verifies conjectures in arXiv:1310.5782 and arXiv:150…
In this paper, we consider moduli spaces of stable sheaves on abelian surfaces. Our main assumption is the primitivity of the associated Mukai vector. We construct many isomorphisms of muduli spaces induced by Fourier-Mukai functor. As an application, we show that deformation type of these spaces are determined by their dimension. We next show that the fiber of the albanese map is irreducible symplectic manifolds In particular, we describe the period by using Mukai lattice. We also discuss deformation type of moduli spaces of stable sheaves on K3 surfaces.
For a ringed space (X,O), we show that the deformations of the abelian category Mod(O) of sheaves of O-modules are obtained from algebroid prestacks, as introduced by Kontsevich. In case X is a quasi-compact separated scheme the same is true for Qch(O), the category of quasi-coherent sheaves on X. It follows in particular that there is a deformation equivalence between Mod(O) and Qch(O).
We define a sheaf of abelian groups whose cohomology is represented by the cotangent complex. We show how obstructions to some standard deformation problems arise as the classes of torsors under and gerbes banded by this sheaf.
Let (X,D) be a D-scheme in the sense of Beilinson and Bernstein, given by an algebraic variety X and a morphism O_X -> D of sheaves of rings on X. We consider noncommutative deformations of quasi-coherent sheaves of left D-modules on X, and show how to compute their pro-representing hulls. As an application, we compute the noncommutative deformations of the left D_X-module O_X when X is any elliptic curve.
Let $X$ be a smooth connected algebraic curve over an algebraically closed field $k$. We study the deformation of $\ell$-adic Galois representations of the function field of $X$ while keeping the local Galois representations at all places undeformed.
A construction of the tangent dg Lie algebra of a sheaf of operad algebras on a site is presented. The requirements on the site are very mild; the requirements on the algebra are more substantial. A few applications including the description of deformatins of a scheme and equivariant deformations are considered. The construction is based upon a model structure on the category of presheaves which should be of an independent interest.
Let X be a K3 surface and M a smooth and projective moduli space of stable sheaves on X of Mukai vector v. A universal sheaf U over X x M induces an integral transform F from the derived category D(X) of coherent sheaves on X to that on M. (1) We prove that the integral transform F is faithful. F is not full if the dimension of M is greater than 2. (2) We exhibit the full subcategory of D(M), consisting of objects in the image of F, as the quotient of a category, explicitly constructed from D(X), by a natural congruence relation defined in terms of the Mukai vector v. (3) Let C be a component …
In this note we realize the sheaf of Cherednik algebras $H_{1, c, X, G}$ on a general good complex orbifold $X/G$, originally introduced by Etingof for smooth complex varieties with an action by a finite group, by gluing sheaves of flat sections of flat holomorphic vector bundles on orbit type strata in $X$ which result from a localization procedure. In the case, when $c$ is formal, this construction can be interpreted as a formal deformation of $D_X\rtimes\mathbb CG$ via Gel'fand-Kazhdan formal geometry. Contrary to the original definition of $H_{1, c, X, G}$ the presented construction permit…
We propose a geometric interpretation of the classical Rankin-Selberg method for GL(n) in the framework of the geometric Langlands program. We show that the geometric Langlands conjecture for an irreducible unramified local system $E$ of rank $n$ on a curve implies the existence of automorphic sheaves corresponding to the universal deformation of $E$. Then we calculate the `scalar product' of two automorphic sheaves attached to this universal deformation.
We study relations between the quadraticity of the Kuranishi family of a coherent sheaf on a complex projective scheme and the formality of the DG-Lie algebra of its derived endomorphisms. In particular, we prove that for a polystable coherent sheaf on a smooth complex projective surface the DG-Lie algebra of derived endomorphisms is formal if and only if the Kuranishi family is quadratic.
We use the Thom-Whitney construction to show that infinitesimal deformations of a coherent sheaf F are controlled by the differential graded Lie algebra of global sections of an acyclic resolution of the sheaf End(E), where E is any locally free resolution of F. In particular, one recovers the well known fact that the tangent space to deformations of F is Ext^1(F,F), and obstructions are contained in Ext^2(F,F). The main tool is the identification of the deformation functor associated with the Thom-Whitney DGLA of a semicosimplicial DGLA whose cohomology is concentrated in nonnegative degrees …
In this paper we study moduli spaces of sheaves on an abelian or projective K3 surface. If $S$ is a K3, $v=2w$ is a Mukai vector on $S$, where $w$ is primitive and $w^{2}=2$, and $H$ is a $v-$generic polarization on $S$, then the moduli space $M_{v}$ of $H-$semistable sheaves on $S$ whose Mukai vector is $v$ admits a symplectic resolution $\widetilde{M}_{v}$. A particular case is the $10-$dimensional O'Grady example $\widetilde{M}_{10}$ of irreducible symplectic manifold. We show that $\widetilde{M}_{v}$ is an irreducible symplectic manifold which is deformation equivalent to $\widetilde{M}_{1…
We study certain nearby cycles sheaves on an affine flag manifold which arise naturally in the Beilinson-Gaitsgory deformation of the affine flag manifold to the affine Grassmannian. We study the multiplicity functions we introduced in an earlier paper, which encode the data of the Jordan-Hoelder series. We prove the multiplicity functions are polynomials in q, and we give a sharp bound for their degrees. Our results apply as well to the nearby cycles in the p-adic deformation of Laumon-Haines-Ngo, and also to Wakimoto sheaves.
We prove a global Torelli theorem for the moduli space of marked triples (X,m,A), consisting of an irreducible holomorphic symplectic manifold X, a marking m of its second integral cohomology, and a stable and rigid sheaf A of Azumaya algebras on the cartesian product X^d, d>0, such that the second Chern class of A is invariant under a finite index subgroup of the monodromy group of X. The main example involves the rank 2n-2 sheaf over the cartesian square of holomorphic symplectic manifolds of K3[n]-type considered in the work of the first author arXiv:1105.3223. The result will be used in th…
We introduce a lifting property for local cohomology, which leads to a unified treatment of the dualizing complex for flat morphisms with semi-log-canonical, Du Bois or F-pure fibers. As a consequence we obtain that, in all 3 cases, the cohomology sheaves of the relative dualizing complex are flat and commute with base change. We also derive several consequences for deformations of semi-log-canonical, Du Bois and F-pure singularities.
Let $G$ be a reductive group, let $Gr=G((t))/G[[t]]$ be the corresponding affine Grassmannian and let $Fl=G((t))/I$ be the affine flag variety. We construct, following an idea of Belinson, a 1-parametric deformation of the product $Gr\times G/B$ to $Fl$. We use this construction to produce perverse sheaves on $Fl$ which are central with respect to the convolution product from spherical perverse sheaves on $Gr$.
Let X be a smooth 3-fold and let E be a rank 2 torsion free sheaf. In the first part of this paper, we give some necessary conditions for the sheaf E to be limit of vector bundles. In the second part, we describe an example of this problem. Thanks to the construction of Ellingsrud and Stromme, we describe a familly of rank 2 sheaves on P^3 (the 3-dimensional projective space). We show that for this familly, the conditions of the first part are sufficient.
We define a deformation of our earlier link homologies for fundamental representations of sl_m. The deformed homology of a link is isomorphic to the deformed homology of the disjoint union of its components. Moreover, there exists a spectral sequence starting with the old homology and converging to this deformed homology.
We show that any commutative rationally ruled surface with a choice of anticanonical curve admits a 1-parameter family of noncommutative deformations parametrized by the Jacobian of the anticanonical curve, and show that many standard facts from commutative geometry (blowups commute, Quot schemes are projective, etc.) carry over. The key new tool in studying these deformations is a relatively simple description of their derived categories and the relevant t-structures; this also allows us to establish nontrivial derived equivalences for deformations of elliptic surfaces. We also establish that…
We give an equivalence of triangulated categories between the derived category of finitely generated representations of symplectic reflection algebras associated with wreath products (with parameter t=0) and the derived category of coherent sheaves on a crepant resolution of the spectrum of the centre of these algebras.
