[論文レビュー] Stability conditions on Calabi-Yau double/triple solids

Naoki Koseki|arXiv (Cornell University)|Jun 30, 2020

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

ひとこと要約

本稿は、$\mathbb{P}^3$ の2重または3重被覆である、重み付きヒルベルト多様体 $\mathbb{P}(1,1,1,1,2)$ および $\mathbb{P}(1,1,1,1,4)$ 上のスロープ安定な層に対して、より強いボゴモロフ・ギーセッカー（BG）不等式を確立する。この改善された不等式を基盤として、これらの3次元カルラヤ・多様体の導来カテゴリカルに、ブリッジランド安定性条件の開部分集合を構成し、既知の結果（5次超曲面やアーベル3次元多様体）を越えて拡張する。

ABSTRACT

In this paper, we prove a stronger form of the Bogomolov-Gieseker (BG) inequality for stable sheaves on two classes of Calabi-Yau threefolds, namely, weighted hypersurfaces inside the weighted projective spaces $\mathbb{P}(1, 1, 1, 1, 2)$ and $\mathbb{P}(1, 1, 1, 1, 4)$. Using the stronger BG inequality as a main technical tool, we construct open subsets in the spaces of Bridgeland stability conditions on these Calabi-Yau threefolds.

研究の動機と目的

• 既知の例（5次超曲面やアーベル3次元多様体）を超えて、新しいクラスのカルラヤ3次元多様体へのブリッジランド安定性条件の構成を拡張すること。
• 重み付きヒルベルト多様体 $\mathbb{P}(1,1,1,1,2)$ および $\mathbb{P}(1,1,1,1,4)$ 上のスロープ安定な層に対して、より強いボゴモロフ・ギーセッカー不等式を確立すること。
• 精密化されたBG不等式を用いて、$\nu_{\beta,\alpha}$-半安定な対象に対して $\operatorname{ch}_3$ を含むBG型不等式を証明すること。
• 幾何的・代数的制約を満たす実数パラメータ $\alpha, \beta, a, b$ でパrameter化された、連続的な安定性条件の族を構成すること。

提案手法

• 2重および3重被覆のカルラヤ3次元多様体上のスロープ安定な層に対して、より強いBG不等式を証明し、比 $H\operatorname{ch}_2 / H^3\operatorname{ch}_0$ を $|H^2\operatorname{ch}_1 / H^3\operatorname{ch}_0|$ の関数 $\Xi(t)$ で有界化する非自明な関数 $\Xi(t)$ を導入する。
• リーマン面上の安定バンドルの正則切断に関するクラッフォード型の境界に帰着し、クイントィック3次元多様体に対してリィが考案した手法にインspiredされた制限技法を用いる。
• $\operatorname{ch}_0^\beta, \operatorname{ch}_1^\beta, \operatorname{ch}_2^\beta, \operatorname{ch}_3^\beta$ とクラス $\Gamma = \frac{2}{9}H^2$（3重被覆）または $\frac{1}{3}H^2$（2重被覆）を含む2次形式 $Q^{\Gamma}_{\alpha,\beta}(E)$ を定義し、$\nu_{\beta,\alpha}$-半安定な対象に対してその非負性を証明する。
• 成分が $-\operatorname{ch}_3^\beta + bH\operatorname{ch}_2^\beta + aH^2\operatorname{ch}_1^\beta + i(H\operatorname{ch}_2^\beta - \frac{1}{2}\alpha^2 H^3\operatorname{ch}_0^\beta)$ である中心的質量 $Z^{a,b}_{\beta,\alpha}$ を定義し、ダブルティルトされたハート $\mathcal{A}^{\beta,\alpha}$ を構成する。
• $\nu'_{\beta,\alpha}$-半安定な対象 $F$ で $\nu'_{\beta,\alpha}(F) = 0$ を満たすものに対して $Z_{\beta,\alpha}^{a,b}(F[1])$ の負性を示し、精密化されたBG不等式と古典的不等式を用いて安定性条件の公理を検証する。
• 非空な開区間 $I^{a,b}_{\alpha,\gamma}$ が存在することを示し、$Z_{\beta,\alpha}^{a,b}$ の核上で修正された2次形式 $Q^{\alpha,\beta,\gamma}_K$ が負定値であることを証明することで、サポート性を確認し、安定性条件が適切に定義されることを保証する。

実験結果

リサーチクエスチョン

• RQ1 2重および3重被覆のカルラヤ3次元多様体上のスロープ安定な層に対して、より強いボゴモロフ・ギーセッカー不等式を確立できるか。
• RQ2 $\nu_{\beta,\alpha}$-半安定な対象に対する精密化されたBG不等式が、これらの多様体上のブリッジランド安定性条件の構成に繋がるか。
• RQ3 これらのカルラヤ3次元多様体上の安定性条件のサポート性を保証する2次形式 $Q^{\Gamma}_{\alpha,\beta}$ の正確な形は何か。
• RQ4 $\alpha, \beta, a, b$ のパラメータが、これらの多様体上の連続的安定性条件族の存在をどのように制約するか。
• RQ5 $\Gamma = \frac{2}{9}H^2$（3重被覆）または $\frac{1}{3}H^2$（2重被覆）というクラスが、精密化されたBG不等式および安定性条件の構成において果たす役割は何か。

主な発見

• 2重および3重被覆のカルラヤ3次元多様体上のスロープ安定な層に対して、より強いボゴモロフ・ギーセッカー不等式が証明され、$\frac{H\operatorname{ch}_2(E)}{H^3\operatorname{ch}_0(E)} \leq \Xi\left(\left|\frac{H^2\operatorname{ch}_1(E)}{H^3\operatorname{ch}_0(E)}\right|\right)$ と表現され、ここで $\Xi(t)$ は $[0,1]$ 上で区分的定義された関数である。
• $\Gamma = \frac{2}{9}H^2$（3重被覆）または $\frac{1}{3}H^2$（2重被覆）の場合、すべての $\nu_{\beta,\alpha}$-半安定な対象 $E$ に対して不等式 $Q^{\Gamma}_{\alpha,\beta}(E) \geq 0$ が成り立つ。
• これらの多様体の導来カテゴリカルに、実数 $\alpha, \beta, a, b$ でパラメータ化されたブリッジランド安定性条件の開部分集合が構成され、$\alpha > 0$, $\alpha^2 + \left(\beta - \lfloor\beta\rfloor - \frac{1}{2}\right)^2 > \frac{1}{4}$, および $a > \frac{1}{6}\alpha^2 + \frac{1}{2}|b|\alpha + \gamma$ を満たす。ここで $\gamma = \frac{2}{9}$（3重被覆）または $\frac{1}{3}$（2重被覆）である。
• $Z^{a,b}_{\beta,\alpha}$ とダブルティルトされたハート $\mathcal{A}^{\beta,\alpha}$ は、有理数 $\alpha, \beta$ に対して安定性条件の公理を満たし、サポート性により実数パラメータへ連続に拡張可能である。
• サポート性は、非空な開区間 $I^{a,b}_{\alpha,\gamma}$ が存在し、$Z_{\beta,\alpha}^{a,b}$ の核上で $K\overline{\Delta}_H + \overline{\nabla}^{\alpha,\beta,\gamma}_H$ が負定値であることを示すことによって確認され、安定性条件が適切に定義されることを保証する。
• この構成により、$\widetilde{\operatorname{GL}^+}(2;\mathbb{R})$ の作用に関して不変である連続的安定性条件の族が得られ、これらのカルラヤ3次元多様体上のすべてのブリッジランド安定性条件の空間における開部分集合をなす。