[论文解读] Structure of the cycle map for Hilbert schemes of families of nodal curves

Ziv Ran|arXiv (Cornell University)|Mar 21, 2009

Algebraic Geometry and Number Theory参考文献 11被引用 8

一句话总结

该论文证明了从长度为 $ m $ 的子簇的相对 Hilbert 模间到一族节点曲线的相对对称积的周期映射，同构于对判别局部（即参数化具有重重点的周期的局部）的爆破。关键贡献在于将判别极化识别为爆破上 $ \pm\mathcal{O}(1) $ 线丛的拉回，其中节点柱面与多柱面通过在归一化全空间上的射影丛，提供了 Hilbert 模间奇点分层的几何分解。

ABSTRACT

We study the relative Hilbert scheme of a family of nodal (or smooth) curves, over a base of arbitrary dimension, via its (birational) cycle map, going to the relative symmetric product. We show the cycle map is the blowing up of the discriminant locus, which consists of cycles with multiple points. We determine the relevant cotangent sheaves and complexes. We determine the structure of certain projective bundles called node scrolls, which play an important role in the geometry of Hilbert schemes.

研究动机与目标

• 理解任意维数基 $ B $ 上节点曲线族的相对 Hilbert 模间 $ X^{[m]}_B $ 的几何结构。
• 澄清周期映射 $ c_m: X^{[m]}_B \to X^{(m)}_B $ 到相对对称积的结构。
• 通过周期中多重点诱导的分层，刻画 $ X^{[m]}_B $ 的奇异局部。
• 引入并研究节点柱面与多柱面作为编码对称积之外更高阶信息的几何工具。
• 确立判别极化作为 Hilbert 模间交比理论中的核心对象，将其与爆破上的 $ \pm\mathcal{O}(1) $ 线丛联系起来。

提出的方法

• 将相对 Hilbert 模间局部化为笛卡尔积上的模型 $ H $，以实现对定义理想的具体计算。
• 在相对笛卡尔积中构造一个理想 $ G $，其斜系对应于 $ H $ 的拉回，从而导出从 $ G $ 的爆破到 $ H $ 的映射 $ \gamma $。
• 证明 $ \gamma $ 是同构，且 $ G $ 定义了有序判别局部（大对角线），从而确立了爆破结构。
• 利用混合范德蒙德行列式与序理论论证，分析局部定义方程并验证同构性。
• 将节点柱面 $ F^{m,n}_j(\theta) $ 定义为在归一化 Hilbert 模间上的 $ \mathbb{P}^1 $-丛，用于参数化节点处的更高阶“斜率”数据。
• 通过纤维积分解将柱面推广至多柱面，其中自然极化 $ \mathcal{O}(1,\dots,1) $ 被识别为判别极化差 $ -\Gamma^{(m)} + \Gamma^{(m-|n|)} $。

实验结果

研究问题

• RQ1 周期映射 $ c_m $ 从相对 Hilbert 模间到相对对称积是否同构于某子概形的爆破？若是，是哪个子概形？
• RQ2 节点柱面与多柱面如何分解 Hilbert 模间 $ X^{[m]}_B $ 的奇点分层？
• RQ3 判别极化 $ \Gamma^{(m)} $ 在 Hilbert 模间交比理论中的精确几何与上同调角色为何？
• RQ4 节点处编码于节点柱面中的更高阶“斜率”参数如何扩展经典对称积的描述？
• RQ5 Hilbert 模间能否在全球范围内用归一化全空间上的射影丛来描述？

主要发现

• 周期映射 $ c_m $ 同构于判别局部 $ D^m \subset X^{(m)}_B $ 的爆破，该局部参数化具有重重点的周期。
• 判别除子的拉回满足 $ 2\Gamma^{(m)} = c_m^{-1}(D^m) $，且 $ -2\Gamma^{(m)} $ 是爆破上的 $ \mathcal{O}(1) $ 线丛。
• 节点柱面 $ F^{m,n}_j(\theta) $ 同构于 $ \mathbb{P}(\mathcal{O}(D^n_j(\theta)) \oplus \mathcal{O}(D^n_{j+1}(\theta))) $，其 $ \mathcal{O}(1) $ 匹配极化 $ -\Gamma^{(m)} + \Gamma^{(m-n)} $。
• 节点多柱面 $ F^{m,n.}_{j.}(\theta) $ 同构于在归一化 Hilbert 模间 $ (X^{\theta.})^{[m-|n|]} $ 上的 $ \mathbb{P}^1 $-丛的积，其 $ \mathcal{O}(1,\dots,1) $ 对应于 $ -\Gamma^{(m)} + \Gamma^{(m-|n|)} $。
• 判别极化 $ \Gamma^{(m)} $ 是一个 Cartier 除子，且 $ \mathcal{O}(-\Gamma^{(m)}) $ 是爆破上的自然极化，在交比理论中起核心作用。
• 该构造在通过节点柱面建立的“污渍曲线”模空间之间提供了几何对应，类似于 Nakajima 在表面 Hilbert 模间上的算子。