[論文レビュー] Lines on Calabi Yau complete intersections, mirror symmetry, and Picard Fuchs equations

Anatoly Libgober, Jeremy Teitelbaum|ArXiv.org|Jan 4, 1993

Algebraic Geometry and Number Theory参考文献 4被引用数 20

ひとこと要約

この論文は、ピカール・フーチェス方程式を用いてヤウ接続を計算することで、射影空間内のカラビ＝ヤウ完結交差に対するミラー対称性の予測を検証し、ホロモルフィック3形式の三重微分のq展開係数が、一般の完結交差上での直線（次数1の有理曲線）の数と一致することを確認した。主な結果として、ℙ⁵内の2つの立方体3次曲面および他の完結交差に対して、予測された整数値の直線数が、複数のミラー族にわたって正確に一致した。

ABSTRACT

A relation between the number of rational curves of fixed degree on Calabi Yau threefolds and the Picard Fuchs equations, which was suggested as part of the study of mirror symmetry, is verified in the case of complete intersection of two cubics and lines.

研究の動機と目的

• 射影空間内のカラビ＝ヤウ完結交差上での有理曲線（次数1、すなわち直線）の数がミラー対称性によって正しく予測されることを検証すること。
• ヤウ接続κ_sssのq展開におけるqの係数が、一般の完結交差上での直線数に一致することを確立すること。
• 無限遠点におけるモノドロミーが最大の非単位的であることを確認し、G_81によるV_λの解体商W(V)に対して、Euler特性数χ(V) = −χ(W(V))が成り立つこと。
• 五次曲面に限らない他の完結交差型へ、座標sの漸近正規化法を拡張すること。超幾何ピカール・フーチェス方程式を用いる。

提案手法

• z → 0 のとき s(z) ∼ log(z) − ∑d_i log(d_i) で定義される座標sの漸近正規化を用い、ミラー対称性における物理的正規化と整合性を持つようにする。
• ピカール・フーチェス微分方程式を適用し、ホロモルフィック解F₀と対数的解F₁を計算し、これらから座標s = F₁/F₀を定義する。
• ワロンスキー式W = F₀ΘF₁ − F₁ΘF₀を用いてヤウ接続を計算し、κ_sssをF₀、W、sの関数として表現する。
• 鏡写像q = exp(2πis)を用いてκ_sssをqのべき級数に展開し、q^dの係数が次数dの有理曲線の数に関連することを示す。
• V_λに作用する群G₈₁を用いて、商の解体のEuler特性数を∑_g χ(V_λ^g / G₈₁)の公式で計算し、χ(V_λ) = −χ(W(V_λ))を検証する。
• シューベルト計算を用いて、グリスマン多様体上のサイクルの交線を計算し、直線数を求める。例として、ℙ⁷内の4つの二次曲面の交差に対して4Ω₄,₆を用いる。

実験結果

リサーチクエスチョン

• RQ1 鏡写像W(V_λ)におけるヤウ接続κ_sssのq展開において、qの係数はℙ⁵内2次曲面の完結交差上での直線数に一致するか？
• RQ2 鏡写像族W(V_λ)のEuler特性数は、V_λのそれとχ(V_λ) = −χ(W(V_λ))の関係にあるか？
• RQ3 漸近正規化s(z) ∼ log(z) − ∑d_i log(d_i) は、異なる完結交差型にわたって一貫した整数値の有理曲線数n_dをもたらすか？
• RQ4 残りのカービー＝ヤウ完結交差に対するピカール・フーチェス方程式は、定義する超曲面の次数と一致するパrametersを持つ超幾何型か？

主な発見

• 鏡写像族W(V_λ)におけるκ_sssのq展開のqの係数は1053であり、これはℙ⁵内2つの立方体3次曲面の一般の完結交差上での直線数と一致する。
• V_λのEuler特性数は−144であり、V_λ/G₈₁の解体はEuler特性数144をもち、χ(V_λ) = −χ(W(V_λ))が確認された。
• ℙ⁷内4つの二次曲面の交差上での直線数は512であり、シューベルト計算により4重自己交線4Ω₄,₆として計算された。
• ℙ⁶内1つの立方体と2つの二次曲面の交差上での直線数は720であり、交線(18Ω₂,₅ + 27Ω₃,₄)(4Ω₃,₅)²として計算された。
• 研究されたすべての完結交差型において、漸近正規化s(z) ∼ log(z) − ∑d_i log(d_i) は、κ_sss = 9 + ∑(n_d d³ q^d)/(1−q^d) 展開におけるn_dが整数値をとることをもたらした。
• ℙ⁵内2つの立方体3次曲面の交差上での次数10の有理曲線の予測数は512,045,241,907,209,106,828,608であり、この方法の整合性が確認された。