[論文レビュー] 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\timesmathbb{P}^1$、または$mathbb{P}^2$のブ lows 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.

研究の動機と目的

• Bondalが導入した、表面における長さ4の完全例外的コレクションの数値的制約を符号化するディオファントス方程式系の解を分類すること。
• ランク3（$mathbb{P}^2$に対応）の古典的マークフ方程式分類をランク4に拡張し、新たな幾何的および非幾何的解を同定すること。
• どの解が実際に滑らかな射影的表面に対応するか、どの解が非可換幾何的実現を必要とするかを特定すること。
• すべての解が符号付きブレード群作用によって関連づけられることを確立し、この同値関係における標準的代表元を同定すること。

提案手法

• 著者たちは、長さ4の完全例外的コレクションのエラー形式のグラム行列を分析し、数値的グロチェンドッケ群上のセレフファンクターのユニポテンシーに制約を課す。
• ランク4におけるセレフ自己同型のユニポテンシー条件から、2つのディオファントス方程式（1.3）を導出する。
• 符号付きブレード群作用の下での最小解の分析を通じて分類を進める。ミューテーションおよび回転操作を用いる。
• 内積$mathlangle e_1,e_2 \rangle$および$mathlangle e_3,e_4 \rangle$に基づくケース分析を行い、これらが2以下である部分ケースに還元する。
• 既知の解から新しい解を構成するための『数値的ブローアップ』の概念を用いる。これはランク3の構成を一般化する。
• セレフ自己同型のmod 2の性質や$delta(K) = 9 - n^2$などの不変量を用いて、解が同値でないことを検証する。

実験結果

リサーチクエスチョン

• RQ1 表面における長さ4の完全例外的コレクションの数値的制約を符号化するディオファントス方程式系のすべての解は何か？
• RQ2 これらの解の中で、実際に滑らかな射影的表面に対応するものはどれで、非可換幾何的実現を必要とするものはどれか？
• RQ3 解は符号付きブレード群作用の下でどのように関連づけられるか？同値関係の下で分類可能か？
• RQ4 自然数$n \in \mathbb{N}$でパrameter化される無限族の解の幾何的または非可換的起源は何か？
• RQ5 各ブレード群作用の軌道に対して標準的代表元が存在するか？それらはどのように区別できるか？

主な発見

• 幾何的解は$mathbb{P}^2$、$mathbb{P}^1\timesmathbb{P}^1$、および最初のヒルツェブルフ表面$mathbb{F}_1$に限られ、それぞれ$n=0$、$n=1$、および特別な解$M_{\text{P}^1\times\text{P}^1}$に対応する。
• すべての解は、符号付きブレード群作用の下で、$mathbb{P}^1\timesmathbb{P}^1$解または無限族$K_n$（$n \in \mathbb{N}$）の2つの標準形のいずれかに同値である。
• $mathbb{P}^1\timesmathbb{P}^1$に対応する解は$delta(K) = 8$を示し、$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\timesmathbb{P}^1$上の標準的例外的コレクションに対応し、$delta(K) = 8$である。
• 自然数$n \in \mathbb{N}$でパラメータ化される無限族$K_n$には、$n=0$（$mathbb{P}^2$に対応）および$n=1$（$mathbb{F}_1$に対応）が含まれ、$n \geq 2$では非幾何的解が得られる。
• $n \geq 2$の解は任意の滑らかな射影的表面では実現不可能だが、Presottoと第一著者による[dTdVP]で非可換表面として実現可能である。