Semialgebraic Lipschitz equivalence polynomial functions
Sergio Alvarez
TL;DR
This work establishes a framework to classify real $\beta$-quasihomogeneous polynomials in two variables under semialgebraic bi-Lipschitz equivalence by reducing the problem to the Lipschitz classification of associated height functions in one variable. Central to the approach are the $\beta$-transform and inverse $\beta$-transform, together with the zygothetic group acting on height-function pairs, which connect 2D equivalence to 1D data and provide structural conditions ensuring equivalence. The authors prove criteria under which height-function Lipschitz equivalence implies $F$ and $G$ are ${\cal R}$-semialgebraically Lipschitz equivalent, and they develop a theory of $\beta$-regular zygotheties to guarantee the construction of inverse transforms. The Henry–Parusiński example is revisited to demonstrate that continuous moduli persist in the semialgebraic Lipschitz setting, showing that real two-variable quasihomogeneous polynomials can exhibit rich moduli behavior similar to analytic germs, now within a semialgebraic framework.
Abstract
We investigate the classification of quasihomogeneous polynomials in two variables with real coefficients under semialgebraic bi-Lipschitz equivalence in a neighborhood of the origin in ${\mathbb R}^2$. Building on the work of Birbrair, Fernandes, and Panazzolo, our approach is based on reducing the problem to the Lipschitz classification of associated single-variable polynomial functions, called height functions. We establish conditions under which semialgebraic bi-Lipschitz equivalence of quasihomogeneous polynomials corresponds to the Lipschitz equivalence of their height functions. To achieve this, we develop the theory of $β$-transforms and inverse $β$-transforms. As an application, we examine a family of quasihomogeneous polynomials previously used by Henry and Parusiński to show that the bi-Lipschitz equivalence of analytic function germs $({\mathbb R}^2,0)\rightarrow({\mathbb R},0)$ admits continuous moduli. Our results show that semialgebraic bi-Lipschitz equivalence of real quasihomogeneous polynomials in two variables also admits continuous moduli.
