[論文レビュー] Counting Elliptic Curves in K3 Surfaces

Junho Lee, Naichung Conan Leung|ArXiv.org|May 3, 2004

Geometric and Algebraic Topology参考文献 10被引用数 5

ひとこと要約

本稿は、指数2の非原始的ホモロジー類を表すK3表面内の genus 1 曲線に対して、G"{o}ttsche-Yau-Zaslow 公式を、genus 2 のトポロジカル再帰関係式とシンプレクティック和の公式を用いて、家族Gromov-Witten不変量を計算することで検証する。主な結果は、楕円曲線の数がインデックスに依存せず、自己交叉数にのみ依存することを確認しており、原始的クラスに限らないYau-Zaslow公式の拡張を実現する。

ABSTRACT

We compute the genus one family Gromov-Witten invariants of K3 surfaces for non-primitive classes. These calculations verify Gottsche-Yau-Zaslow formula for non-primitive classes with index two. Our approach is to use the genus two topological recursion formula and the symplectic sum formula to establish relationships among various generating functions.

研究の動機と目的

• K3表面内の非原始的ホモロジー類（指数2）に対する楕円曲線数え上げのG"{o}ttsche-Yau-Zaslow公式を、原始的クラスを超えて拡張すること。
• トポロジカル再帰関係式とシンプレクティック和の公式を用いて、そのようなクラスの genus $ g=1 $ 家族Gromov-Witten不変量を計算すること。
• 自己交叉数が $ A\cdot A = 2d-2 $ でインデックス $ r=2 $ であるクラス $ A $ を表す楕円曲線の数がインデックスに依存しないことを確立すること。
• 指数2クラスに対して、生成関数公式 $ \sum_{d\geq 0} N_1(d,2) t^d = t G_2'(t) \prod_{l\geq 1} (1-t^l)^{-24} $ が成り立つことを確認すること。
• 正則写像と正則曲線の違いを解消し、分配関数を介して多重被覆が一貫して寄与することを示すこと。

提案手法

• 家族Gromov-Witten不変量のgenus 2 トポロジカル再帰関係式（TRR）を用い、高Genus不変量を低Genus不変量に関連付ける。
• LLのシンプレクティック和の公式を適用し、ファイバー化K3表面上の不変量をより単純な成分に分解する。
• 異なるホモロジー類にわたる不変量を符号化するため、生成関数 $ M_1(t), P_1(t), N_1(t), H_g(\cdot)(t) $ を定義する。
• Eisenstein級数 $ G_2(t) = \sum_{d\geq 0} \sigma(d) t^d $ を含む微分方程式系を導出する。ここで $ \sigma(d) = \sum_{k|d} k $ である。
• K3表面の複素構造のtwistor族による家族GW不変量の構成に依拠し、複素構造の変化に対して不変性を保証する。
• twistor族内に唯一の $ J $ に対して $ GW_{A,1}^{{\cal H}} $ が正則写像を数えることから、これが曲線の数え上げとして正当化される。

実験結果

リサーチクエスチョン

• RQ1 K3表面内の非原始的クラス（指数2）に対して、楕円曲線数え上げのG"{o}ttsche-Yau-Zaslow公式は成り立つか？
• RQ2 固定された楕円曲線（次数 $ r $）を被覆するgenus 1 正則写像の数は $ p(r) $（分配関数）に等しいか？ そしてこれは家族GW不変量にどのように影響するか？
• RQ3 genus 2 トポロジカル再帰関係式は、家族GW不変量設定に適応可能であり、$ g=1 $ 不変量の計算が可能か？
• RQ4 自己交叉数が $ 2d-2 $ でインデックス2である楕円曲線の数 $ N_1(d,2) $ の生成関数は $ t G_2'(t) \prod_{l\geq 1} (1-t^l)^{-24} $ に等しいか？
• RQ5 $ A $ がインデックス2で $ B $ が原始的かつ $ B^2 = A^2 $ を満たすとき、家族GW不変量 $ GW_{A,1}^{{\cal H}} $ は $ GW_{A,1}^{{\cal H}} = GW_{B,1}^{{\cal H}} + 2 GW_{A/2,1}^{{\cal H}} $ を満たすか？

主な発見

• 自己交叉数が $ 2d-2 $ でインデックス2であるホモロジー類を表すK3表面内の楕円曲線数 $ N_1(d,2) $ の生成関数は $ \sum_{d\geq 0} N_1(d,2) t^d = t G_2'(t) \prod_{l\geq 1} (1-t^l)^{-24} $ に等しく、これは指数2クラスに対するG"{o}ttsche-Yau-Zaslow公式の検証を示している。
• インデックス2のクラス $ A $ に対して、家族Gromov-Witten不変量は $ GW_{A,1}^{{\cal H}} = GW_{B,1}^{{\cal H}} + 2 GW_{A/2,1}^{{\cal H}} $ を満たす。ここで $ B $ は $ B^2 = A^2 $ を満たす原始的クラスである。これはインデックス変更に対しても不変量が不変であることを確認している。
• 固定された楕円曲線（次数 $ r $）を被覆するgenus 1 正則写像の数は $ p(r) $（分配関数）に等しい。$ r=2 $ の場合、これは2であるが、各曲線が $ N_1(d,2) $ に一度ずつ寄与するため、不変量 $ GW_{A,1}^{{\cal H}} $ は各曲線を一度だけ数える。
• この結果から $ N_1(d,2) = N_1(d,1) $ が導かれる。これは、楕円曲線の数え上げがホモロジー類のインデックスに依存しないことを示し、Yau-Zaslow公式が非原始的クラスにまで拡張されることを示している。
• 証明はgenus 2 のTRRとシンプレクティック和の公式から導かれる微分方程式に基づき、$ M_1(t) = P_1(t) + 2 N_1(t^2) $ が得られ、生成関数の構造が確認される。
• 計算により、家族GW不変量が複素構造に依存せずwell-definedであることが確認された。これはtwistor族を介して計算されており、BryanとLeungが定義した不変量とも一致する。