Separable morphisms of simplicial sets.
This paper shows that the simplicial type of a finite simplicial complex is determined by its algebra of polynomial functions on the baricentric coordinates with coefficients in any integral domain. The link between and is done through certain admissible matrix associated to in a natural way. This result was obtained for the real numbers by I. V. Savel’ev [5], using methods of real algebraic geometry. D. Kan and E. Miller had shown in [2] that determines the homotopy type of the polyhedron...
We prove a finiteness result for the systolic area of groups. Namely, we show that there are only finitely many possible unfree factors of fundamental groups of -complexes whose systolic area is uniformly bounded. We also show that the number of freely indecomposable such groups grows at least exponentially with the bound on the systolic area. Furthermore, we prove a uniform systolic inequality for all -complexes with unfree fundamental group that improves the previously known bounds in this dimension....