It is shown that every connected global Nash subvariety of is Nash isomorphic to a connected component of an algebraic variety that, in the compact case, can be chosen with only two connected components arbitrarily near each other. Some examples which state the limits of the given results and of the used tools are provided.
We construct for a real algebraic variety (or more generally for a scheme essentially of finite type over a field of characteristic ) complexes of algebraically and - algebraically constructible chains. We study their functoriality and compute their homologies for affine and projective spaces. Then we show that the lagrangian algebraically constructible cycles of the cotangent bundle are exactly the characteristic cycles of the algebraically constructible functions.