[論文レビュー] Degeneration of SL(n)-bundles on a reducible curve

Xiaotao Sun|ArXiv.org|Dec 7, 2001

Algebraic Geometry and Number Theory被引用数 11

ひとこと要約

本稿は、ノードで接する2つの滑らかで連結な成分を持つ分岐曲線上の $SL(n)$-バンドルの退化について、モジュライ的解釈を確立する。特筆すべきは、穴あき曲線に沿った半安定でねじれのない層で、行列式条件を満たすものからなるモジュライ函手 $S\mathcal{U}_{\mathcal{X}_0}^{\natural}$ を定義し、コンパクト化されたモジュライ空間の特別なファイバーが、普遍的にコレプレゼンテーションされ、Faltingsによって未解決のまま残っていた $SL(n)$-バンドルの退化問題を解決することである。

ABSTRACT

We constructed a projective moduli space of semistable torsion free sheaves with `fixed determinant' on a reducible curve. When a family of smooth curves degenerates to the reducible curve, our moduli space is a degeneration of the moduli spaces of semistable vector bundles with a fixed determinant on the smooth curves. Moreover, the moduli space is reduced and seminormal.

研究の動機と目的

• 2つの滑らかで連結な成分がノードで接する分岐曲線上の半安定 $SL(n)$-バンドルのモジュライ空間のモジュライ的コンパクト化を提供すること。
• Faltingsによる $Sp(n)$ や $O(n)$ の場合の進展にもかかわらず、未解決のまま残っていた $SL(n)$-バンドルの退化プログラムにおける開かれたケースを解消すること。
• 普遍コレプレゼンテーションがコンパクト化されたモジュライ空間の退化ファイバーを与えるようなモジュライ函手 $S\mathcal{U}_{\mathcal{X}_0}^{\natural}$ を定義すること。
• 退化モジュライ空間が、$\mathcal{X}_0 \setminus \{x_0\}$ 上で行列式条件を満たす半安定層の $s$-同値類に対応する、非退化でセミノーマルな代数的空間であることを示すこと。

提案手法

• 固定ランク $n$、オイラー標跡 $\chi$、および $\det(E|_{X^0}) \cong \mathcal{L}|_{X^0}$ を満たす $\mathcal{O}_S$-平坦な半安定層を分類するモジュライ函手 $S\mathcal{U}_{\mathcal{X}_0}^{\natural}$ を定義する。
• GIT と商構成を用いて、$\mathcal{X}_0$ 上の半安定ねじれのない層のモジュライ空間の閉部分スキームとして、モジュライ空間 $S\mathcal{U}_{\mathcal{X}_0}$ を構成する。
• 局所的変形函手の解析と行列式写像の形式的滑らかさを用いて、$S\mathcal{U}_{\mathcal{X}_0}$ が非退化でセミノーマルであることを証明する。
• $\det(E|_{X^0}) \cong \mathcal{L}|_{X^0}$ の条件を用いて退化部分集合を特徴付け、これが曲線が退化する際の $SL(n)$-バンドルの極限点を正確に捉えていることを示す。
• [F2] および [NS] の結果を適用し、モジュライ空間の点における局所環が $\mathbb{X}\mathbb{Y} = t$, $\mathbb{Y}\mathbb{X} = t$ で定義される行列関係による特異点の完成と同型であることを示し、曲線が滑らかであれば滑らかであることを示唆する。
• 基底 $B$ 上の族における特化および閉包の議論を用いて、半安定 $SL(n)$-バンドルのモジュライ空間の退化が $S\mathcal{U}_{\mathcal{X}_0}$ に与えられることを確立する。

実験結果

リサーチクエスチョン

• RQ1 ノードを持つ分岐曲線上で、半安定 $SL(n)$-バンドルのモジュライ空間をコンパクト化する適切な幾何的対象は何か？
• RQ2 どのような層論的条件で、$SL(n)$-バンドルのモジュライ空間の退化ファイバーを特徴づけられるか？
• RQ3 $\det(E|_{X^0}) \cong \mathcal{L}|_{X^0}$ の条件が、退化する際の $SL(n)$-バンドルの極限点を一意に特徴づけるか？
• RQ4 このような層のモジュライ空間は非退化でセミノーマルであり、かつ退化を普遍的にコレプレゼンテーションするか？
• RQ5 退化点の近傍におけるモジュライ空間の局所構造は、行列特異点モデルによって記述可能か？

主な発見

• モジュライ空間 $S\mathcal{U}_{\mathcal{X}_0}$ は、モジュライ函手 $S\mathcal{U}_{\mathcal{X}_0}^{\natural}$ を普遍的にコレプレゼンテーションし、退化曲線上の半安定 $SL(n)$-バンドルのモジュライ空間のコンパクト化を提供する。
• $S\mathcal{U}_{\mathcal{X}_0}$ の閉点は、すべて $\det(E|_{X^0}) \cong \mathcal{L}|_{X^0}$ を満たす半安定層の $s$-同値類に一致し、退化ファイバーの正しい幾何的解釈が確認された。
• $S\mathcal{U}_{\mathcal{X}_0}$ は非退化でセミノーマルであるため、埋め込まれた成分や非単純構造を含まない。
• $S\mathcal{U}_{\mathcal{X}_0}$ の任意の点における局所環は、$\mathbb{X}\mathbb{Y} = t$, $\mathbb{Y}\mathbb{X} = t$ で定義される特異点の完成と同型であり、曲線が滑らかであればモジュライ空間も滑らかであることを示唆する。
• 特化および閉包の議論を用いて、半安定 $SL(n)$-バンドルのモジュライ空間の退化が、正確に $S\mathcal{U}_{\mathcal{X}_0}$ に与えられることを示した。
• $\det(E|_{X^0}) \cong \mathcal{L}|_{X^0}$ の条件は、半安定層が退化ファイバー上にあるための必要十分条件であり、モジュライプログラムにおける重要な技術的問題を解決した。