[论文解读] The Multiplicity-Polar Theorem

Terence Gaffney|ArXiv.org|Mar 21, 2007

Commutative Algebra and Its Applications参考文献 15被引用 16

一句话总结

本文提出了多重极性定理，将交点理论推广至非有限余长模，通过定义模对的重数来实现。证明了该不变量在扰动下具有正确的变形性质，并将其应用于计算具有孤立奇点的微分1-形式的指标，以及在不假设科恩-麦克aul伊奇点的情况下建立积分依赖性的专门化原理。

ABSTRACT

Given a family of pairs of modules parametrised by a smooth space Y, the Multiplicity-Polar Theorem relates the multiplicity of the pair of modules at a special point of the parameter to the multiplicity of the pair at a generic point. This theorem is proved in this paper (Corollary 1.4). The applications of the Multiplicity-Polar theorem are of two types. In the first we construct a deformation so that we can understand the significance of the multiplicity of the pair, or show we can use the multiplicity of the pair to describe some geometric behavior. Applications of this type are the geometric significance of the BR-multiplicity (Theorem 2.1), the geometric significance of multiplicity of the pair (J(f), I) where f defines a hypersurface with non-isolated singularities, J(f) is the jacobian ideal of f and I is the ideal of the singular locus of the hypersurface. We do the cases where I defines a complete intersection (Theorem 2.3), or the hypersurface is the image of a finitely determined map-germ F: C^2,0 o C^3,0 (Theorem 2.6). We then show how the multiplicity of the pair can be used to calculate the index of a differential 1-form with an isolated singularity on a germ of an isolated singularity (Theorem 2.8). In the second kind of application, we use the generalization of the Principle of Specialization of Integral Dependence to prove results in equisingularity. The particular condition we study in this paper is the W_f condition (Theorems 2.10 and 2.11).

研究动机与目标

• 将交点理论从理想推广至解析空间中非有限余长的模。
• 为模对定义一个变形不变的重数，以捕捉几何与拓扑不变量。
• 为模族建立积分依赖性的专门化原理，扩展特里耶尔的工作。
• 为在具有非孤立奇点的空间上计算具有孤立奇点的微分1-形式的指标提供一个框架。
• 通过聚焦于模对的重数，克服现有重数理论中的尺度相关失败问题。

提出的方法

• 使用交点理论方法，引入模对 (M,N) 的重数，其中 M 是 N 中有限余长的子模。
• 应用模对的混合极性概念，以控制变形行为并确保在扰动下的不变性。
• 使用 M-变换与爆破技术分析模及其积分闭包的几何结构。
• 利用多重极性公式，将模对的重数与涉及雅可比模的复形的欧拉示性数联系起来。
• 通过模对重数在变形下的不变性，应用积分依赖性的专门化原理。
• 使用惠特尼条件与 W_f 条件，确保拓扑控制及重数在纤维上的不变性。

实验结果

研究问题

• RQ1 如何将理想重数的概念推广至非有限余长模，同时保持变形不变性？
• RQ2 在奇点与交点理论背景下，模对的重数具有何种几何意义？
• RQ3 积分依赖性的专门化原理能否推广至非有限余长模族？
• RQ4 模对的重数与在非科恩-麦克aul伊空间上具有孤立奇点的微分1-形式的指标之间有何关系？
• RQ5 在变形族中，模对的重数在何种条件下与参数无关？

主要发现

• 模对的重数在扰动下能正确变形，推广了理想重数的行为。
• 多重极性定理确保当对 (X-Y,Y) 满足 W_f 条件时，不变量 $ e_{\text{inv}}(m_Y J_M(F_y;f_y), H_{d-1}(JM(F)_{r_k})(y) \bigoplus \tilde{\rho}_y, y) $ 与 $ y $ 无关。
• 当 $ f $ 与 $ l $ 均横截于纤维且惠特尼条件成立时，差值 $ |e(m_Y J_M(F_y;f_y), \bullet) - e(m_Y J_M(F_y;l), \bullet)| $ 与 $ y $ 无关。
• 模对的重数使得在具有非孤立奇点的局部芽上计算具有孤立奇点的微分1-形式的指标成为可能。
• 该理论通过聚焦于通过模对重数确定的0维层，避免了先前推广中的尺度问题，恢复了对纤维维数变化的控制。
• 该方法实现了特里耶尔关于积分依赖性专门化原理向非有限余长模的推广，扩展了文献[13]与[12]的结果。