Algebraicity of Nash sets and of their asymmetric cobordism (Q515333)

Let's start with a piece of advice for the beginners: have at hand \textit{J. Kollár}'s survey ``Nash's work in algebraic geometry'' [Bull. Am. Math. Soc., New Ser. 54, No. 2, 307--324 (2017; Zbl 1359.14002)] as well as [\textit{J. Bochnak} et al., Real algebraic geometry. Transl. from the French. Rev. and updated ed. Berlin: Springer (1998; Zbl 0912.14023)] and [\textit{J. Bochnak} and \textit{W. Kucharz}, Math. Ann. 290, No. 1, 1--2 (1991; Zbl 0714.14012)]. The authors do open their article with a very good introduction concerning the history and the state of art of the algebraization. The Nash functions and Nash sets are then defined (for information: Łojasiewicz's algebraic-analytic functions used in his ``Ensembles semianalytiques IHES 1967'' are the same as Nash functions). It is said that a Nash set has an algebraic structure if it is semialgebraically homeomorphic to a real algebraic set. Before the main theorem 2.2 is stated, the reader is familiarized (Definition 2.1) with so called asymmetric Nash cobordism of two compact Nash sets. The notion is thoroughly explained. Theorem 2.2 says: If a compact Nash set is strongly asymmetric Nash cobordant to a compact real algebraic set, then it has an algebraic structure. There are many other interesting results in the article (for instance theorem 2.6 or Corollary 2.5). The authors deal only with compact Nash sets, which is natural in this context. All the results and conjectures are presented in Chapter 2. Then Chapter 3 presents the proofs. Before starting the proofs the authors explain why their main theorem cannot be proved by simply adjusting the classical reasoning of Nash and Tognoli (of the fact that every compact smooth manifold is diffeomorphic to a nonsingular real algebraic set). Their proofs are ingenuous and use various tools (Whitney stratifications, homotopy, Weierstrass approximation theorem, Efroymson's extension theorem etc). They are very well organized and detailed.