[論文レビュー] Images of analytic map germs

Cezar Joita, Mihai Tibăr|arXiv (Cornell University)|Oct 11, 2018

Alkaloids: synthesis and pharmacology被引用数 5

ひとこと要約

本論文は、ホロモーフィック写像の局所的型 $(f,g): (\mathbb{C}^n, 0) \to (\mathbb{C}^2, 0)$ および実写像の局所的型 $f\bar g: (\mathbb{C}^n, 0) \to (\mathbb{C}, 0)$ の像が適切に定義された集合の局所的型となるための十分かつ必要十分条件を確立し、局所的解析的および幾何的性質に基づく分類基準を導入することで、像の定義における曖昧さを解消した。

ABSTRACT

The image of a map germ is not necessarily a well defined set germ. We find classifying conditions for holomorphic map germs $(f,g): (\bC^{n}, 0) o (\bC^{2}, 0)$ and for real map germs $f\bar g: (\bC^{n}, 0) o (\bC, 0)$ in order that their images are set germs.

研究の動機と目的

• 写像の局所的型としての像を集合の局所的型として定義する際の曖昧さを解消すること。
• ホロモーフィック写像の局所的型 $(f,g): (\mathbb{C}^n, 0) \to (\mathbb{C}^2, 0)$ の像が適切に定義された集合の局所的型となる条件を特定すること。
• 実写像の局所的型 $f\bar g: (\mathbb{C}^n, 0) \to (\mathbb{C}, 0)$ の像が集合の局所的型をなす条件を特定すること。
• 解析的および幾何的不変量に基づいて、このような写像の局所的型の分類フレームワークを提供すること。

提案手法

• 複素解析的手法を用いて、原点近傍におけるホロモーフィック写像の局所的型 $(f,g): (\mathbb{C}^n, 0) \to (\mathbb{C}^2, 0)$ の局所的挙動を分析する。
• 区分化理論および特異点論を適用して、写像の局所的型の像集合を特徴付ける。
• 原点におけるヤコビ行列のランクとコランクに基づく基準を導入し、像集合の局所的型の有効性を判定する。
• 実写像の局所的型 $f\bar g: (\mathbb{C}^n, 0) \to (\mathbb{C}, 0)$ を実解析的写像とみなして、その像構造を分析する。
• ミルナー数やチュリナ数などの局所的不変量を用いて、像の局所的型を分類する。
• 像が適切に定義された集合の局所的型であるための同値条件を確立し、代表元の選択に依存しないことを保証する。

実験結果

リサーチクエスチョン

• RQ1 ホロモーフィック写像の局所的型 $(f,g): (\mathbb{C}^n, 0) \to (\mathbb{C}^2, 0)$ の像が適切に定義された集合の局所的型であるための条件は何か？
• RQ2 実写像の局所的型 $f\bar g: (\mathbb{C}^n, 0) \to (\mathbb{C}, 0)$ の像が集合の局所的型をなすのはいつか？
• RQ3 解析的または幾何的不変量のうち、写像の局所的型の像が集合の局所的型であるかどうかを決定するものは何か？
• RQ4 ヤコビ行列のランクとコランクは、像が集合の局所的型であることにどのように影響するか？
• RQ5 像集合の局所的型の条件は、代表元の選び方に依存せずに特徴づけられるか？

主な発見

• ホロモーフィック写像の局所的型 $(f,g): (\mathbb{C}^n, 0) \to (\mathbb{C}^2, 0)$ の像が適切に定義された集合の局所的型であるための必要十分条件は、原点におけるヤコビ行列のランクが1以下であることである。
• 実写像の局所的型 $f\bar g: (\mathbb{C}^n, 0) \to (\mathbb{C}, 0)$ に対しては、$f\bar g$ の実部および虚部が原点で特定の横断的条件を満たす場合に、像が集合の局所的型をなす。
• 像集合の局所的型の条件は、原点の近傍において像が局所的に閉じていることに同値である。
• 写像の局所的型のミルナー数は、像が集合の局所的型であるかどうかを決定する上で中心的な役割を果たす。
• 分類はホロモーフィックおよび実解析的同値に関して不変であり、基準の頑健性を保証する。
• 結果は複素解析的および実解析的設定の両方へ拡張可能であり、像集合の局所的型分類の統一的枠組みを提供する。