[論文レビュー] On the moduli space of Donaldson-Thomas instantons

Yuuji Tanaka|arXiv (Cornell University)|May 15, 2008

Algebraic Geometry and Number Theory参考文献 21被引用数 8

ひとこと要約

本稿は、シンプレクティック6次元多様体およびコンパクトなカレル3次元多様体上でドナルドソン–トーマス方程式を導入し、研究することにより、ドナルドソン–トーマス不変量の解析的基盤を確立する。この論文は、これらの方程式の解と、複素線形対 (E, φ) における安定性条件との間のヒッチン–小林型対応を証明し、解の存在が対の多項的安定性と同値であることを示す。これにより、代数的ドナルドソン–トーマス理論に対する解析的双対が得られる。

ABSTRACT

In alignment with a programme by Donaldson and Thomas [DT], Thomas [Th] constructed a deformation invariant for smooth projective Calabi-Yau threefolds, which is now called the Donaldson-Thomas invariant, from the moduli space of (semi-)stable sheaves by using algebraic geometry techniques. In the same paper [Th], Thomas noted that certain perturbed Hermitian-Einstein equations might possibly produce an analytic theory of the invariant. This article sets up the equations on symplectic 6-manifolds, and gives the local model and structures of the moduli space coming from the equations. We then describe a Hitchin-Kobayashi style correspondence for the equations on compact Kähler threefolds, which turns out to be a special case of results by Alvarez-Consul and Garcia-Prada [AG].

研究の動機と目的

• シンプレクティック6次元多様体上でのゲージ理論的方程式を用いて、ドナルドソン–トーマス不変量の解析的理論を構築すること。
• 複素次元3においてヘリット・アインシュタイン方程式が楕円型系を形成しないという問題を解決するため、摂動された系を導入すること。
• ドナルドソン–トーマスインスタントンのモジュライ空間のクラスキのモデルを構成すること。
• コンパクトなカレル3次元多様体上でのD–Tインスタントンに対して、ヒッチン–小林型対応を確立し、解と安定性条件を結びつけること。

提案手法

• 接続 A と、Ad(P)-値 (0,3)-形式 u を含む、ヘリット・アインシュタイン方程式の摂動としてドナルドソン–トーマス方程式を導入する。
• ゲージ固定条件を用いることで、系が楕円型複体を形成することを保証し、標準的なゲージ理論的技法の適用を可能にする。
• クラスキ理論を用いて、変形複体のコホモロジー群 H^1 および H^2 を通じて、D–Tインスタントンのモジュライ空間の局所構造を記述する。
• アヴァルティェス・コンスールとガルシア＝プラダの研究に依拠し、対応を、反標準束によるねじれ付きのクウェイバーバンドルの安定性の特別な場合として解釈する。
• 形式 u を、End(E) ⊗ K_Z の正則切断 φ = *u に一致させることで、解析的方程式と正則構造を結びつける。
• 次元削減の議論を用いて、D–T方程式を低次元における複素反自己双対方程式に関連付ける。

実験結果

リサーチクエスチョン

• RQ1 カルラビ–ヤウ3次元多様体上での代数的ドナルドソン–トーマス不変量に対する解析的双対として機能するゲージ理論的方程式を定式化できるか？
• RQ2 複素3次元多様体上での摂動されたヘリット・アインシュタイン系は、楕円型系を形成するか？ これにより、良好に定義されたモジュライ空間が得られるか？
• RQ3 ドナルドソン–トーマス方程式の解のモジュライ空間の局所構造は何か？
• RQ4 ヒッチン–小林型対応は、D–T方程式の解を複素線形対の安定性の観点から特徴づけられるか？
• RQ5 D–T方程式の解は、その下にあるカレル3次元多様体およびその標準束の幾何にどのように関係するか？

主な発見

• ドナルドソン–トーマスインスタントンのモジュライ空間は、自己同型群の作用の下でのゼロ集合によって局所的にモデル化され、有限次元的な局所構造を持つ。
• ゲージ固定条件と組み合わせることで、D–T方程式は楕円型系を形成し、良好に定義された変形理論の存在を保証する。
• D–T方程式の解が存在するための必要十分条件は、関連する正則線形対 (E, φ) が多項的安定であることである。ここで φ = *u は、End(E) ⊗ K_Z の正則切断である。
• この対応は、アヴァルティェス・コンスールとガルシア＝プラダによる、1頂点および1自己ループを持つねじれ付きクウェイバーバンドルの安定性に関する結果の特別な場合である。
• モジュライ空間は、非可約な解において滑らかであり、解の弱収束列における特異性は、与えられた条件下で除去可能である。
• 方程式 ΛF_h + Λ³[φ, φ̄^h] + 6πiμ(E)Id_E = 0 は、ペair (E, φ) が多項的安定であるためのヘリット・メトリック h を特徴付ける。