[論文レビュー] On a computation of rank two Donaldson-Thomas invariants

Yukinobu Toda|ArXiv.org|Dec 13, 2009

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

ひとこと要約

本稿は、Joyce-SongおよびKontsevich-Soibelmanの壁越え公式を用いて、Calabi-Yau 3-fold におけるランク2のDonaldson-Thomas不変量を計算する。これらの不変量の閉形式の生成関数を導出し、それがMacMahon関数およびその微分の有理関数として与えられることを示し、明示的な有理数値不変量の計算を通じて、整数性予想に対する証拠を提供する。

ABSTRACT

For a Calabi-Yau 3-fold $X$, we explicitly compute the Donaldson-Thomas type invariant counting pairs $(F, V)$, where $F$ is a zero-dimensional coherent sheaf on $X$ and $V\subset F$ is a two dimensional linear subspace, which satisfy a certain stability condition. This is a rank two version of the DT-invariant of rank one, studied by Li, Behrend-Fantechi and Levine-Pandharipande. We use the wall-crossing formula of DT-invariants established by Joyce-Song, Kontsevich-Soibelman.

研究の動機と目的

• F を長さ n の0次元的層で、V ⊂ F が2次元部分空間であるような安定対 (F,V) を数えるランク2Donaldson-Thomas不変量を計算すること。
• Fourier-Mukai変換の下での不変量の必要性に駆られて、ランク1のDT不変量フレームワークを高ランク層へと拡張すること。
• Joyce-Songの壁越え公式を適用して、ランク2DT不変量の生成関数を明示的に計算すること。
• 不変量が有理数であり、特定の整数性性質を満たすことを示すことで、Kontsevich-Soibelmanの整数性予想に対する証拠を提供すること。

提案手法

• Joyce-SongおよびKontsevich-Soibelmanが開発したDT不変量の壁越え公式を用い、ランク2不変量をランク1データに関連付ける。
• 長さ(F)=n かつ V が安定性条件のもとで F を生成する半安定対 (F,V) のモジュライ空間 M^{(2,n)} を構成する。
• Behrendの局所的オイラー特性および仮想積分を用いて、DT(2,n) をモジュライ空間上のBehrend関数の積分として定義する。
• スタック的モジュライ空間の問題を克服するため、ホール代数の技法を用いて、n が偶数のとき DT(2,n) ∈ ℚ を定義する。
• 集合 Δ 上での組み合わせ的分解を用いて、DT(2) = ½M(q)^{2χ(X)} − ½χ(X)·[M(q)^{χ(X)}·M(q)^{χ(X)}·N(q)]_Δ という生成関数を導出する。
• 仮想Poincaré多項式および群作用（例：Gm）を用いて商スタックのオイラー特性を計算し、整数性を検証する。

実験結果

リサーチクエスチョン

• RQ1 Calabi-Yau 3-fold におけるランク2Donaldson-Thomas不変量の明示的生成関数は何か？
• RQ2 モジュライ空間がスタックである場合、壁越え公式はどのようにして高ランクDT不変量を計算するために適用可能か？
• RQ3 得られたDT(2,n) は、有理数値不変量についてKontsevich-Soibelmanの整数性予想を満たすか？
• RQ4 ランク2不変量は、ランク1不変量およびその微分で表現可能か？
• RQ5 MacMahon関数およびその対数微分は、生成関数にどのようにして組み込まれるか？

主な発見

• ランク2DT不変量の生成関数は、DT(2) = ½M(q)^{2χ(X)} − ½χ(X)·[M(q)^{χ(X)}·M(q)^{χ(X)}·N(q)]_Δ で与えられ、Δ は ℤ≥0³ の特定の部分集合である。
• n が偶数のとき DT(2,n) は有理数値であり、ホール代数技法と壁越え公式を用いて導出された。
• 本稿は、すべての m に対して DT(2,2m) ≡ 0 mod ℤ であることを確認しており、Kontsevich-Soibelmanの整数性予想に対する強い証拠を提供する。
• 系列 N(q) = q d/dq log M(q) = ∑_{r,n≥0, r|n} r²qⁿ は、生成関数の補正項における重要な構成要素として現れる。
• モジュライスタックの仮想オイラー特性は、群作用および商スタックを用いて計算され、χ(ε₃,1) = ½∫_{p∈Q^{(1,m)}} dim Ext¹(Eₚ,Eₚ) dχ と表される。
• 計算により、壁越え構造からの寄与が有理数不変量を生じさせ、極限において整数的であることが示され、整数性予想を支持する。