The link of a vertex in a $n$-dimensional simplicial complex is the $(n-1)$-dimensional simplicial complex formed by the $(n-1)$-simplices each of which, together with the vertex, spans an $n$-simplex. A combinatorial PL manifold is a simplicial complex where the links of all vertices are topologically equivalent to a PL sphere.
It is known that equivalence classes of combinatorial PL manifolds under Pachner moves are in one-to-one correspondence with equivalence classes of PL manifolds under homeomorphism.
Instead of allowing all links with PL topology of a sphere, we can restrict to a finite set of allowed links. This includes restricting to Pachner moves that transform a combinatorial PL manifold with allowed links in another one with allowed links (note that a Pachner move in the manifold acts also with Pachner moves on the links of the involved vertices).
If this set of allowed links is big enough then the equivalence in the second paragraph will still hold. Note that this includes 1) we still have to be able to represent all PL manifolds and 2) we still have to be able to transform any equivalent combinatorial manifolds into each other with Pachner moves, without going via any non-allowed links.
E.g. in 2 dimensions, it is easy to show that 5-, 6-, and 7-gons as links are enough to represent any 2-manifold, and it seems highly plausible that any two such restricted combinatorial manifolds can be transformed by Pachner moves if also 3- to, say, 10-gons are allowed.
Is there a general scheme to construct a sufficiently large set of allowed links that is still rather small? Optimally, this would work for any dimension, but I'm also fine with dimensions 2 and 3. I'm not searching for the strictly smallest possible set of allowed links, but I also would want something better than "provably, taking links with $<10000$ vertices is sufficient in $3$ dimension".
