[论文解读] Equisingularity, Multiplicity, and Dependence

Steven L. Kleiman|ArXiv.org|May 13, 1998

Commutative Algebra and Its Applications参考文献 17被引用 5

一句话总结

本文通过 Milnor 数与 Buchsbaum-Rim 多重性不变性，刻画了带有函数的孤立完备交奇点（ICIS）族的 A_f 与 W_f 等维性条件。利用自由模子模上元素的积分依赖理论，将这些等维性条件重新表述为多重性不变量，为研究奇点族提供了新的代数-几何框架。

ABSTRACT

This is a report on some recent work by Gaffney, Massey, and the author, characterizing the conditions A_f and W_f for a family of ICIS germs equipped with a function. First we introduce the work informally. Then we review the formal definitions of A_f and W_f, and state the theorems that characterize them by the constancy of Milnor numbers. Next we review the definition of the Buchsbaum-Rim multiplicity, and reformulate the theorems by the constancy of certain Buchsbaum-Rim multiplicities. Finally, we review the theory of integral dependence of elements on submodules of free modules, and apply it to prove the reformulated theorems.

研究动机与目标

• 刻画带有函数的 ICIS 局部奇点族的 A_f 与 W_f 等维性条件。
• 通过 Buchsbaum-Rim 多重性的不变性，而非 Milnor 数，重新表述这些条件。
• 应用自由模子模上元素的积分依赖理论，证明重新表述后的定理。
• 提供一个将多重性不变量与奇点族等维性相联系的代数-几何框架。
• 在复解析几何中，建立等维性、多重性与模理论依赖性之间的更深层次联系。

提出的方法

• 为带有函数的 ICIS 局部奇点族正式引入并形式化 A_f 与 W_f 条件。
• 回顾 Buchsbaum-Rim 多重性的定义，并利用其重新表述等维性定理。
• 应用自由模子模上元素的积分依赖理论，分析雅可比理想结构。
• 将 Milnor 数的不变性作为关键不变量，用于刻画等维性。
• 将等维性准则重新表述为特定模的 Buchsbaum-Rim 多重性不变性的形式。
• 运用交换代数中的代数技巧，证明重新表述后条件的等价性。

实验结果

研究问题

• RQ1 在何种条件下，带有函数的 ICIS 局部奇点族在 A_f 或 W_f 意义下是等维的？
• RQ2 如何利用 Milnor 数的不变性来刻画 A_f 与 W_f 等维性？
• RQ3 Buchsbaum-Rim 多重性在何种方式下可替代 Milnor 数作为等维性的不变量？
• RQ4 自由模子模上元素的积分依赖性与奇点族的等维性有何关联？
• RQ5 支撑等维性与多重性不变性等价性的代数结构是什么？

主要发现

• 带有函数的 ICIS 局部奇点族的 A_f 与 W_f 等维性条件，由 Milnor 数的不变性所刻画。
• 等维性定理通过与雅可比理想相关的特定模的 Buchsbaum-Rim 多重性不变性得以重新表述。
• 自由模子模上元素的积分依赖理论，为证明重新表述后的等维性准则提供了关键工具。
• Buchsbaum-Rim 多重性的不变性，是所研究族中 A_f 与 W_f 等维性的充分必要条件。
• 该代数框架成功地将等维性、多重性不变量与模理论依赖性联系起来，适用于复解析奇点。
• 研究结果通过多重性与依赖性理论，为等维性提供了全新的代数-几何视角。