Log-Lipschitz and Hölder regularity imply smoothness for complex analytic sets
Fuente:
arXiv
Guardado en:
| Autor principal: | |
|---|---|
| Formato: | Preprint |
| Publicado: |
2024
|
| Materias: | |
| Acceso en línea: | |
| Etiquetas: |
Agregar Etiqueta
Sin Etiquetas, Sea el primero en etiquetar este registro!
|
| _version_ | 1866914996409073664 |
|---|---|
| author | Sampaio, José Edson |
| author_facet | Sampaio, José Edson |
| contents | In this paper, we prove metric analogues, in any dimension and in any co-dimension, of the famous Theorem of Mumford on smoothness of normal surfaces and the beautiful Theorem of Ramanujam that gives a topological characterization of $\mathbb{C}^2$ as an algebraic surface. For instance, we prove that a complex analytic set that is log-Lipschitz regular at 0 (i.e., a complex analytic set that has a neighbourhood of the origin which bi-log-Lipschitz homeomorphic to an Euclidean ball) must be smooth at 0. We prove even more, we prove that if a complex analytic set $X$ such that, for each $0<α<1$, $(X,0)$ and $(\mathbb{R}^k,0)$ are bi-$α$-Hölder homeomorphic, then $X$ must be smooth at 0. These results generalize the Lipschitz Regularity Theorem, which says that a Lipschitz regular complex analytic set must be smooth. Global versions of these results are also presented here and, in particular, we obtain a characterization of an affine linear subspace as a pure-dimensional entire complex analytic set. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2404_06943 |
| institution | arXiv |
| publishDate | 2024 |
| record_format | arxiv |
| spellingShingle | Log-Lipschitz and Hölder regularity imply smoothness for complex analytic sets Sampaio, José Edson Algebraic Geometry Complex Variables Metric Geometry 14B05, 32S50 In this paper, we prove metric analogues, in any dimension and in any co-dimension, of the famous Theorem of Mumford on smoothness of normal surfaces and the beautiful Theorem of Ramanujam that gives a topological characterization of $\mathbb{C}^2$ as an algebraic surface. For instance, we prove that a complex analytic set that is log-Lipschitz regular at 0 (i.e., a complex analytic set that has a neighbourhood of the origin which bi-log-Lipschitz homeomorphic to an Euclidean ball) must be smooth at 0. We prove even more, we prove that if a complex analytic set $X$ such that, for each $0<α<1$, $(X,0)$ and $(\mathbb{R}^k,0)$ are bi-$α$-Hölder homeomorphic, then $X$ must be smooth at 0. These results generalize the Lipschitz Regularity Theorem, which says that a Lipschitz regular complex analytic set must be smooth. Global versions of these results are also presented here and, in particular, we obtain a characterization of an affine linear subspace as a pure-dimensional entire complex analytic set. |
| title | Log-Lipschitz and Hölder regularity imply smoothness for complex analytic sets |
| topic | Algebraic Geometry Complex Variables Metric Geometry 14B05, 32S50 |
| url | https://arxiv.org/abs/2404.06943 |