[论文解读] Poincaré series and monodromy of a two-dimensional quasihomogeneous hypersurface singularity

Wolfgang Ebeling|arXiv (Cornell University)|Sep 26, 2001

Nonlinear Waves and Solitons被引用 7

一句话总结

本文建立了二维加权齐次超曲面奇点的坐标代数的Poincaré级数与单值变换特征多项式之间的精确关系。研究证明，对于非$A_{2n}$型的Kleinian奇点，Poincaré级数等于Coxeter元特征多项式除以仿射Coxeter元特征多项式的商，该结果通过McKay对应关系与Saito对偶性推导得出。

ABSTRACT

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. For a Kleinian singularity not of type $A_{2n}$, this amounts to the statement that the Poincaré series is the quotient of the characteristic polynomial of the Coxeter element by the characteristic polynomial of the affine Coxeter element of the corresponding root system. We show that this result also follows from the McKay correspondence.

研究动机与目标

• 建立二维加权齐次超曲面奇点的坐标代数Poincaré级数与单值变换算子特征多项式之间的结构性联系。
• 将此前仅知于平面曲线奇点的Poincaré级数与单值变换之间的关系，推广至具有良好$\mathbb{C}^*$-作用的曲面奇点情形。
• 证明对于非-$A_{2n}$型Kleinian奇点，Poincaré级数为Coxeter元特征多项式与仿射Coxeter元特征多项式的比值。
• 表明该结果源于McKay对应关系与Saito对偶性，从而为单值变换提供基于根系的新的代数几何解释。

提出的方法

• 将Poincaré级数$p_A(t)$定义为奇点坐标代数$A$的分次维数的生成函数。
• 引入辅助有理函数$\psi_A(t) = (1-t)^{2-r} \prod_{i=1}^r (1 - t^{\alpha_i})$与$\phi_A(t) = p_A(t) \psi_A(t)$，其中$r$为轨道点数量，$\alpha_i$为$\mathbb{C}^*$-作用的权。
• 利用Saito对偶性处理分圆多项式乘积，定义$\tilde{\phi}_A(t) = \phi_A(t)/(1-t)^{2g}$的对偶$\tilde{\phi}_A^*(t)$，其中$g$为相应黎曼曲面的亏格。
• 证明$\tilde{\phi}_A^*(t)$等于奇点单值变换算子的特征多项式，从而确立主要对偶性结果。
• 应用McKay对应关系推导Kleinian奇点的结果，表明$\psi_A(t)$为仿射Coxeter多项式，$\phi_A(t)$为Coxeter多项式。
• 将该框架扩展至$\tilde{E}_8$、$\tilde{E}_7$等类型的孤立完备交奇点（ICIS），通过$\phi_A(t)$与$\tilde{\phi}_A(t)$的修改版本，使其与单值多项式匹配。

实验结果

研究问题

• RQ1 是否存在一个普遍公式，将二维加权齐次超曲面奇点的Poincaré级数与其中单值变换算子的特征多项式联系起来？
• RQ2 Saito对偶性是否可用于将Poincaré级数与单值变换不变量关联？
• RQ3 McKay对应关系是否能为Kleinian奇点中观察到的多项式比值关系提供概念性解释？
• RQ4 Poincaré级数与单值多项式之间的对偶性是否可推广至孤立完备交奇点（ICIS）？
• RQ5 奇点的轨道不变量$\{g; b; (\alpha_i, \beta_i)\}$如何影响$\phi_A(t)$的结构及其与单值多项式的对偶性？

主要发现

• 对于非$A_{2n}$型Kleinian奇点，Poincaré级数$p_A(t)$等于对应根系中Coxeter元特征多项式与仿射Coxeter元特征多项式的比值。
• $\phi_A(t)$为分圆多项式的乘积，其Saito对偶$\tilde{\phi}_A^*(t)$等于单值变换特征多项式$\phi_M(t)$。
• Kleinian奇点的结果源于McKay对应关系，为该多项式比值提供了基于二面体群表示理论的几何解释。
• 对于$\tilde{E}_8$、$\tilde{E}_7$、$\tilde{E}_6$与$\tilde{D}_5$型ICIS，经适当归一化$\phi_A(t)$后，对偶性$\tilde{\phi}_A^*(t) = \phi_M(t)$成立。
• 在$p$-重悬垂与Brieskorn-Hamm ICIS情形下，通过引入涉及$d_1$、$d_2$、$p$与$q$的修正归一化因子，对偶性得以保持，且在悬垂与形变下保持不变。
• 对于单连通椭圆奇点，$\phi_A(t) = 1 + (b-2)t + t^2$被证明是旋转$2\pi/d$的特征多项式，对应于$\tilde{E}_8$型图的Coxeter元。