[论文解读] Aspects of the Homological Minimal Model Program

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

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

一句话总结

本文提出了同调极小模型程序（Homological MMP），一种通过导出等价与非交换环来系统导航完备局部 Gorenstein 3- folds 所有极小模型的算法方法。研究证明：当且仅当与 3- fold 导出等价的非交换环 Λ 的某一因子为有限维时，一组曲线的收缩不会导致除子的收缩；在此情况下，该突变函子与 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

研究动机与目标

• 开发一种算法框架，用于在不计算中间几何结构的前提下，导航完备局部 Gorenstein 3- fold 的所有极小模型。
• 通过与 3- fold 导出等价的非交换环 Λ 的性质，刻画一组曲线在不收缩除子的前提下收缩至一点的代数条件。
• 在 Λ 的某一因子为有限维的条件下，将 [IW2, §6] 中的突变函子与 Bridgeland–Chen 翻转函子的逆函子相等同。
• 将该框架应用于计算完整的 GIT 房间结构，确定哪些房间产生不同的极小模型，哪些墙诱导翻转。

提出的方法

• 利用 [VdB] 中建立的 3- fold X 与非交换环 Λ 之间的导出等价，将几何问题转化为非交换代数问题。
• 将 [IW2, §6] 中的突变函子作为关键工具，通过导出范畴在不同极小模型之间实现变换。
• 识别出当 Λ 的某一特定因子为有限维时，突变函子与 Bridgeland–Chen 翻转函子的逆函子同构的条件。
• 将 Λ 的某一因子的有限维性作为避免除子收缩的判别准则，将代数上的有限性与几何行为相联系。
• 通过进入导出范畴与非交换概形，将 3- fold 的有理几何研究简化为二维层面的分析。
• 利用所得结构重建完整的 GIT 房间分解，并基于极小模型与翻转关系对房间与墙进行分类。

实验结果

研究问题

• RQ1 在非交换环 Λ 上，何种代数条件可保证一组曲线在不收缩除子的前提下收缩至一点？
• RQ2 在何种条件下，[IW2, §6] 中的突变函子与 Bridgeland–Chen 翻转函子的逆函子同构？
• RQ3 如何通过算法手段在不计算每一步几何结构的前提下，系统遍历 3- fold 的所有极小模型？
• RQ4 在导出范畴语境下，哪些 GIT 房间对应不同的极小模型，哪些墙诱导翻转？
• RQ5 Λ 的有限维因子结构如何与 3- fold 的有理几何相关联？

主要发现

• 一组曲线在原点上方收缩至一点而不收缩除子，当且仅当与之导出等价的非交换环 Λ 的某一因子为有限维。
• 当该因子为有限维时，突变函子在函子范畴上同构于 Bridgeland–Chen 翻转函子的逆函子。
• 当该因子为无限维时，突变函子被识别为在非交换一维概形上的扭函子。
• 同调极小模型程序提供了一种系统且算法化的手段，可在不进行中间几何计算的前提下，在 SpecR 的所有极小模型之间移动。
• 该框架通过将问题简化为二维层面分析，实现了对 GIT 房间结构的完整计算。
• 本文精确识别出哪些 GIT 房间产生不同的极小模型，哪些墙对应翻转，从而在导出范畴设定下实现了完整分类。