Real and bi-Lipschitz versions of the Theorem of Nobile
Fuente:
arXiv
Guardado en:
| Autor principal: | |
|---|---|
| Formato: | Preprint |
| Publicado: |
2025
|
| Materias: | |
| Acceso en línea: | |
| Etiquetas: |
Agregar Etiqueta
Sin Etiquetas, Sea el primero en etiquetar este registro!
|
| _version_ | 1866908764309815296 |
|---|---|
| author | Sampaio, José Edson |
| author_facet | Sampaio, José Edson |
| contents | 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. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2502_20631 |
| institution | arXiv |
| publishDate | 2025 |
| record_format | arxiv |
| spellingShingle | Real and bi-Lipschitz versions of the Theorem of Nobile Sampaio, José Edson Algebraic Geometry Complex Variables 14B05, 32S50 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. |
| title | Real and bi-Lipschitz versions of the Theorem of Nobile |
| topic | Algebraic Geometry Complex Variables 14B05, 32S50 |
| url | https://arxiv.org/abs/2502.20631 |