[論文レビュー] Moduli, Motives, Mirrors (Plenary talk at the 3rd ECM, Barcelona, July 10-14, 2000)

Yuri I. Manin|ArXiv.org|May 15, 2000

Nonlinear Waves and Solitons参考文献 61被引用数 3

ひとこと要約

本稿は、量子コhomologyとホッジ理論から生じるフロベニウス多様体の同型、および実トーリックファイブレーションを用いたラグランジュ/複素双対性という二つの双対的枠組みを通じて、カラビ–ヤウ多様体におけるミラー対称性を検討する。主な貢献は、グロモフ–ウィッテン不変量とモチーフ的構造を結びつける、明確なコhomologicalミラー同型 $μ_{X,Y}: H^*(X,\mathbb{C}) \to H^*(Y,\wedge^*(\mathcal{T}_Y)) \otimes V_Y^{-2}$ の確立であり、超越的写像を越えた統一的なモチーフ的言語によるミラー対称性の定式化を提案する。

ABSTRACT

This talk is dedicated to various aspects of Mirror Symmetry. It summarizes some of the mathematical developments that took place since M. Kontsevich's report at the Zürich ICM and provides an extensive, although not exhaustive, bibliography.

研究の動機と目的

• オリジナルの五次型恒等式を超えたミラー対称性の数学的構造を明確化すること、特にフロベニウス多様体の同型を通じて。
• 量子コhomology（Aモデル）と拡張されたホッジ構造（Bモデル）という二つの双対的視点を、ミラー対において統一すること。
• グロモフ–ウィッテン不変量とモチーフ的幾何が代数的対応を通じてミラー対称性にどのように関与するかを調査すること。
• ミラー写像をモチーフの圏における「動的」な準同型として扱う、モチーフ的枠組みを提案すること。
• 導来カテゴリおよび自己同型群が、モチーフ的基本群のレベルでミラー対称性を実現する役割を果たすかを検討すること。

提案手法

• カラビ–ヤウ多様体の量子コhomologyおよび鏡像族上のホッジ構造の変動からフロベニウス多様体を構成する。
• ギヴェンタルの等長コhomologyおよびトーラス作用の技法を用いて、オリジナルの五次型ミラー恒等式を証明する。
• AモデルおよびBモデルのデータから構成されたフロベニウス多様体の同型を通じて、ミラー対を定義する。
• コンツェビッチおよびストロマージン–ヤウ–ザスローフの意味でのラグランジュ/複素双対性を実現するため、特別なラグランジュ部分多様体をもつ実トーリックファイブレーションを導入する。
• 平坦ベクトル場を用いてコhomology空間間のミラー同型を追跡し、トレース汎関数および計量を同定する。
• モチーフの圏を拡張し、ミラー同型を新たな動的準同型として追加し、導来カテゴリの自己同値同型と関連付ける。

実験結果

リサーチクエスチョン

• RQ1 五次型3次元多様体のミラー恒等式は、フロベニウス多様体間のより深い双対性の特別な場合としてどのように理解できるか？
• RQ2 カラビ–ヤウ多様体 $X$ と $Y$ 間のミラー同型 $μ_{X,Y}$ の明確な幾何学的およびコhomological構造は何か？
• RQ3 モチーフ的性質を持つグロモフ–ウィッテン不変量は、$Y$ のミラー幾何にどのように反映されるか？
• RQ4 非常に超越的なミラー写像はモチーフ的枠組み内で形式化可能か？ そしてどのような新しい構造が現れるか？
• RQ5 特別なラグランジュファイブレーションおよびそのモノドロミーは、シンプレクティック構造と複素構造の双対性を実現する上で果たす役割は何か？

主な発見

• ミラー同型 $μ_{X,Y}: H^*(X,\mathbb{C}) \to H^*(Y,\wedge^*(\mathcal{T}_Y)) \otimes V_Y^{-2}$ は、フロベニウス多様体の同型から誘導されるコhomological同定として確立された。
• この同型は $H^{p,q}(X)$ を $H^q(Y, \wedge^p(\mathcal{T}_Y))$ に同定し、明確なホッジ理論的双対性を示している。
• モジュライ空間のカスプ近傍では、体積形式による $V_Y = H^0(Y, \Omega_Y^{\text{max}})$ の自明化の後、ミラー写像が環同型に成る。
• トレース汎関数および両側の平坦計量は、フロベニウス構造によって同定された。
• A側のグロモフ–ウィッテン不変量は、$X^n$ と $\overline{M}_{0,n}$ 間の代数的対応から生じており、モチーフ的起源を示唆している。
• 本稿では、モチーフの圏を拡張し、ミラー同型を新たな動的準同型として追加することを提案しており、ミラー対称性の背後にあるより深い圏的構造を示唆している。