[論文レビュー] Derived equivalence for stratified Mukai flop on G(2,4)

Yūjirō Kawamata|ArXiv.org|Mar 5, 2005

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

ひとこと要約

本稿は、$G(2,4)$ 上の階層的 Mukai フォールドに対して、導来同値性が確立されている。Namikawa が自然なファンクターが同値でないことを示したにもかかわらず、吹き上げと層コホモロジーを用いて構成された代替ファンクターが、フォールドされた多様体上の両方の導来カテゴリの間で導来同値性を誘導することを証明している。主な結果は、9次元のこの場合におけるK同値性予想の洗練版を確認するものである。

ABSTRACT

We prove that there is a derived equivalence for stratified Mukai flop on G(2,4).

研究の動機と目的

• 階層的 Mukai フォールド $G(2,4)$ の文脈において、$K$-同値な多様体の導来同値性予想を調査すること。
• Namikawa が自然なファンクターが導来カテゴリの同値でないことを示した反例を解消すること。
• フォールドされた多様体の間で導来同値性を誘導する代替ファンクターを構築すること。
• $n=4$, $r=2$ の場合、つまりフォールドが9次元で、標準的フォールドの3パラメータの退化から生じる場合に、予想を検証すること。
• 吹き上げ解消と層論的技法を用いて、特異的かつ非標準的フォールドに対しても導来同値性の枠組みを拡張すること。

提案手法

• 0-切断およびランク1の集合に沿った $X$ と $X^+$ の吹き上げを用いて、階層的 Mukai フォールドを構成し、$f_1$ と $f_2$ を用いて特異点を解消する。
• 全空間 $Y = X_2 = X_2^+$ を共通解消として特定し、吹き上げからの例外的 divisor $E_1'$ と $E_2$ を特定する。
• $f = f_2 imes f_1$ を通じたプッシュフォワード、ラインバンドルとのテンソル積、およびプルバックの合成としてファンクター $ ilde{ heta}$ を定義する。吹き上げ中心の構造層を用いる。
• $X_0^+$ 上の Eagon-Northcott 解体を用いて、層のコホモロジーを解析し、正確な系列と消失定理を用いて $Rf_*\text{Sym}^i S^* \to Rf_*\text{Sym}^i S^{+*}$ を計算する。
• [2] および [3] の基準を適用し、局所自由層のスパニングクラス上で、随伴射 $F: \text{id} \to \tilde{\theta} \tilde{\theta}^*$ が同型であることを示す。
• $i=1,2$ に対して $Rf_*\text{Sym}^i S^* \to Rf_*\text{Sym}^i S^{+*}$ が同型であり、高次コホモロジーが消失することを証明することで、全忠実性および同値性を保証する。

実験結果

リサーチクエスチョン

• RQ1 自然なファンクターが失敗するにもかかわらず、$G(2,4)$ 上の階層的 Mukai フォールドに対して導来同値性は成立するか？
• RQ2 この状況において、導来同値性を誘導する代替ファンクターを構築できるか？
• RQ3 吹き上げと層コホモロジーは、$K$-同値な多様体の導来同値性問題の解消にどのような役割を果たすか？
• RQ4 $X_0^+$ 上の Eagon-Northcott 解体は、導来プッシュフォワードの計算をどのように支援するか？
• RQ5 局所自由層のスパニングクラスは、導来カテゴリの同値性を証明するのに十分か？

主な発見

• 自然なファンクター $\theta$ が、$G(2,4)$ 上の階層的 Mukai フォールドの導来カテゴリ間で同値でないことが確認され、Namikawa の結果を裏付ける。
• 吹き上げと層コホモロジーを用いて構築された代替ファンクター $\tilde{\theta}$ が、全忠実かつ導来カテゴリの同値性を有することが示された。
• 局所自由層のスパニングクラス上で、随伴射 $F: \text{id} \to \tilde{\theta} \tilde{\theta}^*$ が同型であるため、全忠実性が保証される。
• $n=4$, $r=2$ の場合、導来カテゴリ $D^b(\text{Coh}(X))$ と $D^b(\text{Coh}(X^+))$ は $\tilde{\theta}$ を通じて同値である。
• $Rf_*\text{Sym}^i S^*$ および $Rf_*\text{Sym}^i S^{+*}$ の高次次数での消失が同値性を保証し、特に $i=1,2$ に対して成立する。
• コホモロジー計算により、$Rf_*\text{Sym}^i S^* \to Rf_*\text{Sym}^i S^{+*}$ が同型であることが確認され、導来同値性が裏付けられた。