[论文解读] Jumping Number Contribution on Algebraic Surfaces with an Isolated Rational Singularity

Kevin Tucker|arXiv (Cornell University)|Jan 4, 2008

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

一句话总结

本文提出了一种数值准则，用于判断在有理表面奇点上，对数分辨率上的例外除子族是否临界地贡献一个跳跃数给某个理想。通过将这一贡献确立为数值不变量，作者提供了一种算法化方法来计算该理想的所有跳跃数，并将其应用于确定孤立杜瓦尔（Du Val）和张量（toric）表面奇点上极大理想的跳跃数。

ABSTRACT

Given an ideal in the local ring at a rational surface singularity, we define what it means for a collection of exceptional divisors on a fixed log resolution to critically contribute a jumping number. This is shown to be a numerical property of the collection, and can be used to give an explicit algorithm for finding all of the jumping numbers of the ideal. In addition, the jumping numbers of the maximal ideal at the singular point in an isolated Du Val or toric surface singularity are computed, and applications to the smooth case are explored.

研究动机与目标

• 在有理表面奇点的背景下，定义并表征例外除子族对跳跃数的临界贡献。
• 确立这种贡献为数值不变量，且不依赖于分辨率的选择。
• 开发一种算法化程序，以计算给定理想的所有跳跃数。
• 计算孤立杜瓦尔（Du Val）和张量（toric）表面奇点上极大理想的跳跃数。
• 探讨结果在光滑情形下的含义，特别是与乘子理想和奇点的关系。

提出的方法

• 若例外除子族的数值数据在对数分辨率上满足特定的整性条件，则将其定义为临界贡献一个跳跃数。
• 利用贡献条件的数值不变性，将问题简化为在分辨率图上的格点计算。
• 应用乘子理想与邻接理论，将跳跃数与分歧度及除子赋值联系起来。
• 利用杜瓦尔（Du Val）和张量（toric）奇点的结构，简化分辨率图并显式计算跳跃数。
• 利用跳跃数由分辨率的数值数据决定的事实，实现算法化处理。
• 将该算法应用于奇异点处的极大理想，得出杜瓦尔（Du Val）和张量（toric）情形下的显式跳跃数集合。

实验结果

研究问题

• RQ1 何种条件下，一组例外除子能确保临界贡献一个跳跃数？
• RQ2 如何将除子的临界贡献表征为一个数值不变量？
• RQ3 孤立杜瓦尔（Du Val）表面奇点上极大理想的完整跳跃数集合是什么？
• RQ4 孤立张量（toric）表面奇点上极大理想的跳跃数是什么？
• RQ5 奇异曲面上的结果如何与光滑情形相关联，特别是从乘子理想的角度？

主要发现

• 除子族对跳跃数的临界贡献是一种数值性质，仅取决于这些除子的自交数和交点数。
• 构建了一个算法，仅使用分辨率的数值数据，即可计算任意理想在有理表面奇点上的所有跳跃数。
• 孤立杜瓦尔（Du Val）表面奇点上极大理想的跳跃数被显式计算，并表明其依赖于奇点的类型（A_n, D_n, E_6, E_7, E_8）。
• 对于张量（toric）表面奇点，极大理想的跳跃数由奇点的连分数数据的连分数展开决定。
• 通过证明奇异情形下极大理想的跳跃数反映了光滑情形下乘子理想的性质，结果可推广至光滑情形。
• 该方法提供了一种系统化的方法来计算跳跃数，而无需显式进行奇点的分辨率，仅依赖于数值数据。