[論文レビュー] K-theoretic Donaldson invariants via instanton counting

Lothar Göttsche, Hiraku Nakajima+1 more|ArXiv.org|Nov 30, 2006

Algebraic Geometry and Number Theory参考文献 33被引用数 4

ひとこと要約

本稿は、滑らかで射影的トーリック表面におけるK理論的ドナルドソン不変量を、ランク2の半安定な層のモジュライ空間上の決定的ラインバンドルの正則Euler標数として計算する。インスタントン数え上げとK理論的Nekrasov分配関数を用いて、楕円関数およびモジュラー形式を用いた壁越え不変量の明示的生成関数を導出する。これは、通常のドナルドソン理論の結果を、精製されたK理論的設定に一般化する。

ABSTRACT

In this paper we study the holomorphic Euler characteristics of determinant line bundles on moduli spaces of rank 2 semistable sheaves on an algebraic surface X, which can be viewed as $K$-theoretic versions of the Donaldson invariants. In particular, if X is a smooth projective toric surface, we determine these invariants and their wallcrossing in terms of the K-theoretic version of the Nekrasov partition function (called 5-dimensional supersymmetric Yang-Mills theory compactified on a circle in the physics literature). Using the results of math.AG/0606180 we give an explicit generating function for the wallcrossing of these invariants in terms of elliptic functions and modular forms.

研究の動機と目的

• 代数的表面における半安定層のモジュライ空間上の決定的ラインバンドルの正則Euler標数として、K理論的ドナルドソン不変量を定義し、計算すること。
• K理論的設定におけるインスタントン数え上げ技術を用いて、これらの不変量の壁越え公式を確立すること。
• 壁越え項の生成関数を、楕円関数およびモジュラー形式を用いて表現し、通常のドナルドソン理論の結果を拡張すること。
• 幾何的エンジニアリングとGromov-Witten理論に由来する、4次元多様体幾何におけるK理論的不変量の数学的基盤を提供すること。
• K理論的ドナルドソン不変量を、任意のSpin^c構造を持つ4次元多様体へ一般化すること。

提案手法

• 著者たちは、ADHM構成を用いて、Uhlenbeckコンパクト化をアフィン代数的多様体として実現し、座標環の特性を用いてK理論的不変量を定義する。
• K理論的Nekrasov分配関数（インスタントンモジュライ空間の座標環の特性として定義される）を、K理論的不変量の生成関数として用いる。
• 壁越え項はヒルベルトスキーム技法を用いて計算され、K理論的分配関数と比較され、楕円関数との対応関係が確立される。
• 生成関数は、theta関数およびモジュラー形式を用いて表現され、K理論的Nekrasov予想の解法から明示的な公式が導出される。
• 著者たちは、[58]におけるK理論的Nekrasov分配関数の結果と、Calabi-Yau 3-foldのGromov-Witten不変量との関係を活用する。
• 著者たちは、ブローモン公式とtheta関数の変換性を用いて、等化パrameterが0に近づく極限における壁越え公式の整合性を検証する。

実験結果

リサーチクエスチョン

• RQ1 標準的な次元数え上げが失敗する代数的表面に対して、K理論的ドナルドソン不変量はどのように定義できるか？
• RQ2 安定性パrameterの変化に伴うK理論的ドナルドソン不変量の壁越え挙動は何か？
• RQ3 K理論的Nekrasov分配関数を用いて、これらの不変量の生成関数を計算できるか？
• RQ4 これらのK理論的不変量は、モジュラー形式および楕円関数とどのように関係するか？
• RQ5 K理論的ドナルドソン不変量は、自然に任意の4次元多様体（Spin^c構造を備えるもの）へ一般化可能か？

主な発見

• K理論的ドナルドソン不変量は、滑らかで射影的なトーリック表面におけるランク2の半安定な層のモジュライ空間上の決定的ラインバンドルの正則Euler標高として定義される。
• 壁越え生成関数は、theta関数の比として表現され、特にθ11とθ01を含む形で、楕円関数を用いた閉形式の表現が得られる。
• 生成関数の最低次の項は、通常のドナルドソン不変量の壁越え公式に現れるモジュラー形式を回復し、既知の結果と整合性を確認する。
• 生成関数は、非コンパクトなトーリックCalabi-Yau 3-foldのGromov-Witten不変量を計算することが知られているK理論的Nekrasov分配関数と等価であることが示された。
• 壁越え項の最終的な公式は、ブローモン公式およびβ→0における漸近的解析を用いて検証され、ホモロジー的バージョンと一致することが確認された。
• これらの結果は、任意の4次元多様体（Spin^c構造を備えるもの）に対してK理論的ドナルドソン不変量の自然な定義が可能であることを強く示唆しており、不変量の適用範囲を代数的表面を越えて拡張する。