[論文レビュー] Mirror Symmetry via Logarithmic Degeneration Data I

Mark Gross, Bernd Siebert|ArXiv.org|Sep 4, 2003

Geometric Analysis and Curvature Flows参考文献 14被引用数 29

ひとこと要約

本論文は、Calabi-Yau多様体のトーリック退化から得られる対数的退化データを用いて、鏡対称性の新しい枠組みを提示する。双対交差複体を特異点を持つアフィン多様体として構成し、離散リーマン変換を介して対数的複素モジュライ空間とケーラー・モジュライ空間の双対性を確立することで、対数的設定における退化データと鏡対称性の基礎的関係を確立する。

ABSTRACT

This paper is the first arising from our project announced in math.AG/0211094, "Affine manifolds, log structures, and mirror symmetry." We aim to study mirror symmetry by studying the log structures of Illusie-Fontaine and Kato on degenerations of Calabi-Yau manifolds. The basic idea is that one can associate to certain sorts of degenerations of Calabi-Yau manifolds a log Calabi-Yau space, which is a log structure on the degenerate fibre. Then many statements about mirror symmetry which one hopes to be true for the general fibre should first be proved for this log CY space. In this paper we begin by discussing affine manifolds with singularities. Given such an affine manifold along with a polyhedral decomposition, we show how to construct a scheme consisting of a union of toric varieties. In certain non-degenerate cases, we can also construct log structures on these schemes. Conversely, given certain sorts of degenerations, one can build an affine manifold with singularities structure on the dual intersection complex of the degeneration. Mirror symmetry is then obtained as a discrete Legendre transform on these affine manifolds, thus providing an algebro-geometrization of the Strominger-Yau-Zaslow conjecture. The deepest result of this paper shows an isomorphism between log complex moduli of a log CY space and log Kahler moduli of its mirror.

研究の動機と目的

• Calabi-Yau多様体の最大無単位退化からの残留退化データに基づく、鏡対称性の新しいパラダイムを確立すること。
• トーリック退化から得られる双対交差複体を、特異点を持つアフィン多様体および多面体分割として定義すること。
• 元の退化の複素モジュライとその鏡のケーラー・モジュライを結ぶ離散リーマン変換を構成すること。
• 対数的ピカード群とケーラー・モジュライ空間の関係を特定し、提示された枠組みの整合性を検証すること。
• 対数的構造を用いたモジュライ理論的完全理解の基盤を築くこと。

提案手法

• トーリック退化の中心ファイバー $\mathcal{X}_0$ から、多面体分割と特異点におけるファイバー構造を用いて、双対交差複体 $B$ を特異点を持つアフィン多様体として構成する。
• 相対的にアーマイルラインバンドル $\mathcal{L}$ からの極性を用いて、$B$ 上の凸で多価な(piecewise linear)関数 $\varphi$ を定義する。
• $B$ と $\varphi$ に離散リーマン変換を適用し、鏡の退化を表す双対アフィン多様体 $\check{B}$ と双対関数 $\check{\varphi}$ を得る。
• 複素モジュライをモデル化するための対数的構造を用い、対数的ピカード群が正しいモジュライ空間を捉えていることを示す。
• 対数的および可逆的関数の層の重心分解を用いて、$H^1(X\setminus Z, \mathcal{M}_X^{\text{gp}})$ のようなコhomological不変量を計算する。
• 正規化された接合データと正の対数的構造の概念を導入し、トーリック幾何と鏡対称性の双対性と整合性を保証する。

実験結果

リサーチクエスチョン

• RQ1 Calabi-Yau退化の残留退化データは、どのように双対鏡を定義するために用いることができるか？
• RQ2 対数的設定における双対交差複体の正確な幾何的・組合せ的構造は何か？
• RQ3 離散リーマン変換は、退化の複素モジュライとその鏡のケーラー・モジュライをどのように関係付けるか？
• RQ4 対数的構造は、退化極限において、正しい複素モジュライをどのように表現するか？
• RQ5 トーリック退化の文脈において、対数的ピカード群はケーラー・モジュライ空間とどのように関係するか？

主な発見

• 双対交差複体 $B$ は、特異点を持つアフィン多様体として構成され、組合せ的および幾何的データを捉える多面体分割 $\mathscr{P}$ を備えている。
• $B$ と $\varphi$ の離散リーマン変換により、鏡の退化を表す双対アフィン多様体 $\check{B}$ と双対凸関数 $\check{\varphi}$ が得られ、これが鏡の退化をモデル化する。
• 対数的ピカード群 $H^1(X\setminus Z, \mathcal{M}_X^{\text{gp}})$ は、鏡のケーラー・モジュライ空間に同型であり、モジュライレベルでの双対性が検証された。
• $B$ の頂点におけるファイバー構造と面におけるアフィン構造を用いた構成は、古典的双対交差複体を対数的設定に一般化する。
• 本枠組みにより、対数的複素モジュライ空間とケーラー・モジュライ空間の双対性が確立され、対数的カテゴリーにおける鏡対称性の基礎的関係が得られた。
• 例として、$\mathbb{P}^3 \times \mathbb{A}^1$ 内の退化 $f_4 + t x_0x_1x_2x_3 = 0$ は、$B$ を正四面体の境界として実現し、辺の中点に特異点を持つ。この例は、構成を明確に具体化している。