[論文レビュー] Aspects of the Homological Minimal Model Program

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

Algebraic Geometry and Number Theory参考文献 36被引用数 11

ひとこと要約

本稿では、導来同値と非可換環を用いて、完全局所Gorenstein3次元多様体のすべての極小モデルを走査するためのアルゴリズム的手法、すなわちホモロジカルな最小モデルプログラム（Homological MMP）を導入する。導来同値な非可換環Λの特定の因子が有限次元であるときかつそのときに限り、ある曲線の集合が除くことなく除くことなく収縮するが、これは、この場合に変異ファンクターがBridgeland–Chenのフロップファンクターの逆関手と関手的に同型であることを示し、極小モデル間の体系的な移行を可能にする。

ABSTRACT

Abstract. Suppose that f: X → SpecR is a minimal model of a complete local Gorenstein 3-fold, where the fibres of f are at most one dimensional, so by [VdB] 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 [IW2, §6] is functorially isomorphic to the inverse of the Bridgeland–Chen flop functor in the case when the factor of Λ is finite dimensional, and else the mutation functor is a twist functor over a noncommutative one-dimensional scheme. These results then allow us to jump between all the minimal models of SpecR 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

研究の動機と目的

• 完全局所Gorenstein3次元多様体のすべての極小モデルを、中間の幾何を計算することなく走査するためのアルゴリズム的枠組みを構築すること。
• 3次元多様体と導来同値な非可換環Λの性質を用いて、ある曲線の集合が除くことなく除くことなく収縮する条件を特徴づけること。
• [IW2, §6]の変異ファンクターが、Λの特定の因子が有限次元である条件の下で、Bridgeland–Chenのフロップファンクターの逆関手と同一視されることを同定すること。
• この枠組みを用いて、完全なGITチャンネル構造を計算し、どのチャンネルが相異なる極小モデルをもたらし、どのウォールがフロップを誘発するかを特定すること。

提案手法

• [VdB]で確立された3次元多様体Xと非可換環Λとの導来同値関係を用い、幾何的問題を非可換代数に翻訳する。
• [IW2, §6]の変異ファンクターを、導来カテゴリを介して異なる極小モデル間を変換する主要な道具として適用する。
• 変異ファンクターがBridgeland–Chenのフロップファンクターの逆関手と同型となる条件を同定し、特にΛの特定の因子が有限次元である場合に限定する。
• Λの因子の有限次元性を、除くことのない収縮を回避する基準として用い、代数的有限性と幾何的挙動を結びつける。
• 導来カテゴリと非可換スキームに移行することで、3次元多様体の双有理幾何の研究を、表面レベルの解析に還元する。
• 得られた構造を用いて、完全なGITチャンネル分解を再構成し、極小モデルおよびフロップに関するチャンネルとウォールを分類する。

実験結果

リサーチクエスチョン

• RQ1 非可換環Λにどのような代数的条件が成立すれば、原点上の曲線の集合が除くことなく除くことなく収縮するか？
• RQ2 [IW2, §6]の変異ファンクターが、いつBridgeland–Chenのフロップファンクターの逆関手と同型となるか？
• RQ3 中間の幾何を計算することなく、3次元多様体のすべての極小モデルを体系的に走査するにはどうすればよいか？
• RQ4 どのGITチャンネルが相異なる極小モデルに対応し、どのウォールが導来カテゴリの文脈でフロップを誘発するか？
• RQ5 Λの有限次元因子の構造は、3次元多様体の双有理幾何にどのように関係するか？

主な発見

• 原点上の曲線の集合が除くことなく除くことなく収縮するための必要十分条件は、非可換環Λの特定の因子が有限次元であることである。
• この因子が有限次元である場合、変異ファンクターは関手的にBridgeland–Chenのフロップファンクターの逆関手と同型である。
• 因子が無限次元である場合、変異ファンクターは非可換1次元スキーム上のターンファンクターとして同定される。
• ホモロジカルなMMPは、中間の幾何的計算を一切行わずに、SpecRのすべての極小モデルを体系的に移動するためのアルゴリズム的手法を提供する。
• この枠組みにより、問題を表面レベルの解析に還元することで、GITチャンネル構造の完全な計算が可能になる。
• 本稿では、どのGITチャンネルが相異なる極小モデルをもたらし、どのウォールがフロップに対応するかを正確に同定し、導来カテゴリの文脈で完全な分類を提供する。