[論文レビュー] New recursions for genus-zero Gromov-Witten invariants

Aaron Bertram, Holger P. Kley|ArXiv.org|Jul 13, 2000

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

ひとこと要約

本稿では、グラフ空間の構成における等長コhomologyと局所化を用いて、種数0のGromov-Witten不変量の新たな再帰関係を導入し、特にコhomologyが除数類によって生成される場合、多点不変量を完全に1点不変量から計算可能にする。主な貢献は、混合2点不変量を1点不変量で表す再帰的公式であり、特にクインティック3-foldのようなファノ完遂交差の場合に有効で、これまで未知であった量子積や2点を通る有理曲線の数（例：2,088,000個のねじれ立方曲線）といった枚挙不変量を計算可能にする。

ABSTRACT

New relations among the genus-zero Gromov-Witten invariants of a complex projective manifold $X$ are exhibited. When the cohomology of $X$ is generated by divisor classes and classes ``with vanishing one-point invariants,'' the relations determine many-point invariants in terms of one-point invariants.

研究の動機と目的

• 任意の数のマークド点をもつ種数0のGromov-Witten不変量の間の再帰的関係を導出すること。
• 特にコhomologyが除数類によって生成される場合に、m点不変量の計算を1点不変量に還元すること。
• ファノ完遂交差における小量子積の構造定数を、1点不変量のみを用いてアルゴリズム的に計算する方法を提供すること。
• 再帰を用いて、これまで未知であった枚挙不変量（例：一般点を通る高次有理曲線の数）を計算すること。

提案手法

• 各マークド点にℙ¹を接続することでグラフ空間を構成し、m点付き写像のモジュライ空間を、パラメータ化された成分をもつより大きな空間に埋め込む。
• グラフ空間上の等長コhomology類に局所化定理を適用し、元のモジュライ空間に対応する固定点集合に注目する。
• 等長忘却準同型と固定点集合間での留数比較を用いて、複数変数のJ関数の間の再帰的恒等式を導出する。
• コhomologyを除数類で生成される部分環とその直交補空間に分解し、交差行列を用いて寄与を分離する。
• 1点不変量とシフト行列を用いて、混合2点不変量の再帰的アルゴリズムを定式化し、物理的でない次数については切り捨てを施す。
• 各次数dに対し、ψクラスを重み付けたGromov-Witten不変量を要素にもつ不変量行列M(d)と、(H + dt)との乗算を符号化するS(d)行列を用いて再帰を実装する。

実験結果

リサーチクエスチョン

• RQ1 任意の数のマークド点をもつ種数0のGromov-Witten不変量は、1点不変量から再帰的に決定可能か？
• RQ2 どのようなコhomological条件下で1変数J関数がすべての多点不変量を決定するか？
• RQ3 ファノ完遂交差において、混合2点不変量は1点不変量からどのように計算可能か？
• RQ4 1点不変量のみが既知である場合、ファノ完遂交差における小量子積の構造はどのようなものか？
• RQ5 再帰から抽出可能な枚挙不変量（例：高次有理曲線の数）は何か？

主な発見

• 本稿では、コhomologyが除数類によって生成されるファノ完遂交差において、混合2点不変量を1点不変量で完全に再帰的に表す公式を確立した。
• ℙ⁶内のクインティック3foldに対して、再帰は小量子積を明示的に計算でき、H*H⁵ = 120qH⁴ + 211,200q²H² + 31,320,000q³を導いた。
• ℙ⁶内のクインティック5foldにおいて、2つの一般点を通るねじれ立方曲線（次数3の有理曲線）の期待値は2,088,000個である。
• アルゴリズムは効率的かつ実装可能であり、シフト行列S(d)と不変量行列M(d)を用い、ψ次数が負の場合は切り捨てを施す。
• 原則として一般型の完遂交差に対しても本手法は適用可能であるが、その場合の1点不変量は未だ不明のままである。
• 再帰はグラフ空間における境界解析を回避しており、1点不変量の計算と比較して計算が簡素化されている。