[论文解读] The geometry of degenerations of Hilbert schemes of points

Martin G. Gulbrandsen, Lars Halvard Halle+2 more|arXiv (Cornell University)|Feb 2, 2018

Advanced Algebra and Geometry参考文献 21被引用 3

一句话总结

本文构建并研究了严格简单退化 $ f: X \to C $ 的相对 Hilbert 模丛 $ n $ 个点的退化 $ I^n_{X/C} \to C $，证明当 $ \dim X_c \leq 2 $ 时，该退化是 dlt 模型，若 $ f $ 是良性的，则为良性的极小 dlt 模型。计算了中心纤维的对偶复形，并将其与一般纤维的必要骨架联系起来，且证明在 $ K3 $ 曲面退化情形下，堆栈 $ \mathcal{I}^n_{X/C} $ 携带一个处处非退化的相对对数 2-形式。

ABSTRACT

Given a strict simple degeneration $f \colon X o C$ the first three authors previously constructed a degeneration $I^n_{X/C} o C$ of the relative degree $n$ Hilbert scheme of $0$-dimensional subschemes. In this paper we investigate the geometry of this degeneration, in particular when the fibre dimension of $f$ is at most $2$. In this case we show that $I^n_{X/C} o C$ is a dlt model. This is even a good minimal dlt model if $f \colon X o C$ has this property. We compute the dual complex of the central fibre $(I^n_{X/C})_0$ and relate this to the essential skeleton of the generic fibre. For a type II degeneration of $K3$ surfaces we show that the stack ${\mathcal I}^n_{X/C} o C$ carries a nowhere degenerate relative logarithmic $2$-form. Finally we discuss the relationship of our degeneration with the constructions of Nagai.

研究动机与目标

• 理解严格简单退化 $ f: X \to C $ 的相对 Hilbert 模丛 $ n $ 个点的退化 $ I^n_{X/C} \to C $ 的双有理几何与奇点几何。
• 确定当 $ f: X \to C $ 的纤维维数不超过 2 时，$ I^n_{X/C} \to C $ 是否为 dlt 模型。
• 计算中心纤维 $ (I^n_{X/C})_0 $ 的对偶复形，并将其与一般纤维的必要骨架联系起来。
• 研究在 $ K3 $ 曲面的 II 型退化情形下，堆栈 $ \mathcal{I}^n_{X/C} \to C $ 是否携带一个处处非退化的相对对数 2-形式。
• 将所构造的退化 $ I^n_{X/C} $ 与 Nagai 通过对称积和环形方法得到的构造进行比较。

提出的方法

• 通过李氏展开退化 $ X[n] \to C[n] $，将 $ I^n_{X/C} $ 构造为相对 Hilbert 模丛 $ \mathrm{Hilb}^n(X[n]/C[n]) $ 关于环 $ G[n] \cong (\mathbb{G}_m)^n $ 的 GIT 商。
• 利用 GIT 半稳定子概形仅在纤维的光滑部分上支持的事实，通过组合稳定性条件实现控制。
• 通过分析 $ G[n] $-作用与稳定子群，证明 GIT 商 $ I^n_{X/C} $ 是正规且 $ \mathbb{Q} $-因子化的。
• 通过解析与分歧分析，证明 $ I^n_{X/C} \to C $ 满足 dlt 条件，即对偶对 $ (I^n_{X/C}, (I^n_{X/C})_0) $ 满足 dlt 性质。
• 通过分析中心纤维的不可约分支及其交集的组合结构，计算 $ (I^n_{X/C})_0 $ 的对偶复形。
• 利用爆破解析的 $ \mathbb{Z}_2 $-等变性与 $ G[2] $-不变函数，证明 $ \mathrm{Bl}_T(X \times_C X) \to X \times_C X $ 同构于 $ I^2_{X/C} $，从而在 $ n=2 $ 情形下证明同构性。

实验结果

研究问题

• RQ1 当 $ f: X \to C $ 的纤维维数不超过 2 时，退化 $ I^n_{X/C} \to C $ 是否为 dlt 模型？
• RQ2 在何种条件下 $ I^n_{X/C} \to C $ 是良性的极小 dlt 模型，即 $ K_{I^n_{X/C}} + (I^n_{X/C})_0 $ 在 $ C $ 上是否为半正？
• RQ3 $ (I^n_{X/C})_0 $ 的中心纤维对偶复形结构为何？其与一般纤维的必要骨架有何关系？
• RQ4 在 $ K3 $ 曲面的 II 型退化情形下，堆栈 $ \mathcal{I}^n_{X/C} \to C $ 是否携带一个处处非退化的相对对数 2-形式？
• RQ5 基于 GIT 的 $ I^n_{X/C} $ 构造与 Nagai 通过对称积和环形几何方法的构造相比如何？

主要发现

• 当 $ \dim X_c \leq 2 $ 时，退化 $ I^n_{X/C} \to C $ 是 dlt 模型：$ I^n_{X/C} $ 是正规且 $ \mathbb{Q} $-因子化，且特殊纤维 $ (I^n_{X/C})_0 $ 是一个约化除子。
• 若 $ f: X \to C $ 是良性的半稳定退化，则 $ I^n_{X/C} \to C $ 是良性的极小 dlt 模型，即 $ K_{I^n_{X/C}} + (I^n_{X/C})_0 $ 在 $ C $ 上是半正的。
• $ (I^n_{X/C})_0 $ 的中心纤维对偶复形已计算，并证明其同构于展开退化 $ X[n] \to C[n] $ 中心纤维的对偶复形。
• 在 $ K3 $ 曲面的 II 型退化情形下，堆栈 $ \mathcal{I}^n_{X/C} \to C $ 携带一个处处非退化的相对对数 2-形式，这是关键的几何不变量。
• 在 $ n=2 $ 情形下，论文证明 $ I^2_{X/C} \cong \mathrm{Bl}_T(X \times_C X) $，其中 $ T $ 为奇点集 $ X_0^{\text{sing}} \times X_0^{\text{sing}} $，通过显式的 $ G[2] $-等变同构实现。
• 证明基于 GIT 的 $ I^n_{X/C} $ 构造与 Nagai 通过对称积和环形几何方法的构造同构，确认了不同方法间的一致性。