Simplicial sets
Generated by GPT-5-miniExpansion Funnel Raw 45 → Dedup 4 → NER 3 → Enqueued 3
| Simplicial sets | |
|---|---|
| Name | Simplicial sets |
| Field | Algebraic topology |
| Introduced | 1950s |
| Notable | Eilenberg–MacLane, Quillen, Grothendieck |
Simplicial sets are combinatorial objects used in Algebraic topology and related areas to encode geometric and categorical information via collections of simplices and face/degeneracy operations. They provide a flexible framework connecting constructions of Henri Poincaré-style topology, the homotopy theory of Daniel Quillen's model categories, and categorical ideas from Alexander Grothendieck and Samuel Eilenberg. Simplicial sets serve as a bridge between combinatorial models such as Simplicial complexes and categorical constructions like the nerve construction.
Definition and basic examples
A simplicial set is a contravariant functor from the simplex category Δ (objects indexed by nonnegative integers as standard simplices used by René Descartes-era geometry) to the category of sets; this formalism was systematized by Samuel Eilenberg, Saunders Mac Lane, and later used by Daniel Quillen and Jean-Pierre Serre. Basic examples include the representable simplicial sets Δ[n] associated to each object n of Δ, used in constructions by Eilenberg–MacLane and in the study of Homotopy groupss pioneered by Henri Cartan. Other examples arise from nerves of small categories such as those considered by Saunders Mac Lane and Max Kelly, and from singular simplicial complexes drawn from spaces investigated by Henri Poincaré and later by J. H. C. Whitehead.
Geometric realization and singular simplicial set
The geometric realization functor |·| sends a simplicial set to a topological space by gluing standard topological simplices; this procedure reflects techniques used in René Thom's cobordism work and in constructions by Stephen Smale and John Milnor. The right adjoint, the singular simplicial set functor Sing(·), assigns to a topological space the simplicial set of continuous maps from standard simplices, a device crucial to comparisons in the work of Eilenberg and Mac Lane and in homological algebra treatments by Hermann Weyl. Geometric realization and the singular functor establish Quillen adjunctions central to model structures developed by Daniel Quillen and applied in contexts considered by Michael Boardman and Ralph Cohen.
Combinatorial structure and face/degeneracy maps
A simplicial set comprises sets of n-simplices with face maps d_i and degeneracy maps s_i satisfying simplicial identities introduced by Eilenberg and Mac Lane; these combinatorial rules mirror simplicial relations studied by René Thom and used in the computational topology of Henri Poincaré. The interplay of face and degeneracy maps underlies constructions in homological algebra by Jean Leray and in derived functor contexts advanced by Alexander Grothendieck and Jean-Louis Verdier. Degenerate simplices and the Dold–Kan correspondence, elucidated by Albrecht Dold and Daniel Kan, connect simplicial abelian groups to chain complexes central to the work of Samuel Eilenberg and Henri Cartan.
Homotopy theory and model category structure
Simplicial sets carry a Quillen model structure where weak equivalences, fibrations, and cofibrations mirror those in Homotopy theory as formulated by Daniel Quillen and applied by J. Peter May. This structure facilitates computations of homotopy groups analogous to those in the work of J. H. C. Whitehead and supports localization techniques used by Dennis Sullivan and Armand Borel. Simplicial homotopy, mapping spaces, and function complexes have been developed in the literature of André Joyal and Jacob Lurie and are central to higher-categorical approaches by Grothendieck and Carlos Simpson.
Nerve construction and relation to categories
The nerve construction assigns to each small category C a simplicial set N(C) encoding compositional data; this idea traces to categorical foundations worked on by Saunders Mac Lane and later exploited by Grothendieck in his pursuit of higher stacks. The nerve functor is fully faithful into simplicial sets under conditions studied by Charles Rezk and André Joyal, and it plays a pivotal role in the theory of (∞,1)-categories developed by Jacob Lurie and Joyal as well as in the study of classifying spaces by William Browder and Dusa McDuff.
Simplicial objects and applications in algebraic topology
Beyond sets, one studies simplicial objects in abelian categories, rings, and topoi, as in the work of Alexander Grothendieck on derived categories and Jean-Pierre Serre on spectral sequences. Simplicial resolutions underpin derived functor computations central to Cartan–Eilenberg homological algebra and to methods used by Henri Cartan and Samuel Eilenberg. Applications include construction of Eilenberg–MacLane spaces used by Edwin Spanier and Norman Steenrod, computations of homotopy limits and colimits in contexts explored by Michael Hopkins and Christopher Schommer-Pries, and use in modern derived algebraic geometry by Jacob Lurie and Bertrand Toën.