[論文レビュー] Stringy $E$-functions of Pfaffian-Grassmannian double mirrors

Lev Borisov, Anatoly Libgober|arXiv (Cornell University)|Feb 12, 2015

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

ひとこと要約

本稿は、奇数次元空間内の Pfaffian-Grassmannian 型二重鏡像 Calabi-Yau 完全交差に対して、ストリング的 E 関数の等価性を確立し、それらのストリング的ホッジ数が一致することを証明する。対になる多様体 X_W と Y_W のストリング的 E 関数が同一であることを、完全歪形式の空間による対数解消と帰納的 q-超幾何恒等式を用いて検証し、非双有理的 Calabi-Yau 対における深い鏡像対称性の予測を裏付けた。

ABSTRACT

We establish the equality of stringy $E$-functions for double mirror Calabi-Yau complete intersections in the varieties of skew forms of rank at most $2k$ and at most $n-1-2k$ on a vector space of odd dimension $n$.

研究の動機と目的

• Pfaffian 多様体と Grassmannian 多様体における二重鏡像 Calabi-Yau 完全交差のストリング的ホッジ数の等価性を証明すること。
• Rødland の Pfaffian-Grassmannian 対応を n ≥ 5 の高次元に一般化すること。
• 完全歪形式の空間と帰納的技法を用いて、Pfaffian 多様体のストリング的 E 関数を計算すること。
• 双対多様体 X_W と Y_W のストリング的 E 関数が一致することを検証し、非双有理的状況における鏡像対称性を確認すること。
• 特異多様体を含む一般化された二重鏡像設定におけるストリング的不変量の技術的枠組みを確立すること。

提案手法

• 一般部分空間 W ⊂ Λ²V∨ を用いて、Grassmannian G(2,V) 内の Calabi-Yau 多様体 X_W と Pfaffian 多様体 Pf(V) 内の Y_W を構成する。
• 完全歪形式の空間による Pfaffian 多様体の対数解消を用いて、歪みの計算とストリング的不変量を求める。
• 帰納的技法を適用し、奇数次元における Pfaffian 多様体のストリング的 E 関数の閉形式公式を導出する。
• Jain の恒等式と Heine の変換を含む q-超幾何恒等式を用いて、解消過程における重要な組合せ的恒等式を検証する。
• X_W の Cayley 超曲面を射影することで、その幾何と Y_W のストリング的不変量との関係を明らかにする。
• X_W と Y_W が異なる次元をとる偶数次元における一般化された二重鏡像設定では、ストリング的 E 関数の定義を調整する。

実験結果

リサーチクエスチョン

• RQ1 Pfaffian と Grassmannian 完全交差のストリング的ホッジ数は、高次元の奇数次元でも一致するか？
• RQ2 対数解消を用いて、特異な Pfaffian 多様体のストリング的 E 関数は効果的に計算可能か？
• RQ3 奇数次元 n に対して、Pfaffian 多様体 Pf(2k,V∨) と Pf(n−1−2k,V) の双対 Pfaffian 多様体への Pfaffian-Grassmannian 対応の一般化は可能か？
• RQ4 q-超幾何恒等式は、鏡像対称性におけるストリング的不変量の等価性を検証するためにどのように寄与するか？
• RQ5 非同型多様体を含む一般化された二重鏡像設定において、ストリング的 E 関数を定義するにはどのような修正が必要か？

主な発見

• 二重鏡像多様体 X_W と Y_W のストリング的 E 関数は等しく、非双有理的状況における鏡像対称性の中心的予測を裏付けた。
• 定理 7.7 で述べられるように、すべての p,q に対してストリング的ホッジ数 h^{p,q}_{st}(X_W) と h^{p,q}_{st}(Y_W) が一致する。
• 奇数次元空間における Pfaffian 多様体のストリング的 E 関数に対して、驚くほど単純な閉形式公式が導出された（定理 4.6）。
• Pfaffian 多様体の対数解消における特異的除集合の歪み計算は、完全歪形式の空間を用いて明示的に計算された。
• 証明は、非自明な q-超幾何恒等式に依拠しており、Jain の恒等式と一般化された超幾何級数の変換公式により検証された。
• 著者らは、多様体が双有理的でない場合であっても、一般化された二重鏡像対応の両側においてストリング的 E 関数が適切に定義され、等しいことを確立した。