[論文レビュー] Lectures on K-theoretic computations in enumerative geometry

Andreĭ Okounkov|arXiv (Cornell University)|Dec 23, 2015

Algebraic structures and combinatorial models被引用数 57

ひとこと要約

この論文は、Nakajima多様体の量子K理論、K的Donaldson-Thomas理論、およびquasimap不変量を焦点として、数え上げ幾何におけるK理論的計算の包括的な枠組みを提示する。安定包絡体、量子群、差分方程式の間の深い関係を確立し、R行列が安定包絡体を介してqKZ方程式を生じることを証明する。また、接着演算子の明示的因数分解と、インデックス極限における不変量の収束を示す。

ABSTRACT

These are notes from my lectures on quantum K-theory of Nakajima quiver varieties and K-theoretic Donaldson-Thomas theory of threefolds given at Columbia and Park City Mathematics Institute. They contain an introduction to the subject and a number of new results. In particular, we prove the main conjecture of arXiv:hep-th/0412021 and the conjecture of arXiv:1404.2323 in the simplest case of reduced smooth curves. We also prove the the absence of quantum corrections to the capped vertex with descendents for sufficiently large framing (and polarization), which is a property we call large framing vanishing. The shift operators for minuscule shift are shown to be given by qKZ operators, which is a K-theoretic analog of the result of arXiv:1211.1287.

研究の動機と目的

• 3次元多様体上の点のヒルベルトスキームやNakajimaクiver多様体などのモジュライ空間におけるK理論的数え上げ幾何の計算ツールの開発。
• 安定包絡体と量子群作用を通じて、等長的K理論、量子コホモロジー、および数理物理学の間の橋渡しを確立すること。
• 安定包絡体とquasimap不変量の文脈において、量子Knizhnik-Zamolodchikov（qKZ）方程式がR行列から生じることの証明。
• 局所化、剛性、およびK理論におけるキャップ/キャッピング形式を用いた仮想不変量を体系的に計算する方法の提供。
• 差分方程式と安定基底における接着演算子を通じて、異なる幾何的設定におけるK理論的不変量を統一すること。

提案手法

• トーラス作用を伴うモジュライ空間における仮想K理論的不変量の計算に、局所化および剛性定理を適用する。
• 安定包絡体形式を用いて、量子群作用を intertwine する演算子を構成し、ブレード関係を満たす。
• quasimap空間および相対quasimapを用いて不変量を定義・計算し、特に崩壊公式の文脈で有効に活用する。
• Kähler変数および等長的変数のシフトにより、頂点に対する差分方程式を導出し、それらを量子群表現と関連付ける。
• キャッピング演算子および極化因子を用いて、局所化公式における正規束寄与を相殺する。
• 安定基底における接着演算子を、安定包絡体、キャッピング演算子、および転置安定包絡体の3つの成分に因数分解し、インデックス極限における収束を可能にする。

実験結果

リサーチクエスチョン

• RQ1 Hilbertスキームの点の3次元多様体上でのK理論的不変量は、局所化および剛性を用いてどのように計算可能か？
• RQ2 安定包絡体、量子群作用、および量子Knizhnik-Zamolodchikov（qKZ）方程式の間の明確な関係は何か？
• RQ3 quasimap不変量およびその崩壊公式は、安定基底における接着演算子とどのように関係するか？
• RQ4 仮想正規束および極化因子が、局所化において正規束寄与をどのように正確に相殺するのか、その意味は何か？
• RQ5 特に線束が非常に正である場合に、インデックス極限における接着演算子の有界性および収束を保証する条件は何か？

主な発見

• 量子Knizhnik-Zamolodchikov（qKZ）方程式は、安定包絡体形式におけるR行列から生じる可換な差分作用素として実現される。
• 安定基底における接着演算子は、安定包絡体、キャッピング演算子、および転置安定包絡体の3つの成分に因数分解され、各成分がすべての無限遠点で有界であり、インデックス極限で1に近づく。
• 安定包絡体の対角寄与は、$(-1)^{\frac{1}{2}\text{codim}F}z^{\text{deg}}$ の因子を寄与させ、これと次数重みが組み合わさって正しい正規化をもたらす。
• 非対角寄与は、$\mathscr{L}^{-1}$ の正則性のおかげでインデックス極限において消えるため、不変量が望ましい形に収束することが保証される。
• 局所化公式における正規束寄与は、安定包絡体における仮想正規束と極化因子の間で正確に相殺され、不変量の明確な表現が得られる。
• 定理395の証明は、主要な演算子の有界性と無限遠点におけるアコーデン項の抑制に依存し、$\psi_{p_1}$ および $\psi_{p_2}$ の重み解析による明示的制御がなされている。