Main topic today will be combinatorial simplicial complexes and simplicial sets.
A geometric -simplex is a convex hull of distinct points in a real vector space, called its vertices. It is said to be ordered if there is a total ordering on vertices of each simplex given, and the ordering on faces is the induced ordering. The standard -simplex is the subset
All -dimensional polyhedra (bodies which are unions of pieces cut out by hyperplanes) can be made out of geometric simplices. Every geometric -simplex in a vector space is an image of the standard -simplex via a linear map from to ; this map is clearly unique up to the ordering of the simplices, hence for ordered geometric simplices there is a unique such map preserving the ordering of the simplices.
There are coordinate hyperplanes in namely , each of which is a copy of the vector space . The intersection is the -th face of the standard -simplex and is itself clearly a standard -simplex in the corresponding copy of namely in where are the standard basis (“unit”) vectors. Notice the omission of a unit vector , hence the corresponding coordinate , when taking a face.
Given a topological space, one is often interested in continuous maps ; such continuous maps are called singular -simplices. The -th face of itself can be considered as a unique singular -simplex preserving the order; postcomposing that map with we obtain a singular -simplex . One should in fact extend these considerations to faces of faces and so on. As each face corresponds to an omission of a coordinate, the faces of faces of faces and so on correspond to multiple omissions of coordinates. It is just important which coordinates are omited, not the order of omissions. However the label changes: in the singular simplex missing -th original coordinate, the -th coordinate is the one which was originally -st. Thus we have if .
There are linear surjections , , namely is the unique linear map preserving the preorder on the vertices and sending -th and -st vertex to the vertex and being injective on the rest of the vertices. Thus the 1-dimensional space is sent to the origin, and correspondingly the image of the interval , , degenerates to one point .
A combinatorial simplicial complex is a set of vertices or -simplices, together with a choice of sets , of subsets of of cardinality , called the (combinatorial) -simplices, so that if is an -simplex, every -element subset (where ) of is an -simplex. Here we do not allow that vertices coincide. We assume a total ordering on the vertices.
Every topological space gives rise to a canonical (combinatorial) simplicial complex whose -simplices are precisely the singular -simplices in .
Every simplicial complex gives rise to a more general structure of a simplicial set.
The labels of vertices of a combinatorial -simplex form an -element ordered set, which can be viewed as an image of a unique order-preserving bijective map also denoted from a standard ordinal to the category of sets. Looking at its -th face now corresponds to the composition with a monotone map omitting . Similarily, degenerating -simplex to -simplex corresponds to the composition with a map of ordinals repeating twice. More generally, any monotone map induces a map obtained by precomposition; what is a contravariantly functorial prescription.
The category whose objects are the nonempty finite ordinals and whose morphisms are (not necessarily strictly) monotone maps (= maps of sets preserving the order) is called the category of combinatorial simplices (topological simplex category). A simplicial set is a contravariant functor .
For every simplicial set one defines a topological space , its geometric realization, by the following formula
where is the standard geometric simplex (see above), is taken with the discrete topology, is a relation of equivalence to be described below and the product and the quotient are understood as categorical in the category of all topological spaces. The formula is obvious: for every -simplex we form a real simplex. The relation of equivalence hence has to identify the points of the faces with the appropriate points of the simplex whose face is in question. As we reasoned before, the linear maps of geometric simplices are determined by the maps among the sets of vertices. More precisely, if is a monotone map, then there is a unique linear map sending the unit vector to the unit vector . Now the equivalence relation above is the smallest equivalence relation such that if there is a monotone map such that and .
A map of simplicial sets is a natural transformation of functors, i.e. a family of maps, indexed by , such that the naturality requirement for all holds. Simplicial sets and their maps form a category of simplicial sets.
More generally, if is a category, a functor is called a simplicial object in . Thus simplicial set is a simplicial object in the category of sets. Another important special cases are the simplicial groups and simplicial abelian groups. One also uses the theory of cosimplicial objects in which are the covariant functors .
The correspondence actually extends to a functor, called the geometric realization functor . Namely, given a map of simplicial sets one first defines a map
by and one shows that this induces a well defined continuous map after we quotient out by the equivalence relation on both sides. It is then a straightfoward check that this prescription on morphisms is functorial. This gives in fact an embedding , . Composing it with gives the singular complex functor . Therefore the singular functor is given the composition
and the geometric realization is its left adjoint functor:
There is also a colimit formula (following either by direct check or by the theory of Kan extensions) for the geometric realization. To this aim, one considers the overcategory for a simplicial set whose elements are maps of simplicial sets of the form and the morphisms are commutative triangles where is the simplicial set represented by (in other words, ). By Yoneda lemma, there is a natural bijection hence the objects of the are the simplices of , hence it is called the category of simplices of . There is a formula
Of course, in our notation.
An important class of examples of simplicial sets comes from the so-called nerve construction due to Grothendieck. To every category one associated a simplicial set , the nerve of category , whose -simplices are the composable -tuples of morphisms in . In other words, the -simplex is a sequence of morphisms which can be sequentially composed: the chain composes. Given a monotone map , one defines a map by its value on each -tuple : is the composition of morphisms forming the chain from to if they are different and the identity morphism otherwise. This is obvious once we fix the objects to be the -th vertex of . For example, let the monotone function be given by , , then
This explicit description of a nerve can be expressed more economically in categorical language, with an advantage that some properties are easy to establish. Each partially ordered set can be considered a small category: there is a morphism (unique when it exists) from an object to an object iff . This object is an identity if the objects are equal and the composition is obvious, by uniqueness of the morphisms between given objects: it is enough to know the source and target to compose. Moreover, the order-preserving maps clearly correspond to functors. Thus the category of finite nonempty ordinals and monotone maps is a small subcategory of the large category of small categories and functors. Denote the inclusion functor by . The nerve functor is simply taking the hom set , as a contravariant functor of the first argument (but restricted to the subcategory ),
It is not difficult to see that the two descriptions coincide.
Theorem. The categorical nerve functor is a fully faithful functor.
In other words, we preserve all essential categorical information on a category when replacing it by its nerve.
In fact the geometric realization can also be understood in a formal way very alike the nerve. Namely, the geometric realization of the combinatorial -simplex can be identified simply with the standard geometric -simplex in . This correspondence easily extends to a functor .
Regarding that may be viewed as a subcategory of category of sets too where just the monotone functions among sets are considered, we can decompose each map into a composition of an epimorphism followed by a monomorphism. Moreover each epimorphism is a composition of the degeneracy maps for which are the surjections which repeat (only) , and each monomorphism is a composition of the face maps which are the injections which omit only . So, can be described by generators and relations which will be studied next; moreover there is a standard basis. If is a simplicial set denote by the map . Notice that the key index is now lower.
Exercise. Make the direct check that the following bilinear relations (called the cosimplicial identities) between the face maps and the degeneracies hold in :
It is not difficult now to write the simplicial identities for the operators , for any simplicial object by applying to the above identities (functor will send identgities to identities; but be careful as ocntravariance reverses the order in the compositions). Thus, skipping and we get the simplicial identities
Theorem. Every morphism in the category of combinatorial simplices can be written as where is an epimorphism and a monomorphism. Moreover the monic can be written as a finite composition of face maps which is also unique if we require the ordering and the epic is a finite composition of degeneracies which is also unique if we require the ordering . Labels are precisely the labels omited in and are precisely the labels in such that .
Theorem. Let for all integers be some objects of a fixed category and let some morphisms , be given for all and satisfy the simplicial identities. Then there exists a unique simplicial object in satisfying , and .
Last revised on February 2, 2010 at 18:34:17. See the history of this page for a list of all contributions to it.