Real and bi-Lipschitz versions of the Theorem of Nobile
José Edson Sampaio
TL;DR
The paper resolves the real-analytic analogue of Nobile’s Theorem under $C^{k}$-smoothness by proving that a pure-dimensional real analytic set $X$ is a submanifold of class $C^{k+1,1}$ if and only if the Nash map $\eta$ is a homeomorphism with $\eta^{-1}$ of class $C^{k,1}$, with an analogous equivalence for real analytic (and $C^{\infty}$) submanifolds. It further establishes a bi-Lipschitz version in the complex setting: a complex analytic set $X$ is analytically smooth exactly when $\eta$ is a locally bi-Lipschitz homeomorphism. The authors extend these results to locally definable sets in o-minimal structures, providing sharp conditions involving tangent cones $C_3(X)$ and $C_4(X)$ and showcasing the limits via counterexamples. The work combines Nash-transformation techniques with o-minimal and Lipschitz geometry to give a robust framework for desingularization and regularity, with implications for real-analytic desingularization and definable geometry.
Abstract
The renowned Theorem of Nobile, proved by Nobile in 1975, states that a pure dimensional complex analytic set $X$ is analytically smooth if and only if its Nash transformation $η: \mathcal{N}(X) \to X$ is an analytic isomorphism. While the Theorem of Nobile was fundamental in complex geometry, it remained an open question for 50 years whether the theorem held for real analytic sets, even more so for cases that demand only $C^{k}$ smoothness. This paper presents a proof for the real version of the Theorem of Nobile, even under $C^{k}$ smoothness conditions. Specifically, we prove that for a pure dimensional real analytic set $X$ the following statements are equivalent: (1) $X$ is a real analytic (resp. $C^{k+1,1}$) submanifold; (2) the mapping $η\colon\mathcal{N}(X)\to X$ is a real analytic (resp. $C^{k,1}$) diffeomorphism; (3) the mapping $η\colon\mathcal{N}(X)\to X$ is a $C^{\infty}$ (resp. $C^{k,1}$) diffeomorphism; (4) $X$ is a $C^{\infty}$ (resp. $C^{k+1,1}$) submanifold. Consequently, we prove the bi-Lipschitz version of the Theorem of Nobile, demonstrating that a complex analytic set $X$ is analytically smooth if and only if its Nash transformation $η\colon \mathcal{N}(X)\to X$ is a homeomorphism that is locally bi-Lipschitz. A sharp version of this theorem, which holds in the much more general setting of locally definable sets in an o-minimal structure, is also presented here.