Neighborhoods of algebraic sets

Abstract

In differential topology, a smooth submanifold in a manifold has a tubular neighborhood, and in piecewise-linear topology, a subcomplex of a simplicial complex has a regular neighborhood. The purpose of this paper is to develop a similar theory for algebraic and semialgebraic sets. The neighborhoods will be defined as level sets of polynomial or semialgebraic functions.