Multiplicity, regularity and blow-spherical equivalence of real analytic sets (Q2126072)

The author is interested in studying multiplicity and regularity on an analytic setting and, in this context, he introduces a weaker variation of the concept of blow-spherical equivalence introduced by \textit{A. Fernandes} et al. [Indiana Univ. Math. J. 66, No. 2, 547--557 (2017; Zbl 1366.14051)], which he also names blow-spherical equivalence or equivalence under a blow-spherical homeomorphism. Equivalence under this concept lives strictly between topological equivalence and sub analytic bi-Lipschitz equivalence and, also, between topological equivalence and differential equivalence. Recently, the author conjectured that if \(X\) and \(Y\) are two real analytic sets included in \(\mathbb{R}^n \) and there is a bi-Lipschitz homeomorphism: \( \varphi: (\mathbb{R}^n, X, 0) \rightarrow (\mathbb{R}^n, Y, 0)\), then the multiplicities at origin of \(X\) and \(Y\) satisfy \(m(X) \equiv m(Y) \bmod 2\). He proved that this conjecture is true when \(n=3\). In this paper, the author proposes the same conjecture but replacing ``bi-Lipschitz'' with ``blow-spherical''. Proposition 5.2, Theorems 5.5, 5.7 and 5.16 and Corollary 5.18 in the paper prove that the conjecture holds whenever \(n \leq 3\) or whenever \(\varphi\) is also image arc-analytic. The author also gives a real analogue of the Gau-Lipman's Theorem. Finally, and concerning regularity of complex analytic sets, the author proves that if a real analytic set \(X \subseteq \mathbb{R}^n\) is blow-spherical regular at \(0 \in X\), then \(X\) is \(C^1\) smooth at \(0\) if and only if the dimension \(d\) of \(X\) is \(1\).