[論文レビュー] Mirror symmetry for exceptional unimodular singularities

Changzheng Li, Si Li+2 more|arXiv (Cornell University)|May 18, 2014

Algebraic Geometry and Number Theory参考文献 21被引用数 9

ひとこと要約

本稿は、例外的ユニモジュラー特異点におけるLandau-Ginzburg/Calabi-Yau (LG-LG) ミラー対称性予想を、B側のSaito-Givental理論とA側のFan-Jarvis-Ruan-Witten (FJRW)理論の同値性を確立することで証明する。著者らは、原始形式からの genus-zero 相関関数を計算するための新規な摂動法を用い、オルビフォールド-Grothendieck-Riemann-RochおよびWDVV方程式を用いて数値的不変量を一致させ、再構成技法により全 genus へと拡張することで、中心指数 >1 を持つ重み付き斉次多項式に対する LG-LG ミラー対称性の初の証明を提供する。

ABSTRACT

In this paper, we prove the mirror symmetry conjecture between the Saito-Givental theory of exceptional unimodular singularities on Landau-Ginzburg B-side and the Fan-Jarvis-Ruan-Witten theory of their mirror partners on Landau-Ginzburg A-side. On the B-side, we compute the genus-zero generating function from a perturbative formula of primitive forms introduced by the first three authors recently. This computation matches the orbifold-Grothendieck-Riemann-Roch and WDVV calculations in FJRW theory on the A-side. The coincidence of the full data at all genera is established by reconstruction techniques. Our result establishes the first examples of LG-LG mirror symmetry of all genera for weighted homogeneous polynomials of central charge greater than one (i.e. which contain negative degree deformation parameters).

研究の動機と目的

• 中心指数 >1 を持つ重み付き斉次多項式に対して未解決のままだった、例外的ユニモジュラー特異点における LG-LG ミラー対称性予想を確立すること。
• 特異点のミラー対について、B側の Saito-Givental理論（原始形式）と A側の FJRW理論（オルビフォールド Gromov-Witten 不変量）の間のギャップを埋めること。
• 例外的ユニモジュラー特異点に対して、Saito理論枠組み内での genus-zero 相関関数を計算するための摂動法を開発・適用すること。
• オルビフォールド-Grothendieck-Riemann-Rochおよび WDVV 方程式による計算を通じて、両理論間の数値的不変量の一致を検証すること。
• 再構成技法を用いて genus-zero の一致を全 genus へと拡張し、完全なミラー対称性の同値性を証明すること。

提案手法

• Saito理論における原始形式から、基底空間上の平坦座標と指数写像を用いて、genus-zero 相関関数を計算するための摂動法を開発する。
• Frobenius多様体構造の3点FJRW不変量から導かれる前位勢を用いて、汎在関数を構成する。
• 摂動フレームワークを用いて、例外的ユニモジュラー特異点における全 genus-zero 前位勢 $\mathcal{F}^{\rm FJRW}_{0,W}$ を計算する。
• WDVV方程式およびオルビフォールド-Grothendieck-Riemann-Roch公式を用いて、FJRW側での数値的不変量を計算・検証する。
• 再構成定理を用いて、genus-zero データから全祖先汎在関数 $\mathscr{A}^{\rm FJRW}_W$ を再構成することで、全 genus における同値性を確立する。
• 両理論間で、$t_3^2 t_4 t_{11}$、$t_2^2 t_6 t_{12}$、$t_3^3 t_{12}$ などの高次項を含む完全な不変量セットを一致させることで、ミラー対称性を検証する。

実験結果

リサーチクエスチョン

• RQ1 例外的ユニモジュラー特異点の Saito-Givental理論は、その双対特異点の FJRW理論と genus zero でミラー対称であるか？
• RQ2 Saito理論における摂動法は、例外的ユニモジュラー特異点の genus-zero 相関関数を正確に計算できるか？
• RQ3 Saitoの原始形式による計算で得られる数値的不変量は、オルビフォールド-Grothendieck-Riemann-Rochおよび WDVV制約を用いた FJRW理論の結果と一致するか？
• RQ4 genus-zero のミラー対称性の結果は、再構成技法を用いて全 genus へと拡張可能か？
• RQ5 両理論間で、$t_3^2 t_4 t_{11}$ や $t_2^2 t_6 t_{12}$ などの高次項を含む完全な不変量セットが一致するか？

主な発見

• 摂動法は、すべての例外的ユニモジュラー特異点において、Saito理論における genus-zero 相関関数を効果的に計算でき、FJRW不変量との明示的比較を可能にした。
• Saitoの原始形式による計算で得られた数値的不変量は、オルビフォールド-Grothendieck-Riemann-Rochおよび WDVV方程式による計算で正確に FJRW理論の結果と一致した。
• 各例外的ユニモジュラー特異点について、genus-zero 前位勢 $\mathcal{F}^{\rm FJRW}_{0,W}$ は、Saito理論的汎在関数と、$\frac{1}{4}t_3^2 t_4 t_{11}$ や $\frac{1}{8}t_2 t_4^2 t_{11}$ などの項まで一致した。
• genus-zero データから全祖先汎在関数を再構成することで、全 genus における不変量の完全な一致が示され、genus 0 を超えるミラー対称性が確認された。
• 特に $U_{12}$ 場合において、$\frac{5}{26}t_3^2 t_4 t_{12}$、$\frac{2}{13}t_2 t_4^2 t_{12}$、$\frac{3}{26}t_2^2 t_6 t_{12}$ といった特定の高次項が両理論で正確に一致した。
• 本稿は、中心指数が1より大きい重み付き斉次多項式に対する LG-LG ミラー対称性の初の証明を確立し、長年の未解決問題を解決した。