[論文レビュー] Explicit formulae for rank zero DT invariants and the OSV conjecture

Soheyla Feyzbakhsh|arXiv (Cornell University)|Mar 20, 2022

Algebraic Geometry and Number Theory被引用数 5

ひとこと要約

本稿は、ボゴモロフ＝ギーセカー予想を満たすカルラヤ3次元多様体上のランク0ドナルドソン＝トーマス不変量について、明示的な公式を、2つの壁越え技法を用いて確立する。1つは特定のクラスにおける弱安定性条件に基づくもので、もう1つは$\bar{\mathcal{O}}_X(-n)$からの非自明な写像を介するもので、ランク1のDT不変量およびパンダリパナンデ＝トーマス不変量を用いた普遍的表現が得られる。任意のピカールランクに対してTodaのOSV予想の修正版を証明し、ランク2不変量の再帰的公式も提示する。

ABSTRACT

Fix a Calabi-Yau 3-fold $X$ satisfying the Bogomolov-Gieseker conjecture of Bayer-Macrì-Toda, such as the quintic 3-fold. By two different wall-crossing arguments we prove two different explicit formulae relating rank 0 Donaldson-Thomas invariants (counting torsion sheaves on $X$ supported on ample divisors) in terms of rank 1 Donaldson-Thomas invariants (counting ideal sheaves of curves) and Pandharipande-Thomas invariants. In particular, we prove a slight modification of Toda's formulation of OSV conjecture for $X$. When $X$ is of Picard rank one, we also give an explicit formula for rank two DT invariants in terms of rank zero and rank one DT invariants.

研究の動機と目的

• アーリアリティが大きい除数上のねじれ層を数えるランク0ドナルドソン＝トーマス不変量の明示的公式を導出すること。
• ピカールランク1のケースを超えて、TodaのOSV予想の形式化を一般化すること。
• 安定性条件における壁越えを介して、ランク0不変量をランク1のDT不変量およびパンダリパナンデ＝トーマス不変量と関連付けること。
• ランク2のDT不変量をランク0およびランク1不変量から再帰的に計算する枠組みを拡張すること。

提案手法

• ランク0クラス$\mathsf{v} = (0,D,\beta,m)$における弱安定性条件の空間における壁越えを用い、ランク1のDT不変量およびPT不変量を含む公式を導出する。
• 十分大きな$n$に対して、$s: \mathcal{O}_X(-n) \to F$を用いた普遍的壁越えアプローチを導入し、$\mathsf{J}(\mathsf{v})$をPT不変量を含む生成関数の形で表現可能にする。
• チャーン類および安定性パラメータに基づく重み付き単項式を符号化する生成関数$\operatorname{PT}^{\mathsf{v},n}(x,y,z)$を定義する。
• ジョイス＝ソンの壁越え公式を用いて、安定性のチャネルを越えて不変量を関連付け、特に大型体積極限およびジョイス＝ソンの壁$\ell_{\mathrm{JS}}$の近傍で有効であることを示す。
• 傾き安定性とギーゼカー安定性の間の再帰的壁越え議論を適用し、ランク2不変量をランク1およびランク0不変量で表現する。
• 和のパrameter化に$M(\mathsf{v})$および$M_{\mathsf{v},n}$を用い、チャーン類の制約と整合性を保証する。

実験結果

リサーチクエスチョン

• RQ1 任意のピカールランクを持つカルラヤ3次元多様体について、ピカールランク1のケースを超えてランク0のDT不変量の明示的公式を導出可能か？
• RQ2 ランク0のDT不変量は、壁越えを介してランク1のDT不変量およびパンダリパナンデ＝トーマス不変量とどのように関連するか？
• RQ3 任意のピカールランクを持つカルラヤ3次元多様体について、Todaの数学的OSV予想の形式化は成立するか？
• RQ4 壁越えを用いて、ランク2のDT不変量をランク0およびランク1不変量の普遍的表現として表すことができるか？
• RQ5 生成関数$A(\mathsf{v}_n, \mu)$の正確な構造は何か？この関数は係数抽出によって$\mathsf{J}(\mathsf{v})$を捉える。

主な発見

• ランク0クラス$\mathsf{v} = (0,D,\beta,m)$で$Q(\mathsf{v}) < 0$のとき、傾き半安定な層は存在せず、$\mathsf{J}(\mathsf{v}) = 0$である。
• 不等式$(H^3)^2 Q(\mathsf{v}) < D.H^2 + \frac{2}{D.H^2} - \frac{5}{2} - \frac{2}{(D.H^2)^2}$が成り立つとき、$\mathsf{J}(\mathsf{v})$は特定の符号およびオイラー標数補正を施したランク1クラスのペアの和として与えられる。
• $\mathsf{J}(\mathsf{v})$の公式は、$v_1 + v_2 = \mathsf{v}$を満たす$ v_1, v_2 $に関する和で表され、重み$(-1)^{\chi(v_2,v_1)-1} \chi(v_2,v_1)$が付加され、$\operatorname{P}_{-m_1,\beta_1} \operatorname{I}_{m_2,\beta_2}$が乗じられる。
• ピカールランク1のカルラヤ3次元多様体では、生成関数$A(\mathsf{v}_n, \mu_{\mathsf{v},n})$が$\mathsf{J}(\mathsf{v})$の係数として正規化$\chi(\mathcal{O}_X(-n), \mathsf{v})$を経て抽出可能であり、壁越えによる普遍的公式が証明される。
• ランク2のDT不変量の再帰的公式が確立された：$\mathsf{J}_{\mathrm{ti}}(\alpha)$は、補正項を含むランク1のDT不変量の和として表され、$\mathsf{J}(v_1)\mathsf{J}(v_2)$および係数$C_{v_1,v_1'}$を含む。
• 結果は[Li19, Kos20, Liu21]で用いられた制限付き安定性条件のもとで有効であり、既知の壁越えフレームワークへの適用可能性が保証される。