相关论文: Introduction to derived categories of coherent she…

We define functors on the derived category of the moduli space M of stable sheaves on a smooth projective surface (under Assumptions A and S below), and prove that these functors satisfy certain relations. These relations allow us to prove…

In this paper we define a functor-- leveled sub-cohomology. (It bears no relation with the level of elliptic curves). It is based on leveled cycles on a smooth projective variety, and will be expected to reveal a structure in the level.

We establish a relation between smooth 2-functors defined on the path 2-groupoid of a smooth manifold and differential forms on this manifold. This relation can be understood as a part of a dictionary between fundamental notions from…

We develop the theory of ind-coherent sheaves on schemes and stacks. The category of ind-coherent sheaves is closely related, but inequivalent, to the category of quasi-coherent sheaves, and the difference becomes crucial for the…

We show that the derived category of coherent sheaves on the quotient stack of the affine plane by a finite small subgroup of the general linear group is obtained from the derived category of coherent sheaves on the minimal resolution by…

We investigate Hochschild cohomology and homology of admissible subcategories of derived categories of coherent sheaves on smooth projective varieties. We show that the Hochschild cohomology of an admissible subcategory is isomorphic to the…

For a weighted projective line X, a wide subcategory of the category coh-X of coherent sheaves over X is called c-invariant if it is closed under the grading shift of the canonical element c. We proved that a c-invariant wide subcategory of…

In this paper we investigate homologically finite-dimensional objects in the derived category of a given small dg-enhanced triangulated category. Using these we define reflexivity, hfd-closedness, and the Gorenstein property for…

The purpose of this note is to consider in detail the construction of derived functors. The classical construction, such as in Cartan-Eilenberg or Grothendieck, is clarified, and it is shown, at the same time, that everything can be…

Building on Olander's work on algebraic spaces, we prove Orlov's representability theorem relating fully faithful functors and Fourier--Mukai transforms between the bounded derived category of coherent sheaves to the case of smooth, proper,…

We construct geometric categorical Lie algebra actions on the derived category of coherent sheaves on Nakajima quiver varieties. These actions categorify Nakajima's construction of Kac-Moody algebra representations on the K-theory of quiver…

We consider smooth algebraic varieties with ample either canonical or anticanonical sheaf. We prove that such a variety is uniquely determined by its derived category of coherent sheaves. We also calculate the group of exact…

We prove that the dg category of perfect complexes on a smooth, proper Deligne-Mumford stack over a field of characteristic zero is geometric in the sense of Orlov, and in particular smooth and proper. On the level of triangulated…

In this article, we study the group of autoequivalences of derived categories of coherent sheaves on the minimal resolution of $A_n$-singularities on surfaces. Our main result is to find generators of this group.

We study thick subcategories of derived categories of gentle algebras. Any thick subcategory of a derived category of a gentle algebra is generated by a set of string objects or a set of band objects. We show the thick subcategories…

A working mathematician's summary of many results on the derived category, perverse sheaves, and vanishing cycles. This is the August 2025 version, with a completely revised section on vanishing cycles.

Consider an algebraic variety $X$ over a base scheme $S$ and a faithful base change $T \to S$. Given an admissible subcategory $\CA$ in the bounded derived category of coherent sheaves on $X$, we construct an admissible subcategory in the…

We study the group of autoequivalences of the derived categories of coherent sheaves on smooth projective elliptic surfaces with non-zero Kodaira dimensions. We find a description of it when each reducible fiber is a cycle of $(-2)$-curves.

We construct a full rectangular Lefschetz collection in the derived category of the adjoint Grassmannian in type $\mathrm{F}_4$. This gives the first example of a full exceptional collection on this variety and also completes the proof of a…

We develop the notion of indscheme in the context of derived algebraic geometry, and study the categories of quasi-coherent sheaves and ind-coherent sheaves on indschemes. The main results concern the relation between classical and derived…