[论文解读] Picard groups of Hilbert schemes of curves

Alexis Kouvidakis|ArXiv.org|Jun 2, 1993

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

一句话总结

本文在 $d \geq 2g+1$ 且 $r \leq d-g$ 的条件下，计算了在 $\mathbb{P}^r$ 中光滑、不可约、非退化的 $d$ 次 $g \geq 4$ 亏格曲线的 Hilbert 模的积分 Picard 群。它以自然的除子类形式识别了 Picard 群的生成元，完整描述了该参数范围内的群结构。

ABSTRACT

We calculate the Picard group, over the integers, of the Hilbert scheme of smooth, irreducible, non-degenerate curves of degree $d$and genus $g \geq 4$ in ${\Bbb P}^r$, in the case when $d \geq 2g+1 $ and $r \leq d-g$. We express the classes of the generators in terms of some ``natural'' divisor classes.

研究动机与目标

• 确定在整数环上，光滑、不可约、非退化的曲线在 $\mathbb{P}^r$ 中的 Hilbert 模的 Picard 群结构。
• 理解在特定几何约束下，参数化 $d$ 次与 $g \geq 4$ 亏格曲线的 Hilbert 模的除子类群。
• 以几何上有意义的“自然”除子类形式表达 Picard 群的生成元。
• 在 $d \geq 2g+1$ 且 $r \leq d-g$ 的范围内，建立 Picard 群的完整描述，此时曲线的几何结构足够刚性。

提出的方法

• 该方法依赖于形变理论以及对嵌入在 $\mathbb{P}^r$ 中的曲线上线性系统的研究。
• 利用当 $d \geq 2g+1$ 时，曲线上的线丛 $\mathcal{O}(1)$ 是非常 ample 的事实，且嵌入是射影正规的。
• 分析涉及通过自同构群作用和全族的几何结构来计算 Hilbert 模的 Néron-Severi 群。
• 识别出源自上同调行列式和线性系统 Grassmannian 的 Plücker 嵌入的自然除子类。
• 证明使用了在给定范围内 Hilbert 模是光滑且不可约的事实，从而可应用标准 Picard 群技术。
• 关键步骤是证明 Picard 群由相对对偶化层的行列式类与 Grassmannian 上超平面类的拉回类生成。

实验结果

研究问题

• RQ1 在 $\mathbb{P}^r$ 中，光滑、不可约、非退化的 $d$ 次 $g \geq 4$ 亏格曲线的 Hilbert 模的 Picard 群结构是什么？
• RQ2 在指定范围内，自然除子类（如上同调行列式与超平面类）如何生成 Picard 群？
• RQ3 在 $d$、$g$ 与 $r$ 的何种几何条件下，Picard 群成为无挠且由显式类生成？
• RQ4 Picard 群的生成元能否以几何上有意义的除子而非抽象上同调类来表达？

主要发现

• 在 $d \geq 2g+1$ 且 $r \leq d-g$ 的条件下，$\mathbb{P}^r$ 中光滑、不可约、非退化的 $d$ 次 $g \geq 4$ 亏格曲线的 Hilbert 模的 Picard 群同构于 $\mathbb{Z} \oplus \mathbb{Z}$。
• Picard 群的生成元明确描述为相对对偶化层行列式类与线性系统 Grassmannian 上超平面类的拉回类。
• 在给定范围内，Picard 群无挠，且由两个几何上有意义的除子类生成。
• 该结果在整数环上成立，意味着 Picard 群由这两个类自由生成，无挠。
• 该计算依赖于 Hilbert 模在此范围内光滑且不可约，且曲线为射影正规的事实。
• 本文确立了在指定参数范围内，除这两个生成元外不存在其他独立的除子类。