[論文レビュー] Frobenius Manifolds and Formality of Lie Algebras of Polyvector Fields

Sergey Barannikov, Maxim Kontsevich|arXiv (Cornell University)|Oct 28, 1997

Homotopy and Cohomology in Algebraic Topology参考文献 5被引用数 44

ひとこと要約

本稿は、Calabi-Yau多様体 $M$ 上の多ベクトル場の微分付きリ Lie 代数におけるMaurer-Cartan方程式の普遍解を用いて、$H^*(M, \Lambda^*T_M)[2]$ のずらしコホモロジー空間に形式的 Frobenius多様体構造を構成する。この構成はホッジ構造の変化の一般化を提供し、Gromov-Witten不変量を介して種数0の鏡像対称性の予測を数学的に実現する。また、形式的定理により、導来カテゴリ−の可換層の $A_\infty$-変形のモジュライ空間から導かれるFrobenius構造と一致する。

ABSTRACT

We construct a generalization of the variations of Hodge structures on Calabi-Yau manifolds. It gives a Mirror partner for the theory of genus=0 Gromov-Witten invariants

研究の動機と目的

• 拡張されたモジュライ空間 $H^*(M, \Lambda^*T_M)[2]$ を、鏡像対称性の文脈において形式的 Frobenius多様体として解釈すること。
• 3次元を超える次元における鏡像対称性の文脈で、'Yukawa結合' $C_{ijk}(t)$ を解釈するパズルを解消すること。
• D^b\text{Coh}(M)$ の $A_\infty$-変形のモジュライ空間上のFrobenius構造と、鏡のCalabi-Yau多様体 $\widetilde{M}$ のGromov-Witten不変量との対応関係を確立すること。
• 多ベクトル場による複素構造の一般化された変形を含むホッジ構造の変化理論を一般化すること。
• 形式的定理により、$A_\infty$-変形のモジュライ空間がFrobenius代数構造を保ちながら、多ベクトル場の変形のモジュライ空間と同一視されることを示すこと。

提案手法

• Calabi-Yau多様体 $M$ 上の多ベクトル場の微分付きリ Lie 代数 $\mathfrak{t} = \bigoplus_{k} \mathfrak{t}^k$ を構成し、微分を $\bar{\partial}$、Schouten-Nijenhuys括弧を用いる。
• 変形理論を適用して $\mathfrak{t}$ に形式的モジュライ空間 $\mathcal{M}_{\mathfrak{t}}$ を関連付け、$H^*(M, \Lambda^*T_M)[2]$ の形式的近傍と同一視する。
• 多ベクトル場の $\mathfrak{t}$ 内のMaurer-Cartan方程式の普遍解を用いて、一般化された正則体積形式を定義する。
• この体積形式を積分して、$H^*(M, \Lambda^*T_M)[2]$ 上のFrobenius多様体構造を生成する一般化された周期を定義する。
• 得られた代数的構造がFrobenius多様体の公理を満たすことを示す：可換性、結合性、不変性、単位元、および潜在性。
• 形式的定理を活用して、$D^b\text{Coh}(M)$ の $A_\infty$-変形のモジュライ空間が $\mathcal{M}_{\mathfrak{t}}$ と同一視され、Yoneda積を介して接空間代数構造が保存されることを示す。

実験結果

リサーチクエスチョン

• RQ1 拡張されたモジュライ空間 $H^*(M, \Lambda^*T_M)[2]$ にホッジ構造の一般化を拡張するFrobenius多様体構造をどのように導入できるか？
• RQ2 高次元における鏡像対称性の文脈で、Yukawa結合 $C_{ijk}(t)$ の幾何学的・代数的意味は何か？
• RQ3 形式的Frobenius多様体 $H^*(M, \Lambda^*T_M)[2]$ は、鏡のCalabi-Yau多様体 $\widetilde{M}$ のGromov-Witten不変量とどのように関係するか？
• RQ4 形式的定理を用いて、ホモロジー的鏡像対称性の予想から鏡像対称性の数値的予測を導出できるか？
• RQ5 極限的重みフィルトレーションと最大の単位モノドロミーは、Frobenius構造を構成する上で果たす役割は何か？

主な発見

• モジュライ空間 $\mathcal{M}_{\mathfrak{t}}$ の接 bundle を $[-2]$ でずらしたものは、Yoneda積を介して自然に可換・結合的・階数付き代数構造を持つ。
• 普遍正則体積形式の積分から得られる一般化された周期は、Frobenius多様体の公理を満たす。特に、$A_{abc} = \partial_a\partial_b\partial_c\Phi$ を満たす潜在関数 $\Phi$ の存在が保証される。
• 多ベクトル場の変形から構成された $H^*(M, \Lambda^*T_M)[2]$ 上のFrobenius構造は、鏡の $\widetilde{M}$ のGromov-Witten不変量から導かれる $H^*(\widetilde{M}, \mathbb{C})$ 上のFrobenius構造と、予想的に一致する。
• 形式的定理により、$D^b\text{Coh}(M)$ の $A_\infty$-変形のモジュライ空間は $\mathcal{M}_{\mathfrak{t}}$ と同一視され、接空間上のFrobenius代数構造が保存される。
• 本構成は、特異点のモジュライ空間上のSaitoのFrobenius多様体を一般化し、Fano多様体上のGromov-Witten Frobenius構造の鏡像パートナーを提供する。
• 付録では、構成から得られる3次テンソル $A_{abc}$ が実際に潜在関数 $\Phi$ の3階微分であることが証明され、Frobenius多様体の潜在性公理が確認される。