[论文解读] The Poincaré series of some special quasihomogeneous surface singularities

Wolfgang Ebeling|ArXiv.org|Apr 13, 2000

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

一句话总结

本文建立了拟齐次表面奇点——特别是Fuchsian完全交奇点（ICIS）——的Poincaré级数与单值算子特征多项式之间的深层联系，揭示了这种对偶性是K3曲面镜像对称性的根源，并通过Leech格的自同构实现。关键结果是：经修正的Poincaré级数及其对偶形式的特征多项式，对应于Leech格自同构的特征多项式，共实现了39种自对偶的Frame型态，通过五种不同的构造方法。

ABSTRACT

In the author's paper ''Poincaré series and monodromy of a two-dimensional quasihomogeneous hypersurface singularity'' a relation is proved between the Poincaré series of the coordinate algebra of a two-dimensional quasihomogeneous isolated hypersurface singularity and the characteristic polynomial of its monodromy operator. We study this relation for Fuchsian singularities and show that it is connected with the mirror symmetry of K3 surfaces and with automorphisms of the Leech lattice. We also indicate relations between other singularities and Conway's group.

研究动机与目标

• 将K. Saito关于分圆多项式与Leech格自同构之间的对偶性，推广至Fuchsian孤立完全交奇点（ICIS）。
• 建立Fuchsian ICIS坐标代数的Poincaré级数与其单值算子特征多项式之间的对应关系。
• 证明这种对偶性在几何上通过K3曲面的镜像对称性实现。
• 证明修正后的Poincaré级数及其对偶形式可生成Leech格自同构的特征多项式。
• 通过五种不同的几何与代数构造方法，对所有39种自对偶的Conway群·0的Frame型态进行分类并实现。

提出的方法

• 利用Fuchsian奇点的轨道不变量{g; b; (αi, βi)}定义Poincaré级数pA(t)和辅助多项式ψA(t)。
• 引入乘积φA(t) = pA(t)ψA(t)，并证明其为Fuchsian奇点的Coxeter元c∞的特征多项式。
• 对于Fuchsian ICIS，将φA(t)修正为有理函数˜φA(t)，使得其Saito对偶等于单值算子的特征多项式φM(t)或其变体φ♭M(t)。
• 通过证明˜φA(t)及其对偶形式构成Leech格自同构的特征多项式，将此对偶性与K3曲面的镜像对称性联系起来。
• 利用Dedekind η函数ηπ(τ)将Frame型态π与模函数关联，验证ηπ生成一个包含Γ0(h)的亏格零同余子群Γ′的函数域。
• 通过五种方法构造39种自对偶的Frame型态：(a) Niemeier格的组合，(b) 表3和表4中的奇点，(c) 单纯椭圆奇点符号的乘积，(d) Fuchsian ICIS的符号，以及(e) 表3和表4中标记为(e)的奇点的ψA(t)。

实验结果

研究问题

• RQ1 Fuchsian ICIS的Poincaré级数与单值算子特征多项式之间有何关系？
• RQ2 Poincaré级数与单值多项式之间的对偶性是否可超越Arnold的奇异对偶性，推广至Fuchsian ICIS？
• RQ3 这种对偶性如何与K3曲面的镜像对称性相联系？
• RQ4 哪些Leech格自同构源于Fuchsian ICIS的特征多项式？
• RQ5 所有39种自对偶的Conway群·0的Frame型态是否都能通过几何与代数构造方法实现？

主要发现

• Fuchsian奇点的多项式φA(t)是Coxeter元c∞的特征多项式。
• 对于Fuchsian ICIS，修正后的有理函数˜φA(t)及其Saito对偶可生成单值算子的特征多项式φM(t)或φ♭M(t)，从而建立起与K3曲面镜像对称性相一致的对偶性。
• 对(˜φA(t), dual(˜φA(t)))构成Leech格自同构的特征多项式。
• 在C4中具有Milnor数µ = 25的24维拟齐次ICIS，其单值多项式φ♭M(t)为自对偶，并对应于Leech格自同构。
• 所有39种自对偶的Conway群·0的Frame型态均通过五种不同构造方法实现，包括Niemeier格的组合及表3和表4中的奇点。
• 与每个Frame型态π相关的模函数ηπ(τ)是亏格零同余子群Γ′ ⊃ Γ0(h)的函数域的生成元，证实了对偶性的模性质。