Homological algebra and module theory, rooted in 19th-century algebra and 20th-century topology, have grown into a powerful framework for solving problems across mathematics. This timeline traces the evolution from early modular concepts to modern derived categories and higher category theory.
William Rowan Hamilton introduces quaternions, a non-commutative ring, providing an early example of a module over a non-commutative algebra. #Algebra #Quaternions
Arthur Cayley formalizes matrix multiplication, enabling the study of modules as vector spaces over rings. #Algebra #Matrices
Benjamin Peirce introduces idempotents and the concept of central elements in algebras, laying groundwork for module decomposition. #Algebra #Rings
J. H. M. Wedderburn classifies finite-dimensional simple algebras, influencing the structure of modules over semisimple rings. #Algebra #Rings
David Hilbert proves that every ideal in a polynomial ring over a Noetherian ring is finitely generated, a key result in module theory. #Algebra #Noetherian
Wedderburn shows that every finite division ring is a field, influencing the theory of modules over skew fields. #Algebra #DivisionRings
Emmy Noether modernizes abstract algebra, developing the theory of ideals and modules, including the ascending chain condition. #Algebra #Noetherian
Emil Artin proves the Wedderburn-Artin theorem classifying semisimple rings, fundamental to module theory. #Algebra #Semisimple
Saunders Mac Lane, with Samuel Eilenberg, introduces categories and functors, providing the language for homological algebra. #CategoryTheory #Algebra
Samuel Eilenberg and Saunders Mac Lane formally define categories, functors, and natural transformations, key to homological algebra. #CategoryTheory #HomologicalAlgebra
Henri Cartan and Samuel Eilenberg publish the foundational text 'Homological Algebra', defining derived functors and Ext and Tor. #HomologicalAlgebra #Book )
Jean-Pierre Serre employs spectral sequences in algebraic topology, showing the power of homological techniques. #Topology #SpectralSequences
Alexander Grothendieck publishes 'Sur quelques points d'algèbre homologique', establishing abelian categories and sheaf cohomology. #AbelianCategory #HomologicalAlgebra
Aldridge Bousfield and Daniel Kan introduce model categories, later essential for homotopical algebra. #ModelCategories #Homotopy
Maurice Auslander and Mark Bridger develop Gorenstein rings and modules, connecting homological algebra to commutative algebra. #CommutativeAlgebra #Gorenstein
Daniel Quillen formalizes model categories, providing a homotopy theory framework for homological algebra. #ModelCategories #HomotopicalAlgebra
Jean-Louis Verdier introduces derived categories in his PhD thesis, enabling a natural formulation of sheaf cohomology. #DerivedCategories #TriangulatedCategories
Alexander Grothendieck's Séminaire de Géométrie Algébrique (SGA) further develops derived categories and sheaf theory. #AlgebraicGeometry #DerivedCategories
Hyman Bass studies modules of finite projective dimension, linking homological dimensions to ring theory. #HomologicalDimension #Rings
Pierre Gabriel develops Auslander-Reiten theory for representation theory of artin algebras. #RepresentationTheory #AuslanderReiten
Peter Hilton and Urs Stammbach publish a classic textbook on homological algebra, widely used for decades. #Textbook #HomologicalAlgebra
Gerhard Hochschild's cohomology theory for associative algebras becomes a central tool in deformation theory. #HochschildCohomology #DeformationTheory
Maurice Auslander and Idun Reiten introduce almost split sequences, a key tool in representation theory of finite-dimensional algebras. #AuslanderReiten #RepresentationTheory
Dieter Happel applies derived categories to the representation theory of artin algebras, opening new avenues. #DerivedCategories #ArtinAlgebras
Daniel Quillen uses homological algebra to define higher algebraic K-theory, a deep connection with topological invariants. #KTheory #AlgebraicTopology
David Buchsbaum and David Eisenbud develop theory of free resolutions and the Buchsbaum-Eisenbud criterion for exactness. #FreeResolutions #CommutativeAlgebra
Yujiro Kawamata, Yoichi Miyaoka, and Shigefumi Mori apply homological methods to the minimal model program in birational geometry. #AlgebraicGeometry #MMP
Alexander Beilinson, Joseph Bernstein, and Pierre Deligne develop perverse sheaves, influencing homological algebra in geometry. #PerverseSheaves #DerivedCategories
Amnon Neeman simplifies the theory of derived categories using compact objects and Brown representability. #DerivedCategories #TriangulatedCategories
Alexei Bondal and Mikhail Kapranov introduce enhanced derived categories via dg categories, a major development. #DGCategories #DerivedCategories
Henning Krause studies stable module categories and their homological properties, linking to representation theory. #StableModuleCategories #HomologicalAlgebra
Bernhard Keller develops a systematic approach to triangulated categories and derived categories, including Morita theory. #TriangulatedCategories #DerivedCategories
André Joyal introduces quasi-categories, a model for (∞,1)-categories, advancing higher homological algebra. #HigherCategoryTheory #InfinityCategories
Raphaël Rouquier defines the dimension of a triangulated category, measuring its complexity. #TriangulatedCategories #Dimension
Jacob Lurie publishes 'Higher Topos Theory', establishing foundations for derived algebraic geometry and (∞,1)-categories. #HigherCategoryTheory #DerivedAlgebraicGeometry
Osamu Iyama introduces cluster categories, linking representation theory to cluster algebras. #ClusterAlgebras #RepresentationTheory
Ragnar-Olaf Buchweitz and Gunnar Fløystad study Cohen-Macaulay modules via homological algebra, advancing commutative algebra. #CohenMacaulay #CommutativeAlgebra
Jeremy Rickard develops derived equivalences of algebras, simplifying the classification of block algebras. #DerivedEquivalences #RepresentationTheory
Bhargav Bhatt and Peter Scholze use homological algebra in perfectoid spaces, impacting arithmetic geometry. #PerfectoidSpaces #ArithmeticGeometry
Jacob Lurie fully develops derived algebraic geometry, integrating homological algebra with algebraic geometry. #DerivedAlgebraicGeometry #HigherCategoryTheory
Ongoing work in representation theory continues to apply homological algebra, such as in silting theory and t-structures. #RepresentationTheory #HomologicalAlgebra
