[論文レビュー] Deformation equivalence of affine ruled surfaces

Hubert Flenner, Shulim Kaliman+1 more|arXiv (Cornell University)|May 23, 2013

Algebraic Geometry and Number Theory参考文献 21被引用数 5

ひとこと要約

本稿は、${\mathbb{A}}^1$-ファイブレーションをもつアフィン基底上の正則アフィン曲面（ルールド曲面）の変形同値類について、完全な組合せ的分類を確立している。標準的完備化における境界除部分の正規化拡張グラフを用いて、2つのこのような曲面が変形同値であるための必要十分条件は、それらの正規化拡張グラフが同一であること（Zigzagの場合には逆転を許す）であると証明している。これにより、変形同値に対する完全不変量が得られ、特別な場合に粗いモジュライ空間の構成が可能になる。

ABSTRACT

A smooth family $φ:\mathcal V o S$ of surfaces will be called {\em completable} if there is a logarithmic deformation $(\bar {\mathcal V},{\mathcal D})$ over $S$ so that ${\mathcal V}=\bar{\mathcal V}\backslash {\mathcal D}$. Two smooth surfaces $V$ and $V'$ are said to be deformations of each other if there is a completable flat family ${\mathcal V} o S$ of smooth surfaces over a connected base so that $V$ and $V'$ are fibers over suitable points $s,s'\in S$. This relation generates an equivalence relation called {\em deformation equivalence}. In this paper we give a complete combinatorial description of this relation in the case of affine ruled surfaces, which by definition are surfaces that admit an affine ruling $V o B$ over an affine base with possibly degenerate fibers. In particular we construct complete families of such affine ruled surfaces. In a few particular cases we can also deduce the existence of a coarse moduli space.

研究の動機と目的

• 一般に粗いモジュライ空間をもたない${\mathbb{A}}^1$-ファイブレーションをもつアフィンルールド曲面の変形同値類を分類すること。
• ${\mathbb{A}}^1$-ファイブレーションの障害を打ち破るために、対数的変形に基づく組合せ的不変量を導入すること。
• アフィンルールド曲面の完全族を構成し、粗いモジュライ空間の存在条件を確立すること。
• 標準的完備化における境界除部分の正規化拡張グラフを用いた、変形同値の完全な特徴づけを提供すること。

提案手法

• 基底曲線の完備化上での$\mathbb{P}^1$-ファイブレーション$\bar{\pi}: \bar{V} \to \bar{B}$へのアフィンルールド$\pi: V \to B$の拡張。
• 吹き上げと吹き下ろしを用いて、境界除部分$D = \bar{V} \setminus V$を標準形に変形し、重み付き双対グラフ$\Gamma_D$を導出する。
• ${\rm feathers}$（$\bar{\pi}$の特異ファイバーの成分）を加えた拡張除部分$D_{\rm ext} = D \cup \text{feathers}$を定義し、feathersの母体成分を特定する。
• feathersをその母体成分に接続することで、正規化拡張グラフ$N(\Gamma_{\rm ext})$を構成する。
• 端点のゼロ頂点における基本的変形を用いて標準形を保証し、その変換に関してグラフの同型を一意に保証する。
• 対数的変形の理論を応用し、変形同値性が正規化拡張グラフの不変性と関連することを示す。

実験結果

リサーチクエスチョン

• RQ1 一般に粗いモジュライ空間を持たないにもかかわらず、2つのアフィンルールド曲面がいつ変形同値になるか。
• RQ2 アフィンルールド曲面の変形同値類を完全に分類する組合せ的不変量は何か。
• RQ3 境界除部分およびそのfeathersの構造が変形同値性にどのように影響するか。
• RQ4 アフィンルールド曲面に対して粗いモジュライ空間が存在する条件は何か。
• RQ5 Zigzagの場合において、正規化拡張グラフが変形同値性を決定づける役割を果たす仕組みは何か。

主な発見

• 2つのアフィンルールド曲面が変形同値であるための必要十分条件は、それらが同じ正規化拡張グラフを持つことである。Zigzag境界除部分の場合は、グラフの逆転を許す。
• 正規化拡張グラフは、変形同値性に対する完全不変量であり、このような曲面の完全な組合せ的分類を提供する。
• Gizatullin曲面の特別なクラスに対して、本稿は変形同値分類を用いて粗いモジュライ空間を構成する。
• 正規化拡張グラフは、端点のゼロ頂点における基本的変形に関して一意に定まり、不変量の堅牢性を保証する。
• 無限遠点における基本群が自明な可縮曲面では、変形同値類は一点に退化し、Ramanujamの定理およびGurjar–Shastriの定理と整合的である。
• 境界除部分にfeathers（特異ファイバーの成分）を加えた拡張除部分$D_{\rm ext}$は、正規化拡張グラフの定義および全変形型の捕捉に不可欠である。