[論文レビュー] A Strong \L ojasiewicz Inequality and Real Analytic Milnor Fibrations

David B. Massey|arXiv (Cornell University)|Mar 20, 2007

Algebraic Geometry and Number Theory参考文献 7被引用数 1

ひとこと要約

この論文は、古典的なバージョンを一般化し、適用可能な場合には複素数の場合に縮退する、実解析関数に対して強い Łojasiewicz 不等式を確立する。この不等式を用いて、実解析関数の対、4つ組、8つ組に対して、球内に実ミルナー葉層を構成する。これは複素幾何における古典的ミルナー葉層の実解析的類似物である。

ABSTRACT

We give a strong version of a classic inequality of Łojasiewicz; one which collapses to the usual inequality in the complex analytic case. We show that this inequality for a pair, quadruple, or octuple of real analytic functions allows us to construct a real Milnor fibration inside a ball.

研究の動機と目的

• 実解析関数に適用可能な、古典的 Łojasiewicz 不等式のより強い形への拡張を図ること。
• 高次元の実設定におけるミルナー葉層の実解析的類似物の欠如に対処すること。
• この強い不等式が、実解析的関数系の原点近傍におけるミルナー葉層構造の存在を保証することを示すこと。
• 一貫した強固な不等式を用いて、実および複素ミルナー葉層の取り扱いを統一すること。

提案手法

• 実解析関数に対して成り立つ、標準的な不等式に還元される強化版の Łojasiewicz 不等式を導入すること。
• 強い不等式を用いて、原点近辺における実解析関数の挙動、特に勾配および関数値の制御を行うこと。
• 不等式を応用して、複素幾何におけるミルナー葉層に類似した、穿孔された球上の局所的に自明な葉層の存在を証明すること。
• 対称性と次元の性質を活用して、2つ、4つ、8つの実解析関数の系へと構成を一般化すること。
• 実解析幾何学および分層的モース理論の道具を用いて、葉層構造の正当性を検証すること。

実験結果

リサーチクエスチョン

• RQ1 実解析関数に対して、古典的バージョンを一般化した強い Łojasiewicz 不等式を定式化できるか？
• RQ2 この強い不等式が、実解析的設定におけるミルナー葉層の存在を示唆するか？
• RQ3 実解析関数の数と構造（対、4つ組、8つ組）が、葉層構成にどのように影響するか？
• RQ4 強い不等式が、どのように古典的複素数の場合に還元されるか？

主な発見

• 実解析関数に対して強い Łojasiewicz 不等式が確立され、複素解析的状況では古典的不等式に特殊化される。
• 強い不等式により、2つ、4つ、8つの実解析的関数系に対して、穿孔された球上の局所的に自明な葉層の存在が保証される。
• 不等式が提供する勾配および関数値の減衰制御を用いて、葉層構造が構成される。
• この手法により、複素ミルナー葉層の実解析的類似物が得られ、複素数領域を超えた適用可能性が拡張される。