[论文解读] On higher dimensional Hirzebruch-Jung singularities

Patrick Popescu‐Pampu|arXiv (Cornell University)|Jun 6, 2003

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

一句话总结

本文通过将极大单纯形对（格点 W 与全维单纯形锥 σ）定义的仿射 тор簇的 0-维轨道的解析同构性，将 Hirzebruch-Jung 奇点推广至高维。证明了此类奇点的解析同构型唯一确定其定义的格点与锥对（W, σ）的同构类，方法基于局部基本群的典范表示及轨道丛覆盖技术。该结果提供了对拟-平凡超曲面奇点的完整组合分类及正规化算法。

ABSTRACT

A germ of normal complex analytical surface is called a Hirzebruch-Jung singularity if it is analytically isomorphic to the germ at the 0-dimensional orbit of an affine toric surface. Two such germs are known to be isomorphic if and only if the toric surfaces corresponding to them are equivariantly isomorphic. We extend this result to higher-dimensional Hirzebruch-Jung singularities, which we define to be the germs analytically isomorphic to the germ at the 0-dimensional orbit of an affine toric variety determined by a lattice and a simplicial cone of maximal dimension. We deduce a normalization algorithm for quasi-ordinary hypersurface singularities.

研究动机与目标

• 将 Hirzebruch-Jung 奇点的概念从曲面推广至高维复解析空间。
• 利用格点与单纯形锥对的组合数据，对高维 Hirzebruch-Jung 奇点在解析同构下进行分类。
• 基于奇点的组合结构，为不可约拟-平凡超曲面奇点建立正规化算法。
• 证明 Hirzebruch-Jung 奇点的解析类型唯一确定其定义的极大单纯形对（至多同构）。

提出的方法

• 将高维 Hirzebruch-Jung 奇点定义为与由极大单纯形对（格点 W 与全维单纯形锥 σ）定义的仿射 toric 奇点的 0-维轨道解析同构的芽。
• 构造轨道丛映射 μ: (Z̃,0) → (Z,0)，作为奇点光滑部分的万有覆盖的黎曼提升。
• 分析轨道丛覆盖 (Z̃,0) 的 Zariski 余切空间上局部基本群的典范表示 ρ(Z)。
• 从 ρ(Z) 构造新对 (W(ρ(Z)), σ₀)，以编码奇点的解析类型。
• 利用轨道丛结构与单值性数据，证明对 (W, σ) 的解析类型唯一确定其至多同构类。
• 将分类结果应用于推导拟-平凡超曲面奇点的正规型及正规化算法，通过涉及分母与有理系数最小公倍数的递归矩阵变换实现。

实验结果

研究问题

• RQ1 高维 Hirzebruch-Jung 奇点的抽象边界 K(Z) 的同胚型是否决定其解析类型？
• RQ2 能否通过奇点的解析解消而非局部基本群的典范表示来实现高维 Hirzebruch-Jung 奇点的分类？
• RQ3 由非单纯形锥定义的仿射 toric 奇点的 0-维轨道芽的解析类型是否至多同构唯一确定？
• RQ4 对于一般仿射 toric 奇点，其抽象边界（可能附加额外结构）的同胚型是否决定其解析类型？
• RQ5 当典范表示 ρ(Z) 为循环且无不动点时，边界何时决定解析类型？

主要发现

• 高维 Hirzebruch-Jung 奇点的解析同构型唯一确定其定义的极大单纯形对 (W, σ) 至多同构。
• 不可约拟-平凡超曲面奇点的正规化在 0-维轨道处解析同构于由极大单纯形对定义的 toric 奇点。
• 通过涉及分母与有理系数最小公倍数的递归矩阵变换，为拟-平凡超曲面奇点构造了正规化算法。
• 当典范表示为循环且无不动点时，高维 Hirzebruch-Jung 奇点的边界 K(Z) 为广义的透镜空间，此时边界唯一确定其解析类型。
• 轨道丛覆盖余切空间上局部基本群的典范表示 ρ(Z) 唯一确定组合数据 (W(ρ(Z)), σ₀)，后者可恢复原始对 (W, σ) 至多同构。
• 对于由 f=0 定义的拟-平凡超曲面奇点的正规化，其对应的 Hirzebruch-Jung 类型由矩阵给出，其元素由递归计算 s_{ij}^k 与 r_{ij}^k 得到，最终类型由最终有理系数的最⼤公约数决定。