[論文レビュー] La singularité de O'Grady

Manfred Lehn, Christoph Sorger|arXiv (Cornell University)|Apr 9, 2005

Algebraic Geometry and Number Theory被引用数 6

ひとこと要約

この論文は、K3面またはアーベル面上の半安定層のムカイベクトル $2v$ を持つモジュライ空間 $M_{2v}$ の縮約された特異点集合の爆破が、特異点のシンプレクティック解消をもたらすことを確立している。主な結果は、局所的特異点解析と $\\mathfrak{sp}_4$ のノルム的軌道モデルの変形理論を用いて、O'Grady の $M_{K3}(2,0,4)$ および $M_{Ab}(2,0,2)$ の解消を直接的・幾何的に構成することである。この方法は複雑なグローバル構成を避け、内因的で洗練された解消機構を提供する。

ABSTRACT

Let M be the moduli space of semistable sheaves with Mukai vector 2v on an abelian or K3 surface where v is primitive such that =2. We show that the blow-up of the reduced singular locus of M provides a symplectic resolution of singularities. This gives a direct description of O'Grady's resolutions of M\_{K3}(2,0,4) and M\_{Ab}(2,0,2).

研究の動機と目的

• K3面およびアーベル面上の層の特定の特異モジュライ空間に対するシンプレクティック解消の直接的・幾何的構成を提供すること。
• $\langle v,v\rangle=2$ かつ $v$ が原始的であるとき、$M_{2v}$ の縮約された特異点集合の爆破がシンプレクティック解消をもたらすことを示すこと。
• O'Grady の複雑な2段階の爆破と再パrametrizationの縮約を、特異点集合の爆破によるより単純で内因的な解消に置き換えること。
• ノルム的軌道 $Z \subset \mathfrak{sp}_4$ を用いて、$M_{2v}$ の最も深刻な特異点の局所モデルを確立すること。
• $Z$ の変形理論が、原点における特異点型を保つように剛性を持つことを証明し、形式的同型が法コーンに誘導されることを示すこと。

提案手法

• $B^2 = 0$ で定義されるノルム的軌道 $Z \subset \mathfrak{sp}_4$ を、$M_{2v}$ の最も深刻な特異点の局所モデルとして用いる。
• $Z$ の特異点集合の分析：ランク $\leq 1$ の行列として特定され、$2\times 2$ 小行列式によって生成されるイデアルを持つ。
• $Z$ の1次変形のモジュール $T^1_Z$ が純粋であることの証明により、剛性が示される：原点以外の特異点を保つ変形は、原点の特異点も必ず保つ。
• 特異点集合に沿った爆破による $Z$ の解消の構成をし、それがシンプレクティック解消であることを示す。
• $M_{2v}$ の最も深刻な特異点における局所的考察：法コーンがモデル $Z$ と同型であることを示す。
• 明示的な変形理論とクルネシマップを用いて、特異点とその法コーンとの間の形式的同型を示し、爆破が半小形かつシンプレクティックであることを保証する。

実験結果

リサーチクエスチョン

• RQ1 $\langle v,v\rangle=2$ かつ $v$ が原始的であるとき、$M_{2v}$ の縮約された特異点集合の爆破がシンプレクティック解消をもたらすか？
• RQ2 $B^2=0$ で定義されるノルム的軌道 $Z \subset \mathfrak{sp}_4$ は、$M_{2v}$ の最も深刻な特異点の有効な局所モデルか？
• RQ3 原点以外の特異点を保つ変形の下で $Z$ が剛性を持つならば、原点の特異点は変形できないか？
• RQ4 $M_{2v}$ の特異点集合の爆破が、半小形解消であり、シンプレクティック形式を拡張できるかを示せるか？
• RQ5 $M_{2v}$ の最も深刻な特異点の形式的近傍は、その法コーンと形式的に同型であるか？これにより爆破が特異点を解消できるか？

主な発見

• 任意の原始的 $v$ に対して $\langle v,v\rangle=2$ であるとき、$M_{2v}$ の縮約された特異点集合の爆破は、特異点のシンプレクティック解消である。
• 2段階の爆破や再パrametrization群作用を必要とせず、O'Grady の $M_{K3}(2,0,4)$ および $M_{Ab}(2,0,2)$ の解消を直接構成可能である。
• $B^2=0$ で定義される局所モデル $Z \subset \mathfrak{sp}_4$ は $M_{2v}$ の最も深刻な特異点を捉えており、その爆破によりシンプレクティック解消が得られる。
• $Z$ の1次変形のモジュール $T^1_Z$ は純粋であり、原点以外の特異点を保つ任意の変形は、原点の特異点も保つことを示唆する。
• $M_{2v}$ の最も深刻な特異点の形式的近傍は、$Z$ の原点の形式的近傍と同型であり、法コーンは $Z$ と同型である。
• 特異点のコードイメンジョンの理由により、$M_{2v}$ の滑らか領域におけるシンプレクティック形式は、全爆破にまで拡張可能であり、解消がシンプレクティックであることが確認される。