Higher order approximation of analytic sets by topologically equivalent algebraic sets (Q1745334)

It is known that any analytic set-germ \((X,0)\subset (\mathbb{K}^{n},0),\) \( \mathbb{K=R}\) or \(\mathbb{C}\), is homeomorphic to the germ \((V,0)\) of an algebraic subset \(V\subset \mathbb{K}^{n}\) [\textit{T. Mostowski}, Bull. Pol. Acad. Sci., Math. 32, 393--400 (1984; Zbl 0579.32007)]. The authors prove that \(V\) can be constructed in such a way that \((X,0)\) and \((V,0)\) are tangent with any prescribed order of tangency. Precisely, for the above analytic germ \((X,0)\) there exist \( C,c>0\) and an open neigbourhood \(U\ni 0\) in \(\mathbb{K}^{n}\) such that for every \(m\in \mathbb{N}\) there exist a subanalytic and arc-analytic homeomorphism \(\varphi _{m}:U\rightarrow \varphi _{m}(U)\) and an algebraic subset \(V_{m}\subset \mathbb{K}^{n}\) such that (a) \(\varphi _{m}(X\cap U)=V\cap \varphi _{m}(U),\) (b) \(\left| \left| \varphi _{m}(a)-a\right| \right| \leq C^{m}\left| \left| a\right| \right| ^{m}\) for every \(a\in U.\) Moreover, \(\varphi _{m}\) is real analytic outside a nowhere dense analytic subset \(Z\subset U\) with absolute values of the Jacobian between \(c\) and \(C.\) They also give a relation between the spaces of arcs contained in both germs.