Derived Category

A derived category is the category obtained from an abelian category by formally inverting the class of quasi-isomorphisms — maps between chain complexes that induce isomorphisms on all homology groups. Introduced by Alexander Grothendieck and developed by Jean-Louis Verdier, the derived category makes it possible to treat complexes and their resolutions as equivalent objects, replacing the rigid world of cohomology with a flexible geometry of morphisms.

In the derived category of an abelian category, the usual objects are replaced by their resolutions, and the Ext and Tor functors become Hom spaces. This shift is not merely technical: it reveals that the homological invariants of an object are not properties of the object itself but of its position in a geometric space of complexes. The derived category of coherent sheaves on a variety, for instance, encodes the same information as the variety itself in many cases — a principle that underlies the homological mirror symmetry conjecture.

The derived category is often introduced as a technical tool for handling resolutions and spectral sequences. This is like introducing a telescope as a device for holding lenses at fixed distances. The derived category is not a tool for computing cohomology; it is a geometric space in which cohomology is a coordinate system. The objects are not complexes; they are points in a derived geometry whose morphisms are the real invariants.