[論文レビュー] Landau-Ginzburg Mirror Symmetry Conjecture

Weiqiang He, Si Li+2 more|arXiv (Cornell University)|Mar 5, 2015

Advanced Algebra and Geometry参考文献 37被引用数 17

ひとこと要約

本論文は、可逆な準同次多項式特異点のケースにおいて、すべての生成数についてLandau-Ginzburg鏡対称性予想を、FJRW理論（LG Aモデル）と鏡多項式のSaito-Givental理論（LG Bモデル）の同値性を確立することで、完全に証明する。証明はWDVV方程式と摂動公式を用いた再構成法に依拠し、非凹の場合にはPolishchuk-Vaintrobの仮想クラスを用いた相関関数の明示的計算が行われ、最終的に鎖型およびループ型多項式を含むすべてのアトミック型において予想が検証される。

ABSTRACT

We prove the Landau-Ginzburg mirror symmetry conjecture between invertible quasi-homogeneous polynomial singularities at all genera. That is, we show that the FJRW theory (LG A-model) of such a polynomial is equivalent to the Saito-Givental theory (LG B-model) of the mirror polynomial.

研究の動機と目的

• 可逆な準同次多項式のすべての生成数について、Landau-Ginzburg鏡対称性予想の完全な数学的証明を確立すること。
• 多項式 $W$ のFJRW理論（LG Aモデル）とその鏡 $W^T$ のSaito-Givental理論（LG Bモデル）の同値性を示すこと。
• WDVV方程式と生成数0のデータを用いたFJRW理論における相関関数の体系的再構成法の開発。
• 特にループ型多項式に対して、非凹な場合の相関関数をPolishchuk-Vaintrobの仮想クラスと摂動公式を用いて計算すること。
• スプリットリング原理により一般ケースをアトミック型（鎖型およびループ型多項式）に還元し、再帰的再構成による一貫性を証明することで、すべてのアトミック型において予想を検証すること。

提案手法

• AモデルにはFJRWの特異コホロジー場理論、BモデルにはSaito-Givental理論を適用し、鏡多項式 $W^T$ は $W$ の指数行列の転置として定義される。
• WDVV方程式を用いて、生成数0のデータから高生成数の相関関数を再構成し、複雑な相関関数を単純なものに還元する再構成補題を適用する。
• Brieskorn格子、高次留数ペアリング、よい基底に基づく摂動公式を用いて、Bモデルの汎関数の明示的計算を可能にする。
• 非凹な場合（例：$a_N = 2$ であるループ型多項式）には、Chern特徴類とベルヌーイ数の母関数を含む極限公式を用いて、Polishchuk-Vaintrobの仮想クラスを適用する。
• 多項式の非可約成分を分離するスプリットリング原理を用いて、一般ケースをアトミック型（鎖型およびループ型多項式）に還元する。
• Krawitzの鏡写像を適用し、$W$ のFJRW状態空間と $W^T$ のJacobi代数との間の整合性を保証する。

実験結果

リサーチクエスチョン

• RQ1 可逆な多項式 $W$ とその最大対称群 $G_W$ に対して、FJRW理論がすべての生成数において、その鏡 $W^T$ のSaito-Givental理論と同値であるか。
• RQ2 FJRW理論の生成数0のデータを用いて、WDVV方程式により高生成数の相関関数を再構成できるか。
• RQ3 標準的な凹性公理が失敗する非凹な場合（例：$a_N = 2$ であるループ型多項式）において、相関関数はどのように計算できるか。
• RQ4 鏡写像の下で、鎖型およびループ型多項式を含むすべてのアトミック型において、再構成手続きが一様に成立するか。
• RQ5 Bモデル汎関数の摂動公式が、仮想クラスの計算を通じてFJRW汎関数と正確に一致するか。

主な発見

• 可逆な準同次多項式のすべての生成数について、Landau-Ginzburg鏡対称性予想が完全に証明された。
• 変数変換の下で、$(W, G_W)$ のFJRW汎関数は鏡多項式 $W^T$ のSaito-Givental汎関数と一致し、予想が確認された。
• $a_N = 2$ であるループ型多項式に対して、Polishchuk-Vaintrobの仮想クラスの公式により、相関関数の正確な計算が可能になり、非凹な場合が解決された。
• 再構成補題により、複雑な相関関数が生成数0のデータに還元され、フェルマー型多項式のケースで明示的検証が行われた。
• 鎖型多項式に対して、キーパラメータ $X = (a-1)q_1 = q_2$ が導出され、再構成プロセスの一貫性が確認された。
• 証明により、鏡写像が、重み1/2の変数が存在しない場合でも、$W$ のFJRW状態空間と $W^T$ のJacobi代数との間に同型を誘導することが示された。