[論文レビュー] Flops and mutations for crepant resolutions of polyhedral singularities

Álvaro Nolla de Celis, Yuhi Sekiya|arXiv (Cornell University)|Aug 11, 2011

Algebraic structures and combinatorial models参考文献 32被引用数 5

ひとこと要約

本稿は、多面体的特異点 $\mathbb{C}^3/G$ の崩壊的解消におけるフロップと、自明な頂点を除く McKay の有向グラフとそのポテンシャルの変異の間の一対一対応を確立する。すべての射影的崩壊的解消が、安定条件空間内のチャネルにおけるクーヴ表現のモジュライ空間として得られることを示し、壁越えとクーヴ変異を通じてフロップの幾何的・代数的記述を明示的に与え、収縮代数を用いて特定の曲線の非フロッピング性を確認する。

ABSTRACT

Let $G$ be a polyhedral group $G\subset SO(3)$ of types $\mathbb{Z}/n\mathbb{Z}$, $D_{2n}$ and $\mathbb{T}$. We prove that there exists a one-to-one correspondence between flops of $G$-Hilb$\mathbb{C}^3$ and mutations of the McKay quiver with potential which do not mutate the trivial vertex. This correspondence provides two equivalent methods to construct every projective crepant resolution for the singularities $\mathbb{C}^3/G$, which are constructed as moduli spaces $\mathcal{M}_C$ of quivers with potential for some chamber $C$ in the space $Θ$ of stability conditions. In addition, we study the relation between the exceptional locus in $\mathcal{M}_C$ with the corresponding quiver $Q_C$, and we describe explicitly the part of the chamber structure in $Θ$ where every such resolution can be found.

研究の動機と目的

• 有限部分群 $G \subset SO(3)$ に対する $\mathbb{C}^3/G$ のすべての射影的崩壊的解消の完全分類を確立すること。
• すべてのこのような解消が、安定条件空間 $\Theta$ 内のあるチャネル $C$ に対して、クーヴ表現のモジュライ空間 $\mathcal{M}_C$ として実現されることを示すこと。
• これらの解消間のフロップが、自明な頂点に影響を与えない McKay 有向グラフとポテンシャルの変異と、双対的に対応することを証明すること。
• 各解消における特異部分集合の幾何的構造と、各解消が実現される $\Theta$ 内のチャネル構造を記述すること。
• 収縮代数を用いて、例えば四面体的ケースにおける $(-3,1)$-曲線のような特定の有理曲線の非フロッピング性を分析すること。

提案手法

• 安定条件 $\theta$ がチャネル $C \subset \Theta$ 内に一般に位置する場合、McKay 有向グラフとポテンシャルの表現のモジュライ空間 $\mathcal{M}_C$ を用いて、すべての射影的崩壊的解消を構成する。
• 安定条件空間 $\Theta$ 内での壁越えを用い、隣接するチャネル $C$ と $C'$ 間の遷移としてフロップを実現する。このとき、壁越えがフロップを誘導する場合に限り、モジュライ空間 $\mathcal{M}_C \cong \mathcal{M}_{C'}$ が同型となる。
• 自明な頂点を除く McKay 有向グラフとポテンシャルのクーヴ変異を適用し、新たな有向グラフを生成する。この新しい有向グラフに対応するモジュライ空間は、別のチャネルにおいても同じ解消を実現する。
• クーヴとポテンシャルの導来圏が、解消上の連接層の導来圏と同値であることを利用し、変異が NCCR 構造を保存することを保証する。
• モジュール $M = \bigoplus M_i$ から頂点（例：$M_3$）を除いた収縮代数を用いて、収縮の小形性をテストし、曲線の非フロッピング性を特定する。
• 明示的な行列表現と固有値解析を用い、特定の曲線（例：$(-3,1)$-曲線）が非小形収縮の振る舞いを示すため、フロッピング不可能であることを示す。

実験結果

リサーチクエスチョン

• RQ1 $G$-Hilb($\mathbb{C}^3$) におけるフロップと、自明な頂点を除く McKay 有向グラフとポテンシャルの変異との間に一対一対応が存在するか？
• RQ2 すべての射影的崩壊的解消 $\mathbb{C}^3/G$ は、$\Theta$ 内のあるチャネル $C \subset \Theta$ に対して、モジュライ空間 $\mathcal{M}_C$ として実現可能か？
• RQ3 $\mathcal{M}_C$ 内の特異部分集合は、チャネル $C$ に対応する有向グラフ $Q_C$ の構造とどのように関係するか？
• RQ4 $\Theta$ 内のチャネル構造は、すべてのこのような崩壊的解消をパラメトライズするものか？
• RQ5 四面体的ケースにおける $(-3,1)$-曲線はフロッピング可能か？ これは収縮代数を用いて代数的に特定可能か？

主な発見

• $G$-Hilb($\mathbb{C}^3$) におけるフロップと、自明な頂点に作用しない McKay 有向グラフとポテンシャルの変異との間に一対一対応が存在し、すべての射影的崩壊的解消が二通りの同等な構成法で得られることを示す。
• $SO(3)$ の多面体的部分群 $G$ に対して、$\mathbb{C}^3/G$ のすべての射影的崩壊的解消が、安定条件空間 $\Theta$ 内のチャネル $C$ に対してモジュライ空間 $\mathcal{M}_C$ として実現される。
• $\mathcal{M}_C$ 内の特異部分集合は、非自明な Jordan-Hölder 因子を持つ $\theta$-安定表現の集合に対応し、その幾何的性質は有向グラフ $Q_C$ に符号化されている。
• $\Theta$ 内のチャネル構造は、有限個の凸多面体的錐の和集合であり、各チャネルは $\mathcal{M}_C$ を通じて異なる解消に対応する。
• 四面体的ケースにおける $(-3,1)$-曲線は非フロッピングである。収縮代数を構成し、関連する収縮が小形でないことを証明することで示され、特異な直線の逆像が非可約なスキームであることが判明する。
• 収縮代数 $\Gamma = \mathrm{End}_{S^G}(M/M_3)$ は関係付きパス代数と同型であり、そのモジュライ空間 $Y$ には特異な直線が含まれる。これにより、写像が小形でないことが確認され、したがって曲線は非フロッピングであると結論づけられる。