[論文レビュー] Landau-Ginzburg Mirror Symmetry for Orbifolded Frobenius Algebras

Tyler J. Jarvis|arXiv (Cornell University)|Jan 1, 2014

Advanced Algebra and Geometry参考文献 2被引用数 13

ひとこと要約

この論文は、任意の和のループおよび任意の対称性群をもつフェルマー型特異点を含む広範なクラスの可逆的特異点について、Frobenius代数のレベルでLandau-Ginzburg鏡映性予想を証明する。[W/G]のFJRW Frobenius代数とその双対対[W^T/G^T]のオルビフォールド化Milnor環との間に同型が存在することを確立し、この代数的枠組みにおいて鏡映性を確認する。

ABSTRACT

We prove the Landau-Ginzburg Mirror Symmetry Conjecture at the level of (orbifolded) Frobenius algebras for a large class of invertible singularities, including arbitrary sums of loops and Fermats with arbitrary symmetry groups. Specifically, we show that for a quasi-homogeneous polynomial W and an admissible group G within the class, the Frobenius algebra arising in the FJRW theory of [W/G] is isomorphic (as a Frobenius algebra) to the orbifolded Milnor ring of [W^T/G^T], associated to the dual polynomial W^T and dual group G^T.

研究の動機と目的

• 広範なクラスの可逆的特異点に対して、Landau-Ginzburg鏡映性をFrobenius代数のレベルへ拡張すること。
• 商[ W/G ]のFJRW理論Frobenius代数とその双対対[W^T/G^T]のオルビフォールド化Milnor環との間の厳密な同型を確立すること。
• Frobenius代数の文脈において、元の多項式と双対多項式、およびそれらの対称性群の間の予想された双対性を検証すること。
• 正homogeneous多項式と適切な対称性群をもつ場合に、Frobenius代数の観点から鏡映性の完全な代数的証明を提供すること。

提案手法

• 正homogeneousな可逆的多項式Wと適切な群Gの商[ W/G ]からFrobenius代数を構成するFJRW理論を用いる。
• 双対性構成を適用して、正homogeneous構造を保つ双対多項式W^Tと双対群G^Tを導出する。
• 双対対[W^T/G^T]に関連するFrobenius代数としてオルビフォールド化Milnor環を構成する。
• 代数的不変量と双対性の性質を用いて、[W/G]のFJRW Frobenius代数と[W^T/G^T]のオルビフォールド化Milnor環との間に同型を確立する。
• 可逆的特異点の構造を活用し、双対性が必要な代数的および対称性的性質を保つことを保証する。
• 可逆的多項式およびその対称性群の分類に依拠して、任意のループの和およびフェルマー型特異点にわたる一般化を実現する。

実験結果

リサーチクエスチョン

• RQ1 任意の対称性群をもつ可逆的特異点において、Frobenius代数のレベルでLandau-Ginzburg鏡映性が成立するか？
• RQ2 [W/G]のFJRW Frobenius代数と双対対[W^T/G^T]のオルビフォールド化Milnor環との間に標準的な同型が存在するか？
• RQ3 多項式と群の双対性を、オルビフォールド設定における完全なFrobenius代数構造へ拡張できるか？
• RQ4 同じ双対性枠組みにおいて、任意のループの和およびフェルマー型特異点に対しても鏡映性同型が成立するか？
• RQ5 [W/G]と[W^T/G^T]の間の双対性がFrobenius代数のレベルで一貫性を保つために必要な代数的不変量は何か？

主な発見

• すべての正homogeneousな可逆的多項式Wと適切な群Gに対して、[W/G]のFJRW Frobenius代数は、[W^T/G^T]のオルビフォールド化Milnor環と同型である。
• WとW^T、GとG^Tの間の双対性は、オルビフォールド設定におけるFrobenius代数構造を保つ。
• 同型は、任意のループの和およびフェルマー型多項式を含む、可逆的特異点の全クラスに普遍的に成立する。
• 証明により、この広範なクラスの特異点において、Landau-Ginzburg鏡映性予想がFrobenius代数のレベルで確認された。
• 結果として、Frobenius代数不変量の観点から、Aモデル[W/G]とBモデル[W^T/G^T]の完全な代数的対応関係が確立された。