[论文解读] Equisingular Deformations of Plane Curve and of Sandwiched Singularities

Theo de Jong|ArXiv.org|Nov 15, 2000

Advanced Numerical Analysis Techniques参考文献 16被引用 5

一句话总结

该论文在装饰参数 $ l $ 足够大时，建立了孤立平面曲线奇点与其关联的夹层奇点之间等塑形形变的等价性。论文提出了一种基于最小良好解析的归纳算法来计算等塑形形变理想，并通过比较形变函子与上同调数据，推导出等塑形形变层维数的公式。

ABSTRACT

Let $C$ be an isolated plane curve singularity, and $(C,l)$ be a decorated curve. In this article we compare the equisingular deformations of $C$ and the sandwiched singularity $X(C,l)$. We will prove that for $l \gg 0$ the functor of equisingular deformations of $C$ and $(C,l)$ are equivalent. From this we deduce a proof of a formula for the dimension of the equisingular stratum. Furthermore we will show how compute the equisingularity ideal of the curve singularity $C$, given the minimal (good) resolution of $C$.

研究动机与目标

• 建立平面曲线奇点 $ C $ 的等塑形形变与关联夹层奇点 $ X(C,l) $ 在 $ l $ 足够大时的对应关系。
• 提供一种利用最小良好解析计算平面曲线奇点等塑形形变理想的算法。
• 通过比较形变函子与上同调不变量，推导出平面曲线奇点等塑形形变层维数的公式。
• 证明等塑形形变理想是涉及上同调群 $ H^1(F_i, N_{F_i/Z}) $ 的映射的核，从而将形变理论与解析几何联系起来。

提出的方法

• 使用同时解析化函子描述那些可被共同解析化的 $ C $ 的形变，形成完整形变函子的子函子。
• 将等塑形形变理想定义为从同时解析化函子的切空间到上同调群直和 $ \oplus H^1(F_i, N_{F_i/Z}) $ 的映射 $ \varphi $ 的核，其中 $ F_i $ 是最小良好解析 $ Z $ 中的例外曲线。
• 利用 Wahl 关于等塑形形变的结果，证明所有例外曲线 $ F_i $ 的平凡形变蕴含等塑形性。
• 应用爆破的普遍性质，将夹层奇点 $ X(C,l) $ 与 $ X(C',l') $ 之间的同构提升为它们最小解析之间的同构，从而证明当 $ l $ 足够大时 $ C $ 与 $ l $ 的唯一性。
• 通过两种独立的 $ X(C,l) $ 的 Artin 分量公式，推导出 $ C $ 的等塑形形变层维数，从而得到闭式表达。
• 通过分析沿例外除子的瞬时形变并跟踪其在连续爆破中的行为，实现一种归纳算法来计算等塑形形变理想。

实验结果

研究问题

• RQ1 在何种条件下，平面曲线 $ C $ 与关联夹层奇点 $ X(C,l) $ 的等塑形形变函子是等价的？
• RQ2 如何从最小良好解析计算平面曲线奇点的等塑形形变理想？
• RQ3 平面曲线奇点的等塑形形变层的精确维数是多少？它如何从形变理论与上同调数据推导得出？
• RQ4 当 $ l $ 较大时，$ C $ 的解析类型在多大程度上决定 $ X(C,l) $ 的解析类型，反之亦然？
• RQ5 哪些瞬时形变使解析发生非平凡形变，哪些导致等塑形形变？

主要发现

• 当 $ l \gg 0 $ 时，$ C $ 与 $ X(C,l) $ 的等塑形形变函子等价，建立了曲线与曲面奇点形变理论之间的强对应关系。
• 平面曲线 $ C $ 的等塑形形变理想被实现为从同时解析化函子切空间到 $ \oplus H^1(F_i, N_{F_i/Z}) $ 的映射 $ \varphi $ 的核，从而实现了上同调计算。
• 通过比较 $ X(C,l) $ 的两个 Artin 分量公式，计算出 $ C $ 的等塑形形变层维数，得到精确的维数公式。
• 提供了一种归纳算法，通过连续爆破并追踪形变数据，从最小良好解析计算等塑形形变理想。
• 在 $ f = y^7 + x^5y^3 $ 的例子中，等塑形形变层维数为 6，等塑形形变理想由 $ y^7 + x^5y^3 $、$ 10x^4y^4 + 10x^9 + 11x^{10} $、$ x^3y^6 + x^8y^2 + x^9y^2 $、$ x^{11} $、$ x^{10} $、$ x^9y^2 $、$ x^8y^3 $ 生成。
• 未被平凡截面捕获的额外瞬时等塑形形变明确给出为 $ (y^4 + x^5 + \varepsilon x^3y^2)^2 + x^{11} $，表明该形变层严格大于平凡形变轨迹。