[論文レビュー] Fiber products of elliptic surfaces with section and associated Kummer fibrations

Grzegorz Kapustka, Grzegorz Kapustka|ArXiv.org|Feb 26, 2008

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

ひとこと要約

本稿は、セクションを持つ有理的楕円的表面のファイバー積としてのカルラビ–ヤウ3次元空間の小解消としてのシュエンの構成を拡張し、このような積に現れるすべての特異ファイバーを分類し、それらのファイバー型に基づいてホッジ数の明示的公式を導出する。さらに、これらのファイバー積を対合で商取ることで得られるクラスムーファイブレーションを研究し、それらが二重オクティックであることを示し、ホッジ数や変形不変量の計算を可能にする。主な結果として、ホッジ数の公式と、特に4次錐の和として表される分岐集合の等奇性変形による変形空間の記述が得られる。

ABSTRACT

We investigate Calabi--Yau three folds which are small resolutions of fiber products of elliptic surfaces with section admitting reduced fibers. We start by the classification of all fibers that can appear on such varieties. Then, we find formulas to compute the Hodge numbers of obtained three folds in terms of the types of singular fibers of the elliptic surfaces. Next we study Kummer fibrations associated to these fiber products.

研究の動機と目的

• セクションを持つ有理的楕円的表面のファイバー積において、すべてのファイバーが非退化である場合に現れる可能性のあるすべての特異ファイバー型を分類すること。
• 入力された表面の特異ファイバー型に基づいて、得られるカルラビ–ヤウ3次元空間のホッジ数の明示的公式を導出すること。
• 適切な対合による商取によって得られるクラスムーファイブレーションを研究し、その幾何学的および変形理論的性質を分析すること。
• 特に分岐集合が ℙ³ 内の2つの4次錐の和である場合に、分岐集合の等奇性変形を用いて、これらのクラスムーファイブレーションの変形空間を記述すること。
• 非射影的状況への一般化を試み、オイラー標数やピカール群のランクといった不変量を計算すること。

提案手法

• 特異ファイバーの積として生じる局所的特異点の局所方程式を分析することで、2つの有理的楕円的表面のファイバー積におけるすべての可能なファイバー型を分類する。
• 付随公式と局所的特異点解析（例えば A_n、D_4 特異点など）を用い、小解消を許容する特異点を同定する。
• 適切な対合によるファイバー積の商をとり、その後に特異点を解消することでクラスムーファイブレーションを構成する。
• 3次元空間を2つの4次錐の和に分岐する2重被覆として表現することで、既知の2重被覆に関する結果を応用可能にする。
• 分岐集合（2つの4次錐の和）の等奇性変形を用いた変形理論を適用し、このような変形がファイバー積の等奇性変形を誘導し、ファイバー構成を保存することを示す。
• [7] の結果と重み付き射影空間の幾何学を用いて変形空間を解析し、特に5重点や非標準的配置を含む場合のホッジ数を計算する。

実験結果

リサーチクエスチョン

• RQ1 すべてのファイバーが非退化である有理的楕円的表面のファイバー積において、どのような特異ファイバー型が現れるか？
• RQ2 入力表面の特異ファイバー型に基づいて、そのファイバー積の小解消のホッジ数をどのように計算できるか？
• RQ3 小解消として得られるカルラビ–ヤウ3次元空間の変形の幾何的解釈は何か？
• RQ4 これらのファイバー積に関連するクラスムーファイブレーションは、二重オクティックの族とどのように関係しているか？この記述からどのような不変量が計算可能か？
• RQ5 分岐集合（2つの4次錐の和）の等奇性変形は、ファイバー積およびそのクラスムーファイブレーションの等奇性変形に対応する程度はどの程度か？

主な発見

• 2つの有理的楕円的表面 $S_1$ と $S_2$ のファイバー積 $X = S_1 \times_{\mathbb{P}^1} S_2$ は、すべてのファイバー成分が $F \times I_0$、$I_n \times I_m$、$III \times I_n$、$III \times III$、$IV \times I_n$、または $II \times II$ の型である場合に限り、小解消をもつ。$I_n \times II$ のような他の組み合わせは、非小解消的特異点を生じるため失敗する。
• 小解消 $\hat{X}$ のホッジ数は、$S_1$ と $S_2$ の特異ファイバーの配置に基づいて明示的に計算可能であり、特に $I_1$ と $I_0$ のファイバーのみが存在する場合に $\chi(\hat{X}) = 0$、$h^{1,2}(\hat{X}) = 19$、$h^{1,1}(\hat{X}) = 19$ となる具体例が得られる。
• 対合による商と特異点の解消によって得られるクラスムーファイブレーション $\hat{Y}$ の不変量は、分岐集合が2つの一般な4次錐の場合に $\chi(\hat{Y}) = -96$、$h^{1,2}(\hat{Y}) = 52$、$h^{1,1}(\hat{Y}) = 4$ となる。
• 分岐集合 $D = Q_1 + Q_2$（2つの4次錐の和）の等奇性変形は、ファイバー積 $\hat{X}$ の等奇性変形に正確に対応し、二重接線や接線関係のインシデント関係を保存する。
• クラスムーファイブレーションの変形空間は、錐の等奇性変形を用いて記述可能であり、5重点を含む場合にも一般化可能であるが、解消の手続きはより複雑になる。
• クラスムーファイブレーションのピカール群のランクは、オイラー標数とホッジ数から計算可能であり、これによりさらなる算術的およびモジュラー性の研究が可能になる。