[論文レビュー] The birational geometry of moduli space of sheaves on the projective plane

Aaron Bertram, Cristian Martínez+1 more|arXiv (Cornell University)|Jan 10, 2013

Algebraic Geometry and Number Theory参考文献 11被引用数 9

ひとこと要約

本稿は、射影平面上のギーゼッカー安定層のモジュライ空間の崩壊幾何における壁交叉と、ブリッジランド安定性多様体におけるミニ壁交叉の間の明確な対応関係を確立する。ブリッジランドモジュライ空間上の標準的決定的ラインバンドがGITからの正則ラインバンドと一致することを示し、(s,t)-平面上の壁交叉とモジュライ空間の双有理変換との間の体系的関係を可能にし、特にモアリ・ドリーム空間におけるMMPを通じて記述する。

ABSTRACT

We describe a close relation between wall crossings in the birational geometry of moduli space of Gieseker stable sheaves $M_H(v)$ on $\bb{P}^2$ and mini-wall crossings in the stability manifold $Stab(D^b(\bb{P}^2))$.

研究の動機と目的

• P²上のギーゼッカー安定層のモジュライ空間の双有理幾何を理解すること。
• ブリッジランド安定性多様体における壁交叉とモジュライ空間の双有理変換との間の対応関係を確立すること。
• v が原始的で、M_H(v) が非空かつ既約であるとき、M_H(v) が大域的に正則な反 canonical バンドルを備えたモアリ・ドリーム空間であることを示すこと。
• ブリッジランドモジュライ空間上の標準的決定的ラインバンド λ_{s,t} が、GIT からの正則ラインバンドに一致することを特定し、安定性条件と幾何的不変理論を結びつけること。

提案手法

• M_H(v) の構造を、反 canonical バンドルの第一チャーン類を用いて分析する。
• J. Li が構成した決定的ラインバンドと -K_{M_H(v)} を比較し、両者の第一チャーン類が等しいことを示す。
• M_H(v) がモアリ・ドリーム空間であることを利用し、その擬効果的コーンをモアリ・チェンバ―に分解し、それぞれが双有理的収縮に対応することを示す。
• s を固定したまま t を減少させる経路を、NS¹(M_H(v))_ℝ 内に、ブリッジランドモジュライ空間から λ_{s,t} を引き戻すことで構成する。
• M_P^{s,t}(v) をブリッジランドモジュライ空間の主要成分として導入し、一般点が層をパラメトライズすることを保証する。
• Bayer と Macri の K3 種の決定的ラインバンドに関する結果を応用し、GIT 構成のおかげで λ_{s,t} が正則であることを示す。

実験結果

リサーチクエスチョン

• RQ1 ブリッジランド安定性多様体 (s,t)-平面上の壁交叉は、P² 上のモジュライ空間 M_H(v) の双有理変換とどのように関係しているか？
• RQ2 標準的決定的ラインバンド λ_{s,t} は、ブリッジランド安定性とGIT 構成を結ぶ役割を果たすか？
• RQ3 なぜ P² におけるモジュライ空間 M_H(v) は、大域的に正則な反 canonical バンドルを備えたモアリ・ドリーム空間として機能するのか？
• RQ4 NS¹(M_H(v))_ℝ 内で λ_{s,t} が描く経路は、M_H(v) における方向付き MMP とどのように対応するか？
• RQ5 特に壁交叉における、ブリッジランドモジュライ空間の特異的領域と層の構造は、幾何的にどのように記述されるか？

主な発見

• v が原始的で、M_H(v) が非空かつ既約であるとき、モジュライ空間 M_H(v) は滑らかで、-K_{M_H(v)} は大域的に正則かつ非負であるため、M_H(v) はモアリ・ドリーム空間である。
• -K_{M_H(v)} の第一チャーン類は、J. Li の構成による決定的ラインバンドの第一チャーン類と等しく、したがってドナルドソン＝ウーレンバックのコンパクト化への標準的収縮を示唆する。
• ブリッジランドモジュライ空間 M_{s,t}(v) 上の標準的決定的ラインバンド λ_{s,t} は、GIT からの正則ラインバンドと一致し、正則性を保証する。
• s を固定したまま t を減少させるとき、λ_{s,t} を M_H(v) に引き戻すと、NS¹(M_H(v))_ℝ 内の経路が得られ、モジュライ空間における方向付き MMP を示唆する。
• ブリッジランドモジュライ空間の主要成分 M_P^{s,t}(v) は、一般点が層をパラメトライズすることを保証し、一貫性のある双有理幾何的記述を可能にする。
• ブリッジランドモジュライ空間の分割は、射影バンドルを介して記述され、特に最終壁において Sec X が (P²)* に収縮するような主要な領域が特定され、壁交叉の幾何を明らかにする。