[论文解读] On an analogue of the Markov equation for exceptional collections of length 4

Louis de Thanhoffer de Völcsey, Michel Van den Bergh|arXiv (Cornell University)|Jul 14, 2016

Geometric Analysis and Curvature Flows参考文献 5被引用 6

一句话总结

本文对由曲面上长度为4的全例外族的数值约束导出的丢番图方程组的解进行了分类，将经典的马克夫方程从秩3推广至秩4。结果表明，所有解要么是几何的（对应于$\mathbb{P}^2$、$\mathbb{P}^1\times\mathbb{P}^1$或$\mathbb{P}^2$的 blows up），要么源于一种‘数值型 blows up’构造，其中存在无穷多个非几何解可通过非交换曲面实现。

ABSTRACT

We classify the solutions to a system of equations, introduced by Bondal, which encode numerical constraints on full exceptional collections of length 4 on surfaces. The corresponding result for length 3 is well-known and states that there is essentially one solution, namely the one corresponding to the standard exceptional collection on the surface $\mathbb{P}^2$. This was essentially proven by Markov in 1879. It turns out that in the length 4 case, there is one special solution which corresponds to $\mathbb{P}^1 imes\mathbb{P}^1$ whereas the other solutions are obtained from $\mathbb{P}^2$ by a procedure we call numerical blowup. Among these solutions, three are of geometric origin ($\mathbb{P}^2\cup \{\bullet\}$, $\mathbb{P}^1 imes\mathbb{P}^1$ and the ordinary blowup of $\mathbb{P}^2$ at a point). The other solutions are parametrized by $\mathbb{N}$ and very likely do not correspond to commutative surfaces. However they can be realized as noncommutative surfaces, as was recently shown by Dennis Presotto and the first author.

研究动机与目标

• 对由邦达尔引入的、编码曲面上长度为4的全例外族数值约束的丢番图方程组的解进行分类。
• 将经典的马克夫方程分类从秩3（对应于$\mathbb{P}^2$）推广至秩4，识别出新的几何与非几何解。
• 确定哪些解对应于实际的光滑射影曲面，哪些需要非交换几何实现。
• 建立所有解均通过带符号的 braid 群作用相互关联，并识别该等价关系下的典范代表。

提出的方法

• 作者分析了长度为4的全例外族的欧拉形式的格拉姆矩阵，其约束条件为数值格罗滕迪克群上 Serre 自同态的单峰性。
• 他们从秩4中 Serre 自同态的单峰性条件推导出两个丢番图方程（1.3）。
• 分类过程通过在带符号 braid 群作用下分析极小解，结合突变与旋转操作实现。
• 该方法基于内积$\langle e_1,e_2 \rangle$与$\langle e_3,e_4 \rangle$进行情形分析，将问题约化至这些值为2或更小的子情形。
• 作者使用‘数值型 blows up’的概念，从已知解构造新解，推广了秩3情形下的构造。
• 通过不变量如$\delta(K) = 9 - n^2$及 Serre 自同态的模2行为，验证解之间的非等价性。

实验结果

研究问题

• RQ1 所有编码曲面上长度为4的全例外族数值约束的丢番图方程组的解是什么？
• RQ2 这些解中哪些对应于实际的光滑射影曲面，哪些需要非交换几何实现？
• RQ3 解在带符号 braid 群作用下如何关联？能否在等价关系下进行分类？
• RQ4 参数化于$n \in \mathbb{N}$的无限族解的几何或非交换起源是什么？
• RQ5 每个 braid 群作用轨道是否存在典范代表？如何加以区分？

主要发现

• 唯一的几何解为$\mathbb{P}^2$、$\mathbb{P}^1\times\mathbb{P}^1$以及第一类希策布吕希曲面$\mathbb{F}_1$，分别对应于$n=0$、$n=1$及特殊解$M_{\text{P}^1\times\text{P}^1}$。
• 所有解在带符号 braid 群作用下等价于两种典范形式之一：$\mathbb{P}^1\times\mathbb{P}^1$解或无限族$K_n$（$n \in \mathbb{N}$）。
• $\mathbb{P}^1\times\mathbb{P}^1$解的$\delta(K) = 8$，而族$K_n$的$\delta(K) = 9 - n^2$，使其与$K_1$相区别。
• 解$M = \begin{bmatrix}1&2&2&4\\ 0&1&0&2\\ 0&0&1&2\\ 0&0&0&1\end{bmatrix}$对应于$\mathbb{P}^1\times\mathbb{P}^1$上的标准例外族，且$\delta(K) = 8$。
• 无限族$K_n$（$n \in \mathbb{N}$）包含$n=0$（对应于$\mathbb{P}^2$）与$n=1$（对应于$\mathbb{F}_1$），而更高$n$的解为非几何解。
• 当$n \geq 2$时，这些解无法在任何光滑射影曲面上实现，但如[dTdVP]中普雷索托与第一作者所示，可在非交换曲面上实现。