Stability conditions on threefolds

技術要約：三次元多様体上の安定性条件

問題設定
本論文は、滑らかな射影三次元多様体 $X \subset \mathbb{P}^n$ 上のブリッジランド安定性条件の構成と特徴付けを扱う。具体的には、以下の2つの異なるアプローチによる安定性条件の関係を調査している：

1. 「Li条件」アプローチ： $\mathbb{P}^n$ 上の安定性条件（Liu [Liu21] の研究に基づき Li [Li26] によって構成されたもの）であり、特定の位相条件を満たすことで、滑らかな部分多様体 $X$ への安定性条件の降下（制限）を可能にするもの。
2. 二重ティルト構成： Bayer–Macrì–Toda [BMT14] によって導入された二重ティルト手順による安定性条件の核心であり、特定の中心電荷と組み合わされた際に $X$ 上の安定性条件を定義することが予想されているもの。

中心となる問題は、Li による $\mathbb{P}^n$ 上の条件の制限を通じて誘導される安定性条件と、Bayer–Macrì–Toda (BMT) の二重ティルト構成によって得られる安定性条件が一致するかどうかを判定することである。この等価性を解決することで、「弱いBMT予想」（ティルト半安定な対象に関するBogomolov型の不等式）を、安定性条件の前提条件としてではなく、安定性条件の存在の帰結として証明することが可能になる。

手法
著者らは、圏論的な降下、安定性多様体上の計量解析、および幾何学的簡約技術を組み合わせて用いている：

1. 安定性多様体上の計量制御：
   著者らは、楕円曲線の積 $C^n$ 上の安定性条件 $\sigma_{a,b}$ と $\sigma_{a, b+\Delta b}$ の間の距離を分析している（Liu [Liu21] の構成を使用）。Bridgeland の一般化された計量を利用し、パラメータ $b$ に関する中心電荷の微分を分析することで、線束とのテンソル積による対象の位相シフトの上界を確立している。具体的には、十分に大きな $a$ に対して、位相シフト $\phi(E \otimes \mathcal{O}(m)) - \phi(E)$ が 1 未満であることを証明している。

2. 射影空間および部分多様体への降下：
   商写像 $\pi: C^n \to \mathbb{P}^n$ を用いて、著者らは安定性条件を $\mathbb{P}^n$ へ持ち上げる。その後、Li の制限定理 [Li26] を適用する。この定理は、$\mathbb{P}^n$ 上の安定性条件が、特定の条件（$X$ のイデアル層によるテンソル積の下での位相シフトの境界）を満たす場合に、滑らかな部分多様体 $X$ に制限されることを述べている。
   この条件が成立することを保証するために、著者らは、分割されたベクトル束によるイデアル層 $\mathcal{I}_{X/\mathbb{P}^n}$ の最小分解から導出される不変量 $m(X \xrightarrow{\iota} \mathbb{P}^n)$ を導入している。彼らは、$a > \frac{n}{\pi} m(X \xrightarrow{\iota} \mathbb{P}^n)$ を満たすとき、制限 $\sigma^X_{a,b}$ が有効なブリッジランド安定性条件であることを示している。

3. 次元減少とハートの特定：
   $X$ が三次元多様体である場合、著者らは制限された安定性条件のハート $\mathcal{A}^X_{a,b}$ を分析する。彼らは、ハイパープレーン切断 $S \subset X$ を利用して、問題を曲面のケース（ハートが $\text{Coh}(S)$ の単一のティルトとして知られているケース）へと簡約する。制限されたハートにおける対象の余係数的性質を、BMT 構成で定義された傾斜関数と比較することにより、これら2つのハートが一致することを証明する。

主要な貢献と結果

• 定理 1.1 (位相の上界)： 著者らは、$a > \frac{mn}{\pi}$ であるとき、任意の非ゼロな対象 $E \in D^b(\mathbb{P}^n)$ に対して $\phi^-_{a,b}(E \otimes \mathcal{O}_{\mathbb{P}^n}(m)) < \phi^-_{a,b}(E) + 1$ が成り立つことを証明している。これにより、$\mathbb{P}^n$ 上の安定性条件の族に対する「Li条件」が確立される。
• 定理 1.2 (構成の等価性)： 滑らかな射影三次元多様体 $X$ と、パラメータ $a > a(X, H)$（ここで $a(X, H)$ は不変量 $m(X \xrightarrow{\iota} \mathbb{P}^n)$ を通じて定義される）を満たす場合、誘導された安定性条件のハート $\mathcal{A}^X_{a,b}$ は、Bayer–Macrì–Toda によって定義された二重ティルト・ハート $(\text{Coh}(X)^{Z^{(1)}_b})^{Z^{(2)}_{a,b}}$ と正確に一致する。
• 系 1.3 (弱いBMT予想)： 定理 1.2 の等価性の直接的な帰結として、著者らは三次元多様体に対する弱いBMT予想を証明している。具体的には、特定の傾斜の等式を満たす第1ティルトにおける $Z^{(2)}_{a,b}$-半安定な対象 $E$ に対して、不等式 $\text{ch}^{bH}_3(E) < \frac{a^2}{2} H^2 \text{ch}^{bH}_1(E)$ が成立する。
• 計量境界： 本論文は、$C^n$ と $\mathbb{P}^n$ 上の安定性条件の間の距離について、パラメータ $a$ および $b$ に依存する明示的な境界を提供し、従来の推定を精緻化している。

意義と主張
本論文は、Castelnuovo 型の不等式（BMT予想など）を証明するための哲学における重要な転換を主張している。伝統的に、このような不等式は、基礎となる多様体の幾何学を用いて安定性条件の存在を導出するために確立されてきた。対照的に、本研究は以下を実証している：

1. $\mathbb{P}^n$ 上の安定性条件は、純粋に圏論的に（楕円曲線の積からの降下を通じて）構成できること。
2. これらの条件は、パラメータに関する明示的な数値条件の下で、滑らかな部分多様体 $X$ に制限されること。
3. これらの安定性条件の存在が、BMT型の不等式をその帰結として含意すること。

著者らは、彼らの結果が、BMT二重ティルト構成が十分大きな $a$ に対して有効な安定性条件を与えるという予測を裏付けるものであることを強調しており、不等式をあらかじめ証明しておく必要なく、三次元多様体に対する圏論的枠組みを検証している。この研究は、Polishchuk [Pol07]、Liu [Liu21]、および Li [Li26] の基礎的な構成に依拠しており、それらの結果を三次元多様体の特定の文脈へと拡張し、「Li条件」と「BMTハート」の間の正確な繋がりを確立している。