[論文レビュー] 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

ひとこと要約

本稿は、多項式的有界な o-極小構造における定義可能関数の芽の、定義可能リプシッツ接触同値関係について、一意的な最小ピザ構造の構成により、原点における定義可能連続関数の芽の完全分類を提示する。ピザは平面をアフィン幅関数と符号データを持つ領域に分割し、二つの関数の芽が同値であることと、それらの最小ピザが組合せ的に同値であることとは同値であり、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.

研究の動機と目的

• 定義可能リプシッツ接触同値関係に関して、$ℝ^2$ の原点における連続関数の芽を、o-極小構造からの不変量を用いて分類すること。
• 関数の芽 $f$ に対して、定義可能弧 $γ$ の幅関数 $μ^*(\gamma)$ を定義・特徴づけ、$γ$ と同じ順序を持つ近傍の弧の中で最小の接触順序を測る。
• 「ピザ」とは、関数の漸近的挙動の幾何的実現である、符号データとアフィン幅関数を持つ領域に分割された近傍の分割を導入すること。
• すべての関数の芽が、組合せ的同値を除いて一意的な最小ピザをもつことを証明し、これが定義可能リプシッツ接触同値関係の完全不変量となること。
• 任意の抽象的ピザが、実際に定義可能な関数の芽の幾何的ピザとして実現可能であることを確立し、分類が完全かつ有効であることを保証すること。

提案手法

• 幅関数 $μ^*(\gamma)$ は、$γ$ に近接する、$f$ と同じ順序を持つ定義可能弧の中で、最小の接触順序として定義される。
• 各順序 $q$ に対して幅 $\mu(q)$ を割り当てる多価関数 $q \mapsto \mu(q)$ は、平面を領域に分割する上で、有限かつ区分的アフィンであることが示される。
• 「ピザ」は、原点の近傍を有限個の領域に分割したものであり、それぞれの領域には $f$ の符号と、区間 $[q_1, q_2]$ 上でのアフィン幅関数 $μ(q)$ が割り当てられる。
• 簡略化手順により、組合せ的同値を除いて一意な最小ピザが得られ、これが完全不変量として機能する。
• この構成は、多項式的有界な o-極小構造における定義可能関数の準備定理に依拠しており、幅関数の存在とトウネスを保証する。
• 抽象的ピザの実現は、ホルダー三角形上での局所関数の線形補間と貼り合わせにより達成され、連続性と正しい順序の挙動を保証するため、補題 5.1 と補題 5.2 が用いられる。

実験結果

リサーチクエスチョン

• RQ1 $ℝ^2$ 内の二つの定義可能連続関数の芽が、定義可能リプシッツ接触同値であるのはいつか？
• RQ2 このような同値類の完全不変量を捉えるために、どのような幾何的・組合せ的データが必要か？
• RQ3 弧の幅関数を用いて、関数の芽の完全かつ最小の不変量を構成できるか？
• RQ4 任意の抽象的ピザ構造が、実際に定義可能な関数の芽の幾何的ピザとして実現可能か？
• RQ5 最小ピザは、原点近傍における関数の漸近的挙動とどのように関係するか？

主な発見

• $ℝ^2$ 内の二つの定義可能連続関数の芽が、定義可能リプシッツ接触同値であることと、それらの最小ピザが組合せ的に同値であることとは同値である。
• 各関数の芽は、組合せ的同値を除いて一意な最小ピザをもつ。この最小ピザは、定義可能リプシッツ接触同値関係の同値類に対する完全不変量を提供する。
• 幅関数 $μ(q)$ は、区間 $[q_1, q_2]$ 上で有限かつ区分的アフィンであり、o-極小構造の指数体 $ℚ$ の係数をもつ。
• 最小ピザ構造は、原点の近傍を有限個の領域に分割し、それぞれの領域には $f$ の符号とアフィン幅関数 $μ(q)$ が割り当てられる。
• 任意の抽象的ピザは、定義可能な連続関数の芽の幾何的ピザとして実現可能であり、分類が必要かつ十分であることを示している。
• この構成は、準備定理と定義可能なリプシッツ同相変換を用いて、不変量のトウネスと実現可能性を保証している。