h-cobordism and s-cobordism Theorems: Transfer over Semialgebraic and Nash Categories, Uniform bound and Effectiveness
The h-cobordism theorem is a noted theorem in differential and PL topology. A generalization of the h-cobordism theorem for possibly non simply connected manifolds is the so called s-cobordism theorem. In this paper, we prove semialgebraic and Nash versions of these theorems. That is, starting with semialgebraic or Nash cobordism data, we get a semialgebraic homeomorphism (respectively a Nash diffeomorphism). The main tools used are semialgebraic triangulation and Nash approximation. ...