This article was accepted into the corpus but its outbound wikilinks were never NER-processed — typical at the deepest BFS hop or when the run's entity cap was reached. No expansion funnel to show.
| Derived category theory | |
|---|---|
| Name | Derived category theory |
| Field | Homological algebra, Algebraic geometry, Representation theory |
| Introduced | 1960s |
| Founder | Alexander Grothendieck, Jean-Louis Verdier |
| Notable concepts | Triangulated category, Derived functor, t-structure, Perverse sheaf |
| Related | Spectral sequence, Ext functor, Tor functor |
Derived category theory.
Derived category theory organizes homological information by passing from categories of complexes to categories obtained by inverting quasi-isomorphisms, enabling systematic treatment of homological algebra across Algebraic geometry, Representation theory, and Homological algebra. It synthesizes methods originating in the work of Alexander Grothendieck and Jean-Louis Verdier and has become central in modern interactions with Mirror symmetry, Noncommutative geometry, and categorical approaches to Moduli spaces.
Derived category theory arose to rectify limitations in computing derived functors via resolutions in contexts considered by Grothendieck during the formulation of Grothendieck duality and was formalized by Verdier in his thesis, which built on earlier ideas from Hochschild, Eilenberg–MacLane, and Cartan–Eilenberg. The derived category provides a unifying language linking constructions in Sheaf theory, Cohomology of sheaves, Representation theory of algebras, and developments like Beilinson–Bernstein localization, Borel–Weil–Bott theorem, and applications to the Langlands program.
Start with an abelian category such as Category of modules, coherent sheaves on a scheme considered by Jean-Pierre Serre, or representations studied by Bernstein and Gelfand. Form the category of chain complexes, then pass to the homotopy category as in constructions used by Daniel Quillen in model categories and by Heller in stable homotopy theory. The derived category is obtained by formally inverting quasi-isomorphisms, an approach that echoes localization techniques introduced by Gabriel and Zisman and is made precise via calculus of fractions in the style of Verdier. Constructions are often enhanced using model structures from Quillen or differential graded methods due to Bernard Keller and Maxim Kontsevich.
The derived category carries a triangulated structure formulated by Verdier, characterized by a shift (or suspension) functor and distinguished triangles generalizing short exact sequences familiar from work of Emmy Noether and Philip Hall in algebraic contexts. Distinguished triangles encode mapping cone constructions used by Atiyah and Hirzebruch and interact with long exact sequences in cohomology as in classical results of Leray and Grothendieck. Compatibility of triangles with functors appears in theorems of Neeman on Brown representability and in applications by Beilinson in describing exceptional collections on projective spaces studied by Serre.
Derived functors extend left and right derived constructions originally systematized by Cartan and Eilenberg, allowing one to derive functors such as pushforward and pullback for complexes of sheaves in the framework of Grothendieck duality and in the formulation of adjunctions used by Deligne in mixed Hodge theory. Adjunctions in derived settings underlie equivalences like Fourier–Mukai transform developed by Mukai and generalized by Orlov, and they play roles in proofs of duality theorems appearing in work of Hartshorne and Verdier. Compatibility with spectral sequences, as treated by Serre and Cartan–Eilenberg, is crucial for computations in both Algebraic topology and arithmetic applications pursued by Drinfeld.
The notion of a t-structure, introduced by Beilinson, Bernstein, and Deligne, organizes a triangulated category into truncation subcategories and produces an abelian heart, recovering abelian categories such as perverse sheaves central to work by Goresky and MacPherson. Hearts of t-structures connect to stability conditions studied by Tom Bridgeland and to moduli problems considered by Mukai and Simpson. Cohomological functors from triangulated categories to abelian categories formalize cohomology theories appearing in the work of Grothendieck and in intersection cohomology developed by Goresky and MacPherson.
In algebraic geometry, derived categories of coherent sheaves on schemes and stacks are fundamental in proofs and formulations by Bondal and Orlov concerning reconstruction theorems, and they are central to instances of Homological mirror symmetry proposed by Maxim Kontsevich and pursued by Seidel and Auroux. In representation theory, derived categories of module categories appear in the theory of derived equivalences studied by Rickard and in connections with Tilting theory developed by Happel, Ringel, and Crawley-Boevey. Applications include derived invariants in classification problems examined by Keller and interactions with categorical actions as in work by Chuang and Rouquier.
Enhancements of derived categories via differential graded (dg) categories, A-infinity categories, and model categories, developed by Keller, Kontsevich, and Lefèvre-Hasegawa, remedy limitations of triangulated categories by encoding homotopy coherent information used in Fukaya category constructions by Paul Seidel and in deformation theory studied by Deligne and Drinfeld. Dg-enhancements permit refined invariants such as Hochschild homology and cyclic homology considered by Connes and Kassel, and they provide frameworks for equivalences in Noncommutative geometry advocated by Connes and geometric representation theory advances by Bezrukavnikov.