Derived equivalence for the simple flop of type $G_2^{\dagger}$ via tilting bundles

以下は、Wahei Hara による論文「Tilting Bundles を通した $G^\dagger_2$ 型単純フロップの導来同値」の詳細な技術的要約である。

1. 問題提起と文脈

本論文は、Bondal と Orlov、および Kawamata にちなんで名付けられたDK 予想の特定のケースを取り扱っている。この予想は、2 つの滑らかな代数多様体 $X_+$ と $X_-$ が$K$-同値（すなわち、共通の解消 $\tilde{X}$ が存在し、その標準因子の引き戻しが線形同値である）ならば、それらは$D$-同値（すなわち、その有界コヒーレント層の導来圏 $D^b(\text{coh } X_+)$ と $D^b(\text{coh } X_-)$ が三角圏として同値である）であると主張する。

この予想は、Atiyah フロップなどの標準的なフロップや特定の同質の場合については既知であるが、本論文は例外となる非同質の例に焦点を当てている。

• 対象: $G^\dagger_2$ 型の単純フロップ。
• 幾何学: このフロップは、「屋根（2 つの異なる $\mathbb{P}^2$-束構造を許容する多様体 $W$）」から生じるが、これは有理同質多様体ではない。これは、これまで研究されてきたすべての単純フロップが同質の屋根から導かれていた点と区別される。
• 局所モデル: 多様体 $X_+$ と $X_-$ は、5 次元二次曲面 $Q_5$ 上のベクトル束の全空間であり、具体的には $X_\pm = \text{Tot}_{Q_5}(G_\pm^\vee(-1))$ である。ここで $G_\pm$ はOttaviani 束（チャーン類が $(2,2,2)$ である安定なランク 3 の束）である。
• 課題: 基底環 $R = H^0(X_\pm, \mathcal{O}_{X_\pm})$ を尊重する明示的な導来同値 $\Phi: D^b(\text{coh } X_+) \xrightarrow{\sim} D^b(\text{coh } X_-)$ を構成すること（すなわち、フロップ写像と両立する $R$-線形同値）。

2. 手法

著者は、導来同値を確立するために**Tilting Bundles（tilting 束）**の手法を採用している。中核的な戦略は以下の通りである。

1. Tilting 束の構成: 各側（$X_+$ と $X_-$）において、導来圏を生成し、高次自己拡張を持たないという tilting 条件を満たすベクトル束 $T_\pm$ を見つける。
2. 自己準同型環の同型: 自己準同型代数 $\Lambda_+ = \text{End}_{X_+}(T_+)$ と $\Lambda_- = \text{End}_{X_-}(T_-)$ が $R$-代数として同型であることを証明する。
3. 交換図式: 「屋根」$W$（吹上げの例外因子）の幾何学を利用し、$W$ 上で定義された「鍵となる束」$E$ を通じて $X_+$ と $X_-$ 上の束を関連付ける。

主要な技術的ステップ:

• Borel–Bott–Weil 計算: 著者は、Ottaviani 束やスピノル束を含む様々な束に対する Ext 群の消滅を決定するために、5 次元二次曲面 $Q_5$（型 $B_3$ の同質空間）上で詳細なコホモロジー計算を行う。
• Kapranov 束の修正: $Q_5$ 上の標準的な tilting 束（Kapranov によるもの）は、非消滅する $\text{Ext}^1$ を獲得するため、$X_\pm$ 上の tilting 束に引き戻されない。著者は、特定の直和項の非自明な拡大を取ることでこの障害を相殺し、新しい tilting 束 $T_\pm$ を作成することでこれを解決する。
• 交換図式: 証明は、屋根 $W$ 上の特定のベクトル束 $E$ に依存する。$E$ を共通解消 $\tilde{X}$ に引き戻し、$X_\pm$ に押し出すことで、著者は $E$ が両側の tilting 束に必要な特定の拡大束 $P_\pm$ を生成することを示す。

3. 主要な貢献と結果

A. Tilting 束の構成

本論文は、$X_\pm$ 上の tilting 束 $T_\pm$ を明示的に構成する。$S_\pm$ を $Q_5$ 上のスピノル束とし、$P_\pm$ を以下で定義される唯一の非自明な拡大とする。
$$0 \to \mathcal{O}_{X_\pm}(-2) \to P_\pm \to S_{X_\pm}^\vee \to 0$$
tilting 束は次のように与えられる。
$$T_\pm = \mathcal{O}_{X_\pm}(-2) \oplus \mathcal{O}_{X_\pm}(-1) \oplus \mathcal{O}_{X_\pm} \oplus \mathcal{O}_{X_\pm}(1) \oplus \mathcal{O}_{X_\pm}(2) \oplus P_\pm$$
著者は（定理 3.5 において）、$T_\pm$ が $D^b(\text{coh } X_\pm)$ を生成し、$i > 0$ に対して $\text{Ext}^i(T_\pm, T_\pm) = 0$ を満たすことを証明する。

B. 主要定理（導来同値）

定理 1.2: 以下の $R$-線形三角圏の完全同値が存在する。
$$\Phi: D^b(\text{coh } X_+) \xrightarrow{\sim} D^b(\text{coh } X_-)$$
ただし、$Rf_{+*} \simeq Rf_{-*} \circ \Phi$ である。

• 意義: これは、既知の非同質単純フロップに対する DK 予想の最初の確認である。
• 機構: この同値は、自己準同型環の同型 $\Lambda \cong \text{End}_{X_+}(T_+) \cong \text{End}_{X_-}(T_-)$ によって誘導される。

C. 非可換クリーパント解消（NCCR）

系 3.9: 上記で構成された代数 $\Lambda$ は、特異点 $\text{Spec } R$ の**非可換クリーパント解消（NCCR）**である。

• これは、特異なアフィンスキームが、その 2 つの射影的クリーパント解消（$X_+$ と $X_-$）の両方と導来同値である NCCR を許容する具体的な例を提供する。
• 加群 $f_{+\ast}T_+$ と $f_{-\ast}T_-$ が Cohen-Macaulay であることが示され、NCCR の基準を満たしている。

D. 幾何学的洞察

• 屋根 $W$: 本論文は、$OGr(3,8)$内の除数たちの滑らかな交点である屋根$W$ の幾何学を明確にし、それが既知の唯一の非同質の屋根であることを特定する。
• K3 曲面: このフロップは、ねじれた Ottaviani 束の切断の零点である、同型でない 2 つの次数 12 の K3 曲面間の導来同値を誘導し、それらの D-同値に関する新たな視点を提供する。

4. 意義と影響

1. 同質性の打破: この研究以前、単純フロップの導来同値は、例外因子（屋根）が有理同質多様体である場合にほぼ限定されていた。本論文は、非同質の屋根に対する DK 予想を証明し、双有理幾何学における既知の $D$-同値の範囲を大幅に拡大した。
2. 方法的進展: 既知の tilting 束を特定の非自明な拡大（$\text{Ext}^1$ を消すため）によって修正する手法は、より複雑で非同質な設定において tilting 束を構成するための堅牢なテンプレートを提供する。
3. NCCR の構成: $G^\dagger_2$ 特異点に対する NCCR $\Lambda$ の明示的な構成は、「Craw–Ishii 型」の問題に貢献し、幾何学的解消を非可換代数上の加群のモジュライ空間と結びつけている。
4. 変異への代替: 他の研究（Kanemitsu や Toda によるものなど）が半直交分解（SOD）の変異を用いてそのような同値を証明するのに対し、本論文は tilting 束を使用する。このアプローチは、同値のより明示的な記述をもたらし、変異手法では検証が困難になり得る $R$-線形性（フロップ写像との両立）をより直接的に保証する。

要約すると、Wahei Hara の論文は、明示的な tilting 束を構成し、関連する非可換クリーパント解消を特定することによって、例外となる $G^\dagger_2$ 型単純フロップの導来同値を成功裡に解決し、同質と非同質の双有理幾何学の間のギャップを埋めた。