Log-Lipschitz and H\"older regularity imply smoothness for complex analytic sets

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 C² 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 (Rᵏ, 0) are bi--H\"older 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.