[論文レビュー] A Proof of Gromov's Algebraic Lemma

David Burguet|ArXiv.org|Sep 13, 2005

Mathematical Dynamics and Fractals参考文献 8被引用数 4

ひとこと要約

本稿は、Gromovの代数的補題の完全で初等的な証明を提供し、係数の大きさに依存しない、次元、次数、直径の観点からの半代数的集合の微分的サイズに対する一様な上限を確立する。証明は、三角的 $Δ^\alpha$-Nash 写像と帰納的パラメトライゼーション技法を用い、導関数が制御され、被覆数が有限であるような半代数的集合のパラメトライゼーションを解決する。

ABSTRACT

Following the analysis of differentiable mappings of Y. Yomdin, M. Gromov has stated a very elegant "Algebraic Lemma" which says that the "differentiable size" of an algebraic subset may be bounded in terms only of its dimension, degree and diameter. We give a complete and elementary proof of Gromov's result using the ideas presented in his Bourbaki talk as well as other necessary ingredients.

研究の動機と目的

• Gromovの代数的補題の完全かつ初等的な証明を提供すること。この補題は、係数の大きさに依存しない、半代数的集合の微分的サイズを制限する。
• Gromovの Bourbaki 論文で残された未解決問題を解決し、$C^r$-ノルムが一様に制御された、有限で一様に有界な半代数的集合のパラメトライゼーションを構成すること。
• 三角的 $\mathcal{C}^\alpha$-Nash 写像と帰納的被覆技法を用いて、半代数的写像の導関数に対する一様な推定を確立すること。
• Yomdinの力学系用ツールを一般化し、半代数的集合に対して、係数に依存しない一様なパラメトライゼーション結果を証明すること。

提案手法

• 帰納的パラメトライゼーション中の導関数の増大を制御するため、三角的 $({\mathcal{C}}^\alpha,K)$-Nash 写像の概念を導入する。
• 半代数的集合をNash多様体に分離することで、問題を滑らかな部分多様体に還元する。
• Tarskiの原理と次数の上限を適用し、被覆チャートの数とその複雑さを一様に制御する。
• 多重インデックス順序 $\preceq$ における帰納法を用いて、高階導関数を段階的に上限づける。
• $({\mathcal{C}}^{|\alpha|},1)$-Nash 写像の合成により、パラメトライジング写像 $\phi_{i,k}$ を構成し、導関数の上限を保つ。
• 写像の三角的構造を用いて導関数の寄与を分離し、$|\alpha|$ および $d$ に関する多項式的依存性により誤差項を上限づける。

実験結果

リサーチクエスチョン

• RQ1 半代数的集合の微分的サイズは、その次元、次数、直径に関して、係数の大きさに依存せずに一様に上限づけることができるか？
• RQ2 $C^r$-写像を用いた、導関数が一様に制御された有限で一様に有界な半代数的集合のパラメトライゼーションが存在するか？
• RQ3 Gromovの代数的補題は、初等的な解析的および半代数的幾何学的道具を用いて完全に証明可能か？
• RQ4 帰納的パラメトライゼーションの過程で、半代数的写像の高階導関数をどのように制御できるか？
• RQ5 三角的 $\mathcal{C}^\alpha$-Nash 写像は、パラメトライジングチャート全体にわたる一様な導関数の上限を可能にする役割を果たすか？

主な発見

• 任意の次元 $l$、次数 $\leq \delta$、直径 $\leq \delta$ であるコンパクトな半代数的集合 $A \subset ]0,1[^d$ に対して、$M < \infty$ が存在し、$A$ は $N \leq M$ 個の写像 $\phi_i: [0,1]^l \to ]0,1[^d$ で被覆可能であり、$\|\phi_i\|_r \leq 1$ かつ $\deg(\phi_i) \leq M$ を満たす。
• $M$ は、$r$、$d$、$\delta$ のみに依存し、$A$ の定義多項式の係数には依存しない。
• 証明は、入力集合に依存しないように一様に有界な $K$ を持つ $({\mathcal{C}}^\alpha,K)$-Nash 写像を用いた導関数の帰納的制御によって、このようなパラメトライゼーションを構成する。
• 主な技術的革新は、高階項における導関数の寄与を分離し、制御するために三角的 $\mathcal{C}^\alpha$-Nash 写像を用いることにある。
• $N$ 個のチャートの数および各 $\phi_i$ の次数に対する上限は一様であり、$r$、$d$、$\delta$ のみに依存し、半代数的集合の具体的な係数には依存しない。
• この結果は Gromovの予想を裏付け、先行研究が概略のみを提示していた点を埋める形で、完全な証明を提供する。