[論文レビュー] Good degeneration of Quot-schemes and coherent systems

Jun Li, Baosen Wu|arXiv (Cornell University)|Oct 3, 2011

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

ひとこと要約

本稿では、展開化スタックを用いて、射影的3次元多様体上のQuotスキームおよび連続的系の良い退化を構成し、それらが有限型の固有的・分離的デリン・ムーディー スタックであることを証明する。主な結果は、展開化ペア上の相対的モジュライ空間における仮想カルテル除法構造を介して、理想層のドナルドソン＝トーマス不変量およびPT安定ペア不変量の退化公式を導出することである。

ABSTRACT

We construct good degenerations of Quot-schemes and coherent systems using the stack of expanded degenerations. We show that these good degenerations are separated and proper DM stacks of finite type. Applying to the projective threefolds, we derive degeneration formulas for DT-invariants of ideal sheaves and PT stable pair invariants.

研究の動機と目的

• 単純な退化を伴う3次元多様体のQuotスキームおよび連続的系の良い退化を、展開化スタックを用いて構成すること。
• これらの退化が有限型の固有的・分離的デリン・ムーディー スタックであることを証明すること。
• 射影的3次元多様体上の理想層のドナルドソン＝トーマス不変量およびPT安定ペア不変量の退化公式を導出すること。
• 展開化ペア上の理想層の相対的モジュライ空間を定義し、中心ファイバーに仮想カルテル除法構造を構成すること。
• 特異的領域上での評価写像のファイバー積公式を確立し、両側の成分からの不変量の貼り合わせを可能にする。

提案手法

• 展開化スタックを用いて、3次元多様体の単純な退化族上の相対的Quotスキームの良い退化を構成する。
• 中心ファイバーを、$X[n]_0$ における特異的領域に正規で、固定されたヒルベルト多項式を持つ有限自己同型群をもつ閉部分スキームの集合として定義する。
• スタック $π: π_{∞} → π_{∞}$ を用いて、$(Y_\bullet, D_\bullet)$ における相対的理想層のモジュライスタックを定義する。ここで $D_\bullet$ は特異的領域である。
• 制限写像を介して、相対的モジュライ空間から特異的領域 $D$ のヒルベルトスキームへの評価写像を定義する。
• ファイバー積 $\mathfrak{I}^{\delta}_{\mathfrak{X}_0^\dagger/\mathfrak{C}_0^\dagger} = \mathfrak{I}^{\delta_-}_{\mathfrak{Y}_- / \mathfrak{A}_\diamond} \times_{\mathrm{Hilb}_D^{\delta_0}} \mathfrak{I}^{\delta_+}_{\mathfrak{Y}_+ / \mathfrak{A}_\diamond}$ を構成し、これが全モジュライ空間内に仮想カルテル除法をなす。
• 展開化スタックのスタック構造を用い、$A = \mathbf{k}[t,z_1,z_2]/(z_1 z_2)$ 上の等長的モジュールを解析することで、中心ファイバーが有限型の固有的・分離的デリン・ムーディー スタックであることを証明する。

実験結果

リサーチクエスチョン

• RQ1 3次元多様体の単純な退化上でのQuotスキームおよび連続的系の良い退化をどのように構成できるか。
• RQ2 このような退化の中心ファイバーのスタック的構造は何か。また、それは固有的かつ分離的か。
• RQ3 この構成から、理想層のドナルドソン＝トーマス不変量の退化公式を導出可能か。
• RQ4 2つの滑らかで3次元多様体成分の直和への退化において、PT安定ペア不変量はどのように振る舞うか。
• RQ5 特異的領域上でのヒルベルトスキームへの評価写像は、両側成分からの不変量の貼り合わせにおいて果たす役割は何か。

主な発見

• 単純な退化上でのQuotスキームの良い退化は、有限型の固有的・分離的デリン・ムーディー スタックである。
• 退化の中心ファイバーは、展開化 $X[n]_0$ 内の特異的領域に正規で、有限自己同型群をもつ閉部分スキームの商として記述される。
• 展開化ペア $(Y_\pm, D_\pm)$ 上の相対的理想層のモジュライ空間は、有限型の固有的・分離的デリン・ムーディー スタックである。
• ヒルベルトスキーム $\mathrm{Hilb}_D^{\delta_0}$ への評価写像は適切に定義されており、貼り合わせ構成と整合する。
• ファイバー積 $\mathfrak{I}^{\delta}_{\mathfrak{X}_0^\dagger/\mathfrak{C}_0^\dagger}$ は、全モジュライ空間 $\mathfrak{I}^P_{\mathfrak{X}/\mathfrak{C}}$ 内に仮想カルテル除法をなす。
• DT不変量およびPT安定ペア不変量の退化公式は、$\delta = (\delta_-, \delta_0, \delta_+)$ の分割の和として表され、相対的モジュライ空間のファイバー積からの寄与が含まれる。