1: \begin{abstract}

2: Let $M$ be any compact four-dimensional PL-manifold 

3: with or without boundary (e.g. the four-dimensional sphere or ball).

4: Consider the space $T(M)$ of all simplicial isomorphism classes of triangulations of $M$ endowed with the metric defined as follows: the distance between a pair of triangulations is the minimal number of bistellar transformations required to transform one of the triangulations into the other. Our main result is the existence of 

5: an absolute constant $C>1$ such that for every $m$ and all sufficiently large $N$ there

6: exist more than $C^N$ triangulations of $M$ with at most $N$ simplices such

7: that pairwise distances between them are greater than

8: $2^{2^{\ldots^{2^N}}}$ ($m$ times).

9: 

10: This result follows from a similar result for the space of all balanced presentations of the trivial group. (``Balanced" means that the number of generators

11: equals

12: to the number of relations). This space is endowed with the metric defined as the minimal number of Tietze transformations between finite presentations.

13: We prove a similar exponential lower bound for the number of balanced presentations of length $\leq N$

14: with four generators that are pairwise

15: $2^{2^{\ldots^{2^N}}}$-far from each other.

16: If one does not fix the number of generators, then we establish a super-exponential lower bound $N^{const\ N}$ for the number of balanced presentations

17: of length $\leq N$ that are

18: $2^{2^{\ldots^{2^N}}}$-far from each other. \end{abstract}

19: