stable ∞-category

stable ∞-category
Name	stable ∞-category
Type	Higher category theory concept
Introduced	2000s–2010s

stable ∞-category

A stable ∞-category is an object in higher category theory characterized by homotopical stability conditions that generalize triangulated categories and abelian categories. It occupies a central role in modern algebraic topology, derived algebraic geometry, and homological algebra, connecting work of mathematicians associated with institutions such as Institute for Advanced Study, Massachusetts Institute of Technology, Harvard University, Princeton University, University of Cambridge, École Normale Supérieure, and research programs like the Simons Foundation initiatives. The theory builds on foundations developed by figures linked to Grothendieck, Quillen, Boardman, May, Segal, Lurie, and Goerss.

Definition and basic properties

A stable ∞-category is defined within the framework of Lurie's theory of ∞-categories and model categories such as Quillen model category, where finite limits and colimits interact and suspension and loop functors are equivalences; key structural results relate to concepts found in the works of Verdier, Brown, Adams, Bousfield, and Friedlander. Basic properties echo the axioms familiar from Grothendieck duality, Serre duality contexts, and the stabilization of unstable homotopy theories explored by researchers affiliated with University of Chicago, Stanford University, and University of Oxford. Typical consequences include the existence of zero objects, fibers and cofibers coinciding, and exact triangles modeled after constructions used by Neeman in triangulated settings.

Examples

Canonical examples include the stable homotopy category arising from the category of spectra used in the work of Adams and developed further by groups at Bell Labs and laboratories associated with IBM Research; derived categories of modules over rings studied by Grothendieck and Verdier; derived categories of sheaves central to projects at Institute des Hautes Études Scientifiques and Max Planck Institute for Mathematics; categories of perfect complexes studied in the context of Mukai duality and Bondal–Orlov reconstruction; and categories of modules over E∞ ring spectra tied to work at Cornell University and California Institute of Technology. Other examples connect to stable module categories in representation theory explored by groups at University of Bonn and École Polytechnique.

Constructions and operations

Constructions include stabilization of an ∞-category via spectra as in Lurie’s stabilization functor, Bousfield localization techniques developed by Bousfield and Kan, and formation of Ind- and Pro-completions used in projects at Yale University and Columbia University. Operations such as tensor products and monoidal structures appear in contexts linked to Saavedra Rivano, Deligne, and Drinfeld frameworks, while Koszul duality and Morita theory connect to research by Kontsevich, Keller, and Toen. Parametrized and equivariant variants relate to work at Imperial College London and collaborations including European Research Council grants.

Homological and triangulated structure

Stable ∞-categories recover classical triangulated categories via homotopy categories as in the tradition of Grothendieck and Verdier. The homotopy category inherits a triangulated structure with distinguished triangles corresponding to fiber-cofiber sequences, reflecting methods used by Heller, Neeman, and contributors at Max Planck Institute for Mathematics. This triangulated shadow supports long exact sequences in homotopy groups analogous to constructions in Atiyah, Hirzebruch, and Milnor style homological arguments.

t-structures and hearts

t-structures on stable ∞-categories generalize notions introduced by Beilinson, Bernstein, and Deligne and provide hearts that are abelian categories used in categories of perverse sheaves studied by teams at Institut Curie and University of Cambridge. Hearts enable connections to classical Grothendieck-style derived functor cohomology, mixed Hodge structures familiar from the work of Deligne, and stability conditions studied by Bridgeland and collaborators, with implications for moduli problems pursued at Imperial College London and ETH Zurich.

Exact functors and adjoints

Exact functors between stable ∞-categories preserve finite limits and colimits and correspond to triangulated functors on homotopy categories as in treatments by Verdier, Neeman, and Thomason. Adjunctions, compactness, and Brown representability phenomena echo results established by Brown and refined by researchers at Rutgers University and University of Massachusetts Amherst. Monadic and comonadic constructions appear in contexts influenced by Eilenberg–Moore and Beck style theorems within ∞-categorical settings.

Applications and significance in homotopy theory

Stable ∞-categories underpin modern chromatic homotopy theory developed in the tradition of Ravenel, Hopkins, and Smith, support spectral algebraic geometry programs associated with Lurie and Toen, and inform computations in topological modular forms studied at Princeton University and University of Chicago. They provide a flexible framework for formulating and proving duality theorems, descent results, and classification problems pursued at institutions including University of California, Berkeley, Northwestern University, and University of Michigan, and they serve as a lingua franca connecting projects funded by entities like the National Science Foundation and the European Research Council.

Category:Category theory