[論文レビュー] The local Donaldson-Thomas theory of curves

Andreĭ Okounkov, Rahul Pandharipande|arXiv (Cornell University)|Dec 26, 2005

Algebraic Geometry and Number Theory参考文献 15被引用数 5

ひとこと要約

本稿は局所的ドナルドソン＝トーマス理論を局所的分岐化と局所化技術を用いて解き、$N \to C$ の形をした局所的カラビ＝ヤウ3次元多様体におけるグロモフ＝ウィトテン／ドナルドソン＝トーマス対応を証明する。ここで $N$ は滑らかな曲線 $C$ 上のランク2バンドルである。主な結果は1脚の等置不変頂点の明示的計算であり、これはゴパクマール＝マリーノ＝バーファの公式を特別な場合として回復し、$\mathbb{C}^2$ 上の点のヒルベルトスキームとの量子コホモロジー対応を確立する。この解法は仮想的局所化、ラバー計算、およびラバー幾何における下降項を支配する作用素 $\mathsf{S}$ の微分方程式に依拠している。

ABSTRACT

The local Donaldson-Thomas theory of curves is solved by localization and degeneration methods. The results complete a triangle of equivalences relating Gromov-Witten theory, Donaldson-Thomas theory, and the quantum cohomology of the Hilbert scheme of points of the plane. The quantum differential equation of the Hilbert scheme of points of the plane has a natural interpretation in the local Donaldson-Thomas theory of curves. The solution determines the 1-legged equivariant vertex.

研究の動機と目的

• 局所的曲線理論、すなわち $N \to C$ の形をした3次元多様体で $N$ が滑らかな曲線 $C$ 上のランク2バンドルである場合のグロモフ＝ウィトテン／ドナルドソン＝トーマス対応を確立すること。
• 1脚の等置不変ドナルドソン＝トーマス頂点を計算し、これはゴパクマール＝マリーノ＝バーファの公式を一般化する。
• グロモフ＝ウィトテン理論、ドナルドソン＝トーマス理論、および $\mathbb{C}^2$ 上の点のヒルベルトスキームの量子コホモロジーの間の同値関係の三角形を完成させること。
• 非トーリックな局所的3次元多様体幾何における相対的ドナルドソン＝トーマス理論の基礎的計算を提供すること。

提案手法

• 理想層のモジュライ空間における $T$-固定点にわたる統合を用いて、分割関数 $\mathsf{Z}(N)_d$ を等置仮想的局所化により計算する。
• 問題をより単純な幾何に還元するための分岐化技術の適用、特にラバー幾何と相対的不変量の利用。
• ラバー下降項の行列要素を用いてフォック空間上に作用素 $\mathsf{S}$ を構成し、線形微分方程式 $q \frac{d}{dq} \mathsf{S} = \mathsf{M} \mathsf{S} - \mathsf{S} \mathsf{M}(0)$ に従う。
• ラバー計算およびトポロジカル再帰関係を用いて、無限遠点における下降項と頂点寄与およびエッジ重みを関連付ける。
• $2\mathbf{Cob}^{L_1,L_2}$ の圏におけるTQFT（位相的量子場理論）フレームワークを用いて、異なるレベルにおける不変量を整理する。
• 固定点基底における線形方程式の正方系を用いて、1脚の頂点の固定点公式を導出する。

実験結果

リサーチクエスチョン

• RQ1 ランク2バンドル $N$ を持つ曲線 $C$ 上への3次元多様体 $N \to C$ に対して、局所的ドナルドソン＝トーマス理論が明示的にどのように計算可能か。
• RQ2 1脚の等置不変ドナルドソン＝トーマス頂点の正確な形は何か。また、ゴパクマール＝マリーノ＝バーファの公式のような既知の公式とどのように関係するか。
• RQ3 局所理論の不変量は、$\mathbb{C}^2$ 上の点のヒルベルトスキームの量子コホモロジーとどのように関係するか。
• RQ4 局所化と分岐化を用いて、非トーリックな局所的3次元多様体に対してもGW/DT対応を確立できるか。
• RQ5 ラバー下降項の生成関数を支配する微分方程式は何か。また、この方程式を解くことで頂点不変量を回復できるか。

主な発見

• 1脚の等置不変頂点は、作用素 $\mathsf{S}$ の逆行列を含む固定点公式により明示的に計算され、$\mathsf{S}$ は微分方程式 $q \frac{d}{dq} \mathsf{S} = \mathsf{M} \mathsf{S} - \mathsf{S} \mathsf{M}(0)$ を満たす。
• 作用素 $\mathsf{S}$ の行列要素は、ドナルドソン＝トーマスのラバー級数の比として表される：$\langle \mu | \mathsf{S} | \nu \rangle_{\mathcal{F}} = q^{-d} \frac{\langle \mu | \frac{1}{1 - \psi_\infty} | \nu \rangle^\sim}{\langle \emptyset | \frac{1}{1 - \psi_\infty} | \emptyset \rangle^\sim}$。
• $\mathsf{S}$ の微分方程式の解法により、$q$ が単位根でない限り $\mathsf{S}$ が可逆であることが示され、固定点系の整合性が保証される。
• 1脚の頂点計算は、カルビ＝ヤウ幾何に制限した場合にゴパクマール＝マリーノ＝バーファの公式を特別な場合として回復する。
• 分割関数 $\mathsf{Z}(N)_d$ は、理想層のモジュライ空間における $T$-固定点にわたる仮想的局所化公式により完全に決定される。
• グロモフ＝ウィトテンとドナルドソン＝トーマス不変量の間の対応は、それぞれの分割関数および量子コホモロジー構造の同型により確立される。