Abstract
We prove that if there exists a bi-Lipschitz homeomorphism (not necessarily subanalytic) between two subanalytic sets, then their tangent cones are bi-Lipschitz homeomorphic. As a consequence of this result, we show that any Lipschitz regular complex analytic set, i.e., any complex analytic set which is locally bi-Lipschitz homeomorphic to an Euclidean ball must be smooth. Finally, we give an alternative proof of S. Koike and L. Paunescu’s result about the bi-Lipschitz invariance of directional dimensions of subanalytic sets.
Similar content being viewed by others
References
Bernig, A., Lytchak, A.: Tangent spaces and Gromov–Hausdorff limits of subanalytic spaces. J. Reine Angew. Math. 608, 1–15 (2007)
Birbrair, L., Fernandes, A., Lê, D.T., Sampaio, J.E.: Lipschitz regular complex algebraic sets are smooth, preprint (2014), http://arxiv.org/abs/1404.5678v3
Birbrair, L., Fernandes, A., Grandjean, Vincent: Collapsing topology of isolated singularities, preprint (2012), http://arxiv.org/abs/1208.4328v1
Birbrair, L., Fernandes, A., Neumann, W.D.: Normal embedding of complex algebraic surfaces, real and complex singularities. LMS Lecture Note Series 380, 17–21 (2010)
Birbrair, L., Mostowski, T.: Normal embeddings of semialgebraic sets. Mich. Math. J. 47, 125–132 (2000)
Bobadilla, J.F.: Answers to some equisingularity questions. Invent. math. 161, 657–675 (2005)
Brieskorn, E.V.: Examples of singular normal complex spaces which are topological manifolds. Proc. Nat. Acad. Sci. U.S.A. 55, 1395–1397 (1966)
Coste, M.: An Introduction to O-minimal Geometry. Institut de Recherche Mathématique de Rennes, (1999)
Chirka, E.M.: Complex Analytic Sets. Kluwer Academic Publishers, Drive Norwell (1989)
Kirszbraun, M.: \(\ddot{U}\)ber die zusammenziehende und Lipschitzsche Transformationen. Fundamenta Math. 22(1), 77–108 (1934)
Koike, S., Loi, Ta Le, Paunescu, L., Shiota, M.: Directional properties of sets definable in o-minimal structures. Ann. Inst. Fourier (Grenoble) 63(5), 2017–2047 (2013)
Koike, S., Paunescu, L.: The directional dimension of subanalytic sets is invariant under bi-Lipschitz homeomorphisms. Ann. Inst. Fourier (Grenoble) 59(6), 2445–2467 (2009)
Koike, S., Paunescu, L.: On the Geometry of sets satisfying the sequence selection property. J. Math. Soc. Jpn. 67(2), 721–751 (2015)
Mcshane, E.J.: Extension of range of functions. Bull. Am. Math. Soc. 40, 837–842 (1934)
Mumford, M.: The topology of normal singularities of an algebraic surface and a criterion for simplicity. Inst. Hautes Études Sci. Publ. Math. 9, 5–22 (1961)
Prill, D.: Cones in complex affine space are topologically singular. Proc. Am. Math. Soc. 18, 178–182 (1967)
Valette, Guillaume: Multiplicity mod 2 as a metric invariant. Discrete Comput. Geom. 43, 663–679 (2010)
Whitney, H.: Analytic extensions of functions defined in closed sets. Trans. Am. Math. Soc. 36, 63–89 (1934)
Whitney, H.: Tangents to an analytic variety. Ann. Math. 81(3), 496–549 (1965)
Whitney, H.: Local Properties of Analytic Varieties, Differential and Combinatorial Topology. Princeton University Press, Princeton (1965)
Whitney, H.: Complex Analytic Varieties. Addison-Wesley publishing company, Mass.-Menlo Park (1972)
Zariski, O.: Some open questions in the theory of singularities. Bull. Am. Math. Soc. 77(4), 481–491 (1971)
Acknowledgments
I wish to thank my thesis advisor Alexandre Fernandes and Lev Birbrair by incentive in this research and also for their support and help. I also wish to thank Vincent Grandjean and anonymous referee for corrections and suggestions in writing this article. The result of the paper is part of my PhD thesis at Universidade Federal do Ceará and the author was partially supported by FUNCAP.
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Sampaio, J.E. Bi-Lipschitz homeomorphic subanalytic sets have bi-Lipschitz homeomorphic tangent cones. Sel. Math. New Ser. 22, 553–559 (2016). https://doi.org/10.1007/s00029-015-0195-9
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00029-015-0195-9