[論文レビュー] Quantum cohomology of the Hilbert scheme of points in the plane

Andreĭ Okounkov, Rahul Pandharipande|ArXiv.org|Nov 9, 2004

Algebraic structures and combinatorial models参考文献 18被引用数 17

ひとこと要約

本稿は、複素平面における点のヒルベルトスキームの等化量子コホモロジーの環構造を決定し、量子乗法による除数類の作用が、量子カロジェロ＝サザンダー多体系の非定常変形であることを示している。主な結果として、変数変換 $e^{iu} = -q$ を通じて、$\mathbb{C}^2 \times \mathbf{P}^1$ のゲロモフ＝ウイントン不変量とヒルベルトスキームの3点不変量の間の正確な対応関係を確立し、量子コホモロジーと可積分系、およびオルビフォールドのクリープント解体との関連を示している。

ABSTRACT

We determine the ring structure of the equivariant quantum cohomology of the Hilbert scheme of points in the complex plane. The operator of quantum multiplication by the divisor class is a nonstationary deformation of the quantum Calogero-Sutherland many-body system. A relationship between the quantum cohomology of the Hilbert scheme and the Gromov-Witten/Donaldson-Thomas correspondence for local curves is proven.

研究の動機と目的

• 複素平面 $\mathbb{C}^2$ に含まれる $n$ 個の点の $T$-等化量子コホモロジーの完全な環構造を同定すること。
• ヒルベルトスキームの量子コホモロジーと局所的曲線のゲロモフ＝ウイントン／ドナルドソン＝トーマス理論との間の対応関係を確立すること。
• 除数類による量子乗法作用素が、カロジェロ＝サザンダーハミルトニアンの非定常変形であることを示すこと。
• 小規模な量子コホモロジー環が $\mathbb{Q}(q,t_1,t_2)$ 上の除数類によって生成されることを証明すること。

提案手法

• フォック空間形式を用いて量子コホモロジー環を表現し、除数類による量子乗法作用素 $\mathsf{M}_D$ を定義する。
• 局所化技術を適用して3点関数を計算し、破壊されたと壊れない写像からの寄与を分解する。
• ランの結果を用いて仮想クラスを簡約し、モジュライ空間の特異性を処理するために、削減された絶対理論を用いる。
• 固定されたドメイン $C$ と削減された3点関数を用いた $n$ に関する帰納法による $\mathsf{M}_D$ の構造の検証。
• 量子微分方程式 $q \frac{d}{dq} \psi = \mathsf{M}_D \psi$ の導出により、$q=0$、$q=\infty$、単位根における正則な特異点と、$t_1 \mapsto t_1 - 1$ の下でのモノドロミー不変性を示す。
• 変数変換 $e^{iu} = -q$ を通じて GW/Hilbert 対応を確立し、$\mathbb{C}^2 \times \mathbf{P}^1$ のゲロモフ＝ウイントンの生成関数とヒルベルトスキーム不変量が一致することを示す。

実験結果

リサーチクエスチョン

• RQ1 複素平面 $\mathbb{C}^2$ に含まれる $n$ 個の点のヒルベルトスキームの等化量子コホモロジー環はどのように構造化されているか？
• RQ2 量子乗法作用素 $\mathsf{M}_D$ の幾何学的・代数的意味は何か？
• RQ3 ヒルベルトスキームの量子コホモロジーは、$\mathbb{C}^2 \times \mathbf{P}^1$ のゲロモフ＝ウイントン理論とどのように関係しているか？
• RQ4 量子微分方程式のモノドロミーを明示的に計算し、等化パrameterのシフトの下で不変であることを示せるか？
• RQ5 GW/Hilbert 対応は、特にオルビフォールドのクリープント解体に関連して、等化設定へと拡張可能か？

主な発見

• 除数類による量子乗法作用素 $\mathsf{M}_D$ は、量子カロジェロ＝サザンダー多体系の非定常変形である。
• ヒルベルトスキーム $\operatorname{Hilb}_n$ の小規模な量子コホモロジー環は、$\mathbb{Q}(q,t_1,t_2)$ 上の除数類によって生成される。
• 量子微分方程式 $q \frac{d}{dq} \psi = \mathsf{M}_D \psi$ は、$q=0$、$q=\infty$、および単位根で正則な特異点を持ち、$t_1 \neq r/s$ で $0 < r \leq s \leq n$ のとき、$t_1 \mapsto t_1 - 1$ の下でモノドロミーが不変である。
• 変数変換 $e^{iu} = -q$ の後、$\mathbb{C}^2 \times \mathbf{P}^1$ の削減されたゲロモフ＝ウイントン生成関数は、ヒルベルトスキームの多点不変量と一致する：$\mathsf{GW}^{*}_{n} = (-1)^n \langle \lambda^1, \dots, \lambda^r \rangle^{\operatorname{Hilb}_n}_{\xi}$。
• ゲロモフ＝ウイントン理論とヒルベルトスキーム不変量の対応関係は、任意の $r$-点不変量に対して成り立ち、3点の場合がすべての高次の不変量を再構成する。
• $\operatorname{Hilb}_n$ のクリープント解体であるオルビフォールド $(\mathbb{C}^2)^n / S_n$ の $T$-等化量子コホモロジーは、等価であることが示され、これはオルビフォールド量子コホモロジーに関するルアンの予想の等化版を示唆している。