Definable Bi-Lipschitz Triviality

• Definable bi-Lipschitz triviality is the study of when a definable family remains uniformly bi-Lipschitz equivalent over parameter spaces, capturing metric constancy.
• It integrates concepts from tame topology, Lipschitz geometry of singularities, and stratification theory, using tangent cones and direction sets as key invariants.
• The framework establishes Hardt-type triviality and rigidity conditions that classify singularities and ensure controlled behavior under bi-Lipschitz mappings.

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 (Valette, 2021, Valette, 31 Jul 2025).

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$ (Valette, 2021, Nguyen, 2023).

A map $A_t:=\{x\in\mathbb{R}^n:(t,x)\in A\}$0 is Lipschitz if there exists $A_t:=\{x\in\mathbb{R}^n:(t,x)\in A\}$1 such that

$A_t:=\{x\in\mathbb{R}^n:(t,x)\in A\}$2

It is bi-Lipschitz onto its image if it is a homeomorphism onto $A_t:=\{x\in\mathbb{R}^n:(t,x)\in A\}$3 and both $A_t:=\{x\in\mathbb{R}^n:(t,x)\in A\}$4 and $A_t:=\{x\in\mathbb{R}^n:(t,x)\in A\}$5 are Lipschitz. For metric germs $A_t:=\{x\in\mathbb{R}^n:(t,x)\in A\}$6, bi-Lipschitz equivalence means the existence of a homeomorphism of germs satisfying

$A_t:=\{x\in\mathbb{R}^n:(t,x)\in A\}$7

for all $A_t:=\{x\in\mathbb{R}^n:(t,x)\in A\}$8 sufficiently close to $A_t:=\{x\in\mathbb{R}^n:(t,x)\in A\}$9 (Valette, 2021, Nguyen, 2023).

For a definable family $$H:U\times A_{t_0}\longrightarrow A_U,\qquad H(t,x)=(t,h_t(x)),$$0, definable topological triviality along $$H:U\times A_{t_0}\longrightarrow A_U,\qquad H(t,x)=(t,h_t(x)),$$1 means that there exists $$H:U\times A_{t_0}\longrightarrow A_U,\qquad H(t,x)=(t,h_t(x)),$$2 and a definable homeomorphism

$$H:U\times A_{t_0}\longrightarrow A_U,\qquad H(t,x)=(t,h_t(x)),$$3

of the form $$H:U\times A_{t_0}\longrightarrow A_U,\qquad H(t,x)=(t,h_t(x)),$$4. Definable bi-Lipschitz triviality strengthens this by requiring each $$H:U\times A_{t_0}\longrightarrow A_U,\qquad H(t,x)=(t,h_t(x)),$$5 to be bi-Lipschitz (Valette, 2021). This is the precise notion that underlies metric constancy in definable families.

A local version is encoded by stratifications. A stratification $$H:U\times A_{t_0}\longrightarrow A_U,\qquad H(t,x)=(t,h_t(x)),$$6 of a definable set $$H:U\times A_{t_0}\longrightarrow A_U,\qquad H(t,x)=(t,h_t(x)),$$7 is locally definably bi-Lipschitz trivial if for each stratum $$H:U\times A_{t_0}\longrightarrow A_U,\qquad H(t,x)=(t,h_t(x)),$$8 there exist an open neighborhood $$H:U\times A_{t_0}\longrightarrow A_U,\qquad H(t,x)=(t,h_t(x)),$$9 of $h_t$0, a smooth definable retraction $h_t$1, and for each $h_t$2 a neighborhood $h_t$3 together with a definable bi-Lipschitz homeomorphism

$h_t$4

compatible with the projection to $h_t$5 and with the stratification (Valette, 2021). 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 $h_t$6, then there exists a definable partition of $h_t$7 such that $h_t$8 is definably bi-Lipschitz trivial along each piece (Valette, 2021). After refinement, the trivialization can be chosen so that on each piece $h_t$9 and each compact $\mathcal S$0, the map

$\mathcal S$1

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 (Valette, 2021).

The main technical input is the existence of regular vectors up to a definable family of uniformly bi-Lipschitz homeomorphisms. If each fiber $\mathcal S$2 has empty interior, then there exists a definable family

$\mathcal S$3

which is uniformly bi-Lipschitz and such that the vector $\mathcal S$4 is regular for the family $\mathcal S$5. Regularity means there exists $\mathcal S$6 such that

$\mathcal S$7

where $\mathcal S$8 is the closure of tangent spaces to the regular part of $\mathcal S$9 in the Grassmannian (Valette, 2021). Proposition 3.6 identifies this with a uniform finite decomposition of each fiber as a union of Lipschitz graphs in direction $(\mathbb R,+,\cdot)$0.

This yields more than familywise triviality. Given a definable set $(\mathbb R,+,\cdot)$1, one can find a stratification $(\mathbb R,+,\cdot)$2 of $(\mathbb R,+,\cdot)$3 which is locally definably bi-Lipschitz trivial, and this stratification may be required to be compatible with finitely many given definable subsets of $(\mathbb R,+,\cdot)$4 (Valette, 2021). 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 (Valette, 31 Jul 2025).

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 (Valette, 2021, Valette, 31 Jul 2025). 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 $(\mathbb R,+,\cdot)$5 at $(\mathbb R,+,\cdot)$6,

$(\mathbb R,+,\cdot)$7

In the subanalytic setting, it is equivalently described by subanalytic arcs

$(\mathbb R,+,\cdot)$8

with $(\mathbb R,+,\cdot)$9 (Sampaio, 2014).

Sampaio’s theorem states that if the germs $A\subset\mathbb R^n$0 and $A\subset\mathbb R^n$1 are bi-Lipschitz homeomorphic, then the tangent cone germs $A\subset\mathbb R^n$2 and $A\subset\mathbb R^n$3 are also bi-Lipschitz homeomorphic (Sampaio, 2014). The proof uses rescaled maps

$A\subset\mathbb R^n$4

extracts uniform limits by Arzelà–Ascoli, and obtains a bi-Lipschitz limit map $A\subset\mathbb R^n$5 sending $A\subset\mathbb R^n$6 to $A\subset\mathbb R^n$7 (Sampaio, 2014).

This theorem generalizes naturally in the definable setting. For definable germs $A\subset\mathbb R^n$8 and $A\subset\mathbb R^n$9, local quasi-isometry is introduced by replacing exact bi-Lipschitz inequalities with inequalities containing an error term built from a horn function $A\in\mathcal S_n$0. The main theorem states that for definable germs the following are equivalent:

1. $A\in\mathcal S_n$1 and $A\in\mathcal S_n$2 are quasi-isometric;
2. $A\in\mathcal S_n$3 and $A\in\mathcal S_n$4 are bi-Lipschitz homeomorphic (Nguyen, 2023).

Thus tangent cones are complete invariants for local quasi-isometry, but not for full bi-Lipschitz equivalence. The paper gives the cusp example

$A\in\mathcal S_n$5

which have the same tangent cone but are not bi-Lipschitz equivalent, although they are quasi-isometric (Nguyen, 2023). This makes precise the gap between coarse and fine metric classifications.

Direction sets refine tangent-cone data. For a set-germ $A\in\mathcal S_n$6 at $A\in\mathcal S_n$7,

$A\in\mathcal S_n$8

For definable sets in an o-minimal structure, the directional dimension

$A\in\mathcal S_n$9

is preserved by bi-Lipschitz homeomorphisms, provided the images are also definable (Koike et al., 2010). Sampaio’s tangent-cone theorem gives an alternative proof in the subanalytic case (Sampaio, 2014).

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 (Sampaio, 2014, Nguyen, 2023). 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 $A\subset\mathbb R^m\times\mathbb R^n$0 is Lipschitz regular at $A\subset\mathbb R^m\times\mathbb R^n$1 if there exists a neighborhood $A\subset\mathbb R^m\times\mathbb R^n$2 of $A\subset\mathbb R^m\times\mathbb R^n$3 and a bi-Lipschitz homeomorphism

$A\subset\mathbb R^m\times\mathbb R^n$4

onto a Euclidean ball $A\subset\mathbb R^m\times\mathbb R^n$5. If $A\subset\mathbb R^m\times\mathbb R^n$6 is complex analytic and Lipschitz regular at $A\subset\mathbb R^m\times\mathbb R^n$7, then $A\subset\mathbb R^m\times\mathbb R^n$8 is a smooth point of $A\subset\mathbb R^m\times\mathbb R^n$9 (Sampaio, 2014). 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

$A_t$0

a value $A_t$1 is bi-Lipschitz trivial if there exists a neighborhood $A_t$2 and a bi-Lipschitz bundle isomorphism

$A_t$3

The main theorem states that $A_t$4 admits a locally bi-Lipschitz trivial value if and only if it is a polynomial in a single variable (Fernandes et al., 2019). 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 $A_t$5, strong bi-Lipschitz triviality means that

$A_t$6

for a continuous family of Lipschitz vector fields $A_t$7. If $A_t$8 is a strongly bi-Lipschitz trivial family of weighted homogeneous function-germs in two variables with weights $A_t$9 and $A_t:=\{x\in\mathbb{R}^n:(t,x)\in A\}$00, then any two members are analytically equivalent (Fernandes et al., 2011).

The relative setting of functions on singular varieties admits an infinitesimal criterion of the same flavor. For an analytic variety germ $A_t:=\{x\in\mathbb{R}^n:(t,x)\in A\}$01, tangent module $A_t:=\{x\in\mathbb{R}^n:(t,x)\in A\}$02, and deformation $A_t:=\{x\in\mathbb{R}^n:(t,x)\in A\}$03, the paper introduces strongly rational $A_t:=\{x\in\mathbb{R}^n:(t,x)\in A\}$04-bi-Lipschitz trivial families and proves a sufficient infinitesimal criterion in terms of $A_t:=\{x\in\mathbb{R}^n:(t,x)\in A\}$05 and the derivatives $A_t:=\{x\in\mathbb{R}^n:(t,x)\in A\}$06 along generators $A_t:=\{x\in\mathbb{R}^n:(t,x)\in A\}$07 (Sinha et al., 10 Feb 2025). A corollary states that when $A_t:=\{x\in\mathbb{R}^n:(t,x)\in A\}$08 and $A_t:=\{x\in\mathbb{R}^n:(t,x)\in A\}$09 are homogeneous of the same degree, all deformations of $A_t:=\{x\in\mathbb{R}^n:(t,x)\in A\}$10 of the same or higher degrees are bi-Lipschitz trivial (Sinha et al., 10 Feb 2025).

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 (Sampaio, 2014, Fernandes et al., 2019).

5. Compactification, infinity, and links

Definable bi-Lipschitz geometry at infinity can be transferred to a local problem by inversion and stereographic compactification. If $A_t:=\{x\in\mathbb{R}^n:(t,x)\in A\}$11 are closed and

$A_t:=\{x\in\mathbb{R}^n:(t,x)\in A\}$12

is bi-Lipschitz, then the stereographic compactification

$A_t:=\{x\in\mathbb{R}^n:(t,x)\in A\}$13

is bi-Lipschitz, and conversely (Grandjean et al., 2023). In particular, the germ at infinity $A_t:=\{x\in\mathbb{R}^n:(t,x)\in A\}$14 is bi-Lipschitz equivalent to the germ at the north pole $A_t:=\{x\in\mathbb{R}^n:(t,x)\in A\}$15.

This transport principle yields an at-infinity version of Sampaio’s theorem: if closed definable germs $A_t:=\{x\in\mathbb{R}^n:(t,x)\in A\}$16 are bi-Lipschitz equivalent, then their tangent cones at infinity $A_t:=\{x\in\mathbb{R}^n:(t,x)\in A\}$17 are bi-Lipschitz equivalent (Grandjean et al., 2023). 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 (Grandjean et al., 2023).

The one-point compactification theorem for Lipschitz normally embedded sets is the inner-metric counterpart. A closed connected definable subset $A_t:=\{x\in\mathbb{R}^n:(t,x)\in A\}$18 is LNE in $A_t:=\{x\in\mathbb{R}^n:(t,x)\in A\}$19 if and only if $A_t:=\{x\in\mathbb{R}^n:(t,x)\in A\}$20 is LNE in $A_t:=\{x\in\mathbb{R}^n:(t,x)\in A\}$21 (Costa et al., 2023). 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 (Costa et al., 2023).

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 (Valette, 31 Jul 2025). The link

$A_t:=\{x\in\mathbb{R}^n:(t,x)\in A\}$22

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 (Valette, 31 Jul 2025).

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 (Grandjean et al., 2023, Costa et al., 2023).

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 $A_t:=\{x\in\mathbb{R}^n:(t,x)\in A\}$23-triviality can hold while ambient bi-Lipschitz $A_t:=\{x\in\mathbb{R}^n:(t,x)\in A\}$24-triviality fails. In the family

$A_t:=\{x\in\mathbb{R}^n:(t,x)\in A\}$25

the paper gives an explicit example where contact orders of components change from $A_t:=\{x\in\mathbb{R}^n:(t,x)\in A\}$26 to $A_t:=\{x\in\mathbb{R}^n:(t,x)\in A\}$27, and since contact order is an outer bi-Lipschitz invariant, the family is not bi-Lipschitz $A_t:=\{x\in\mathbb{R}^n:(t,x)\in A\}$28-trivial although it is topologically $A_t:=\{x\in\mathbb{R}^n:(t,x)\in A\}$29-trivial and link-constant (Medeiros et al., 29 Nov 2025).

At the same time, there are positive metric triviality results in restricted classes. If $A_t:=\{x\in\mathbb{R}^n:(t,x)\in A\}$30 is semi-radially weighted homogeneous of radial-type $A_t:=\{x\in\mathbb{R}^n:(t,x)\in A\}$31, and every monomial in $A_t:=\{x\in\mathbb{R}^n:(t,x)\in A\}$32 has weighted radial degree strictly greater than $A_t:=\{x\in\mathbb{R}^n:(t,x)\in A\}$33, then the family $A_t:=\{x\in\mathbb{R}^n:(t,x)\in A\}$34 is ambient bi-Lipschitz $A_t:=\{x\in\mathbb{R}^n:(t,x)\in A\}$35-trivial (Medeiros et al., 29 Nov 2025). Within the same paper, metric 1-braid closures and non-tangent Hopf-links serve as complete invariants for ambient bi-Lipschitz $A_t:=\{x\in\mathbb{R}^n:(t,x)\in A\}$36-equivalence in a class of $A_t:=\{x\in\mathbb{R}^n:(t,x)\in A\}$37-nice mixed polynomials, while the Newton boundary $A_t:=\{x\in\mathbb{R}^n:(t,x)\in A\}$38 and the inner face diagram $A_t:=\{x\in\mathbb{R}^n:(t,x)\in A\}$39 are shown not to be invariants (Medeiros et al., 29 Nov 2025).

Mixed Pham–Brieskorn singularities display the same dichotomy. For fixed exponent vector $A_t:=\{x\in\mathbb{R}^n:(t,x)\in A\}$40, the family

$A_t:=\{x\in\mathbb{R}^n:(t,x)\in A\}$41

is topologically trivial, but it contains infinitely many distinct Lipschitz classes, detected by the invariants $A_t:=\{x\in\mathbb{R}^n:(t,x)\in A\}$42 (Rabelo, 14 Jan 2025). 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 (Rabelo, 14 Jan 2025).

For outer bi-Lipschitz geometry of definable surface germs built from two normally embedded Hölder triangles, the $A_t:=\{x\in\mathbb{R}^n:(t,x)\in A\}$43-pizza is an invariant of the equivalence class, and the paper conjectures that it is complete in that setting (Birbrair et al., 2022). 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

$A_t:=\{x\in\mathbb{R}^n:(t,x)\in A\}$44

produces asymptotic expansions

$A_t:=\{x\in\mathbb{R}^n:(t,x)\in A\}$45

along its connected components, and from the exponents $A_t:=\{x\in\mathbb{R}^n:(t,x)\in A\}$46 the paper constructs an invariant $A_t:=\{x\in\mathbb{R}^n:(t,x)\in A\}$47 of bi-Lipschitz contact equivalence (Pham et al., 2019). 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 $A_t:=\{x\in\mathbb{R}^n:(t,x)\in A\}$48 admit a Lipschitz stratification

$A_t:=\{x\in\mathbb{R}^n:(t,x)\in A\}$49

and are bi-Lipschitz trivial by trivializations obtained by integrating Lipschitz vector fields (Parusinski et al., 2019). 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 $A_t:=\{x\in\mathbb{R}^n:(t,x)\in A\}$50-pizzas or Newton-slope data (Nguyen, 2023, Medeiros et al., 29 Nov 2025). 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.