[论文解读] A Note on Equimultiple Deformations

Thomas Markwig|ArXiv.org|May 26, 2007

Structural Analysis and Optimization参考文献 2被引用 4

一句话总结

本文计算了光滑射影曲面在一点处具有固定多重性 $ m $ 的曲线族的变体 ${\mathcal{L}}_m$ 的切空间维数，区分了单位切奇点与非单位切奇点。通过等多重理想与示余上同调方法，证明了 ${\mathcal{L}}_m$ 在任意点 $(C,p)$ 处的期望维数为 $\dim|L| - \frac{m(m+1)}{2} + 2$。

ABSTRACT

While the tangent space to an equisingular family of curves can be discribed by the sections of a twisted ideal sheaf, this is no longer true if we only prescribe the multiplicity which a singular point should have. However, it is still possible to compute the dimension of the tangent space with the aid of the equimulitplicity ideal. In this note we consider families L_m={(C,p) | mult_p(C)=m} with C in some linear system |L| on a smooth projective surface S and for a fixed positive integer m, and we compute the dimension of the tangent space to L_m at a point (C,p) depending on whether p is a unitangential singular point of C or not. We deduce that the expected dimension of L_m at (C,p) in any case is just dim|L|+2-m*(m+1)/2. The result is used in the study of triple-point defective surfaces in some joint papers with Luca Chiantini.

研究动机与目标

• 确定光滑射影曲面上在一点处具有固定多重性 $ m $ 的曲线族的变体 ${\mathcal{L}}_m$ 的切空间维数。
• 阐明当奇点为单位切型或非单位切型时，切空间维数的差异。
• 在不依赖奇点类型的前提下，建立 ${\mathcal{L}}_m$ 在每一点 $(C,p)$ 处的期望维数。
• 为理解通过等多重性理想层的等多重变形，提供一个上同调框架。
• 将结果应用于三重点缺陷曲面的研究，参见 [ChM06a] 和 [ChM06b]。

提出的方法

• 定义 ${\mathcal{L}}_m = \{(C,p) \in |L| \times S \mid \operatorname{mult}_p(C) = m\}$ 为线性系统与曲面乘积中的局部闭子簇。
• 利用等多重性理想层描述 $(C,p)$ 处 ${\mathcal{L}}_m$ 的切空间，通过 $\mathcal{J}_Z(C)$ 的整体截面，其中 $Z$ 是多重性条件的零维概形。
• 应用上同调技巧：计算 $\dim_{\mathbb{C}} H^0(S, \mathcal{J}_Z(C))$，并通过涉及 $H^0(S, \mathcal{O}_S(L))$ 和 $H^0(S, \mathcal{O}_Z)$ 的正合列将其与切空间维数关联。
• 根据奇点的局部解析类型区分情形：若 $C$ 为单位切型（局部形式为 $y^m + \text{h.o.t.}$），则维数减少 2；否则减少 1。
• 使用雅可比判别法与喷射截断法，计算零维概形 $Z$ 的次数，从而确定切空间的余维数。
• 通过分析限制映射 $H^0(S, \mathcal{O}_S(L)) \to H^0(S, \mathcal{O}_Z)$ 的满射性，建立期望维数，得到 $\dim H^0(S, \mathcal{J}_Z(C)) = \dim|L| + 1 - \deg(Z)$。

实验结果

研究问题

• RQ1 光滑射影曲面上在一点处具有多重性 $ m $ 的曲线族的变体 ${\mathcal{L}}_m$ 的切空间维数是多少？
• RQ2 ${\mathcal{L}}_m$ 的切空间维数如何依赖于奇点是否为单位切型？
• RQ3 ${\mathcal{L}}_m$ 在点 $(C,p)$ 处的期望维数是什么？它与线性系统 $|L|$ 和多重性 $m$ 有何关系？
• RQ4 能否通过等多重性理想层的上同调数据计算 ${\mathcal{L}}_m$ 的期望维数？
• RQ5 在何种条件下 ${\mathcal{L}}_m$ 是光滑的且具有期望维数，特别是在 $S = \mathbb{P}^2$ 的情形下？

主要发现

• 当 $C$ 为单位切型时，${\mathcal{L}}_m$ 在 $(C,p)$ 处的切空间维数为 $\dim_{\mathbb{C}} H^0(S, \mathcal{J}_Z(C)) - 2$；否则为 $\dim_{\mathbb{C}} H^0(S, \mathcal{J}_Z(C)) - 1$。
• 当 $C$ 为单位切型时，零维概形 $Z$ 的次数为 $\frac{m(m+1)}{2} - 1$；否则为 $\frac{m(m+1)}{2} - 2$。
• ${\mathcal{L}}_m$ 在 $(C,p)$ 处的期望维数为 $\dim|L| - \frac{m(m+1)}{2} + 2$，该结果由 $\dim H^0(S, \mathcal{J}_Z(C))$ 的上同调计算导出。
• 当 $S = \mathbb{P}^2$ 且 $L = \mathcal{O}_{\mathbb{P}^2}(d)$ 时，${\mathcal{L}}_m$ 是光滑的且具有期望维数，因为雅可比矩阵的秩达到 $\frac{m(m+1)}{2}$。
• ${\mathcal{L}}_m$ 的切空间在完整线性系统切空间中的余维数至少为 $\frac{m(m+1)}{2} - 1$，从而验证了期望维数公式。
• 该结果在所有奇点类型下均成立，差异仅体现在由于曲线在 $p$ 点处局部解析结构导致的校正项。