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
This page describes aspects of the combinatorics of Cartesian products of simplicial sets, mostly by describing (Prop. ) the non-degenerate simplicices inside a Cartesian product $\Delta[p] \times \Delta[q]$ of basic n-simplices for $n = p,q$. These are enumerated by $(p,q)$-(un-)shuffles in a manner that for simplicial abelian groups is originally known from the Eilenberg-Zilber map.
(cartesian product of simplicial sets)
For $K, L \,\in\,$ SimplicialSets, their Cartesian product,
is the simplicial set whose $k$th component set is the Cartesian product of Sets of the components of the two factors
and whose face- and degeneracy maps are, similarly, the image under the Cartesian product-functor of the face- and degeneracy maps of the factors:
Since SimplicialSets is a category of presheaves, namely over the simplex category, this is a special case of the general fact that limits of presheaves are computed objectwise.
But it is also immediate to check that (2) with (1) satisfies the defining universal property of the Cartesian product.
(degenerate simplices in product of simplicial sets) Prop. means in particular that a simplex of the form $\big(s_\alpha(x),\, s_\beta(y)\big) \,\in\, K \times L$ may be non-degenerate even though its two components are each degenerate (see the archetypical Example below).
Indeed, the proposition says that the degenerate simplices in $K \times L$ are precisely those such that their two simplex-components in $K$ and $L$, respectively, are in the image of the same degeneracy map $\alpha = \beta$.
Using the above basic facts about products of simplicial sets, we have the following explicit characterization of the non-degenerated cells in products $\Delta[p] \times \Delta[q]$ of the basic simplices (the simplicial sets represented by the objects in the simplex category).
(non-degenerate $(p+q)$-simplices in $\Delta[p] \times \Delta[q]$)
For $p,q \,\in\, \mathbb{N}$, the non-degenerate simplices in the Cartesian product (Prop. )
of standard simplices in sSet correspond, under the Yoneda lemma, to precisely those morphisms of simplicial sets
which satisfy the following equivalent conditions:
as morphisms of posets they are strictly monotone;
as permutations of $(p+q)$ elements they are $(p,q)$-shuffles;
as morphisms of finitely generated categories they take generating morphisms to generating morphisms;
(e.g. Kerodon 2.5.7.2: 00RH)
Here the first statement says that such morphisms may hence be represented by paths
on a $(p+1)\times(q+1)$-lattice,
from one corner to its opposite corner,
consisting of $p+q$ unit steps,
each either horizontally or vertically
and the second statement says that such paths are characterized by the $(p,q)$-shuffle $(\mu_1 \lt \cdots \lt \mu_p, \, \nu_1 \lt \cdots \lt \nu_q)$ of lists of step numbers $\mu_i$ where the path proceeds horizontally and step numbers $\nu_i$ where it proceeds vertically:
From Prop. it is clear (Rem. ) that a simplex $\sigma$ (3) is degenerate precisely if, when regarded as a path as above, it contains a constant step, i.e. one which moves neither horizontally nor vertically. But then – by degree reasons, since we are looking at paths of $p + q$ steps in a lattice of side length $p$ and $q$ – it must be that the path proceeds by $p + q$ unit steps.
(sequence- and shuffle-notation for simplices in a product of simplices)
Written as a pair of $(p+q)$-simplices, one in $\Delta[p]$ and one in $\Delta[q]$, the non-degenerate simplex (3) is hence a pair of monotone lists of natural numbers
such that one row has a constant step precisely where the other has not.
Recording the step numbers where either of these lists is non-constant yields a $(p,q)$-shuffle:
namely a permutation of $(p+q)$ elements where each element is larger than its left neighbour, except possibly when going from the $p$th to the $p+1$st element.
The shuffle-data yields a conveniently explicit re-construction of the product of simplices, as follows:
For $\mu = (\mu_1 \lt \mu_2 \lt \cdots \lt \mu_p)$ a sequence of natural numbers in $\{1, \cdots, p+q\}$, write
for the composite
where $\sigma_i \,\colon\, [n+1] \to [n]$ denotes the surjective monotone map (the codegeneracy map) that repeats the index $i$.
The non-degenerate simplices in the Cartesian product (Prop. )
of simplices in sSet are precisely those of the form
for $(\mu,\nu)$ a $(p,q)$-shuffle.
The non-degenerate (n+1)-simplices in the cylinder over the n-simplex
are, according to Prop. and in the notation of Remark , as follows:
and so on.
(non-degenerate simplices in simplicial square)
The complete set of non-degenerate simplices in $\Delta[1] \times \Delta[1]$ is, in specialization of Example , according to Prop. and in the notation of Remark , the following:
See also Friedman 2008, Fig. 20.
The non-degenerate simplices in
are, in specialization of Example , according to Prop. and in the notation of Remark , the following three:
Some non-degenerate simplices in $\Delta[2] \times \Delta[2]$:
The shuffle-formula is due (in terms of simplicial abelian groups of chains on a simplicial set, see at Eilenberg-Zilber map) to:
following:
The streamlined perspective of strictly monotonic morphisms $\Delta[p+q] \to \Delta[p] \times \Delta[q]$ is highlighted in
Exposition:
Textbook accounts:
Last revised on December 8, 2023 at 19:50:30. See the history of this page for a list of all contributions to it.