[論文レビュー] Quantum cohomology of complete intersections

Arnaud Beauville|arXiv (Cornell University)|Jan 17, 1995

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

ひとこと要約

本稿は、射影空間内の高次元な完全交差に対して、量子コホモロジー代数の単純で明示的な記述を確立し、それが超平面類と原始的コホモロジーによって生成され、特定の関係を持つことを示している。主な結果として、原始的コホモロジーと多様体の次数を含む量子積の正確な公式が得られ、b²=1 で高インデックスを持つフェノ多様体の既知の結果を一般化する。

ABSTRACT

The quantum cohomology algebra of a projective manifold X is the cohomology H(X,Q) endowed with a different algebra structure, which takes into account the geometry of rational curves in X. We show that this algebra takes a remarkably simple form for complete intersections when the dimension is large enough w.r.t. the degree. As a reward we get a number of surprising enumerative formulas relating lines, conics and twisted cubics on X.

研究の動機と目的

• 高次元性と高インデックスの条件下で、射影空間内の滑らかな完全交差の量子コホモロジー代数の構造を特定すること。
• 特に超平面類と原始的コホモロジーを含む生成子と関係式を特定することで、量子コホモロジー代数を単純化すること。
• 量子積構造を用いて、有理曲線（例えば、二次曲線やねじれ三次曲線）の明示的な数え上げ公式を導出すること。
• b²=1 で正則バンドルが非常に正であるフェノ多様体に関する既知の結果を、次元と次数の制約を満たす完全交差へ一般化すること。

提案手法

• Gromov–Witten不変量による量子コホモロジーの定義を用い、特に P¹ から X への次数 j の写像のコンパクト化されたモジュライ空間上の積分として定義される三重積 ⟨x,y,z⟩_j を使用する。
• Ruan–Tian が確立した量子積の結合性および次数整合性を適用し、代数的構造が適切に定義されることを保証する。
• 次数および双対性の議論を用いて、H·α = 0（α が原始的コホモロジーに属するとき）を示し、H·α が次数 n+1 であることに基づき、与えられた次元およびインデックスの制約下でこれが消えることを示す。
• 標準的なグラスマン多様体幾何におけるコホモロジー計算を通じて、係数 μ(X) = d₁^{d₁}…dᵣ^{dᵣ} を導出し、量子積の関係式 H^{n+1} = μ(X) H^{n+1−k} に不可欠な役割を果たす。
• 量子積および交線理論から導かれる関係式 α·β = (α|β)/d (H^n − μ(X) H^{n−k}) を用いる。
• 部分多様体 Y と交わる直線の対応を用いて、⟨Y,α,β⟩₁ をインシデント多様体 R 上でのファイバー積およびプッシュダウン公式を用いて計算する。

実験結果

リサーチクエスチョン

• RQ1 次数に対して高次元である場合の、滑らかな完全交差 X ⊂ P^{n+r} の量子コホモロジー代数の構造は何か？
• RQ2 次元 n ≥ 2∑(dᵢ−1)−1 かつフェノインデックスが大きいとき、量子積はどのように単純化されるか？
• RQ3 量子コホモロジー関係式から、どのような数え上げ不変量（例えば、二次曲線やねじれ三次曲線の数）を抽出できるか？
• RQ4 原始的コホモロジー上の量子積は、古典的コホモロジー不変量およびホッジ構造とどのように関係するか？
• RQ5 量子積構造を用いて、フェノ3次元多様体における中間ヤコビ多様体やプリム多様体に幾何的制約を導けるか？

主な発見

• 次数 (d₁,…,dᵣ) の P^{n+r} 内の滑らかな完全交差 X で、n ≥ 2∑(dᵢ−1)−1 を満たす場合、量子コホモロジー代数は超平面類 H と原始的コホモロジー H^n(X,Q)_o によって生成される。
• 量子積は H^{n+1} = d₁^{d₁}…dᵣ^{dᵣ} H^{d−1} を満たす。ここで d = ∑dᵢ は X の次数である。
• α, β ∈ H^n(X,Q)_o に対して、量子積は α·β = (α|β)/d (H^n − d₁^{d₁}…dᵣ^{dᵣ} H^{n−k}) である。ここで k はフェノインデックスである。
• 次数 d で次元 2d−3 の超曲面において、2つの一般な点を通る二次曲線の数は (1/2) d! (d−1)! である。
• 次数 d で次元 3d−6 の超曲面において、3つの一般な点を通るねじれ三次曲線の数は d! ((d−1)!)² である。
• 立方体3次曲面に対して、中間ヤコビ多様体 JX は、関連する曲線 Γ のプリム多様体と、主偏極付きアーベル多様体として同型であり、その偏極は2倍の引き戻しで得られる。