Topological lower bounds on the sizes of simplicial complexes and simplicial sets

Abstract

We prove that if an $n$-dimensional space $X$ satisfies certain topological conditions then any triangulation of $X$ as well as any its representation as a simplicial set with contractible faces has at least $2^n$ faces of dimension $n$. One example of such $X$ is the $n$-dimensional torus $(S^1)^n$.