[論文レビュー] Cubics, Integrable Systems, and Calabi-Yau Threefolds

Ron Donagi, Eyal Markman|ArXiv.org|Aug 9, 1994

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

ひとこと要約

本稿は、任意のカラビ＝ヤウ3次元多様体の族に対して、その基底がゲージ化されたカラビ＝ヤウのモジュライ空間で、纤维がデリーニ・コhomology群（中間ヤコビ多様体）である、解析的に完全に可積分なハミルトニアン系（ACIHS）を自然に構成する。主な結果は、ヒーゲンズ・キュービック（Hodge構造の無限小変動を符号化する）が、全空間上のシンプレクティック形式と同値であり、正規関数（曲線のアーベル＝ジャコビ像）がラグラングィアンであることで、ミラー対称性とホッジ理論を通じて可積分系が結びつけられる。

ABSTRACT

In this work we construct an analytically completely integrable Hamiltonian system which is canonically associated to any family of Calabi-Yau threefolds. The base of this system is a moduli space of gauged Calabi-Yaus in the family, and the fibers are Deligne cohomology groups (or intermediate Jacobians) of the threefolds. This system has several interesting properties: the multivalued sections obtained as Abel-Jacobi images, or ``normal functions'', of a family of curves on the generic variety of the family, are always Lagrangian; the natural affine coordinates on the base, which are used in the mirror correspondence, arise as action variables for the integrable system; and the Yukawa cubic, expressing the infinitesimal variation of Hodge structure in the family, is essentially equivalent to the symplectic structure on the total space.

研究の動機と目的

• カイラビ＝ヤウ3次元多様体の族に対して、自然な解析的に完全に可積分なハミルトニアン系（ACIHS）を確立すること。
• アーベル多様体の族（例えば、カイラビ＝ヤウ3次元多様体の中間ヤコビ多様体）が、その纤维がラグラングィアンとなるようなシンプレクティック構造をもつための条件を特定すること。
• ヤコビ・キュービックが、可積分系の全空間上のシンプレクティック構造を符号化する方法を探索すること。
• 曲線のアーベル＝ジャコビ写像から得られる正規関数の無限小不変量が、ミラー対称性における曲線数の再構成に十分な情報を含むかどうかを調査すること。
• ミラー予想を、ラグラングィアンマルチセクションを持つ可積分系上のミラー変換という形式的部分と、幾何的トーレリ型部分に分解することを提案すること。

提案手法

• カイラビ＝ヤウ3次元多様体の族の全空間に、纤维（中間ヤコビ多様体）がラグラングィアン部分多様体となるようなシンプレクティック形式 σ を定義する。
• このようなシンプレクティック構造の存在が、周期写像に関する「キュービック条件」と同値であることを確立する：周期写像の微分は、基底の接 bundle 上の3次形式による縮約として与えられる。
• カイラビ＝ヤウ3次元多様体に対して、この3次形式が、Hodge構造の無限小変動から生じるヤコビ・キュービックに正確に一致することを示す。
• シンプレクティック幾何学における作用変数を用いて、ミラー対称性で用いられる自然なアフィン座標を回復する。
• 正規関数 ν の無限小不変量 δν を、ヤコビ・キュービックのヤコビ環の第二階層に属するものとして特徴づける。具体的には、3次形式の偏微分によって生成されるヤコビ理想による商である R^2 = Sym^2(H^{2,1})^* / (Jacobian ideal) の中にある。
• 曲線の寄与に対する重み関数 wν が、実際の曲線に依存せず δν のみに依存すると仮定し、wν = ∑ Nν,g λ^{g−1} という公式を予想する。このとき、∑ wν = ∑ Nk,g q^k λ^{g−1} が成り立つ。

実験結果

リサーチクエスチョン

• RQ1 アーベル多様体の族が、その纤维がラグラングィアン部分多様体となるようなシンプレクティック構造をもつための条件は何か？
• RQ2 Hodge構造の無限小変動を符号化するヤコビ・キュービックは、可積分系の全空間上のシンプレクティック形式とどのように関係しているか？
• RQ3 ミラー対称性におけるAモデルおよびBモデルの分配関数は、可積分系とそのラグラングィアンマルチセクションから直接再構成可能か？
• RQ4 一般のカイラビ＝ヤウ3次元多様体において、正規関数の無限小不変量 δν が、重み関数 wν を通じた曲線数を決定するのに十分か？
• RQ5 カイラビ＝ヤウ3次元多様体の幾何は、その関連する可積分系とラグラングィアンマルチセクションのデータからどの程度回復可能か？

主な発見

• 可積分系の全空間上のシンプレクティック構造はヤコビ・キュービックと同値であり、カイラビ＝ヤウ族におけるホッジ理論とシンプレクティック幾何学の深い結びつきを確立する。
• 一般のカイラビ＝ヤウ3次元多様体上の曲線から生じる正規関数は、構築されたシンプレクティック形式に関して常にラグラングィアンである。
• 可積分系の作用変数は、ミラー対応で用いられるモジュライ空間上の自然なアフィン座標と正確に一致する。
• 正規関数 ν の無限小不変量 δν は、ヤコビ・キュービックのヤコビ環の第二階層 R^2 = Sym^2(H^{2,1})^* / (∂_i F) に属し、特に3次形式 F の偏微分によって生成されるヤコビ理想による商に含まれる。
• 曲線寄与の重み関数 wν は、δν のみに依存すると予想され、これは曲線数が正規関数のホッジ的データに符号化されている可能性を示唆する。
• δν から曲線数を再構成する問題は、変分的トーレリ問題に類似しており、部分的な結果は得られているが、完全な再構成は未解決のままである。