[論文レビュー] Mirror symmetry between orbifold curves and cusp singularities with group action

Wolfgang Ebeling, Atsushi Takahashi|arXiv (Cornell University)|Mar 28, 2011

Algebraic structures and combinatorial models参考文献 16被引用数 3

ひとこと要約

本稿は、有限な対称性群をもつ可逆的多項式によって定義される軌道曲線と、群作用を伴う尖点特異点の間で鏡対称性の対応を確立し、軌道曲線のドルガーチェフ数が鏡の尖点特異点のガブリエルーフ数と一致すること、および曲線のストリングイカ・オイラー標数が鏡の特異点のG^T-不変ミルナー数に一致することを示している。

ABSTRACT

We consider an orbifold Landau-Ginzburg model $(f,G)$, where $f$ is an invertible polynomial in three variables and $G$ a finite group of symmetries of $f$ containing the exponential grading operator, and its Berglund-Hübsch transpose $(f^T, G^T)$. We show that this defines a mirror symmetry between orbifold curves and cusp singularities with group action. We define Dolgachev numbers for the orbifold curves and Gabrielov numbers for the cusp singularities with group action. We show that these numbers are the same and that the stringy Euler number of the orbifold curve coincides with the $G^T$-equivariant Milnor number of the mirror cusp singularity.

研究の動機と目的

• 軌道曲線と群作用を伴う尖点特異点の設定において、ホモロジカル鏡対称性を一般化すること。
• 鏡対称性の下で定義され、計算可能な不変量（軌道曲線のドルガーチェフ数と群作用を伴う尖点特異点のガブリエルーフ数）を定義すること。
• 軌道曲線のストリングイカ・オイラー標数が、鏡の尖点特異点のG^T-不変ミルナー数に一致することを検証すること。
• アーノルドの奇妙な双対性やセイデルの例といった既知の双対性が、提案された鏡対称性の特別な場合として回復されることを示すこと。
• Poincaré級数 (f, G₀) が双対ペア (f^T, G₀^T) と (F, G₀^T) の特性多項式の商として表現可能である条件を特定すること。

提案手法

• 可逆的多項式 f による零点集合を拡張群 G̃ = ℂ^* ⋊ G で割ったものとして軌道曲線 C_{(f,G)} を定義する。
• F(x,y,z) = x^{γ′₁} + y^{γ′₂} + z^{γ′₃} - xyz として鏡の尖点特異点を構成し、これは f^T - xyz と右同値である。
• ベルグスタイン＝フーブシュ転置 (f^T, G^T) を用いて鏡双対ペアを定義する。
• 軌道曲線の特異点における等長部分群の位数としてドルガーチェフ数を定義する。
• F のミルナー被覆上の G^T-作用を通じてガブリエルーフ数を定義し、特異点の不変トポロジーを捉える。
• 半直交分解と軌道カテゴリ構成を用いて、整合的線形系の導来カテゴリとフカヤカテゴリを関連付ける。

実験結果

リサーチクエスチョン

• RQ1 軌道曲線のドルガーチェフ数と、鏡の尖点特異点（群作用を伴う）のガブリエルーフ数との関係は何か？
• RQ2 軌道曲線のストリングイカ・オイラー標数は、鏡の尖点特異点の G^T-不変ミルナー数に等しいか？
• RQ3 アーノルドの奇妙な双対性やセイデルの例は、この鏡対称性フレームワークの特別な場合として回復可能か？
• RQ4 Poincaré級数 (f, G₀) が双対ペアの特性多項式の商として表現可能となる条件は何か？
• RQ5 軌道曲線の genus と G^T の年齢 1 の固定点構造との間には、幾何学的・位相的対応があるか？

主な発見

• 軌道曲線 C_{(f,G)} のドルガーチェフ数は、鏡の尖点特異点 (F, G^T) のガブリエルーフ数と完全に一致する。
• C_{(f,G)} のストリングイカ・オイラー標数は、F で定義される尖点特異点の G^T-不変ミルナー数に等しい。
• 軌道曲線 C_{(f,G)} の genus は、G^T において原点のみを固定する年齢 1 の元の数に等しい。
• G = G₀ のとき、(f, G₀) の Poincaré 級数は、(f^T, G₀^T) と (F, G₀^T) の特性多項式の商として表現可能である。
• G = G_f^{fin}（最大対称性群）のとき、鏡は群作用が自明な尖点特異点 T_{2,3,6} となり、エーベリング＝タカハシの結果が回復される。
• f(x,y,z) = x^5 + y^5 + z^5 と G₀ = ℤ/5ℤ の例では、genus 2 の曲線が得られ、ドルガーチェフ数は (5,5,5) となり、鏡の尖点特異点 x^5 + y^5 + z^5 - xyz と双対的である。これはセイデルの例を回復する。