[論文レビュー] Terminal Fano threefolds and their smoothings

Priska Jahnke, Ivo Radloff|ArXiv.org|Jan 31, 2006

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

ひとこと要約

この論文は、終極的でゴレンシュタインな特異点を持つFano三様立体の滑らか化を調査し、特異点が終極的でゴレンシュタインである場合、滑らか化においてピカール数が一定のままであることを証明する。ホッジ理論とモノドロミー解析を用いて、中心ファイバーと一般ファイバーの有理ピカール群が同型であることを示し、特異点が存在してもピカール数の不変性を確立する。

ABSTRACT

We study smoothings of Fano threefolds. We prove that the Picard number remains constant in the case of terminal Gorenstein singularities.

研究の動機と目的

• 終極的でゴレンシュタインな特異点を持つ特異Fano三様立体について、滑らか化の過程でピカール数が一定のままであるかどうかを特定すること。
• 特に特異点が存在する状況下でのFano三様立体の退化におけるピカール群の挙動を分析すること。
• 同時に解消が存在しない条件を確立すること、特に因子的（factorial）な場合を対象とすること。
• 六次デル・ペッツォ表面の上にできる錐の例のように、複数の一般ファイバーを持つ滑らか化の例を調査すること。

提案手法

• Kawamata–Viehwegの消失定理を用いて、全空間の高次コホロロジー群が消えることを示し、これによりコホロロジー的意味でピカール群が自明であることを示す。
• Lerayのスペクトル系列を適用して、全空間のコホロロジーと中心ファイバーのコホロロジーを関連づけ、ピカール群の同型を示す。
• 穿孔された円板の基本群を通じたコホロロジーへのモノドロミー作用を分析し、有限モノドロミーがベースチェンジの後で有理ピカール群の不変性を示すことを証明する。
• ベースチェンジを用いてモノドロミーを自明化し、中心ファイバーと一般ファイバー間の有理ピカール群の比較を可能にする。
• 因子的特異点が、GrothendieckによるSamuelの予想の証明により、同時に解消が存在しないことを示す事実を用いる。
• 行列の小行列式を用いた埋め込みの退化（例：$\mathbb{P}^1 \times \mathbb{P}^1 \times \mathbb{P}^1$ のSegre埋め込みの退化）を通じて、明示的な例を構成する。

実験結果

リサーチクエスチョン

• RQ1 終極的でゴレンシュタインなFano三様立体について、滑らか化の過程でピカール数は一定のままであるか？
• RQ2 終極的でゴレンシュタインな特異点を持つ特異Fano三様立体に対して、同時に解消が存在するか？
• RQ3 Fano三様立体の退化におけるモノドロミー作用がピカール群に与える影響は何か？
• RQ4 同じ特異Fano三様立体の異なる滑らか化が、どのように異なる一般ファイバーをもたらすか？
• RQ5 因子的特異点は、同時に解消を妨げる役割を果たすか？

主な発見

• 中心ファイバー $X = \mathcal{X}_0$ のピカール群は全空間 $\mathcal{X}$ のピカール群と同型であり、一般ファイバー $\mathcal{X}_t$ は $\mathcal{X}$ と同じ有理ピカール群を持つ。
• コホロロジー $H^2(\mathcal{X}_t, \mathbb{Z})$ におけるモノドロミー作用は有限であり、有限回のベースチェンジの後、モノドロミーが自明化され、有理ピカール群が安定化することが示される。
• 終極的でゴレンシュタインな特異点を持つ特異Fano三様立体に対して、全空間が因子的である限り、同時に解消は存在しない。
• 六次デル・ペッツォ表面の上にできる錐は、二つの異なる滑らか化を持つ：一つは一般ファイバーが $\mathbb{P}(T_{\mathbb{P}^2})$ であるもので、もう一つは $\mathbb{P}^1 \times \mathbb{P}^1 \times \mathbb{P}^1$ であるもの。
• 六次デル・ペッツォ表面の上にできる錐の頂点は、非cDV（非正則）点であり、これは終極的特異点でないことを示しており、特異点は因子的でない。
• 滑らか化の全空間 $\mathcal{X}$ は正規で、因子的であり、孤立した終極的でゴレンシュタイン特異点のみを有する。これは、付随の反転（Inversion of Adjunction）とSamuelの予想の証明により示される。