Title:Local bi-Lipschitz classification of semialgebraic surfaces

Abstract:We provide bi-Lipschitz invariants for finitely determined map germs $f: (\mathbb{K}^n,0) \to (\mathbb{K}^p, 0)$, where $\mathbb{K} = \mathbb{R}$ or $ \mathbb{C}$. The aim of the paper is to provide partial answers to the following questions: Does the bi-Lipschitz type of a map germ $f: (\mathbb{R}^n, 0) \to (\mathbb{R}^p, 0)$ determine the bi-Lipschitz type of the link of $f$ and of the double point set of $f$? Reciprocally, given a map germ $f: (\mathbb{R}^n, 0) \to (\mathbb{R}^p, 0)$, do the bi-Lipschitz types of the link of $f$ and of the double point set of $f$ determine the bi-Lipschitz type of the germ $f: (\mathbb{R}^n, 0) \to (\mathbb{R}^p, 0)$?
We provide a positive answer to the first question in the case of a finitely determined map germ $f: (\mathbb{R}^n, 0) \to (\mathbb{R}^p, 0)$ where $2n-1 \leq p$. With regard to the second question, for a finitely determined map germ $f : (\mathbb{R}^2,0) \to (\mathbb{R}^3,0),$ we show that the bi-Lipschitz type of the link of $f$ and of the double point set of $f$ determine the bi-Lipschitz type of the image $X_f=f(U),$ where $U$ is a small neighbourhood of the origin in $\mathbb R^2.$ In the case of a finitely determined map germ $f: (\mathbb{R}^2, 0) \to (\mathbb{R}^3, 0)$ of corank 1 with homogeneous parametrization, the bi-Lipschitz type of the link of $f$ determines the bi-Lipschitz type of the map germ. Finally, we discuss the bi-Lipschitz equivalence of homogeneous surfaces in $\mathbb{R}^3$.