[论文解读] Singularity content

Mohammad Akhtar, Alexander Kasprzyk|arXiv (Cornell University)|Jan 21, 2014

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

一句话总结

本文引入了法诺格点多边形的奇点含量概念，将循环商奇点分解为基本的T-奇点与一个余项奇点。研究证明，相应toric法诺曲面的反canonical次数与Hilbert级数由该含量完全确定，并且证明了奇点含量在多边形突变下保持不变——这一性质为通过toric几何与镜像对称分类法诺曲面提供了强有力的不变量。

ABSTRACT

We show that a cyclic quotient surface singularity S can be decomposed, in a precise sense, into a number of elementary T-singularities together with a cyclic quotient surface singularity called the residue of S. A normal surface X with isolated cyclic quotient singularities {S_i} admits a Q-Gorenstein partial smoothing to a surface with singularities given by the residues of the S_i. We define the singularity content of a Fano lattice polygon P: this records the total number of elementary T-singularities and the residues of the corresponding toric Fano surface X_P. We express the degree of X_P in terms of the singularity content of P; give a formula for the Hilbert series of X_P in terms of singularity content; and show that singularity content is an invariant of P under mutation.

研究动机与目标

• 定义并形式化法诺格点多边形的奇点含量为一对 (n, B)，其中 n 记录基本T-奇点的数量，B 记录循环商奇点的余项。
• 以奇点含量表达相关toric法诺曲面的反canonical次数。
• 利用奇点含量推导toric法诺曲面的Hilbert级数公式。
• 证明奇点含量在法诺多边形突变下保持不变，从而将其与镜像对称及法诺簇的分类联系起来。

提出的方法

• 将一个二维有理锥 C（宽度为 w，局部指标为 ℓ）通过一个具有 n 个宽度为 ℓ 的子锥和一个宽度 ρ < ℓ 的余项锥的格点分解，划分为子锥。
• 通过格点同构，定义锥 C 的余项为唯一一个宽度为 ρ、指标为 ℓ 的锥 R，且该定义与分解方式无关。
• 构造曲面 X_C 的 Q-Gorenstein形变，使其奇点由其锥的余项唯一确定。
• 将法诺多边形 P 的奇点含量定义为 (n, B)，其中 n = ∑n_i，B 为 P 的生成扇形中所有锥的余项列表。
• 利用从格点几何与奇点类型推导出的公式，表达 X_P 的次数关于 n 与 B 中余项的函数关系。
• 按照Reid公式的形式，将 X_P 的Hilbert级数表示为一个首项与 B 中每个余项贡献之和。

实验结果

研究问题

• RQ1 如何以一种与分解方式无关的方式，将一个循环商曲面奇点分解为基本T-奇点与一个余项奇点？
• RQ2 toric法诺曲面的反canonical次数与其关联法诺多边形的奇点含量之间存在何种关系？
• RQ3 能否显式地用法诺多边形的奇点含量表达toric法诺曲面的Hilbert级数？
• RQ4 奇点含量在多边形突变下是否保持不变？这一性质对通过镜像对称分类法诺簇意味着什么？

主要发现

• toric法诺曲面 X_P 的反canonical次数由法诺多边形 P 的奇点含量 (n, B) 完全确定，且在命题 3.3 中给出了精确公式。
• X_P 的Hilbert级数被表示为首项与 B 中每个余项贡献之和，如推论 3.5 所示。
• 奇点含量在突变下保持不变：若 Q = mut_h(P, F)，则 SC(Q) = SC(P)，该结论在命题 3.6 中得到证明。
• 曲面 X_P 的Picard秩 ρ_X 满足不等式 ρ_X ≤ n + |B| − 2，该不等式由 P 的顶点数及其边的分解方式导出。
• 两个奇点含量不同的法诺多边形无法通过突变相互关联，如例子所示：P₁ = conv{(0,1),(5,4),(-7,-8)} 与 P₂ = conv{(0,1),(3,1),(-112,-79)} 具有不同的 SC(P₁) 与 SC(P₂)。
• 当 n + |B| = 3 时，(假)加权射影平面的突变图与单步突变图完全一致，如例子 3.9 所示。