Nonisomorphic algebraic models of Nash manifolds and compactifiable \(C^ \infty\) manifolds (Q1804691)

The author proves two theorems: Theorem 1. Each affine Nash manifold \(M\) with \(\dim M \geq 1\) has an infinite family of nonsingular algebraic subsets \(\{X_n : n \in \mathbb{N}\}\) of some Euclidean space such that each \(X_n\) is Nash diffeomorphic to \(M\) and that \(X_n\) is not birationally equivalent to \(X_n\) for \(n \neq m\). Theorem 2. Every compactifiable \(C^\infty\) manifold \(M\) with \(\dim M \geq 1\) has an infinite family of nonsingular algebraic subsets \(\{X_n : n \in \mathbb{N}\}\) of some Euclidean space such that each \(X_n\) is \(C^\infty\) diffeomorphic to \(M\) and that \(X_n\) is not birationally equivalent to \(X_m\) for \(n \neq m\). Theorem 1 is a very interesting generalization of the well-known fact that any affine Nash manifold admits an algebraic model [\textit{M. Shiota}, ``Nash manifolds'', Lect. Notes Math. 1269 (1987; Zbl 0629.58002)]. Its proof is reduced to the noncompact case. The author makes a \(C^\infty\)-manifold with border imbedded in \(\mathbb{R} \mathbb{P}^\ell\), and he applies the techniques of \textit{J. Bochnak} and \textit{W. Kucharz} [Invent. Math. 97, No. 3, 585-611 (1989; Zbl 0687.14023)], and \textit{S. Akbulut} and \textit{H. C. King} [Ann. Math., II. Ser. 113, 425-446 (1981; Zbl 0494.57004)] in order to achieve the proof. The author obtains the theorem 2 by means of the relative Nash theorem and the work of \textit{M. Shiota} on Nash manifolds [Proc. Am. Math. Soc. 96, 155-162 (1986; Zbl 0594.58006)].