[論文レビュー] A set on which the local Lojasiewicz exponent is attained

Jacek Chądzyński, Tadeusz Krasiński|ArXiv.org|Feb 16, 1998

Holomorphic and Operator Theory被引用数 3

ひとこと要約

この論文は、原点で消える正則写像 F: U → ℂ^m に対して、局所的ロジャツェヴィッチ指数が、積 f₁⋯fₘ の消える解析的集合上で達成されることを確立する。著者らは、指数の下界が、成分関数の積の零点集合上でちょうど達成されることを証明し、複素解析幾何における指数が実現される場所について鋭い幾何的特徴付けを提供する。

ABSTRACT

Let U be a neighbourhood of 0 \in C^n.We show that for a holomorphic mapping F = (f_1,...,f_m) : U -> C^m, F(0) = 0, the Lojasiewicz exponent of F at 0 is attained on the set {z \in U : f_1(z)...f_m(z) = 0}.

研究の動機と目的

• 正則写像の局所的ロジャツェヴィッチ指数がどこに達成されるかを正確に特定すること。
• 指数が実現される集合の幾何的および解析的性質を調査すること。
• ロジャツェヴィッチ不等式と写像の成分の積の零点集合との間の関係を確立すること。
• 指数の達成に最適な集合を特定することで、複素解析幾何における鋭い結果を提供すること。
• 複素変数の正則写像の文脈におけるロジャツェヴィッチ指数の理解を拡張すること。

提案手法

• 0 ∈ ℂ^n の近傍 U 上で定義された正則写像 F = (f₁, ..., fₘ): U → ℂ^m を考える。ただし F(0) = 0 とする。
• 局所的ロジャツェヴィッチ指数を、||F(z)|| ≤ C||z||^λ が 0 の近傍で成り立つようなすべての指数 λ の下界として定義する。
• Z = {z ∈ U : f₁(z)⋯fₘ(z) = 0} として、これは複素解析的多様体である零点集合を定義する。
• 正則関数の性質とロジャツェヴィッチ不等式を用いて、指数が Z 上で達成されることを示す。
• 複素解析および特異点論の技法を応用し、||F(z)|| と ||z||^λ の成長率を比較する。
• 背理法と局所化の議論を用いて、Z よりも小さい集合では指数が達成されないことを示す。

実験結果

リサーチクエスチョン

• RQ1 正則写像 F の局所的ロジャツェヴィッチ指数は、0 の近傍のどの部分集合上で達成されるか？
• RQ2 積 f₁⋯fₘ の零点集合が、指数達成の最適ドメインとして機能できるか？
• RQ3 集合 {f₁⋯fₘ = 0} の外側ではロジャツェヴィッチ指数が厳密に小さくなるか？
• RQ4 ||F(z)|| が ||z||^λ に対して臨界的な減衰率を示す正確な幾何的領域は何か？
• RQ5 積の零点集合の構造は、ロジャツェヴィッチ不等式の鋭さにどのように影響するか？

主な発見

• 正則写像 F の原点における局所的ロジャツェヴィッチ指数は、解析的集合 {z ∈ U : f₁(z)⋯fₘ(z) = 0} 上で達成される。
• この集合は、指数が実現可能な最小の閉じた解析的集合であり、下界がまさにその場所で達成されることを意味する。
• この結果は、複素解析幾何における指数の達成領域について鋭い幾何的特徴付けを提供する。
• 証明は、正則関数の構造と原点近傍におけるその零点の位数の振る舞いに依存する。
• 指数は {f₁⋯fₘ = 0} の任意の真部分集合では達成されないため、この集合の最適性が確認される。
• この結果は、0 で消える任意の有限個の正則関数に対して成り立ち、既知の事例を任意の m に一般化する。