[論文レビュー] Poincaré series and monodromy of a two-dimensional quasihomogeneous hypersurface singularity

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

Nonlinear Waves and Solitons被引用数 7

ひとこと要約

本稿は、2次元準同次的超曲面特異点における座標代数のPoincaré級数とモノドロミーの特徴多項式の間の明確な関係を確立する。非$A_{2n}$型のKleinian特異点に対して、Poincaré級数はコックスター元の特徴多項式をアフィンコックスター元の特徴多項式で割ったものに等しいことを証明しており、これはMcKay対応と斎藤双対性を用いて導かれる。

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.

研究の動機と目的

• 2次元準同次的超曲面特異点における座標代数のPoincaré級数とモノドロミー作用素の特徴多項式との間の構造的関係を確立すること。
• 平面曲線特異点に対しては既知であったPoincaré級数とモノドロミーの関係を、$\mathbb{C}^*$-作用が良い性質を持つ表面特異点への拡張すること。
• 非$A_{2n}$型Kleinian特異点に対して、Poincaré級数がコックスター元の特徴多項式をアフィンコックスター元の特徴多項式で割ったものに等しいことを示すこと。
• この結果がMcKay対応と斎藤双対性から導かれることを示し、モノドロミーを根系に基づく新しい代数的幾何的解釈を与えること。

提案手法

• 特異点の座標代数$A$の各次元の次数付き次元の母関数として、Poincaré級数$p_A(t)$を定義する。
• 補助的な有理関数$\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}^*$-作用の重みである。
• 巡回多項式の積に対する斎藤双対性を用いて、$\tilde{\phi}_A(t) = \phi_A(t)/(1-t)^{2g}$の双対$\tilde{\phi}_A^*(t)$を定義する。ここで$g$は関連するリーマン面の genus である。
• この双対$\tilde{\phi}_A^*(t)$が特異点のモノドロミー作用素の特徴多項式に等しいことを証明し、主な双対性結果を確立する。
• McKay対応を適用してKleinian特異点に対して結果を導出し、$\psi_A(t)$がアフィンコックスター多項式であり、$\phi_A(t)$がコックスター多項式であることを示す。
• 修正された$\phi_A(t)$と$\tilde{\phi}_A(t)$のバージョンを用いて、孤立完全交差特異点（ICIS）のタイプ$\tilde{E}_8$、$\tilde{E}_7$などにこの枠組みを拡張し、モノドロミー多項式と一致させる。

実験結果

リサーチクエスチョン

• RQ1 2次元準同次的超曲面特異点のPoincaré級数とそのモノドロミー作用素の特徴多項式との間には、普遍的な公式が存在するか？
• RQ2 巡回多項式の積に対する斎藤双対性を用いて、Poincaré級数とモノドロミー不変量との関係を確立できるか？
• RQ3 McKay対応は、Kleinian特異点で観察された多項式の比の背後にある概念的説明を提供するか？
• RQ4 Poincaré級数とモノドロミー多項式の双対性は、孤立完全交差特異点（ICIS）へ拡張可能か？
• RQ5 特異点の軌道不変量$\{g; b; (\alpha_i, \beta_i)\}$は、$\phi_A(t)$の構造とモノドロミー多項式との双対性にどのように影響するか？

主な発見

• 非$A_{2n}$型Kleinian特異点に対して、Poincaré級数$p_A(t)$は、対応する根系のコックスター元の特徴多項式をアフィンコックスター元の特徴多項式で割ったものに等しい。
• $\phi_A(t)$は巡回多項式の積であり、その斎藤双対$\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$型グラフのコックスター元に対応することが示された。