Equivariant sheaves on flag varieties

We show that the Borel-equivariant derived category of sheaves on the flag variety of a complex reductive group is equivalent to the perfect derived category of differential graded modules over the extension algebra of the direct sum of the simple equivariant perverse sheaves. This proves a conjecture of Soergel and Lunts in the case of flag varieties.     

Model category structures on chain complexes of sheaves

The unbounded derived category of a Grothendieck abelian category is the homotopy category of a Quillen model structure on the category of unbounded chain complexes, where the cofibrations are the injections. This folk theorem is apparently due to Joyal, and has been generalized recently by Beke. However, in most cases of interest, such as the category of sheaves on a ringed space or the category of quasi-coherent sheaves on a nice enough scheme, the abelian category in question also has a tensor product. The injective model structure is not well-suited to the tensor product. In this paper, we consider another method for constructing a model structure. We apply it to the category of sheaves on a well-behaved ringed space. The resulting flat model structure is compatible with the tensor product and all homomorphisms of ringed spaces.

     

Totally acyclic complexes over noetherian schemes

We define a notion of total acyclicity for complexes of flat quasi-coherent sheaves on a semi-separated noetherian scheme, and study these complexes using the pure derived category of flat quasi-coherent sheaves. We prove that a scheme is Gorenstein if and only if every acyclic complex of flat quasi-coherent sheaves is totally acyclic. Our formalism also removes the need for a dualising complex in several known results for rings, including Jørgensen's proof of the existence of Gorenstein projective precovers.     

Prüfer Sheaves and Generic Sheaves Over the Weighted Projective Lines and Elliptic Curves

In the present paper, we introduce the concepts of Prüfer sheaves and adic sheaves over a weighted projective line of genus one or an elliptic curve, show that Prüfer sheaves and adic sheaves can characterize the category of coherent sheaves. Moreover, we describe the relationship between Prüfer sheaves and generic sheaves, and provide two methods to construct generic sheaves by using coherent sheaves and Prüfer sheaves.     

On Some Finiteness Questions for Algebraic Stacks

We prove that under a certain mild hypothesis, the DG category of D-modules on a quasi-compact algebraic stack is compactly generated. We also show that under the same hypothesis, the functor of global sections on the DG category of quasi-coherent sheaves is continuous.     

Modules over the small quantum group and semi-infinite flag manifold

We develop a theory of perverse sheaves on the semi-infinite flag manifold G((t))/N((t)) · T[[t]], and show that the subcategory of Iwahori-monodromy perverse sheaves is equivalent to the regular block of the category of representations of the small quantum group at an even root of unity.     

Quotient categories,stability conditions,and birational geometry

This article deals with the quotient category of the category of coherent sheaves on an irreducible smooth projective variety by the full subcategory of sheaves supported in codimension greater than c. We prove that this category has homological dimension c. As an application, we describe the space of stability conditions on its derived category in the case c  \(=\) 1. Moreover, we describe all exact equivalences between these quotient categories in this particular case, which is closely related to classification problems in birational geometry.     

Resolution of unbounded complexes in Grothendieck categories

As Spaltenstein showed, the category of unbounded complexes of sheaves on a topological space has enough K-injective complexes. We extend this result to the category of unbounded complexes of an arbitrary Grothendieck category. This is important for a construction, by the author, of a triangulated category of equivariant motives.     

Fano varieties of cubic fourfolds containing a plane

We prove that the Fano variety of lines of a generic cubic fourfold containing a plane is isomorphic to a moduli space of twisted stable complexes on a K3 surface. On the other hand, we show that the Fano varieties are always birational to moduli spaces of twisted stable coherent sheaves on a K3 surface. The moduli spaces of complexes and of sheaves are related by wall-crossing in the derived category of twisted sheaves on the corresponding K3 surface.     

Quasicoherent sheaves on complex noncommutative two-tori

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 [10] and [9] 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 on T 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 the subcategory of objects of rank zero (called torsion sheaves). We show that projective objects of finite rank in Qcoh(η _T ) are classified up to an isomorphism by their rank. We also prove that the subcategory of objects of finite rank in Qcoh(η _T ) is equivalent to the category of finitely presented modules over a semihereditary algebra.     

Semi-orthogonal decomposability of the derived category of a curve

We show that the bounded derived category of coherent sheaves on a smooth projective curve except the projective line admits no non-trivial semi-orthogonal decompositions.     

A functorial construction of moduli of sheaves

We show how natural functors from the category of coherent sheaves on a projective scheme to categories of Kronecker modules can be used to construct moduli spaces of semistable sheaves. This construction simplifies or clarifies technical aspects of existing constructions and yields new simpler definitions of theta functions, about which more complete results can be proved. Dedicated to the memory of Joseph Le Potier.     

Twisted Fourier-Mukai transforms for holomorphic symplectic four-folds

We apply the methods of C a?ld?raru to construct a twisted Fourier-Mukai transform between a pair of holomorphic symplectic four-folds which are fibred by Lagrangian abelian surfaces. More precisely, we obtain an equivalence between the derived category of coherent sheaves on a certain Lagrangian fibration and the derived category of twisted sheaves on its ‘mirror’ partner. As a corollary, we extend the original Fourier-Mukai transform to degenerations of abelian surfaces. Another consequence of the general theory is that the holomorphic symplectic four-fold and its mirror are connected by a one-parameter family of deformations through Lagrangian fibrations.     

Unifying two results of Orlov on singularity categories

Let \mathbbX\mathbb{X} be a separated Noetherian scheme of finite Krull dimension which has enough locally free sheaves of finite rank and let U í \mathbbXU\subseteq \mathbb{X} be an open subscheme. We prove that the singularity category of U is triangle equivalent to the Verdier quotient triangulated category of the singularity category of \mathbbX\mathbb{X} with respect to the thick triangulated subcategory generated by sheaves supported in the complement of U. The result unifies two results of Orlov. We also prove a noncommutative version of this result.     

Rosenberg’s reconstruction theorem

Alexander L. Rosenberg has constructed a spectrum for abelian categories which is able to reconstruct a quasi-separated scheme from its category of quasi-coherent sheaves. In this note we present a detailed proof of this result which is due to Ofer Gabber. Moreover, we determine the automorphism class group of the category of quasi-coherent sheaves.     

Derived categories of sheaves on singular schemes with an application to reconstruction

We prove that the bounded derived category of coherent sheaves with proper support is equivalent to the category of locally-finite, cohomological functors on the perfect derived category of a quasi-projective scheme over a field. We introduce the notions of pseudo-adjoints and Rouquier functors and study them. As an application of these ideas and results, we extend the reconstruction result of Bondal and Orlov to Gorenstein projective varieties.     

Formality for the nilpotent cone and a derived Springer correspondence

Recall that the Springer correspondence relates representations of the Weyl group to perverse sheaves on the nilpotent cone. We explain how to extend this to an equivalence between the triangulated category generated by the Springer perverse sheaf and the derived category of differential graded modules over a dg-ring related to the Weyl group.     

Tilting on non-commutative rational projective curves

In this article we introduce a new class of non-commutative projective curves and show that in certain cases the derived category of coherent sheaves on them has a tilting complex. In particular, we prove that the right bounded derived category of coherent sheaves on a reduced rational projective curve with only nodes and cusps as singularities, can be fully faithfully embedded into the right bounded derived category of the finite dimensional representations of a certain finite dimensional algebra of global dimension two. As an application of our approach we show that the dimension of the bounded derived category of coherent sheaves on a rational projective curve with only nodal or cuspidal singularities is at most two. In the case of the Kodaira cycles of projective lines, the corresponding tilted algebras belong to a well-known class of gentle algebras. We work out in details the tilting equivalence in the case of the Weierstrass nodal curve zy ² = x ³ + x ² z.