[论文解读] Picard numbers of complex Delsarte surfaces with only isolated ADE-singularities

Bas Heijne|arXiv (Cornell University)|Dec 20, 2012

Polynomial and algebraic computation参考文献 5被引用 3

一句话总结

本文对所有复数 Delsarte 曲面（度数 $ n \geq 6 $）且仅具有孤立 ADE 奇点的情形进行了分类，证明在同构意义下至多存在 83 个此类曲面。文章通过 Delsarte 与 Shioda 的算法，利用 Lefschetz 数计算，给出了每一族曲面的 Picard 数的闭式公式，该公式基于指数矩阵及其逆矩阵的显式计算，并确认了在度数 $ n \geq 5 $ 时存在三个极大曲面。

ABSTRACT

We give a classification of all Delsarte surfaces with only ADE singularities. Using this we give closed formulas for the Picard numbers of such surfaces.

研究动机与目标

• 对所有复数 Delsarte 曲面（度数 $ n \geq 6 $）且仅具有孤立 ADE 奇点的情形，在同构意义下进行分类。
• 利用 Delsarte 算法中的 Lefschetz 数公式，计算每一类此类曲面的 Picard 数。
• 识别并表征那些 Picard 数达到 Hodge 理论上界（即 $ \rho = h^{1,1} $）的极大 Delsarte 曲面。
• 为仅依赖于度数 $ n $ 的每一类曲面，提供 Picard 数的显式闭式公式。
• 将先前关于非奇异 Delsarte 曲面的结果推广至具有 ADE 奇点的情形，特别是针对更高次度的情况。

提出的方法

• 从曲面的定义多项式的单项式构造其指数矩阵 $ A $。
• 利用逆矩阵 $ A^{-1} $，通过与行向量 $ e_1, e_2, e_3 $ 相乘，计算三个向量 $ \tilde{v}, \tilde{w}, \tilde{u} $。
• 这些向量生成一个有限 $ \mathbb{Z} $-模 $ L \subseteq (\mathbb{Q}/\mathbb{Z})^4 $，其中 $ L_0 $ 和 $ L_1 $ 分别定义为至少一个坐标为零或所有坐标均为零的子集。
• 集合 $ \Lambda \subseteq L_1 $ 由对 $ L_1 $ 中元素的倍数的阶与分数部分施加条件而定义，其基数即为 Lefschetz 数 $ \lambda = \#\Lambda $。
• Picard 数计算为 $ \rho = b_2 - \lambda $，其中 $ b_2 = n^3 - 4n^2 + 6n - 2 $ 为具有 ADE 奇点的度数 $ n $ 曲面的 $ b_2 $ 数。
• 分类依赖于对 $ L_1 \setminus \Lambda $ 结构的分析，其可划分为可分解、规则不可约与例外（非规则不可约）元素，其中后者为有限集且可显式确定。

实验结果

研究问题

• RQ1 在同构意义下，度数 $ n \geq 6 $ 且仅具有孤立 ADE 奇点的 Delsarte 曲面共有多少个？
• RQ2 每一类此类曲面的 Picard 数是否存在仅依赖于度数 $ n $ 的闭式公式？
• RQ3 哪些 Delsarte 曲面是极大的，即满足 Hodge 数上界 $ \rho \leq h^{1,1} $ 的等号？
• RQ4 Lefschetz 数与 Picard 数在具有 ADE 奇点的 Delsarte 曲面不同族中如何表现？
• RQ5 指数矩阵及其逆矩阵在通过 $ \Lambda $-集合构造计算 Picard 数的过程中起什么作用？

主要发现

• 在同构意义下，度数 $ n \geq 6 $ 且仅具有孤立 ADE 奇点的 Delsarte 曲面至多有 83 个。
• 对于这 83 个族中的每一类，均提供了仅依赖于度数 $ n $ 的 Picard 数的闭式公式，详见附录 A。
• 度数 $ n \geq 5 $ 的三个极大 Delsarte 曲面为：$ X^3YZ + Y^3ZU + XZ^3U + XYU^3 = 0 $，$ X^5Y + XY^5 + Z^5U + ZU^5 = 0 $，以及 $ X^6 + Y^6 + Z^6 + U^6 = 0 $。
• Picard 数计算为 $ \rho = b_2 - \lambda $，其中 $ b_2 = n^3 - 4n^2 + 6n - 2 $，且 $ \lambda = \#\Lambda $，$ \Lambda $ 由指数矩阵及其逆矩阵导出。
• $ L_1 \setminus \Lambda $ 的集合被划分为可分解、规则不可约与例外（非规则不可约）元素，其中后者为有限集，其基数为 22080。
• 每一类的 Picard 数公式中均包含通过 Kronecker delta 函数 $ \delta_{a,b} $ 表示的校正项，用于处理依赖于度数 $ n $ 的特殊情况。