[论文解读] Images of analytic map germs

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

Alkaloids: synthesis and pharmacology被引用 5

一句话总结

本文確立了全純映射 germ $(f,g): (\mathbb{C}^n, 0) \to (\mathbb{C}^2, 0)$ 和實映射 germ $f\bar g: (\mathbb{C}^n, 0) \to (\mathbb{C}, 0)$ 的像為良定集合 germ 的充分必要條件，透過引入基於局部解析與幾何性質的分類標準，解決了像定義中的模糊性問題。

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.

研究动机与目标

• 為解決將映射 germ 的像定義為集合 germ 時的模糊性問題。
• 識別全純映射 germ $(f,g): (\mathbb{C}^n, 0) \to (\mathbb{C}^2, 0)$ 的像為良定集合 germ 時的條件。
• 判斷實映射 germ $f\bar g: (\mathbb{C}^n, 0) \to (\mathbb{C}, 0)$ 的像何時形成集合 germ。
• 根據解析與幾何不變量，建立此類映射 germ 的分類框架。

提出的方法

• 使用複解析技術分析全純映射 germ $(f,g): (\mathbb{C}^n, 0) \to (\mathbb{C}^2, 0)$ 在原點附近的局部行為。
• 應用分層理論與奇點理論，以描述映射 germ 的像集性質。
• 根據原點處雅可比矩陣的秩與亏格提出判斷像集合 germ 是否有效的標準。
• 將實映射 germ $f\bar g: (\mathbb{C}^n, 0) \to (\mathbb{C}, 0)$ 視為實解析映射，分析其像結構。
• 利用局部不變量如 Milnor 數與 Tjurina 數對像 germ 進行分類。
• 建立等價條件，使像為良定集合 germ，且不依賴代表元的選擇。

实验结果

研究问题

• RQ1 在何種條件下，全純映射 germ $(f,g): (\mathbb{C}^n, 0) \to (\mathbb{C}^2, 0)$ 的像為良定集合 germ？
• RQ2 實映射 germ $f\bar g: (\mathbb{C}^n, 0) \to (\mathbb{C}, 0)$ 的像何時形成集合 germ？
• RQ3 哪些解析或幾何不變量決定了映射 germ 的像是否為集合 germ？
• RQ4 雅可比矩陣的秩與虧格如何影響像成為集合 germ？
• RQ5 能否獨立於代表元選擇，對像集合 germ 條件進行特徵化？

主要发现

• 全純映射 germ $(f,g): (\mathbb{C}^n, 0) \to (\mathbb{C}^2, 0)$ 的像為良定集合 germ，當且僅當原點處雅可比矩陣的秩小於或等於 1。
• 對於實映射 germ $f\bar g: (\mathbb{C}^n, 0) \to (\mathbb{C}, 0)$，若 $f\bar g$ 的實部與虛部在原點滿足特定橫截條件，則其像為集合 germ。
• 像集合 germ 條件等價於像在原點附近是局部閉的。
• 映射 germ 的 Milnor 數在判斷像是否為集合 germ 時起關鍵作用。
• 分類結果在全純與實解析等價下不變，確保了標準的穩健性。
• 結果可推廣至複與實解析設定，為像集合 germ 分類提供統一框架。