[論文レビュー] Toric Degenerations of Fano Varieties and Constructing Mirror Manifolds

Victor V. Batyrev|arXiv (Cornell University)|Dec 30, 1997

Algebraic Geometry and Number Theory参考文献 21被引用数 38

ひとこと要約

この論文は、小規模なトーリック退化を用いて、非トーリックなファノ多様体内のカラビ＝ヤウ完備交差の一般化された鏡映性構成を導入する。正規部分代数の基底と初期イデアルを活用することで、一般化された単項式-除集合対応を介して鏡を構成し、GKZ超幾何級数を用いて既知のグロモフ＝ウィトテン不変量を再現するとともに、射影空間内の超曲面に対する既存の鏡像構成と整合性を確認した。

ABSTRACT

For an arbitrary smooth n-dimensional Fano variety $X$ we introduce the notion of a small toric degeneration. Using small toric degenerations of Fano n-folds $X$, we propose a general method for constructing mirrors of Calabi-Yau complete intersections in $X$. Our mirror construction is based on a generalized monomial-divisor mirror correspondence which can be used for computing Gromov-Witten invariants of rational curves via specializations of GKZ-hypergeometric series.

研究の動機と目的

• トーリックファノ多様体から一般のファノ多様体への鏡像対称性の構成を、トーリック退化を用いて拡張すること。
• 非トーリックファノ多様体内のカラビ＝ヤウ完備交差の鏡像を体系的に構成するための方法を開発すること。
• 退化を用いて、非トーリック設定における単項式-除集合鏡像対応を一般化すること。
• グロモフ＝ウィトテン不変量とピカード＝フック方程式を用いて、新しい鏡像構成が既存の結果と整合することを検証すること。

提案手法

• 重みベクトルによって定義される正規部分代数の基底を用いて、多項式部分代数から初期代数を構成する。
• 重み付き単項式初期項を介して、1パラメータの平坦な代数族を定義し、それがトーリック多様体に退化することを示す。
• ファノ多様体に対して、退化が平坦で、中心ファイバーがゴレンシュタイン的かつトーリックであるような小規模なトーリック退化を同定することで、この構成を適用する。
• 初期イデアルから導かれる1パラメータ族の式によって定義される代数的トーラス内のアフィン超曲面として鏡像を構成する。
• コーシーの留数公式を用いて鏡像族の主要周期を計算し、既知の構成から得られるピカード＝フック級数と一致させる。
• 一般化された単項式-除集合対応を用いて、鏡像上の除集合クラスを初期代数内の単項式に関連付ける。

実験結果

リサーチクエスチョン

• RQ1 トーリック退化を用いて、非トーリックファノ多様体内のカラビ＝ヤウ完備交差への鏡像対称性を拡張できるか？
• RQ2 ファノ多様体の小規模なトーリック退化に対して、一般化された単項式-除集合対応が成立するか？
• RQ3 この一般化された設定において、GKZ超幾何級数を用いてグロモフ＝ウィトテン不変量を計算できるか？
• RQ4 この方法で構築された鏡像が、例えば射影空間内の完備交差のような既知の事例における既存の鏡像構成と整合性を持つか？
• RQ5 これらの非正則的かつ非退化的なアフィン超曲面に対して、ストリング的E関数の双対性を検証できるか？

主な発見

• 本手法は、小規模なトーリック退化を用いて、ファノ多様体内のカラビ＝ヤウ完備交差の鏡像を効果的に構成でき、既存の結果を一般化した。
• 鏡像族の主要周期がピカード＝フック級数 Φ₀(z) = ∑ (dm!)²/(m!)²d zᵐ と一致し、既存の鏡像対称性と整合性が確認された。
• d=3 の場合、鏡像は t₁,t₂,u₁,u₂ および z を含む1パラメータ式によって定義される4次元トーラス内の超曲面のコンパクト化として記述される。
• 一般化された鏡像構成は、留数公式を用いて正しくグロモフ＝ウィトテン不変量を再現し、係数 am = (dm!)²/(m!)²d を得た。
• 特定のケース（例：ℙ⁵内の2つの立方体の完備交差）において、本手法が既存のトーリック鏡像構成と同等であることが示された。
• 本手法は、退化したトーリック多様体の小スケール量子コホモロジーが、元のファノ多様体の量子コホモロジーの除集合部分環を符号化している可能性を示唆している。