[論文レビュー] 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é級数とその双対形が、39種の自己双対Frame型を有するLeech格子自己同型の特性多項式を生成することを示している。

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種の自己双対Frame型を、5つの異なる幾何的・代数的構成法を用いて分類・実現すること。

提案手法

• Fuchsian特異点の軌道不変量{g; b; (αi, βi)}を用いて、Poincaré級数pA(t)と補助多項式ψA(t)を定義する。
• φA(t) = pA(t)ψA(t)を導入し、Fuchsian特異点においてこれがコクセター元c∞の特性多項式であることを示す。
• Fuchsian ICISに対して、φA(t)を有理関数˜φA(t)に修正し、そのSaito双対がモノドロミー特性多項式φM(t)またはその変種φ♭M(t)に一致することを示す。
• この双対性をK3表面の鏡映性対称性と関連づけ、˜φA(t)とその双対形がLeech格子自己同型の特性多項式を形成することを示す。
• Dedekindのエータ関数ηπ(τ)を用いて、各Frame型πにモジュラー関数を関連付け、ηπがΓ′ ⊃ Γ0(h)の genus-zero 合同部分群の関数体を生成することを検証する。
• 5つの方法を用いて39種の自己双対Frame型を構成する：(a) Niemeier格子の組み合わせ、(b) 表3および表4の特異点、(c) 単純な楕円的特異点の記号の積、(d) Fuchsian ICISの記号、(e) 表3および表4の特異点（e）から得られるψA(t)。

実験結果

リサーチクエスチョン

• RQ1 Fuchsian ICISのPoincaré級数は、モノドロミー作用素の特性多項式とどのように関係するか？
• RQ2 Arnoldの奇妙な双対性を超えて、Poincaré級数とモノドロミー多項式の双対性をFuchsian ICISに拡張できるか？
• RQ3 この双対性はK3表面の鏡映性対称性とどのように関連するか？
• RQ4 Fuchsian ICISの特性多項式から生じるLeech格子のどの自己同型が得られるか？
• RQ5 39種の自己双対Frame型は、幾何的・代数的構成法によってすべて実現可能か？

主な発見

• Fuchsian特異点における多項式φA(t)は、コクセター元c∞の特性多項式である。
• Fuchsian ICISに対して、修正された有理関数˜φA(t)とそのSaito双対は、モノドロミー特性多項式φM(t)またはφ♭M(t)を生成し、K3表面の鏡映性対称性に類似した双対性を確立する。
• (˜φA(t), dual(˜φA(t)))の組は、Leech格子自己同型の特性多項式を形成する。
• Milnor数µ = 25であるC4内の24次元準同次的ICISは、自己双対であり、Leech格子自己同型に対応するモノドロミー多項式φ♭M(t)を持つ。
• 39種の自己双対Frame型は、Niemeier格子の組み合わせや表3および表4の特異点を含む5つの異なる構成法によって実現されている。
• 各Frame型πに付随するモジュラー関数ηπ(τ)は、Γ′ ⊃ Γ0(h)のgenus-zero合同部分群の関数体を生成し、双対性のモジュラー性が裏付けられる。