---
title: Definable Bi-Lipschitz Triviality
url: https://www.emergentmind.com/topics/definable-bi-lipschitz-triviality
type: topic
---

# Definable Bi-Lipschitz Triviality

Searching arXiv for recent and foundational papers on definable bi-Lipschitz triviality, tangent cones, and Lipschitz stratifications.
Definable bi-Lipschitz triviality is the study of when a definable family \(A\subset \mathbb{R}^{m}\times\mathbb{R}^{n}\), with fibers \(A_t:=\{x\in\mathbb{R}^n:(t,x)\in A\}\), is constant up to definable bi-Lipschitz homeomorphism over pieces of parameter space. In the o-minimal setting, especially for polynomially bounded structures, it lies at the intersection of tame topology, Lipschitz geometry of singularities, and stratification theory. Its basic form is a product decomposition
\[
H:U\times A_{t_0}\longrightarrow A_U,\qquad H(t,x)=(t,h_t(x)),
\]
where each \(h_t\) is bi-Lipschitz; its deeper content is that such trivializations are constrained by tangent cones, direction sets, links, and other metric invariants, and in several analytic settings they force strong rigidity or smoothness [2110.05759] [2507.23622].

## 1. Definable families and the meaning of bi-Lipschitz triviality

The ambient framework is a fixed o-minimal expansion \(\mathcal S\) of the real field \((\mathbb R,+,\cdot)\), or more generally of a real closed field in the quasi-isometric tangent-cone theory. A subset \(A\subset\mathbb R^n\) is definable if \(A\in\mathcal S_n\), a map is definable if its graph is definable, and a definable family is encoded by a definable set \(A\subset\mathbb R^m\times\mathbb R^n\) with fibers \(A_t\) [2110.05759] [2305.15969].

A map \(\phi:A\to\mathbb R^k\) is Lipschitz if there exists \(L\ge 0\) such that
\[
|\phi(x)-\phi(x')|\le L\,|x-x'|\quad \forall x,x'\in A.
\]
It is bi-Lipschitz onto its image if it is a homeomorphism onto \(\phi(A)\) and both \(\phi\) and \(\phi^{-1}\) are Lipschitz. For metric germs \((X,p,d_X)\), bi-Lipschitz equivalence means the existence of a homeomorphism of germs satisfying
\[
\frac{1}{L}d_X(x,x')\le d_Y(f(x),f(x'))\le L\,d_X(x,x')
\]
for all \(x,x'\) sufficiently close to \(p\) [2110.05759] [2305.15969].

For a definable family \(A\in\mathcal S_{m+n}\), definable topological triviality along \(U\subset\mathbb R^m\) means that there exists \(t_0\in U\) and a definable homeomorphism
\[
H:U\times A_{t_0}\longrightarrow A_U
\]
of the form \(H(t,x)=(t,h_t(x))\). Definable bi-Lipschitz triviality strengthens this by requiring each \(h_t\) to be bi-Lipschitz [2110.05759]. This is the precise notion that underlies metric constancy in definable families.

A local version is encoded by stratifications. A stratification \(\mathcal Z\) of a definable set \(X\) is locally definably bi-Lipschitz trivial if for each stratum \(S\in\mathcal Z\) there exist an open neighborhood \(V_S\subset X\) of \(S\), a smooth definable retraction \(\tau_S:V_S\to S\), and for each \(x_0\in S\) a neighborhood \(W\subset S\) together with a definable bi-Lipschitz homeomorphism
\[
A:\tau_S^{-1}(W)\to \tau_S^{-1}(x_0)\times W
\]
compatible with the projection to \(S\) and with the stratification [2110.05759]. This is the local geometric form of triviality used in Lipschitz stratification theory.

## 2. Hardt-type triviality and bi-Lipschitz stratifications

A central theorem in the polynomially bounded o-minimal setting is the bi-Lipschitz Hardt theorem. If \(A\in\mathcal S_{m+n}\), then there exists a definable partition of \(\mathbb R^m\) such that \(A\) is definably bi-Lipschitz trivial along each piece [2110.05759]. After refinement, the trivialization can be chosen so that on each piece \(B\) and each compact \(K\subset B\times\mathbb R^n\), the map
\[
H:(B\times A_{t_0})\cap K\to A_B\cap K
\]
is bi-Lipschitz. The local dependence on parameters is therefore Lipschitz on compact subsets, and Example 5.9 in the paper shows that this compactness restriction is sharp [2110.05759].

The main technical input is the existence of regular vectors up to a definable family of uniformly bi-Lipschitz homeomorphisms. If each fiber \(A_t\subset\mathbb R^n\) has empty interior, then there exists a definable family
\[
h_t:\mathbb R^n\to\mathbb R^n
\]
which is uniformly bi-Lipschitz and such that the vector \(e_n\) is regular for the family \((h_t(A_t))_t\). Regularity means there exists \(\alpha>0\) such that
\[
d(e_n,T(A_t))\ge \alpha\quad\text{for all }t,
\]
where \(T(A_t)\) is the closure of tangent spaces to the regular part of \(A_t\) in the Grassmannian [2110.05759]. Proposition 3.6 identifies this with a uniform finite decomposition of each fiber as a union of Lipschitz graphs in direction \(e_n\).

This yields more than familywise triviality. Given a definable set \(X\), one can find a stratification \(\mathcal Z\) of \(X\) which is locally definably bi-Lipschitz trivial, and this stratification may be required to be compatible with finitely many given definable subsets of \(X\) [2110.05759]. Valette’s survey presents this result as part of a broader Lipschitz geometry of globally subanalytic sets, together with metric triangulations and Lipschitz conic structure [2507.23622].

A closely related statement is that local definable bi-Lipschitz triviality is a stratifying condition. This places definable bi-Lipschitz triviality on the same structural level as Whitney or Verdier regularity, but in the metric category [2110.05759] [2507.23622]. A plausible implication is that, for tame singular spaces, the natural organization of parameter space for metric classification is by definable strata on which these trivializations exist.

## 3. Tangent cones, direction sets, and coarse metric invariants

The tangent cone is the basic obstruction to definable bi-Lipschitz triviality. For a subanalytic or definable germ \(A\subset\mathbb R^n\) at \(x_0\),
\[
C(A,x_0)=\left\{v\in\mathbb R^n\;\middle|\;\exists x_i\in A\setminus\{x_0\},\ t_i\downarrow 0,\ x_i\to x_0,\ \frac{x_i-x_0}{t_i}\to v\right\}.
\]
In the subanalytic setting, it is equivalently described by subanalytic arcs
\[
\alpha(t)-x_0=t\,v+o(t)
\]
with \(\alpha((0,\varepsilon))\subset A\) [1412.3049].

Sampaio’s theorem states that if the germs \((X,x_0)\) and \((Y,y_0)\) are bi-Lipschitz homeomorphic, then the tangent cone germs \((C(X,x_0),x_0)\) and \((C(Y,y_0),y_0)\) are also bi-Lipschitz homeomorphic [1412.3049]. The proof uses rescaled maps
\[
h_n(v)=n\,h\!\left(\frac{v}{n}\right),\qquad g_n(v)=n\,h^{-1}\!\left(\frac{v}{n}\right),
\]
extracts uniform limits by Arzelà–Ascoli, and obtains a bi-Lipschitz limit map \(dh\) sending \(C(X,0)\) to \(C(Y,0)\) [1412.3049].

This theorem generalizes naturally in the definable setting. For definable germs \((X,p)\) and \((Y,q)\), local quasi-isometry is introduced by replacing exact bi-Lipschitz inequalities with inequalities containing an error term built from a horn function \(\varphi(t)=o(t)\). The main theorem states that for definable germs the following are equivalent:
1. \((X,p)\) and \((Y,q)\) are quasi-isometric;
2. \(C(X,p)\) and \(C(Y,q)\) are bi-Lipschitz homeomorphic [2305.15969].

Thus tangent cones are complete invariants for local quasi-isometry, but not for full bi-Lipschitz equivalence. The paper gives the cusp example
\[
X=\{(x,y): y^2=x^3,\ y\ge 0\},\qquad
Y=\{(x,y): y^2=x^5\},
\]
which have the same tangent cone but are not bi-Lipschitz equivalent, although they are quasi-isometric [2305.15969]. This makes precise the gap between coarse and fine metric classifications.

Direction sets refine tangent-cone data. For a set-germ \(A\) at \(0\),
\[
D(A)=\left\{x\in S^{n-1}\;\middle|\;\exists x_i\in A\setminus\{0\},\ x_i\to 0,\ \frac{x_i}{\|x_i\|}\to x\right\},
\qquad D(A)=C(A,0)\cap S^{n-1}.
\]
For definable sets in an o-minimal structure, the directional dimension
\[
\dim\bigl(D(A)\cap D(B)\bigr)
\]
is preserved by bi-Lipschitz homeomorphisms, provided the images are also definable [1003.0244]. Sampaio’s tangent-cone theorem gives an alternative proof in the subanalytic case [1412.3049].

These facts impose necessary conditions on any definable bi-Lipschitz trivial family. If fibers are bi-Lipschitz equivalent, then their tangent cones must be bi-Lipschitz equivalent, and the dimensions of intersections of direction sets must remain constant [1412.3049] [2305.15969]. This suggests that tangent cones and directional data function as primary stratified invariants for definable metric classification.

## 4. Rigidity phenomena and strong forms of triviality

A striking rigidity phenomenon is that Lipschitz regular complex analytic sets are smooth. A subanalytic subset \(X\subset\mathbb R^n\) is Lipschitz regular at \(x_0\) if there exists a neighborhood \(U\subset X\) of \(x_0\) and a bi-Lipschitz homeomorphism
\[
\phi:U\to B
\]
onto a Euclidean ball \(B\subset\mathbb R^N\). If \(X\subset\mathbb C^n\) is complex analytic and Lipschitz regular at \(x_0\), then \(x_0\) is a smooth point of \(X\) [1412.3049]. The proof combines tangent-cone invariance with Prill’s theorem on topologically regular complex cones.

A related rigidity statement concerns complex polynomial maps. For a nonconstant complex polynomial
\[
f:\mathbb C^n\to\mathbb C,
\]
a value \(c\) is bi-Lipschitz trivial if there exists a neighborhood \(V\ni c\) and a bi-Lipschitz bundle isomorphism
\[
\Phi:X_c\times V\to X_V,\qquad f\circ\Phi=\mathrm{pr}_2.
\]
The main theorem states that \(f\) admits a locally bi-Lipschitz trivial value if and only if it is a polynomial in a single variable [1907.08493]. In particular, for genuinely multivariable polynomials, fibers over nearby values are not metrically separated in the bi-Lipschitz sense.

In weighted homogeneous singularity theory, strong triviality can force analytic triviality. For weighted homogeneous plane function-germs \(f_t\), strong bi-Lipschitz triviality means that
\[
\frac{\partial f_t}{\partial t}(x)=df_t(x)\big(v_t(x)\big)
\]
for a continuous family of Lipschitz vector fields \(v_t\). If \(f_t\) is a strongly bi-Lipschitz trivial family of weighted homogeneous function-germs in two variables with weights \(w=(w_1,w_2)\) and \(w_2>w_1\), then any two members are analytically equivalent [1102.4657].

The relative setting of functions on singular varieties admits an infinitesimal criterion of the same flavor. For an analytic variety germ \(X\subset\mathbb C^n\), tangent module \(\Theta_X\), and deformation \(F(x,t)\), the paper introduces strongly rational \(\mathscr R_X\)-bi-Lipschitz trivial families and proves a sufficient infinitesimal criterion in terms of \(\partial F/\partial t\) and the derivatives \(df_t(\eta_i)\) along generators \(\eta_i\in\Theta_X\) [2502.06436]. A corollary states that when \(X\) and \(f\) are homogeneous of the same degree, all deformations of \(f\) of the same or higher degrees are bi-Lipschitz trivial [2502.06436].

These rigidity statements show that definable bi-Lipschitz triviality is often much stronger than topological triviality. In complex analytic and weighted homogeneous settings, it can force linear tangent cones, smoothness, one-variable structure, or even analytic equivalence [1412.3049] [1907.08493].

## 5. Compactification, infinity, and links

Definable bi-Lipschitz geometry at infinity can be transferred to a local problem by inversion and stereographic compactification. If \(W_i\subset\mathbb R^{q_i}\) are closed and
\[
\Phi:W_1\to W_2
\]
is bi-Lipschitz, then the stereographic compactification
\[
\widehat\Phi:\widehat W_1\to\widehat W_2,\qquad \widehat W_i=\overline{\sigma_{q_i}(W_i)}\subset\mathbf S^{q_i},
\]
is bi-Lipschitz, and conversely [2305.07469]. In particular, the germ at infinity \((W_1,\infty)\) is bi-Lipschitz equivalent to the germ at the north pole \((\widehat W_1,N_{q_1})\).

This transport principle yields an at-infinity version of Sampaio’s theorem: if closed definable germs \((W_i,\infty)\) are bi-Lipschitz equivalent, then their tangent cones at infinity \(W_i^\infty{}_+\) are bi-Lipschitz equivalent [2305.07469]. It also yields a version at infinity of Valette’s link-preserving reparametrization theorem: a definable bi-Lipschitz homeomorphism at infinity can be replaced by one preserving the distance to the origin, so links at infinity become direct metric invariants [2305.07469].

The one-point compactification theorem for Lipschitz normally embedded sets is the inner-metric counterpart. A closed connected definable subset \(X\subset\mathbb R^q\) is LNE in \(\mathbb R^q\) if and only if \(\sigma_q(X)\cup\{N_q\}\) is LNE in \(\mathbb S^q\) [2304.08555]. As a consequence, any closed connected unbounded definable subset of Euclidean space is definably inner bi-Lipschitz homeomorphic to a Lipschitz normally embedded definable set [2304.08555].

Valette’s survey places these results in a broader picture. For definable sets, metric triangulations, definable bi-Lipschitz triviality, Lipschitz conic structure, and invariance of the link under definable bi-Lipschitz mappings all belong to the standard toolkit of globally subanalytic geometry [2507.23622]. The link
\[
lk(X,0)=S(0,\varepsilon)\cap X
\]
is well defined up to definable bi-Lipschitz equivalence, and if two definable germs are bi-Lipschitz equivalent, then their links are definably bi-Lipschitz equivalent [2507.23622].

A plausible implication is that compactification converts many noncompact classification questions into local link-and-cone problems on compact definable sets. The papers on infinity make this principle explicit for tangent cones, links, and LNE models [2305.07469] [2304.08555].

## 6. Failure of triviality, refined invariants, and specialized classifications

Several recent works show that topological triviality is much weaker than definable bi-Lipschitz triviality. For two-variable mixed polynomials satisfying Newton inner non-degeneracy, ambient topological \(V\)-triviality can hold while ambient bi-Lipschitz \(V\)-triviality fails. In the family
\[
\{f+\varepsilon\theta\},
\]
the paper gives an explicit example where contact orders of components change from \(3/2\) to \(1\), and since contact order is an outer bi-Lipschitz invariant, the family is not bi-Lipschitz \(V\)-trivial although it is topologically \(V\)-trivial and link-constant [2512.00258].

At the same time, there are positive metric triviality results in restricted classes. If \(f\) is semi-radially weighted homogeneous of radial-type \((P;d)\), and every monomial in \(\theta\) has weighted radial degree strictly greater than \(d\), then the family \(\{f+\varepsilon\theta\}\) is ambient bi-Lipschitz \(V\)-trivial [2512.00258]. Within the same paper, metric 1-braid closures and non-tangent Hopf-links serve as complete invariants for ambient bi-Lipschitz \(V\)-equivalence in a class of \(\Gamma_{\mathrm{inn}}\)-nice mixed polynomials, while the Newton boundary \(\Gamma(f)\) and the inner face diagram \(\Gamma_{\mathrm{inn}}(f)\) are shown not to be invariants [2512.00258].

Mixed Pham–Brieskorn singularities display the same dichotomy. For fixed exponent vector \(a\), the family
\[
\Gamma_a=\{f_{a,b}\mid b\in\mathbb N^n\}
\]
is topologically trivial, but it contains infinitely many distinct Lipschitz classes, detected by the invariants \(a_i+2b_i\) [2501.08264]. In the weighted homogeneous regime, deformations satisfying a filtration inequality are bi-Lipschitz trivial, but varying the exponents changes the bi-Lipschitz type even when the topological type is constant [2501.08264].

For outer bi-Lipschitz geometry of definable surface germs built from two normally embedded Hölder triangles, the \(\sigma\tau\)-pizza is an invariant of the equivalence class, and the paper conjectures that it is complete in that setting [2201.06132]. This fits the general pattern that definable bi-Lipschitz triviality is controlled by finite combinatorial data only after enough metric information—orders of contact, widths, matching data between slices—has been retained.

For continuous definable function germs in a polynomially bounded o-minimal structure, the tangency variety
\[
\mathcal T(f)=\{x\mid \exists\lambda\in\mathbb R,\ \lambda x\in \partial f(x)\cup\partial(-f)(x)\}
\]
produces asymptotic expansions
\[
f_k(t)=a_k t^{\alpha_k}+o(t^{\alpha_k})
\]
along its connected components, and from the exponents \(\alpha_k\) the paper constructs an invariant \(\mathrm{Inv}(f)\) of bi-Lipschitz contact equivalence [1901.04479]. Constancy of this invariant is therefore a necessary condition for definable bi-Lipschitz contact triviality in families.

Finally, in codimension two for complex hypersurfaces, generically linearly Zariski equisingular families of surface singularities in \(\mathbb C^3\) admit a Lipschitz stratification
\[
\mathcal X\supset S\supset T
\]
and are bi-Lipschitz trivial by trivializations obtained by integrating Lipschitz vector fields [1909.00296]. This provides a canonical stratified source of definable bi-Lipschitz triviality in a highly structured analytic setting.

Taken together, these results show that definable bi-Lipschitz triviality is neither automatic nor purely topological. It is governed by tangent cones, direction sets, weighted filtrations, contact orders, links, LNE behavior, and, in specialized settings, refined combinatorial invariants such as \(\sigma\tau\)-pizzas or Newton-slope data [2305.15969] [2512.00258]. This suggests that the subject is best viewed not as a single theorem but as a hierarchy of triviality principles and obstructions across o-minimal, subanalytic, and complex-analytic metric geometry.

Source: https://www.emergentmind.com/topics/definable-bi-lipschitz-triviality