[论文解读] Q-Gorenstein deformations of non-normal surfaces

Nikolaos Tziolas|ArXiv.org|Apr 11, 2005

Algebraic Geometry and Number Theory参考文献 14被引用 3

一句话总结

本文刻画了具有沿正规曲线 $ \Delta $ 的半对数 canonical（slc）奇点的非正规曲面 $ H $ 的 $ \mathbb{Q} $-Gorenstein变形的层 $ T^{1}_{qG}(H) $，证明其除子性支撑恰好为 $ \Delta $。对于 $ \Delta $ 的每个不可约分支 $ C $，证明 $ T^{1}_{qG}(H) \otimes \mathcal{O}_C $ 的局部自由部分为线丛，并推导出涉及 $ \tilde{C}^2 $ 与奇点不变量的次数公式。该工作为 $ \Delta \subset H $ 是否存在 $ \mathbb{Q} $-Gorenstein终端光滑化提供了判别准则。

ABSTRACT

Revised Version. An example of a locally smoothable stable surface that does not have a global smoothing has been added.

研究动机与目标

• 理解具有半对数 canonical（slc）奇点的非正规曲面芽 $ \Delta \subset H $ 的全局 $ \mathbb{Q} $-Gorenstein 变形理论。
• 确定此类曲面芽的局部 $ \mathbb{Q} $-Gorenstein 光滑化何时可延拓为全局光滑化。
• 描述 $ \mathbb{Q} $-Gorenstein 变形的层 $ T^{1}_{qG}(H) $，并识别其在 $ \Delta $ 的分支上的支撑与结构。
• 对每个不可约分支 $ C \subset \Delta $，推导 $ T^{1}_{qG}(H) \otimes \mathcal{O}_C $ 的线丛部分的次数公式。
• 建立 $ \Delta \subset H $ 存在 $ \mathbb{Q} $-Gorenstein 终端光滑化的判别准则。

提出的方法

• 定义全局与局部 $ \mathbb{Q} $-Gorenstein 变形函子 $ \mathrm{Def}^{qG}(H) $ 与 $ \mathrm{Def}^{qG}_{\text{loc}}(H) $，并研究它们之间的自然变换。
• 将 $ \mathrm{Def}^{qG}_{\text{loc}}(H) $ 的切空间刻画为 $ H^0(T^{1}_{qG}(H)) $，其中 $ T^{1}_{qG}(H) \subset T^1(H) $ 是局部 $ \mathbb{Q} $-Gorenstein 变形的层。
• 证明 $ T^{1}_{qG}(H) $ 的除子性支撑部分恰好为 $ \Delta $，即 $ H $ 非正规的曲线。
• 对每个不可约分支 $ C \subset \Delta $，证明 $ T^{1}_{qG}(H) \otimes \mathcal{O}_C $ 具有一个局部自由部分，且该部分为线丛。
• 推导该线丛的次数公式，其表达式涉及 $ \tilde{C}^2 $（即正规化 $ \pi: \tilde{H} \to H $ 下的严格提升的自交数）与奇点的解析不变量。
• 通过 $ \tilde{H} $ 的极小解析解消，计算 $ \hat{F}_P^2 $、$ \hat{F}_{1,Q}^2 $、$ \hat{F}_{2,Q}^2 $ 及交点数，以验证次数公式。

实验结果

研究问题

• RQ1 对于具有 slc 奇点的非正规曲面芽 $ \Delta \subset H $，其 $ \mathbb{Q} $-Gorenstein 变形的层 $ T^{1}_{qG}(H) $ 的结构如何？
• RQ2 此类曲面芽的局部 $ \mathbb{Q} $-Gorenstein 光滑化在何种条件下可延拓为全局光滑化？
• RQ3 对每个不可约分支 $ C \subset \Delta $，$ T^{1}_{qG}(H) \otimes \mathcal{O}_C $ 的局部自由部分所构成的线丛的次数为何？
• RQ4 哪些类 qG 奇点（例如退化尖点、$ \mathbb{Z}_n $-商）允许存在 $ \mathbb{Q} $-Gorenstein 终端光滑化？
• RQ5 在 $ C $ 上线丛的次数公式中，$ \tilde{C}^2 $、$ \beta_3(P) $、$ \beta_4(Q) $、$ \delta_3(P) $、$ \delta_4(Q) $ 之间有何关系？

主要发现

• 层 $ T^{1}_{qG}(H) $ 的除子性支撑部分恰好为 $ \Delta $，即 $ H $ 非正规的曲线。
• 对每个不可约分支 $ C \subset \Delta $，层 $ T^{1}_{qG}(H) \otimes \mathcal{O}_C $ 具有一个局部自由部分，且该部分为线丛。
• 该线丛的次数由一个公式给出，涉及 $ \tilde{C}^2 $ 与奇点的不变量，具体为 $ \sum_P \beta_3(P) + \sum_Q \beta_4(Q) + \sum_R \beta_4'(R) $，其中求和分别针对类型 $ T^3_{p,q} $、$ T^4_{p,q,r} $ 与 $ T^4_{2,q,r} $ 的退化尖点。
• 对 $ U_3 $ 中类型 $ T^3_{p,q} $ 的退化尖点 $ P $，其贡献为 $ \beta_3(P) = -1 + \frac{1}{p} + \frac{1}{q} $，且校正项 $ \delta_3(P) = \frac{(p+q)^2}{pq(p+q+pq)} $。
• 对 $ W_4 $ 中类型 $ T^4_{p,q,r} $ 的退化尖点 $ Q $，其贡献为 $ \beta_4(Q) = -1 + \frac{1}{p-2} + \frac{1}{q-2} $，且 $ \delta_4(Q) = \frac{1}{p-2} + \frac{1}{q-2} - \frac{r(p+q)-4}{rpq - p - q} $。
• 次数公式导出 $ d = \tilde{C}^2 + p + 2c_1 + 2c_2 + \sum_{P \in U_3} \alpha_3(P) + \sum_{Q \in U_4} \alpha_4(Q) $，其中 $ \alpha_3(P) = 1 + \frac{p+q}{pq + p + q} $ 且 $ \alpha_4(Q) = \frac{r(p+q)-4}{rpq - p - q} $，对无穷参数取极限。