[論文レビュー] Real Analytic Milnor Fibrations and a Strong Łojasiewicz Inequality

David B. Massey|ArXiv.org|Mar 20, 2007

Algebraic Geometry and Number Theory参考文献 15被引用数 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.

研究の動機と目的

• 複素解析的Łージェフスキー不等式を実解析的設定へ一般化すること。
• 実解析関数が開球内にミルナー線形束を有するための条件を確立すること。
• 新しい強いŁージェフスキー不等式が、複素ケースに類似した局所的自明な線形束の存在を示すこと。
• 球内におけるミルナー線形束が、実解析関数について球面上の線形束と微分同相であるかどうかを調査すること。
• 複素解析関数の実設定における自然な一般化としての「Ł-解析的」関数のクラスを定義し、その性質を研究すること。

提案手法

• 点 $ p $ の近傍で、定数 $ c > 0 $ と指数 $ \theta \in (0,1) $ を用いて $ |g(x) - g(p)|^\theta \leq c |\nabla g(x)| $ を満たす、強いŁージェフスキー不等式の導入。
• この強い不等式を満たす関数として「Ł-解析的」関数を定義し、複素解析的ケースの一般化を行う。
• トムの層化と強いŁージェフスキー不等式の存在を用いて、中心が $ p $ の球内におけるミルナー線形束の存在を証明する。
• 線形束に適合するベクトル場を構成し、その積分が球内線形束と球面線形束の間の微分同相を与えることを示す。
• 単純なŁ-解析的関数がミルナーの条件(c)を満たすことを検証し、強いミルナー条件が成立することを保証する。

実験結果

リサーチクエスチョン

• RQ1 実解析関数に対する強いŁージェフスキー不等式は、特異点を中心とする球内にミルナー線形束の存在を保証するか？
• RQ2 実解析関数について、球内におけるミルナー線形束が球面上の線形束と微分同相であることが示せるか？
• RQ3 一般のŁ-解析的写像 $ \mathbb{R}^2 $ へは、ミルナーの条件(c)を満たすか？ これにより強いミルナー条件が保証されるか？
• RQ4 二つのŁ-写像の合成は、特にŁ-解析的ケースにおいてもŁ-写像であるか？
• RQ5 Ł-解析的写像は、ミルナー線形束の文脈を越えて、自然かつ興味深い関数のクラスを形成するか？

主な発見

• 定数 $ c > 0 $、指数 $ \theta \in (0,1) $ を用いた強いŁージェフスキー不等式 $ |g(x) - g(p)|^\theta \leq c |\nabla g(x)| $ は、実解析関数に対して球内にミルナー線形束の存在を保証する。
• 点 $ p $ において関数 $ f = (g,h) $ がŁ-解析的であれば、中心が $ p $ の球内にミルナー線形束が存在する。
• 関数 $ f $ がŁ-解析的であれば、球内におけるミルナー線形束は球面上の線形束と微分同相である。
• 単純なŁ-解析的関数はミルナーの条件(c)を満たし、これにより強いミルナー条件が保証され、球内線形束と球面線形束の同値性が成立する。
• Ł-解析的関数は、定数でない点が存在する場合に $ k \geq 2 $ であれば開写像であるため、複素解析関数と類似した構造的性質を示す。
• Ł-解析的写像のクラスは、複素解析関数の実解析的カテゴリーにおける自然な一般化であると考えられ、より広範な数学的関心を喚起する。