[論文レビュー] Computation of open Gromov-Witten invariants for toric Calabi-Yau 3-folds by topological recursion, a proof of the BKMP conjecture

Bertrand Eynard, Nicolas Orantin|arXiv (Cornell University)|May 5, 2012

Algebraic Geometry and Number Theory被引用数 6

ひとこと要約

本稿は、トーリックCalabi-Yau 3-foldの開Gromov-Witten不変量と、鏡のBモデルにおける位相的再帰によって計算される不変量の間の対応を確立することにより、すべての genus に対してBKMP予想を証明する。著者らは、両側の予想が、組合せ的グラフの重み付き和として表現できることを示し、Aモデル側では局所化を、Bモデル側では位相的再帰アルゴリズムを用いる。Bモデルのグラフを再編成し、大半半径極限と特別幾何学的性質を用いて頂点および辺の重みを一致させることで、すべてのトーリックCalabi-Yau 3-foldに対して予想が普遍的に成り立つことを証明する。

ABSTRACT

The BKMP conjecture (2006-2008), proposed a new method to compute closed and open Gromov-Witten invariants for every toric Calabi-Yau 3-folds, through a topological recursion based on mirror symmetry. So far, this conjecture had been verified to low genus for several toric CY3folds, and proved to all genus only for C^3. In this article we prove the general case. Our proof is based on the fact that both sides of the conjecture can be naturally written in terms of combinatorial sums of weighted graphs: on the A-model side this is the localization formula, and on the B-model side the graphs encode the recursive algorithm of the topological recursion. One can slightly reorganize the set of graphs obtained in the B-side, so that it coincides with the one obtained by localization in the A-model.Then it suffices to compare the weights of vertices and edges of graphs on each side, which is done in 2 steps: the weights coincide in the large radius limit, due to the fact that the toric graph is the tropical limit of the mirror curve. Then the derivatives with respect to Kähler radius coincide due to special geometry property implied by the topological recursion.

研究の動機と目的

• トーリックCalabi-Yau 3-foldの開Gromov-Witten不変量と、鏡のBモデルにおける位相的再帰によって計算される不変量を関連付けるBKMP予想を証明すること。
• すべてのトーリックCalabi-Yau 3-foldに対して、局所化によって計算されるAモデル不変量と、位相的再帰によって計算されるBモデル不変量の間の普遍的対応を確立すること。
• genus 0 を超えるGromov-Witten不変量の計算という長年の課題を、鏡対称性の両側における組合せ的グラフ和の接続によって解決すること。
• 大半半径極限と特別幾何学的性質を用いて、位相的再帰フレームワークにおけるグラフの重みと局所化からの重みが一致することを示すこと。

提案手法

• AモデルとBモデルの両方の不変量を、重み付きグラフの組合せ的和として表現する：Aモデルは局所化を用い、Bモデルは位相的再帰を用いる。
• Bモデルのグラフ集合を、Aモデルのグラフ集合の構造に一致するように再編成する。
• 大半半径極限において、頂点および辺の重みが一致することを証明する。このとき、トーリックグラフは鏡曲線のトロピカル極限となる。
• スペクトル不変量の特別幾何学的性質を用いて、Kählerモジュライに関する微分が両側で一致することを示す。
• 位相的再帰からの再帰的関係を適用し、Kählerモジュライの展開において、高genusの振幅を順次一致させる。
• 留数計算と輪郭変形を用いて、スペクトル不変量の微分と再帰構造を関連させ、両モデルの生成関数がすべての次数で等しいことを証明する。

実験結果

リサーチクエスチョン

• RQ1 Bモデル側における位相的再帰は、BKMP予想が予測するように、トーリックCalabi-Yau 3-foldの開Gromov-Witten不変量を再現するか？
• RQ2 Aモデルにおける局所化から得られるグラフベースの組合せ的和は、Bモデルにおける位相的再帰によって生成されるグラフ構造と双対的に一致するか？
• RQ3 大半半径極限において、AモデルおよびBモデルのグラフ展開における頂点および辺の重みは一致するか？
• RQ4 特別幾何学的制約のおかげで、Bモデルの振幅のKählerモジュライに関する微分がAモデルのそれと等価になるか？
• RQ5 両モデル間の生成関数の等価性は、genus 0 に限らず、すべての genus において保持されるか？

主な発見

• BKMP予想は、トーリックCalabi-Yau 3-foldにおいて、すべての genus に対して証明された。これは、従来の低genus または特定のケースに限った検証を拡張したものである。
• Bモデル側で位相的再帰によって生成されるグラフ集合は、Aモデル側の局所化によるグラフ集合と正確に一致するように再編成可能である。
• 大半半径極限において、両フレームワークの頂点および辺の重みが一致する。これは、トーリックグラフが鏡曲線のトロピカル極限であることに起因する。
• スペクトル不変量の特別幾何学的性質を用いて、Kählerモジュライに関する微分の一致が確立された。
• Kählerモジュライの展開において、すべての次数で証明が成立し、genus 0 の場合に限らない完全な予想の正当化が得られた。
• 留数計算と輪郭変形を用いて、生成関数の等価性を順次証明し、再帰構造が局所化の重みと正確に一致することを示した。