[论文解读] New Examples and Non-examples of Mori Dream Spaces when Blowing up Toric Surfaces

Zhuang He|arXiv (Cornell University)|Mar 2, 2017

Commutative Algebra and Its Applications参考文献 6被引用 3

一句话总结

本文研究了在复数域上，对 Picard 数为 1 的 toric 曲面在 torus 的单位元点处进行 blow-up 时，何时为 Mori Dream Spaces (MDS)，并建立了与可数多个平面插值问题之间的联系。通过推广 González 和 Karu 的结果，本文提供了新的 MDS 例子与非例子，并证明了非 MDS 情况恰好出现在某些插值问题有解时，从而给出了 Cox 环有限生成的数值判别准则。

ABSTRACT

We study the question of whether the blow-ups of toric surfaces of Picard number one at the identity point of the torus are Mori Dream Spaces. For some of these toric surfaces, the question whether the blow-up is a Mori Dream Space is equivalent to countably many planar interpolation problems. We state a conjecture which generalizes a theorem of Gonzalez and Karu. We give new examples and non-examples of Mori Dream Spaces among these blow-ups.

研究动机与目标

• 确定在哪些加权射影平面 $\mathbb{P}(a,b,c)$ 中，对 torus 的单位元点进行 blow-up 后为 Mori Dream Space。
• 将 González 和 Karu 的非例子判别准则推广至更广泛的 toric 曲面类别。
• 建立 blow-up 的 MDS 性质与 $\mathbb{P}^2$ 中可数多个平面插值问题可解性之间的联系。
• 基于约化次数与斜率构型，通过数值判别准则，提供新的显式 MDS 例子与非例子。
• 进一步细化对 toric 曲面 blow-up 失去 MDS 性质的条件的理解，特别是在反 canonical 除子不是 big 的情形下。

提出的方法

• 将 $\operatorname{Bl}_e\mathbb{P}(a,b,c)$ 是否为 Mori Dream Space 的问题，转化为 $\mathbb{P}^2$ 中一族平面插值问题可解性的判定。
• 应用 Cox 环与有限生成理论：一个代数簇是 Mori Dream Space 当且仅当其 Cox 环是有限生成的。
• 利用约化次数 $d'$ 与斜率构型对 blow-up 进行分类，尤其针对 $d' \geq 2$ 的情形。
• 采用基于宽度 $w = cg^2 / ab < 1$ 与斜率不等式的数值判别准则，以检测非 MDS 情况。
• 对较小的 $d'$（特别是 $d' = 5,7,9$）采用计算机辅助分类，验证在特定斜率集 $S$ 与 $T$ 下的非例子。
• 通过引入一个猜想（猜想 2.10），将 González 和 Karu 的非 MDS 判别准则推广至更广范围的三元组 $(a,b,c)$。

实验结果

研究问题

• RQ1 对于哪些三元组 $(a,b,c)$，$\mathbb{P}(a,b,c)$ 在 torus 的单位元点处的 blow-up 是 Mori Dream Space？
• RQ2 当 Picard 数为 1 的 toric 曲面的 blow-up 失去 MDS 性质时，其失败的条件是什么？
• RQ3 这些 blow-up 的 MDS 性质与可数多个平面插值问题可解性之间有何关联？
• RQ4 能否基于斜率构型与约化次数，推导出一个数值判别准则，以区分 MDS 与非 MDS 的 blow-up？
• RQ5 约化次数 $d'$ 与宽度 $w$ 在决定 blow-up 的 Cox 环有限生成性方面起什么作用？

主要发现

• 当且仅当 $\mathbb{P}^2$ 中一族可数多个平面插值问题均有解时，blow-up $\operatorname{Bl}_e\mathbb{P}(a,b,c)$ 不是 Mori Dream Space。
• 在 $d' = 5, 7, 9$ 的情况下，发现了新的 MDS 非例子，具体为：$(a,b,c) = (7, 3, 5)$、$(7, 3, 7)$ 与 $(7, 3, 9)$，在特定斜率集 $S$ 与 $T$ 下成立。
• 对于 $d' \geq 2$，在假设 $d' \cdot s_2 \notin \mathbb{Z}$ 的条件下，唯一的非例子为：$S = \{3\}, T = \{2,4\}, d' = 5$；$S = \{3,5\}, T = \{2,4,6\}, d' = 7$；以及 $S = \{3,5,7\}, T = \{2,4,6,8\}, d' = 9$。
• 本文确认当约化次数 $d' = 0$ 或 $d' = 1$ 时，blow-up 是 Mori Dream Space，并给出了基于斜率不等式与宽度 $w < 1$ 的数值判别准则。
• 该方法导出了一个新判别准则（推论 2.16），结合了先前结果，使得可通过约化次数与插值问题可解性，对 $\mathbb{P}(7,b,c)$（其中 $b,c \leq 70$）的 blow-up 实现分类。
• 本文通过计算机辅助验证，确认在给定约束下，$d' = 5,7,9$ 时不存在除上述三组之外的额外非例子。