[論文レビュー] Degree 1 Curves in the Dwork Pencil and the Mirror Quintic

Anca Mustaţǎ|ArXiv.org|Nov 15, 2003

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

ひとこと要約

本稿は、五次三重多様体のDwork-pencilにおける直線の相対ヒルベルト汎関手を正確に記述し、それが滑らかで非可約な曲面 $\sigma$ と $\mathbb{C}$ に同型な375個の成分の和集合として与えられることを特定する。曲面 $\mathcal{S}$ は $\mathbb{P}^1$ に6点で分岐する2重被覆として写像される。主な貢献は、ヒルベルト汎関手のコhomology類の明示的計算および $\mathbb{P}^4$ 内ですべてのこのような直線がなす三重多様体の次数250の特定であり、これはミラー対称性およびカラビ＝ヤウ幾何学における長年の問題を解決する。

ABSTRACT

We give a description of the relative Hilbert scheme of lines in the Dwork pencil of quintic threefolds. We describe the corresponding relative Hilbert scheme associated to the mirror family of quintic threefolds.

研究の動機と目的

• Dwork-pencilにおける五次三重多様体の直線の相対ヒルベルト汎関手を正確に記述すること。これはミラー対称性における中心的な族である。
• Grassmannianが基底的集合と交わる直線をパラメトライズする完全交差の中で、実際にヒルベルト汎関手を余分な成分から分離すること。
• Grassmannian $G(2,5)$ 内でのヒルベルト汎関手のコhomology類を計算し、$\mathbb{P}^4$ 内ですべてのこのような直線がなす三重多様体の次数を特定すること。
• 群 $\hat{G}$ の作用を通じて鏡像族を解析し、compactified商 $\tilde{\mathcal{S}}/\hat{G}$ が無限遠点で安定極限を持つ有理曲面として記述すること。

提案手法

• Dwork-pencilの基底的集合の構造を用いて、相対ヒルベルト汎関手 $\mathcal{H}$ を $\mathcal{S} \cup \bigcup_{i=1}^{375} Z_i$ に分解する。ここで $\mathcal{S}$ は滑らかな曲面で、各 $Z_i$ は $\mathbb{C}$ に同型である。
• Grassmannian $G(2,5)$ の吹き上げ $\tilde{G}(2,5)$ における $\mathcal{S}$ の閉包 $\tilde{\mathcal{S}}$ を用いて曲面 $\mathcal{S}$ を研究する。この吹き上げは、$\mathbb{P}^3$ 内のフェルマー曲面への30:1の有限被覆を許容する。
• Schubert計算を用いて $G(2,5)$ 内での $[\bar{\mathcal{S}}]$ を計算し、$[\bar{\mathcal{S}}] = 125 \cdot 3 \sigma_{22} + 125 \cdot 2 \sigma_{31} = 5^3 \cdot 3 \sigma_{22} + 5^3 \cdot 2 \sigma_{31}$ を得る。
• 射影公式を用いて、すべての直線がなす三重多様体 $V$ の次数を計算する：$\deg(V) = \int_{F(1,2,5)} q^*[σ] \cdot H^3 = 250$ であり、$q_*H^3 = \sigma_2$ を用いる。
• $\tilde{\mathcal{S}}$ から $H_i = \{z_i = 0\}$ 内のフェルマー曲面 $B_i$ への写像 $\varphi_i: \tilde{\mathcal{S}} \to B_i$ が30次有限被覆であることを示し、一般点および特異点でのファイバー数を明示的に数える。
• $w = \infty$ における安定極限 $\tilde{\mathcal{S}}_\infty / \hat{G}$ は、5本の滑らかな有理曲線の和集合として計算され、各曲線は $\tilde{\mathcal{C}}^\xi / \hat{G}$ に同型であり、互いに横断的交わる。

実験結果

リサーチクエスチョン

• RQ1 Dwork-pencilにおける五次三重多様体の直線の相対ヒルベルト汎関手の正確な構造は何か？
• RQ2 Grassmannian内で基底的集合の一部としか交わらない直線を含むより大きな完全交差から、実際にヒルベルト汎関手をどのように分離できるか？
• RQ3 ヒルベルト汎関手の $G(2,5)$ 内でのコhomology類は何か？ また、$\mathbb{P}^4$ 内ですべてのこのような直線がなす三重多様体の次数は何か？
• RQ4 $\hat{G}$ はヒルベルト汎関手にどのように作用するか？ また、商 $\mathcal{S}/\hat{G}$ 及びそのコンactification の構造は何か？
• RQ5 家族 $\mathcal{S}/\hat{G}$ の無限遠点における安定極限は何か？ そして、これは五次多様体の鏡像幾何とどのように関係するか？

主な発見

• Dwork-pencilにおける直線の相対ヒルベルト汎関手 $\mathcal{H}$ は、滑らかで非可約な曲面 $\mathcal{S}$ と $\mathbb{C}$ に同型な375個の成分 $Z_i$ の和集合として与えられ、$\pi|_{\mathcal{S}}: \mathcal{S} \to \mathbb{C}$ は、$t = 0$ および $\frac{2^7}{3}$ の五乗根で分岐する2重被覆 $\beta: \bar{C}_2 \to \mathbb{P}^1$ を介して因数分解される。
• 曲面 $\mathcal{S}$ は、$\mathbb{P}^3$ 内のフェルマー曲面 $z_0^5 + z_1^5 + z_2^5 + z_3^5 = 0$ への30:1の有限被覆として写像され、$\tilde{G}(2,5) \times \mathbb{P}^1$ 内の閉包 $\tilde{\mathcal{S}}$ は滑らかでコンパクトな射影的曲面である。
• $\bar{\mathcal{S}}$ の $G(2,5)$ 内でのコhomology類は $[\bar{\mathcal{S}}] = 5^3 \cdot 3 \sigma_{22} + 5^3 \cdot 2 \sigma_{31}$ であり、$\mathbb{P}^9$ 内での次数は $5^4 = 625$ である。
• Dwork-pencil内のすべての直線がなす三重多様体 $V$ の次数は250であり、射影公式を用いて計算される：$\deg(V) = \int_{F(1,2,5)} q^*[σ] \cdot H^3 = 250$。
• $\tilde{\mathcal{S}}$ から $H_i$ 内のフェルマー曲面 $B_i$ への写像 $\varphi_i: \tilde{\mathcal{S}} \to B_i$ は30次有限被覆であり、点 $(1:-1:0:0:0)$ および $(1:\xi:\xi^2:0:0)$ のタイプの点で特異ファイバーを持つ。また、$x_0^5 + x_1^5 + x_2^5 = 0$ を満たす点で分岐する。
• $w = \infty$ における安定極限 $\tilde{\mathcal{S}}_\infty / \hat{G}$ は、5本の滑らかな有理曲線の和集合として与えられ、互いに横断的交わる。この曲線は、滑らかで genus 0 の可約曲線であり、10個の交点を持つ。