Simplicial manifolds, bistellar flips and a 16-vertex triangulation of the Poincaré homology 3-sphere.
Define for a smooth compact hypersurface of its crumpleness as the ratio , where is the distance from to its central set. (In other words, is the maximal radius of an open non-selfintersecting tube around in We prove that any -dimensional non-singular compact algebraic hypersurface of degree is rigidly isotopic to an algebraic hypersurface of degree and of crumpleness . Here , depend only on , and rigid isotopy means an isotopy passing only through hypersurfaces of degree...
Let be an oriented cusped hyperbolic 3-manifold and let be a topological ideal triangulation of . We give a characterization for to be isotopic to an ideal geodesic triangulation; moreover we give a characterization for to flatten into a partially flat triangulation. Finally we prove that straightening combinatorially equivalent topological ideal cell decompositions gives the same geodesic decomposition, up to isometry.