Rank Two Sheaves With Low Discriminant on the Fano Threefold of Index 2 and Degree 5

技術要約：次数5、指数2のファノ三次元多様体上の低判別数を持つランク2層

問題設定
本論文は、指数2、次数5の滑らかなファノ三次元多様体 $X_5$（以下 $X$ とする）上のランク2のギーゼカー（Gieseker）半安定余層 $E$ の分類を扱うものである。主な目的は、与えられた低い判別数 $\Delta_H(E) \leq 40$ に対して、可能な最大値となる第3チェルン類 $c_3(E)$ を持つこれらの層を記述することである。本研究は、$\mathbb{P}^3$ および滑らかな二次曲面 $X_2$ における、最大 $c_3$ を持つ層の有界性と構造的記述に関する R. Hartshorne、B. Schmidt、および著者（A. S. Tikhomirov との共著）による先行研究を拡張するものである。

手法
本論文は、$D^b(X)$ 上の傾斜安定性（tilt-stability）およびブリッジランド（Bridgeland）安定性の理論を用いている。手法は以下のステップで進行する：

1. 安定性の枠組み: 著者らは「傾斜（tilting）」の手続きを用いて、$D^b(X)$ 上の有界 $t$-構造の新しいハート $\text{Coh}_\beta(X)$ および $A_{\alpha,\beta}(X)$ を構成する。安定性は、中心電荷 $Z_{\alpha,\beta,s}$ および傾斜関数 $\nu_{\alpha,\beta}$ および $\lambda_{\alpha,\beta,s}$ を通じて定義される。
2. 例外的コレクション: 本アプローチの極めて重要な要素は、$X$ 上の完全な強例外的コレクション $(\mathcal{O}_X(-1), \mathcal{Q}(-1), \mathcal{U}, \mathcal{O}_X)$ の使用である。ここで $\mathcal{U}$ および $\mathcal{Q}$ はグラスマン多様体 $\text{Gr}(2,5)$ からの普遍部分束および商束の制限である。このコレクションはハート $\mathcal{C}$ を生成し、これにより特定のチェルン標数の対象の明示的な記述が可能となる。
3. 壁と領域（Wall-and-Chamber）の解析: 著者らは、パラメータ $(\beta, \alpha)$ の上半平面における「壁」（傾斜安定性が変化する場所）を解析する。判別数を抑え、ボゴモロフ・ギーゼカー不等式（および傾斜安定性に対するその一般化版）を利用することで、不安定化させる壁の存在と位置を決定する。
4. 帰納的分類: 分類は判別数に関する帰納法によって進められる。特定のチェルン標数の場合、対象が最大の壁の上方で常に傾斜安定であるか、あるいは不安定化させる部分対象を定義する特定の完全列（拡張）を特定する。

主要な貢献と結果
本論文は、$\Delta_H(E) \leq 40$ の判別数を持つ、最大 $c_3$ を持つランク2のギーゼカー半安定層の完全な記述を提供する。主要な結果は 定理 1.1（定理 3.4 から導出）にまとめられている：

• $c_1 = -1$ の場合:
  • $c_2 = 2$ ならば、$c_3 \leq 0$ である。等号成立は $E \cong \mathcal{U}$ であることと同値である。
  • $c_2 = 3$ ならば、$c_3 \leq 1$ である。等号成立は $E$ が完全列 $0 \to \mathcal{U}(-1) \to \mathcal{O}_X(-1)^{\oplus 4} \to E \to 0$ に適合することと同値である。
• $c_1 = 0$ の場合:
  • $c_2 = 0$ ならば、$c_3 \leq 0$ である。等号成立は $E \cong \mathcal{O}_X^{\oplus 2}$ であることと同値である。
  • $c_2 = 1$ ならば、$c_3 \leq -2$ である。等号成立は $E$ が直線 $L \subset X$ に対して $0 \to E \to \mathcal{O}_X^{\oplus 2} \to \mathcal{O}_L(1) \to 0$ に適合することと同値である。
  • $c_2 = 2$ ならば、$c_3 \leq 0$ である。等号成立は $E$ が $0 \to \mathcal{Q}(-1)^{\oplus 2} \to \mathcal{U}^{\oplus 4} \to E \to 0$ に適合することと同値である。

本論文は、これらの特定のケースにおいて、最大 $c_3$ を持つ層は既知のベクトル束（$\mathcal{U}$ など）であるか、あるいは $\mathcal{U}, \mathcal{Q}$, および自明な束の拡張であることを確立している。また、ケース (2.3) の層は、局所自由であるとき、算術的コーエン・メーレン（aCM）であり、インスタントン束およびねじれウルリッヒ（Ulrich）束であることを著者らは述べている。

意義と予想
著者らは、本研究を、判別数に関する帰納法を用いて $X_5$ 上のすべての最大 $c_3$ を持つギーゼカー半安定ランク2層の全般的記述を目指す一歩として位置づけている。$\mathbb{P}^3, X_2$, および現在の $X_5$ に関する結果に基づき、著者らは 予想 4.5 を提示している：

大きな $c_2$（具体的には $c_2 \gg 0$）に対して、最大 $c_3$ を持つ一般的な層は、以下の形式の拡張として記述できる：

• $0 \to \mathcal{O}_X(-1)^{\oplus 2} \to E \to \mathcal{O}_S(D) \to 0$ （$c_1 = -1$ の場合）
• $0 \to \mathcal{U} \to E \to \mathcal{O}_S(D) \to 0$ （$c_1 = 0$ の場合）

ここで $S$ は $X$ の滑らかな超平面切断（次数5のデル・ペッツォ曲面）であり、$D$ は $S$ 上の因子である。本論文は、この種の拡張に対する第3チェルン標数の境界を導出し、これらの条件下での傾斜安定な対象の振る舞いを解析することにより、この予想に対する部分的な証拠を提供している。

本研究は、長さ4の完全な例外的コレクションを持つ多様体である $X_5$ に対しても、$\mathbb{P}^3$ や二次曲面に適用されてきた傾斜安定性とブリッジランド安定性の手法が有効であることを示している。著者らは、これらの手法が、同様の半直交分解を持つ他のファノ三次元多様体にも適用可能である可能性を示唆している。