Skip to main content
1 of 8
Fedya
  • 934
  • 4
  • 11

I'm going to call manifolds with at most $L$ simplices incident to a vertex "of geometry bounded by $L$" or just "of bounded geometry". The operator $*$ denotes the join.

First, using the Delaunay triangulation argument in Ian Agol's answer, every PL sphere of geometry bounded by $L$ can be filled with a PL ball of geometry bounded by $C(L)$. The procedure is: smooth it out, take a Riemannian filling, take a Delaunay triangulation of the filling, and then use some finite procedure to interpolate between the original boundary and the new boundary which may have gotten subdivided. (This is the shakiest part of the argument.)

Now take an arbitrary PL manifold $M^d$.

  1. Barycentrically subdivide once. The resulting complex has a vertex for each face of $M$. The star of the vertex corresponding to every $d$-face and $(d-1)$-face is already of bounded geometry.
  2. Now look at the star of the vertex corresponding to a $(d-2)$-face. This looks like $\Delta^{d-2} * CS$ where $S$ is a circle with many edges. We can replace the interior of this subcomplex by $\Delta^{d-2} * D(S)$, where $D(S)$ is a bounded geometry filling of $S$. Now this subcomplex also has bounded geometry.
  3. If we now look at the star of the vertex corresponding to a $(d-3)$-face, it looks like $\Delta^{d-3} * C\Sigma$ where $\Sigma$ is a surface. This surface is a union of patches which are the $D(S)$'s from the previous step, therefore it has bounded geometry. We can replace $C\Sigma$ with a bounded geometry 3-ball.
  4. Keep going like this. At the end of the procedure, the resulting manifold has bounded geometry.
Fedya
  • 934
  • 4
  • 11