[论文解读] Lipschitz contact equivalence of function germs in $\mathbb{R}^2$

Lev Birbrair, Alexandre Fernandes+2 more|arXiv (Cornell University)|Jun 10, 2014

Advanced Topology and Set Theory参考文献 4被引用 3

一句话总结

本文通过构建唯一的最小比萨结构，在可定义利普希茨接触等价关系下，对 $ℝ^2$ 原点处可定义连续函数芽进行了完整分类。比萨结构将平面划分为具有仿射宽度函数和符号数据的区域，当且仅当两个芽的最小比萨结构组合等价时，它们彼此等价，该分类通过 o-极小结构理论和弧的宽度函数提供了完整不变量。

ABSTRACT

In this paper we study Lipschitz contact equivalence of continuous function germs in the plane definable in a polynomially bounded o-minimal structure, such as semialgebraic and subanalytic functions. We partition the germ of the plane at the origin into zones where the function has explicit asymptotic behavior. Such a partition is called a pizza. We show that each function germ admits a minimal pizza, unique up to combinatorial equivalence. We show then that two definable continuous function germs are definably Lipschitz contact equivalent if and only if their corresponding minimal pizzas are equivalent.

研究动机与目标

• 通过 o-极小结构中的不变量，对 $ℝ^2$ 原点处连续函数芽在可定义利普希茨接触等价关系下进行分类。
• 定义并刻画关于函数芽 $f$ 的可定义弧 $γ$ 的宽度函数 $μ^*(\gamma)$，该函数衡量与 $γ$ 具有相同阶数的附近弧中最小接触阶数。
• 引入“比萨”概念——即邻域被划分为若干区域，每个区域具有 $f$ 的符号和在区间 $[q_1, q_2]$ 上的仿射宽度函数 $μ(q)$，从而为函数的渐近行为提供几何实现。
• 证明每个函数芽均存在唯一的最小比萨结构（组合等价意义下），该结构作为可定义利普希茨接触等价关系的完整不变量。
• 建立任意抽象比萨结构均可实现为某个实际可定义函数芽的几何比萨结构，确保该分类既完备又有效。

提出的方法

• 宽度函数 $μ^*(\gamma)$ 定义为在 $γ$ 附近、与 $γ$ 具有相同 $f$ 阶数的可定义弧中，最小接触阶数。
• 将宽度分配给阶数 $q$ 的多值函数 $q \mapsto \mu(q)$，在平面的区域划分上为有限且分段仿射。
• 构造“比萨”为原点邻域的有限区域划分，每个区域具有 $f$ 的符号和在区间 $[q_1, q_2]$ 上的仿射宽度函数 $μ(q)$。
• 通过简化过程得到最小比萨结构，其在组合等价意义下唯一，作为完整不变量。
• 该构造依赖于多项式有界 o-极小结构中可定义函数的准备定理，确保宽度函数的存在性与良态性。
• 通过 Hölder 三角形上局部函数的线性插值与拼接，实现抽象比萨的构造，利用引理 5.1 和引理 5.2 确保连续性与正确阶数行为。

实验结果

研究问题

• RQ1 在什么条件下，$ℝ^2$ 中两个可定义连续函数芽是可定义利普希茨接触等价的？
• RQ2 哪些几何与组合数据能够捕捉此类等价类的完整不变量？
• RQ3 是否可利用弧的宽度函数构造函数芽的完整且最小的不变量？
• RQ4 每个抽象比萨结构是否均可实现为某个实际可定义函数芽的几何比萨结构？
• RQ5 最小比萨结构如何与函数在原点附近的渐近行为相关联？

主要发现

• 两个 $ℝ^2$ 中的可定义连续函数芽在可定义利普希茨接触等价关系下等价，当且仅当它们的最小比萨结构组合等价。
• 每个函数芽均存在唯一的最小比萨结构（组合等价意义下），该结构为可定义利普希茨接触等价类提供了完整不变量。
• 宽度函数 $μ(q)$ 在区间 $[q_1, q_2]$ 上有限且分段仿射，其系数属于 o-极小结构的指数域 $ℚ$。
• 最小比萨结构将原点的邻域划分为有限多个区域，每个区域具有 $f$ 的符号和仿射宽度函数 $μ(q)$。
• 任意抽象比萨结构均可实现为某个可定义连续函数芽的几何比萨结构，从而证明该分类既必要又充分。
• 该构造利用准备定理和可定义双利普希茨变换，确保不变量的良态性与可实现性。