[論文レビュー] BPS invariants of semi-stable sheaves on rational surfaces

Jan Manschot|arXiv (Cornell University)|Sep 22, 2011

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

ひとこと要約

本稿では、特にヒルツブルフ面 $\Sigma_\ell$ および $\mathbb{P}^2$ 上のランク ≤3 の半安定層に対して、BPS不変量（精錐超対称指標）を体系的に計算する手法を開発する。標準的不変量が消える場合や $\gcd(c_1\cdot H, r) = 1$ 条件を満たさない場合に対処するため、拡張されたハラーナラシムアン層化と一般化されたブロー・アップ公式を導入し、明示的な積型生成関数と、$\gcd(r,c_1)=1$ の下で既知の結果と一致することを確認する。

ABSTRACT

BPS invariants are computed, capturing topological invariants of moduli spaces of semi-stable sheaves on rational surfaces. For a suitable stability condition, it is proposed that the generating function of BPS invariants of a Hirzebruch surface takes the form of a product formula. BPS invariants for other stability conditions and other rational surfaces are obtained using Harder-Narasimhan filtrations and the blow-up formula. Explicit expressions are given for rank <4 sheaves on a Hirzebruch surface or the projective plane. The applied techniques can be applied iteratively to compute invariants for higher rank.

研究の動機と目的

• ヒルツブルフ面 $\Sigma_\ell$ および $\mathbb{P}^2$ 上のランク ≤3 の半安定層の BPS 不変量を計算すること、特に安定性条件により標準的不変量が消える場合を含む。
• 元のブロー・アップ公式が制限を受ける $\gcd(c_1\cdot H, r) = 1$ 条件を超えて、BPS 不変量の生成関数の適用範囲を拡張すること。
• 拡張されたハラーナラシムアン層化を用いた再帰的技法を開発し、臨界安定性の壁を越えて不変量を計算すること。
• モジュライ空間の仮想ポアンカレ関数およびベッチ数の明示的表現を提供し、$\gcd(r,c_1)=1$ の下で既知の結果と一致することを確認すること。

提案手法

• 非厳密な安定性順序 $p_J(E_i,n) \succeq p_J(E_{i+1},n)$ を持つ拡張された HN 層化を導入し、体系的な壁越え計算を可能にする。
• 式 (4.2) を、$\Sigma_\ell$ 上の層の仮想ポアンカレ関数の生成関数とし、ファイバー $f$ における半安定制限を満たす場合に一般化し、式 (4.9) を用いて仮想ホッジ関数へ拡張する。
• 拡張された HN 層化に対応する生成関数の差を用いた壁越え（式 (5.8)）、曲線上のベクトル束における技術に類似。
• 一般化されたブロー・アップ公式を用い、$\tilde{\mathbb{P}}^2$ 上の不変量と $\mathbb{P}^2$ 上の不変量を関係づけ、$\gcd(c_1\cdot H, r)=1$ の制限を超えて拡張する。
• $\mu$-安定不変量を式 (5.8) の不変量を用いてギーゼッカー不変量に変換し、より高いランクの BPS 不変量の再帰的計算を可能にする。
• モジュラー形式およびシータ関数（例：$h_{r,0}(z,\tau)$）を用いて生成関数を表現し、$\frac{1}{3}h_{1,0}(3z,3\tau)$ の減算後に最終的なベッチ数を抽出する。

実験結果

リサーチクエスチョン

• RQ1 標準的ブロー・アップ公式が $\gcd(c_1\cdot H, r) \neq 1$ のために失敗する場合、有理的表面上の半安定層の BPS 不変量はどのように計算できるか？
• RQ2 拡張されたハラーナラシムアン層化は、臨界安定性の壁を越えて BPS 不変量を計算する際に果たす役割は何か？
• RQ3 $\Sigma_\ell$ 上の BPS 不変量の生成関数と $\mathbb{P}^2$ 上の生成関数は、ブロー・アップ公式によってどのように関係づけられるか？
• RQ4 $\gcd(r,c_1) > 1$ の場合、モジュライ空間の計算されたベッチ数は、トーリック局所化によるオイラー数とどの程度一致するか？
• RQ5 この手法はランク 3 を超えるより高いランクの層の BPS 不変量を計算するために一般化可能か？

主な発見

• 適切な極化を持つ $\Sigma_\ell$ 上の BPS 不変量の生成関数は、ランク $r \geq 1$ に対して積型公式（式 (4.2)）で与えられ、$c_1 \cdot f \not\equiv 0 \mod r$ の場合でも有効である。
• $r=3$, $c_1=0$, および $3 \leq c_2 \leq 6$ の場合、$\mathbb{P}^2$ 上のモジュライ空間のベッチ数 $b_n$ が明示的に計算され、表 1 にリストアップされている。$c_2 = 3,4,5,6$ のそれぞれに対し、$\chi = 18, 216, 1512, 8109$ である。
• すべての $c_2 \geq 3$ に対して、最初の非ゼロベッチ数 $b_0 = 1$ であり、$c_2=3$ の場合 $b_2 = 1$ であり、$c_2$ と共に増加する。これは予想される複素次元 $\dim_{\mathbb{C}}\mathcal{M} = 2c_2 - 3$ と整合的である。
• 標準的結果が $\gcd(r,c_1)=1$ の下で正しく再現され、$\mu$-安定領域において、参考文献 [26, 28, 32, 22] と一致することが確認された。
• $\gcd(r,c_1) > 1$ の場合、計算された BPS 不変量は $\mu$-安定領域のオイラー数とは異なり、半安定の場合に BPS 不変量とオイラー特性の間に非自明な差があることを示唆している。
• 拡張された HN 層化と壁越えに基づく再帰的手順により、より高いランクの BPS 不変量の反復的計算が可能となり、ランク 3 の結果を一般化する。