[論文レビュー] FJRW-Rings and Landau-Ginzburg Mirror Symmetry in Two Dimensions

Pedro Acosta|ArXiv.org|Jun 4, 2009

Homotopy and Cohomology in Algebraic Topology参考文献 5被引用数 9

ひとこと要約

本稿は、2次元ループ型特異点におけるLandau-Ginzburg鏡映性予想を、AモデルのFJRW環（非特異的で準同次的なループ型汎関数 $W$ 及びその最大対角対称群 $G_W$ から構成）と双対特異点 $W^T$ の非軌道化ミルナー環との間の明示的で次数を保つ同型写像を構成することによって証明する。この同型写像は、FJRW相関関数の明示的計算と双対関係の検証により確立され、2次元における予想の証明を完了する。

ABSTRACT

For any non-degenerate, quasi-homogeneous hypersurface singularity W and an admissible group of diagonal symmetries G, Fan, Jarvis, and Ruan have constructed a cohomological field theory which is a candidate for the mathematical structure behind the Landau-Ginzburg A-model. When using the orbifold Milnor ring of a singularity W as a B-model, and the Frobenius algebra H_{W,G} constructed by Fan, Jarvis, and Ruan, as an A-model, the following conjecture is obtained: For a quasi-homogeneous singularity W and a group G of symmetries of W, there is a dual singularity W^T such that the orbifold A-model of W/G is isomorphic to the B-model of W^T. I will show that this conjecture holds for a two-dimensional invertible loop potential $W$ with its maximal group of diagonal symmetries $G_{W}$.

研究の動機と目的

• 2次元ループ型特異点におけるLandau-Ginzburg鏡映性予想を証明すること。
• FJRW環 $\mathscr{H}_{W,G_W}$ と双対特異点のミルナー環 $\mathscr{Q}_{W^T}$ の間の明示的同型写像を確立すること。
• チェーン型および単純特異点に対する先行証明に続く形で、ループ型汎関数についての検証を通じて、2次元における予想の分類を完了すること。
• FJRW理論の枠組みを、最大対称群を持つ可逆的・非特異的特異点の双対性を含む形に拡張すること。

提案手法

• 2変数のループ型汎関数 $W = X_1^{a_1}X_2 + X_2^{a_2}X_1$ 及びその最大対角対称群 $G_W$ からFJRW環 $\mathscr{H}_{W,G_W}$ を構成する。
• 元のループ型特異点の拡張ディンキン図の転置に対応する双対特異点 $W^T = \overline{X}_1^{a_2} + \overline{X}_2^{a_1}$ を定義する。
• 単項式 $\overline{X}_1^\alpha \overline{X}_2^\beta$ を $\mathbf{e}_{Jg_1^\alpha g_2^\beta}$ に写像する写像 $\varphi: \mathscr{Q}_{W^T} \to \mathscr{H}_{W,G_W}$ を定義する。$X_1^{a_2-1}$ 及び $X_2^{a_1-1}$ の特別な写像も含む。
• FJRW相関関数を用いて、$\mathscr{Q}_{W^T}$ の関係式が $\mathscr{H}_{W,G_W}$ に零写像されることを検証し、$\varphi$ が適切に定義され、次数を保つ代数同型写像であることを確認する。
• FJRW理論のAxiom 3–5と線分束の次数条件を用いて4点相関関数 $\Lambda_{0,4}^W$ を計算し、$\mathbf{e}_{h_2}^{a_1} + a_2 \mathbf{e}_{h_2} \star \mathbf{e}_{h_1}^{a_2-1} = 0$ などの重要な関係を導出する。
• $\varphi$ が全単射であることを示す。$\dim \mathscr{Q}_{W^T} = \dim \mathscr{H}_{W,G_W}$ を確認し、Frobenius代数としての同型写像であることを結論づける。

実験結果

リサーチクエスチョン

• RQ1 2次元ループ型特異点とその最大対称群に対して、Landau-Ginzburg鏡映性予想は成立するか？
• RQ2 ループ型特異点のFJRW環とその双対のミルナー環との間で明示的同型写像を構成できるか？
• RQ3 FJRW理論における相関関数は、2次元におけるループ型とチェーン型特異点の双対性をどのように反映するか？
• RQ4 線分束の次数 $l_1$ と $l_2$ は、FJRW枠組みにおける非自明な4点相関関数の計算においてどのような役割を果たすか？
• RQ5 ループ型汎関数のFJRW環は、その双対特異点の非軌道化Bモデルと同型であるか？

主な発見

• 可逆的で2次元の特異点（ループ型汎関数を含む）すべてについて、Landau-Ginzburg鏡映性予想が完全に検証された。FJRW環 $\mathscr{H}_{W,G_W}$ と双対特異点 $W^T$ のミルナー環 $\mathscr{Q}_{W^T}$ の間の同型写像の証明により実現された。
• 同型写像 $\varphi: \mathscr{Q}_{W^T} \to \mathscr{H}_{W,G_W}$ が明示的に構成され、全単射であることが示された。$\dim \mathscr{Q}_{W^T} = \dim \mathscr{H}_{W,G_W} = \mu = (a_1 - 1)(a_2 - 1) + 1$ が成り立つ。
• 相関関数の計算により、FJRW環における重要な関係が導出された：$\mathbf{e}_{h_2}^{a_1} + a_2 \mathbf{e}_{h_2} \star \mathbf{e}_{h_1}^{a_2-1} = 0$ および $\mathbf{e}_{h_1}^{a_2} + a_1 \mathbf{e}_{h_1} \star \mathbf{e}_{h_2}^{a_1-1} = 0$。これらは $W^T$ のヤコビアン関係と一致する。
• 4点関数 $\Lambda_{0,4}^W(\mathbf{e}_{Jg_2^{a_1-2}}, \mathbf{e}_{Jg_2}, \mathbf{e}_{Jg_2}, \mathbf{e}_{Jg_2^{a_1-2}})$ は $-a_2$ に評価され、Axiom 5により双対構造が確認された。
• $\varphi$ はFrobenius代数構造を保存する。これは、留数ペアリングと単位元を保存し、生成元 $\overline{X}_i$ を $\mathbf{e}_{Jg_i}$ に写像することにより実現される。
• FJRW理論の先行研究（チェーン型汎関数のファン＝シェン、単純特異点のFJR）と併せることで、2次元におけるLandau-Ginzburg鏡映性予想の証明が完全に完了した。