Kurdyka-{\L}ojasiewicz functions and mapping cylinder neighborhoods

Kurdyka-{\L}ojasiewicz (K{\L}) functions are real-valued functions characterized by a differential inequality involving the norm of their gradient. This class of functions is quite rich, containing objects as diverse as subanalytic, transnormal or Morse functions. We prove that the zero locus of a Kurdyka-{\L}ojasiewicz function admits a mapping cylinder neighborhood. This implies, in particular, that wildly embedded topological 2-manifolds in 3-dimensional Euclidean space, such as Alexander horned spheres, do not arise as the zero loci of K{\L} functions.
Comment: 27 pages, to appear in Annales de l`Institut Fourier