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$ (Theorem 3.3). 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 a complete set of invariants for the bi-Lipschitz classification with respect to the inner metric of $X_f=f(U)$, where $U$ is a small neighbourhood of the origin in $\mathbb R^2$, is is given by the link of $f$, the image of the double point set of $f$ and the polar curve of a generic projection into the plane (Proposition 4.13). In particular, in the homogeneous parametrization case $f: (\mathbb{R}^2, 0) \to (\mathbb{R}^3, 0)$ of corank 1, we do not need the hypothesis on the equivalence of the image of the double point set (Theorem 5.2). Finally, we apply our results to relate the $C^{0}- \mathcal A$ classes of finitely determined map germs $f$ of corank 1 with homogeneous parametrization and the inner bi-Lipschitz type of $X_f$ (Proposition 5.4).
What problem does this paper attempt to address?
The problems that this paper attempts to solve can be summarized as the following points:
1. **Does the bi - Lipschitz type determine the connectivity and the bi - Lipschitz type of the double - point set?**
- Specifically, given two finitely determined mapping germs \( f: (\mathbb{R}^n, 0) \to (\mathbb{R}^p, 0) \), if \( f \) and \( g \) are bi - Lipschitz equivalent, then are the connectivity \( \text{link}(f) \) and the double - point set \( f(D(f)) \) of \( f \) also bi - Lipschitz equivalent to the connectivity \( \text{link}(g) \) and the double - point set \( g(D(g)) \) of \( g \)?
- Conversely, given a mapping germ \( f: (\mathbb{R}^n, 0) \to (\mathbb{R}^p, 0) \), do its connectivity \( \text{link}(f) \) and double - point set \( f(D(f)) \) determine the bi - Lipschitz type of \( f \)?
2. **Under specific conditions, does the above problem have a positive answer?**
- The paper provides some partial answers. For example, in the case of \( p \geq 2n - 1 \), for a finitely determined mapping germ \( f: (\mathbb{R}^n, 0) \to (\mathbb{R}^p, 0) \), if \( f \) and \( g \) are bi - Lipschitz equivalent, then \( \text{link}(f) \) and \( \text{link}(g) \) as well as \( f(D(f)) \) and \( g(D(g)) \) are all bi - Lipschitz equivalent (Theorem 3.3).
3. **What are the complete invariants for the bi - Lipschitz classification in mapping germs from two - dimensional to three - dimensional?**
- For a finitely determined mapping germ \( f: (\mathbb{R}^2, 0) \to (\mathbb{R}^3, 0) \), the paper proves that the connectivity \( \text{link}(f) \) of \( f \), the double - point set \( f(D(f)) \) and the polar curve \( \Gamma_1(X_f) \) of the general projection onto the plane form the complete invariants for the bi - Lipschitz classification of \( X_f \) with respect to the inner metric (Proposition 4.13).
4. **For a specific mapping germ with homogeneous parameterization, can the conditions for bi - Lipschitz equivalence be simplified?**
- The paper further proves that for a finitely determined mapping germ \( f: (\mathbb{R}^2, 0) \to (\mathbb{R}^3, 0) \) with homogeneous parameterization, if \( \text{link}(f) \) and \( \text{link}(g) \) as well as the polar curves \( \Gamma_1(X_f) \) and \( \Gamma_1(X_g) \) are bi - Lipschitz equivalent, then \( X_f \) and \( X_g \) are bi - Lipschitz equivalent with respect to the inner metric (Theorem 5.2).
Through these studies, the paper aims to provide a deeper understanding of bi - Lipschitz equivalence and provide partial answers to related problems.