[論文レビュー] Noether-Lefschetz theory and the Yau-Zaslow conjecture

Albrecht Klemm, Davesh Maulik+2 more|ArXiv.org|Jul 15, 2008

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

ひとこと要約

本論文は、ノイザー＝レフシェッツ理論、グロモフ＝ウィッテン不変量、モジュラー形式の深い関係を確立することで、K3表面のすべての有効な曲線類に対してヤウ＝ザスロウ予想を証明した。STUモデルとミラー対称性を用いて、モジュラー恒等式を通じて genus 0 BPS 不変量を導出し、クレムプ＝ラーク＝マイヤー恒等式の新しい証明と、ハーヴェイ＝ムーア恒等式のザギエの証明の提示を行い、最終的に数え上げがデデキンドのエータ関数の24乗で与えられることを確認した。

ABSTRACT

The Yau-Zaslow conjecture determines the reduced genus 0 Gromov-Witten invariants of K3 surfaces in terms of the Dedekind eta function. Classical intersections of curves in the moduli of K3 surfaces with Noether-Lefschetz divisors are related to 3-fold Gromov-Witten theory via the K3 invariants. Results by Borcherds and Kudla-Millson determine the classical intersections in terms of vector-valued modular forms. Proven mirror transformations can often be used to calculate the 3-fold invariants which arise. Via a detailed study of the STU model (determining special curves in the moduli of K3 surfaces), we prove the Yau-Zaslow conjecture for all curve classes on K3 surfaces. Two modular form identities are required. The first, the Klemm-Lerche-Mayr identity relating hypergeometric series to modular forms after mirror transformation, is proven here. The second, the Harvey-Moore identity, is proven by D. Zagier and presented in the paper.

研究の動機と目的

• K3表面のすべての非ゼロ有効曲線類に対してヤウ＝ザスロウ予想を証明すること。これは、genus 0 BPS 不変量がデデキンドのエータ関数の24乗によって記述されることを予言する。
• STUモデルを介して、K3表面における古典的ノイザー＝レフシェッツ理論と3-fold グロモフ＝ウィッテン不変量との間の対応を確立すること。
• ミラー変換後のハイパージオメトリック級数とモジュラー形式の関係を示すクレムプ＝ラーク＝マイヤー恒等式を証明すること。
• ハーヴェイ＝ムーア恒等式の核心的モジュラー形式恒等式を、ザギエの証明を提示・応用することにより、BPS 不変量の計算に用いること。
• K3表面の削減されたグロモフ＝ウィッテン不変量が、曲線類の可除性に依存せず、そのノルムにのみ依存することを示し、予想の可除性不変性を確認すること。

提案手法

• 著者たちは、4-fold カラビ＝ヤウのコンパクト化であるSTUモデルを用い、K3表面のモジュライ空間内の特別な曲線を研究し、ミラー対称性を通じてグロモフ＝ウィッテン不変量と関連づけた。
• ピカール＝フーチュス微分方程式とBモデルのミラー対称性を用いて、複素構造モジュラスが0に近づく極限におけるグロモフ＝ウィッテン不変量を計算した。
• この計算は、$ u_3 \to 0 $ の極限における特定の三重結合項の消滅に依存し、問題をモジュラー形式の有理関数に簡略化した。
• 鍵となるモジュラー恒等式、すなわちハーヴェイ＝ムーオ恒等式は、ヘッケ作用素と弱ホロモーレックモジュラー形式の理論を用いて証明され、特に関数 $ f(\tau) = E_4 E_6 / \eta^{24} $ を用いた。
• ボルの恒等式を用いて $ f''' \in M_4^! $ を示し、BPS数を符号化するヘッケ固有形式 $ F_n $ の構成を可能にした。
• 最終的な結果は、メロモーフィックモジュラー形式 $ \frac{f(\tau_1)E_4(\tau_2)}{j(\tau_1) - j(\tau_2)} $ のフーリエ展開とBPS不変量の母関数を一致させることで得られた。

実験結果

リサーチクエスチョン

• RQ1 K3表面における genus 0 BPS 不変量 $ r_{0,\beta} $ は、可除性に依存せず、ノルム $ \langle \beta, \beta \rangle $ のみに依存するか？
• RQ2 Yau-Zaslow 公式 $ \sum_{h \geq 0} r_{0,h} q^h = \prod_{n=1}^\infty (1 - q^n)^{-24} $ が、グロモフ＝ウィッテン理論とミラー対称性を用いて、すべての曲線類に対して証明可能か？
• RQ3 STUモデルのグロモフ＝ウィッテン不変量とYau-Zaslowの数え上げを結ぶために必要なモジュラー形式の恒等式は何か？
• RQ4 ヘッケ作用素とモジュラー形式理論を用いて、ハーヴェイ＝ムーオ恒等式を厳密に証明できるか？
• RQ5 ミラー変換後のハイパージオメトリック級数とモジュラー形式の関係を示すクレムプ＝ラーク＝マイヤー恒等式は、K3表面の曲線数え上げの文脈で有効か？

主な発見

• K3表面 $ S $ のすべての非ゼロ有効曲線類 $ \beta \in \text{Pic}(S) $ に対してヤウ＝ザスロウ予想が完全に証明され、genus 0 BPS 不変量がノルム $ \langle \beta, \beta \rangle $ のみに依存することを確認した。
• 削減されたグロモフ＝ウィッテン不変量 $ R_{0,\beta} $ が、このような類が存在する場合、可除性 $ m(\beta) $ に依存しないことが示された。これは予想1の予測と一致する。
• BPS不変量の母関数が $ \sum_{h \geq 0} r_{0,h} q^{h-1} = \eta(\tau)^{-24} $ に一致し、ヤウ＝ザスロウ予想のモジュラー形式予測と一致した。
• 本論文ではクレムプ＝ラーク＝マイヤー恒等式が証明され、ミラー対称性の文脈でハイパージオメトリック級数がモジュラー形式に変換されることを確立した。
• ザギエによるハーヴェイ＝ムーオ恒等式の証明が提示され、正しいBPS状態の母関数の導出に用いられ、モジュラー形式の議論を完成させた。
• STUモデルにおけるグロモフ＝ウィッテン不変量の計算は、エーゼンスタイン級数とモジュラー形式の有理関数として得られ、恒等式 $ \frac{E_4 E_6}{\eta^{24}} = \sum_{n=-1}^\infty c(n) q^n $ を用いて、必要なモジュラー表現に簡略化された。