Geometric and differential properties of subanalytic sets (Q1264353)

This exquisite paper is a continuation of the steady development of the theory of subanalytic sets treated in a very geometrical way by the authors [Publ. Math. Inst. Hautes Étud. Sci. 67, 5-42 (1988; Zbl 0674.32002)]. The main result of the present (very much self-contained) paper is Theorem 1.13 which states the equivalence of the following properties for a closed subanalytic subset of \(\mathbb{R}^n\): (1) Composite function property (2) Uniform Chevalley estimate (3) Semicontinuity of the diagram of initial exponents (4) Semicontinuity of the Hilbert-Samuel function (5) Semicoherence. It should be noticed that (1) is an old, unsolved, Thom-Glaeser problem and that semicoherence, particularly adapted to the problems in the real spaces, has been underestimated by other authors. The work is a natural prolongation of the works of R. Thom, H. Hironaka, S. Łojasiewicz and A. M. Gabrielov.