[論文レビュー] FJRW rings and Landau-Ginzburg Mirror Symmetry

Marc Krawitz|ArXiv.org|Jun 4, 2009

Nonlinear Waves and Solitons参考文献 26被引用数 135

ひとこと要約

本稿は、FJRW AモデルとオルビフォールドBモデルを用いて、可逆的準同次特異点におけるランダウ＝ジンブルグ鏡映性を確立し、$W/G^{ ext{max}}$のFJRW環と、ベルグストローム＝フーバークス双対 $W^T$ のオルビフォールドでないBモデルとの間のフロベニウス代数同型を証明する。さらに、例外的特異点のアーノルドの奇妙な双対性が、このLG/LG鏡映性の現れであると特定する。

ABSTRACT

In this article, we study the Berglund--Hübsch transpose construction W^T for invertible quasihomogeneous potential W. We introduce the dual group G^T and establish the state space isomorphism between the Fan-Jarvis-Ruan-Witten A-model of W/G and the orbifold Milnor ring B-model of W^T/G^T. Furthermore, we prove a mirror symmetry theorem at the level of Frobenius algebra structure for G^max. Then, we interpret Arnol'd strange duality of exceptional singularities W as mirror symmetry between W/J and its strange dual W^SD.

研究の動機と目的

• 可逆的特異点に対して、$W/G$ のFJRW Aモデルと $W^T/G^T$ のオルビフォールドBモデルとの間の鏡映性同型を確立すること。
• 最大対称性群 $G^{\text{max}}$ に対してフロベニウス代数同型を証明し、非退化的可逆的ポテンシャルの既知の結果をすべてに拡張すること。
• アーノルドの例外的ユニモーダル特異点における奇妙な双対性を、LG/LG鏡映性の結果として解釈すること。
• 任意の可逆的ポテンシャル $W$ の対角的対称性群 $G$ に対して、双対群 $G^T$ の一般構成を提供し、ベルグストローム＝フーバークスの物理的提案を完成させること。

提案手法

• 任意の可逆的ポテンシャル $W$ の対角的対称性群 $G$ に対して、双対群 $G^T$ を導入し、ベルグストローム＝フーバークス転置 $W^T$ と整合性を持つように保証する。
• 量子特異理論を用いて、FJRW $A$-モデル状態空間 $\mathscr{H}_{W,G}$ をフロベニウス代数として構成する。
• $G^T$ によるミルナー環の不変部分空間を用いて、オルビフォールド $B$-モデル状態空間 $\mathscr{Q}_{W^T,G^T}$ を定義し、標準的ペアリングを備える。
• 状態空間の鏡映性を一般化するため、二重次数付きベクトル空間同型 $\mathscr{H}_{W,G} \cong \mathscr{Q}_{W^T,G^T}$ を確立する。
• $G = G^{\text{max}}$ の場合に、FJRW環 $\mathscr{H}_{W,G^{\text{max}}}$ がオルビフォールドでないBモデル $\mathscr{Q}_{W^T}$ に同型であることを証明し、フロベニウス代数同型を得る。
• 同型を例外的ユニモーダル特異点に適用し、奇妙な双対性が $W \mapsto W^T$ および $G \mapsto G^T$ の対応下で鏡映性に対応することを示す。

実験結果

リサーチクエスチョン

• RQ1 ベルグストローム＝フーバークス転置構成 $W^T$ は、ランダウ＝ジンブルグ設定における $W/G$ の鏡理論をもたらすか？
• RQ2 FJRW $A$-モデルの $W/G^{\text{max}}$ と、$W^T$ のオルビフォールドでない $B$-モデルとの間で、フロベニウス代数同型を確立できるか？
• RQ3 アーノルドの例外的ユニモーダル特異点における奇妙な双対性は、LG/LGフレームワーク内での鏡映性ペアとして実現可能か？
• RQ4 鏡映性が状態空間およびフロベニウス代数の両レベルで成り立つように、与えられた可逆的ポテンシャル $W$ の対角的対称性群 $G$ に対する正しい双対群 $G^T$ は何か？

主な発見

• 任意の可逆的ポテンシャル $W$ と対角的対称性群 $G$ に対して、二重次数付きベクトル空間同型 $\mathscr{H}_{W,G} \cong \mathscr{Q}_{W^T,G^T}$ が確立され、状態空間の鏡映性が証明された。
• 最大対称性群 $G^{\text{max}}$ の場合に、FJRW環 $\mathscr{H}_{W,G^{\text{max}}}$ がオルビフォールドでないBモデル $\mathscr{Q}_{W^T}$ に同型であることが示され、フロベニウス代数の鏡映性が確認された。
• $G^T$ の構成が一般化され、ベルグストローム＝フーバークス転置と整合性を持つことが示され、長年の物理的提案の欠落を埋めた。
• アーノルドの奇妙な双対性が、LG/LG鏡映性と等価であることが示された：$W/\langle J\rangle$ は $W^{SD}$ に鏡映され、$W^{SD}$ は $W$ の奇妙な双対である。
• $U_{12} = x^3 + y^3 + z^4$ に対して、同型 $\mathscr{H}_{U_{12}}^{\langle J\rangle} \cong \mathscr{Q}_{U_{12}^T}^{\mathbb{Z}/3\mathbb{Z}}$ が明示的に検証され、Bモデルのオルビフォールド $\mathbb{Z}/3\mathbb{Z}$ が $\mathbb{C}[X,Y,Z]/\langle X^2, Y^2, Z^3 \rangle$ に同型であることが示された。
• 鏡写像の下でフロベニウス代数構造が保存され、Bモデルにおける乗法はペアリングと不変射影を用いて定義され、環同型が確認された。