[論文レビュー] A Correlator Formula for Quantum Sheaf Cohomology

Zhentao Lu|arXiv (Cornell University)|Nov 30, 2015

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

ひとこと要約

本稿は、ネフ・ファノの滑らかな射影的トーリック多様体に対する$(0,2)$ゲージ線形スカラー・モデルにおける量子相関関数に関するMcOristとMelnikovの予想を証明する。量子層コホモロジーと相関関数の積分表現を用いて、Szenes-Vergneによるトーリックリジデューサ・ミラー予想の証明を一般化する和公式を確立し、統合サイクルのホモロジー同値性により、量子相関関数の公式が確認される。

ABSTRACT

For a class of monadic deformations of the tangent bundles over nef-Fano smooth projective toric varieties, we study the correlators using quantum sheaf cohomology. We prove a summation formula for the correlators, confirming a conjecture by McOrist and Melnikov in physics literature. This generalizes the Szenes-Vergne proof of Toric Residue Mirror Conjecture for hypersurfaces.

研究の動機と目的

• トーリック多様体における$(0,2)$理論の量子相関関数に関するMcOristとMelnikovの予想を証明すること。
• 量子層コホモロジーを用いて、Szenes-Vergneの手法を$(0,2)$設定に拡張すること。
• 幾何的段階における物理的予想と一致する量子相関関数の和公式を確立すること。
• 正規性とホモロジー論拠を用いて、格子点上の有限和として量子相関関数が計算可能であることを示すこと。
• 提案された$(0,2)$トーリックリジデューや$(0,2)$ミラー対称性の解釈の基盤を築くこと。

提案手法

• 著者らは、ネフ・ファノのトーリック多様体上の変形接バンドルに対して、量子層コホモロジーにおける量子スターリング＝ライスナーイデアルを用いて量子相関関数を定義する。
• 量子相関関数を、変形オイラー系列の零点集合の補集合におけるサイクル$Z_{\text{hom}}$上の積分として表現する。
• 重要なステップとして、量子相関関数をサイクル$Z_{\text{hom}}$上の積分として書き直し、これが部分集合$S \subset \{1,\dots,n\}$によってインデックス付けられるサイクル$Z_S$の和とホモロジー同値であることを示す。
• 変形されたモーメント写像$\tilde{v}^t$に関する正規性補題を用いて、$S = \emptyset$の項のみが寄与し、$S \neq \emptyset$の項はすべて積分でゼロになることを示す。
• サイクル$\sum (-1)^{|S|} Z_S$と標準サイクル$Z_{\delta}(q)$との間のホモロジー同値性に依拠し、$S \neq \emptyset$のとき$Z_S$上で$\Lambda$形式が消えることを利用する。
• 最終的な等式は、$\int_{Z_\phi} \Lambda = \int_{h_q} \Lambda$を示すことにより確立され、これにより予想された和公式と一致する。

実験結果

リサーチクエスチョン

• RQ1 $(0,2)$GLSMにおけるトーリック多様体の幾何的設定で、McOrist-Melnikovの量子相関関数に関する予想は成立するか？
• RQ2 量子相関関数は、双対重み空間内の格子点上の有限和公式として表現可能か？
• RQ3 量子相関関数の積分サイクルは、異なるレイトの部分集合に対応するサイクルの和とホモロジー同値か？
• RQ4 非空部分集合$S$からの寄与が、微分形式解析を用いて厳密に消えることが示せるか？
• RQ5 和公式は、$(0,2)$版のトーリックリジデューや、新たなミラー対称性の主張を示唆する$(0,2)$アナロジーと見なせるか？

主な発見

• 量子相関関数$\langle \sigma_{i_1}, \dots, \sigma_{i_s} \rangle^{\text{quantum}}$が、McOristとMelnikovの予想による和公式に等しいことが証明された。
• $S = \emptyset$の項のための積分サイクル$Z_\phi$が、標準サイクル$Z_{\delta}(q)$とホモロジー同値であることが示され、相関関数の正しい値が保証された。
• $S \neq \emptyset$のすべての項は、形式$\Lambda$の積分において、境界$Z_S$上で正確にゼロになるため、消える。
• 変形されたモーメント写像$\tilde{v}^t$の正規性により、関連する逆像がコンパクトで、ホモトピー論的議論に適した性質を持つ。
• この結果により、トーリック多様体上の$(0,2)$理論の広いクラスにおける量子相関関数の有限で明示的な公式の存在が確認された。
• 証明技法は、$(2,2)$の場合から$(0,2)$設定へのSzenes-Vergneの手法の一般化を実現し、ミラー対称性への新たな橋渡しを提供する。