The link and double-point image criterion for bi-Lipschitz equivalence of map germs

Let K\mathbb{K} be the real or complex numbers, and let f,g:(Kn,0)(Kp,0)f,g:(\mathbb{K}^n,0)\to(\mathbb{K}^p,0) be finitely determined map germs with 2n1p2n-1\leq p. Write link(f)link(f) and link(g)link(g) for their links, and D(f)D(f) and D(g)D(g) for their double point sets. In the complex case, also let L(f)\mathcal{L}(f) and L(g)\mathcal{L}(g) denote their complex links.

Link and double-point image criterion. The map germs ff and gg are bi-Lipschitz equivalent if and only if link(f)link(f) and link(g)link(g) are bi-Lipschitz equivalent and the images f(D(f))f(D(f)) and g(D(g))g(D(g)) of their double point sets are bi-Lipschitz equivalent. In the complex situation, the considered link may be either the real link or the complex link L(f)\mathcal{L}(f), respectively L(g)\mathcal{L}(g).

This proposes that, in the range 2n1p2n-1\leq p, the link together with the bi-Lipschitz type of the image of the double point set completely determines the bi-Lipschitz equivalence class of a finitely determined map germ. The source presents it as a conjectural criterion; no resolution is supplied here.

Sources & referencesView supporting material

Primary source

Jean-paul Brasselet, Maria Aparecida Soares Ruas and Thuy Nguyen, “Local bi-Lipschitz classification of semialgebraic surfaces”, arXiv:1902.02235 (2024).

Progress summary

Never refreshed

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Solutions 0

No solutions have been posted yet.