[论文解读] Vector fields liftable over corank 1 stable maps

Kevin Houston, Daniel Littlestone|ArXiv.org|May 5, 2009

Advanced Topics in Algebra参考文献 25被引用 6

一句话总结

本文為從 n-流形到 n+1-流形的余秩 1 穩定複解析映射提供了可提升向量場模的顯式生成元，特別針對多重性 k 的最小標準型。它構造了三組共 3k−2 個向量場，這些向量場生成了影像超曲面的切向量場模，證明其在複解析函數上生成該模，並應用結果於透過 A_e-余維 1 映射分類單參數族中的奇點。

ABSTRACT

Generators for the module of vector fields liftable over corank 1 stable complex analytic maps from an n-manifold to an (n+1)-manifold are found. This is applied to the classification of the singularities occuring in generic one-parameter families of maps between these spaces.

研究动机与目标

• 解決 n < p 情形下可提升向量場缺乏一般結構的問題，特別是從 n 維到 n+1 維的余秩 1 穩定映射。
• 為多重性 k 的最小穩定余秩 1 映射的影像切向量場模構造顯式生成元。
• 提供可計算的可提升向量場特徵化方法，克服先前算法的複雜性。
• 將結果應用於透過 A_e-余維 1 條件分類一般單參數族映射中的奇點。
• 建立影像上線性函數的精確通用性條件，使其拉回產生 A_e-余維 1 映射 germ。

提出的方法

• 針對從 C^{2k−1} 到 C^{2k−1} 的余秩 1 穩定映射的最小標準型，構造三組向量場，每組含 k−1 個向量場。
• 透過 Singular 進行符號計算，計算小 k 值（k < 7）時的可提升向量場，並推廣至任意 k。
• 透過求解方程 df ∘ η = ξ ∘ f 來驗證可提升向量場，其中 df 為微分，η 和 ξ 為候選向量場。
• 在複解析設定中，將歐拉向量場作為補充生成元。
• 分析向量場分量作用於影像定義方程 h 所生成的理想，使用模 m² 展開以驗證生成最大理想。
• 應用自由除數理論與 A_e-余維理論，將向量場模與奇點分類聯繫起來。

实验结果

研究问题

• RQ1 從 C^n 到 C^{n+1} 的余秩 1 穩定映射上，可提升向量場模的結構為何？
• RQ2 如何顯式構造該模的生成元，特別是針對多重性 k 的最小標準型？
• RQ3 影像上線性函數的何種條件可確保其拉回產生 A_e-余維 1 映射 germ？
• RQ4 為何第三組向量場在模 m² 的理想生成過程中是冗餘的？
• RQ5 可提升向量場與判別式及影像超曲面幾何之間有何關係？

主要发现

• 在複解析函數上，可提升向量場模由 3k−2 個向量場生成，分為三組，每組含 k−1 個向量場，外加歐拉向量場。
• 影像超曲面的定義方程 h 對於三組構造向量場中的所有向量場 ξ 滿足 ξ(h) = 0。
• 當 α_{k−2} 和 β_{k−1} 非零時，向量場分量與 h 模 m² 所生成的理想等於最大理想 m，從而證明完全生成。
• 若係數 α_{k−2} 和 β_{k−1} 非零，則最小十字帽映射 φ_k 影像上一般線性函數 h 的拉回會產生 A_e-余維 1 映射 germ。
• 第三組向量場在理想生成過程中是冗餘的，因其分量模 m² 位於第一組的生成空間之內。
• 本結果改進了先前工作，為 A_e-余維 1 奇點分類提供了精確且可計算的通用性條件。