[論文レビュー] Flops and Clusters in the Homological Minimal Model Program

Michael Wemyss|arXiv (Cornell University)|Nov 26, 2014

Algebraic structures and combinatorial models参考文献 28被引用数 14

ひとこと要約

本稿では、非可換代数を用いて3次元特異点の最小モデル間を体系的かつアルゴリズム的に移動するためのホモロジー的最小モデルプログラム（Homological MMP）を導入する。有限次元性が導来同値な非可換環Λの因子によって、フロップ可能な曲線が検出可能であり、かつ変異ファンクターがBridgeland–Chenのフロップファンクターと一致することを示すことにより、幾何学的計算を回避した有効な最小モデル間の移動が可能となる。

ABSTRACT

Suppose that $f\colon X o\mathrm{Spec}\, R$ is a minimal model of a complete local Gorenstein 3-fold, where the fibres of $f$ are at most one dimensional, so by [VdB1d] there is a noncommutative ring $Λ$ derived equivalent to $X$. For any collection of curves above the origin, we show that this collection contracts to a point without contracting a divisor if and only if a certain factor of $Λ$ is finite dimensional, improving a result of [DW2]. We further show that the mutation functor of [S6][IW4] is functorially isomorphic to the inverse of the Bridgeland--Chen flop functor in the case when the factor of $Λ$ is finite dimensional. These results then allow us to jump between all the minimal models of $\mathrm{Spec}\, R$ in an algorithmic way, without having to compute the geometry at each stage. We call this process the Homological MMP. This has several applications in GIT approaches to derived categories, and also to birational geometry. First, using mutation we are able to compute the full GIT chamber structure by passing to surfaces. We say precisely which chambers give the distinct minimal models, and also say which walls give flops and which do not, enabling us to prove the Craw--Ishii conjecture in this setting. Second, we are able to precisely count the number of minimal models, and also give bounds for both the maximum and the minimum numbers of minimal models based only on the dual graph enriched with scheme theoretic multiplicity. Third, we prove a bijective correspondence between maximal modifying $R$-module generators and minimal models, and for each such pair in this correspondence give a further correspondence linking the endomorphism ring and the geometry. This lifts the Auslander--McKay correspondence to dimension three.

研究の動機と目的

• 中間の幾何構造を計算せずに、3次元特異点の最小モデル間を効果的かつアルゴリズム的に移動する方法を開発すること。
• 非可換環Λの因子の有限次元性が、曲線の集合が除数を収縮させずに収縮可能かどうかを検出できることを示すこと。
• Λ_Iが有限次元である場合に、変異ファンクターとBridgeland–Chenのフロップファンクターの逆関手との間で関手的同型が成立することを確立すること。
• 幾何的計算を代数的変異に置き換えるホモロジー的枠組みを提供し、GITチャネルとフロップ構造を制御可能にする。
• 最大修正R-加群生成元と最小モデルを結びつけることで、Auslander–McKay対応を次元3に拡張すること。

提案手法

• 最小モデル f: X → Spec R に対して、反射的R加群Nを用いて非可換環Λ = End_R(N)を定義する。
• 導来同値Ψ_X: D^b(coh X) → D^b(mod Λ)を用いて、幾何的問題をホモロジー代数の問題に翻訳する。
• 曲線の集合に対応するΛの因子Λ_Iを定義し、その有限次元性がフロッピング可能性を検出できることを示す。
• [IW2, §6]の変異ファンクターを適用して代数Λを変形し、幾何的設定におけるフロップに対応させる。
• Λ_Iが有限次元である場合に、変異ファンクターがBridgeland–Chenのフロップファンクターの逆関手と関手的に同型であることを証明する。
• 得られた代数的変形を用いて、中間の射影的構造を計算せずに最小モデル間を移動する。

実験結果

リサーチクエスチョン

• RQ1 3次元最小モデルにおける曲線の集合が、除数を収縮させずに点に収縮するのはいつか？
• RQ2 各幾何構造を明示的に計算せずに、与えられた特異3次元多様体のすべての最小モデルをアルゴリズム的に移動する方法は何か？
• RQ3 非可換設定において、フロッピング可能な曲線を検出する正確なホモロジー的条件は何か？
• RQ4 変異ファンクターがBridgeland–Chenのフロップファンクターと同型となる条件は何か？
• RQ5 非可換代数を用いて、次元2から次元3へのAuslander–McKay対応を拡張できるか？

主な発見

• 3次元最小モデルにおける曲線の集合が除数を収縮させずに収縮するための必要十分条件は、非可換環Λの対応する因子Λ_Iが有限次元であることである。
• 変異ファンクターが[Bridgeland–Chenのフロップファンクターの逆関手]と関手的に同型であるのは、Λ_Iが有限次元である場合に限る。
• ホモロジー的MMPにより、中間の幾何的データを計算せずに、Spec Rのすべての最小モデル間を変異によって移動可能である。
• 最小モデルの数は、スキーム的重複度を含む双対グラフによって有界であり、代数的構造を用いることで正確な数え上げが可能である。
• 最大修正R-加群生成元と最小モデルとの間に一対一対応が確立され、自己準同型環が導来同値を介して幾何に結びつく。
• ホモロジー的MMPにより、GITチャネル構造が完全に記述され、どのチャネルが異なる最小モデルを生じさせ、どの壁がフロップを誘発するかを特定できる。