Basic structures
Generating functions
Proof techniques
Combinatorial identities
Polytopes
homotopy theory, (∞,1)-category theory, homotopy type theory
flavors: stable, equivariant, rational, p-adic, proper, geometric, cohesive, directed…
models: topological, simplicial, localic, …
see also algebraic topology
Introductions
Definitions
Paths and cylinders
Homotopy groups
Basic facts
Theorems
The simplicial identities encode the relationships between the face and degeneracy maps in a simplicial object, in particular, in a simplicial set.
The simplicial identities are the duals to the simplicial relations of coface and codegeneracy maps described at simplex category:
Let $S \in$ sSet with
face maps $\partial_i : S_n \to S_{n-1}$ obtained by omitting the $i$th vertex;
degeneracy maps $s_i : S_n \to S_{n+1}$ obtained by repeating the $i$th vertex.
The simplicial identities satisfied by face and degeneracy maps as above are (whenever these maps are composable as indicated):
(e.g. Goerss & Jardine 1999/2009, I.1. (1.3))
The middle case in (1) implies in particular that degeneracy maps are (split) monomorphisms: One may think of them as including degenerate simplices into all simplices of a given dimension.
The simplicial identities of def. can be understood as a non-abelian or “unstable” generalization of the identity
satisfied by differentials in chain complexes (in homological algebra).
Write $\mathbb{Z}[S]$ be the simplicial abelian group obtained form $S$ by forming degreewise the free abelian group on the set of $n$-simplices, as discussed at chains on a simplicial set.
Then using these formal linear combinations we can sum up all the $(n+1)$ face maps $\partial_i : S_n \to S_{n-1}$ into a single map:
The alternating face map differential in degree $n$ of the simplicial set $S$ is the linear map
defined on basis elements $\sigma \in S_n$ to be the alternating sum of the simplicial face maps:
This is the differential of the alternating face map complex of $S$:
The simplicial identity def. (1) implies that def. indeed defines a differential in that $\partial \circ \partial = 0$.
By linearity, it is sufficient to check this on a basis element $\sigma \in S_n$. There we compute as follows:
Here
the first equality is (2);
the second is (2) together with the linearity of $d$;
the third is obtained by decomposing the sum into two summands;
the fourth finally uses the simplicial identity def. (1) in the first summand;
the fifth relabels the summation index $j$ by $j +1$;
the last one observes that the resulting two summands are negatives of each other.
For original references see at simplicial set.
Review includes:
Peter May, Def. 1.1 in: Simplicial objects in algebraic topology, University of Chicago Press 1967 (ISBN:9780226511818, djvu, pdf)
Paul Goerss, J. F. Jardine, Eq. (1.3) in Section I.1 of: Simplicial homotopy theory, Progress in Mathematics, Birkhäuser (1999) Modern Birkhäuser Classics (2009) (doi:10.1007/978-3-0346-0189-4, webpage)
Last revised on April 19, 2023 at 19:07:09. See the history of this page for a list of all contributions to it.