The versal deformation of elliptic m-fold point curve singularities

技术摘要：椭圆 $m$ 重点曲线奇异性的 Versal 变形

问题陈述
本文研究了特定类别的曲线奇异性——即椭圆 $m$ 重点（elliptic $m$-fold points）——的 Versal 变形的显式计算，具体针对奇异性 $L_n^{n+1}$。该奇异性由通过 $\mathbb{A}^n(k)$ 原点的 $n+1$ 条处于泛型位置的直线组成，其中 $k$ 是特征为零的代数封闭域。虽然 $n$ 条位于坐标轴上的直线（$L_n^n$）的 Versal 变形已有深入理解且具有简单的方程，但泛型情况 $L_n^{n+1}$ 则呈现出显著的代数复杂性。本文还研究了广义分次曲线（partition curves）的变形理论，包括有理型和椭圆型，以确定其变形基空间（deformation base spaces）的结构性质（如 Gorenstein 性和不可约性）。

方法论
作者结合了交换代数、变形理论和对称性分析：

1. 对称方程构造：为了处理定义 $L_n^{n+1}$ 的理想所带来的复杂性，作者引入了一个权重为 2 的新变量 $y$，将该曲线嵌入 $\mathbb{A}^{n+1}$ 中。这使得该理想可以由对称方程组 $z_i z_j - y = 0$（对于 $1 \le i < j \le n$）生成，而非非极小系统 $z_i z_j - z_k z_l = 0$。
2. 无穷小变形分析：计算了无穷小变形模 $T^1$。通过扰动生成元并分析它们之间的线性关系（syzygies），确定了由参数 $a_{ij}$ 表示的 $T^1$ 的一组基。
3. 提升关系（Lifting Relations）：通过将理想的关系提升到变形设置中来构造 Versal 变形。这涉及计算 $T^2$ 中的阻碍（obstructions），并推导出由变形参数定义的基空间 $B_n$ 的方程。
4. 归纳结构：一个关键的方法论步骤是分析 $B_n$ 的方程，以揭示其与 $L_{n-1}^n$ 的 Versal 变形全空间之间的归纳关系。
5. 模空间解释：将结果置于曲线模空间的背景下进行解释，特别是将射影化的基空间与 Smyth 对 $(n+1)$ 点亏格为 1 曲线的模空间的紧化联系起来。

核心贡献与结果

• $L_n^{n+1}$ 的显式方程：本文为 $n \ge 4$ 的 $L_n^{n+1}$ 的 Versal 变形提供了显式的、高度对称的方程。全空间由涉及变形参数 $a_{ij}$ 的多项式 $F_{ij;il}$ 定义，而基空间 $B_n$ 则由二次方程 $\Phi_{jl;km}^i$ 定义。
• 归纳同构：一个核心结果（定理 4.1）确立了对于 $n \ge 5$， $L_n^{n+1}$ 的 Versal 变形的基空间 $B_n$ 同构于 $L_{n-1}^n$ 的 Versal 变形的全空间。
• 基空间的性质：
  • Gorenstein 与不可约性：通过上述提到的同构关系以及 $B_4$ 是光滑的这一事实，利用归纳法，本文证明了 $B_n$ 是一个 Gorenstein 且不可约的方案（定理）。
  • 维数与重数：基空间的维数为 $n+2$，重数为 $n!/24$。它在余维数为 6 的地方是光滑的。
  • 极小方程：推导出了 $B_n$ 的极小方程组，减少了独立的二次关系数量。
• 与模空间的联系：识别出 $\mathbb{P}(B_n)$ 同构于 $n$-稳定曲线的粗模空间 $\overline{M}_{1,n+1}(n)$（定理 4.5），从而提供了变形空间的几何解释。
• 与其他分次曲线的对比：
  • 有理分次曲线：对于单项式分次曲线 $X_n$（其半群为 $\langle n, n+1, \dots, 2n-1 \rangle$），研究表明对于 $n \ge 14$，其基空间通常包含不同维数的成分（定理 5.1）。具体而言，它包含非平滑化成分，这意味着基空间通常是可约的且非 Gorenstein 的。
  • 一般椭圆分次曲线：作者指出，虽然重数为 6 的单项式曲线的基空间是 Grassmannian 的锥，但由于单项式数量的爆炸式增长以及可见归纳结构的丧失，计算一般椭圆分次曲线（例如重数为 7）的 Versal 变形似乎是不可行的。

意义
本文声称其意义主要在于提供了第一个关于泛型椭圆 $(n+1)$ 重点的、显式的、对称的 Versal 变形描述。这填补了文献中的空白，此前只有坐标轴情形（$L_n^n$）被完全理解并具有简单的方程。

这项工作确立了尽管泛型情况比坐标轴情况复杂度更高，但由于 $L_n^{n+1}$ 与 $L_{n-1}^n$ 之间的归纳关系，其底层的变形理论仍保持着强大的结构规则性（Gorenstein 性和不可约性）。这与有理分次曲线形成了鲜明对比，后者的基空间可能是可约且非 Gorenstein 的。此外，本文巩固了这些奇异性的代数变形理论与带点亏格 1 曲线的几何紧化之间的联系，确认了射影化的变形空间是 $R$-极化方案的精细模空间（fine moduli space）。

作者对这些方法的普适性保持谨慎，指出对于其他椭圆分次曲线或更高重数的情况，显式计算 Versal 变形似乎是不可行的，且基空间的优良性质（如 Gorenstein 性）并不能得到保证。