[论文解读] Flops and Clusters in the Homological Minimal Model Program

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

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

一句话总结

本文提出了同调极小模型程序（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.

研究动机与目标

• 开发一种有效且算法化的手段，在不计算中间几何结构的前提下，实现对三维奇点极小模型的转换。
• 证明非交换环 Λ 的某个商的有限维性可检测一组曲线是否可在不收缩除子的前提下被收缩。
• 在有限维性条件下，建立突变函子与Bridgeland–Chen翻转函子之间的函子同构。
• 提供一个同调框架，以代数突变取代几何计算，从而实现对GIT壁结构与翻转结构的控制。
• 通过非交换代数将Auslander–McKay对应关系从二维推广至三维，将极大修正 R-模生成元与极小模型关联起来。

提出的方法

• 为一个极小模型 f: X → Spec R 关联一个非交换环 Λ = End_R(N)，其中 N 是一个反射 R-模。
• 利用导出等价 Ψ_X: D^b(coh X) → D^b(mod Λ) 将几何问题转化为同调代数问题。
• 定义 Λ 的一个商 Λ_I，对应于一组曲线；其有限维性可检测可翻转性。
• 应用 [IW2, §6] 中的突变函子来变换代数 Λ，这在几何设定中对应于执行一次翻转。
• 证明当 Λ_I 有限维时，突变函子与Bridgeland–Chen翻转函子的逆函子之间存在函子同构。
• 利用所得的代数变换，在不计算中间投影结构的前提下，实现极小模型之间的导航。

实验结果

研究问题

• RQ1 在三维极小模型中，一组曲线在不收缩除子的前提下何时可收缩至一点？
• RQ2 如何在不显式计算每种几何结构的前提下，算法化地在给定奇异三维流形的所有极小模型之间切换？
• RQ3 在非交换设定中，精确的同调条件是什么，可用来检测可翻转曲线？
• RQ4 在何种条件下，突变函子与Bridgeland–Chen翻转函子同构？
• RQ5 能否通过非交换代数将Auslander–McKay对应关系从二维提升至三维？

主要发现

• 在三维极小模型中，一组曲线可不收缩除子地收缩，当且仅当非交换环 Λ 的对应商 Λ_I 是有限维的。
• 当 Λ_I 有限维时，[IW2, §6] 中的突变函子与Bridgeland–Chen翻转函子的逆函子之间存在函子同构。
• 同调极小模型程序通过突变代数 Λ，无需计算中间几何数据，即可实现对Spec R 所有极小模型的算法化导航。
• 极小模型的数量受带有概型论重数的对偶图所限制，且可通过代数结构实现精确计数。
• 建立了极大修正 R-模生成元与极小模型之间的双射对应，其自同态环通过导出等价与几何结构相关联。
• 同调极小模型程序完整描述了GIT壁结构，可识别哪些壁产生不同的极小模型，哪些壁引发翻转。