[論文レビュー] Three constructions of Frobenius manifolds: a comparative study

Yu. I. Manin|ArXiv.org|Jan 2, 1998

Algebraic Geometry and Number Theory参考文献 7被引用数 16

ひとこと要約

本稿は、量子コhomology、Saitoの特異点理論、およびBarannikov–KontsevichのdGBV代数構成という3つのFrobenius多様体の構成法を比較する研究を提供する。dGBVに基づくFrobenius多様体に対して、Chern–Simons型のポテンシャル公式を確立し、Frobenius多様体の公理と整合することを証明することで、異なる幾何的起源からの多様体間の同型を通じて、ミラー対称性を統一的に理解する枠組みを提示する。

ABSTRACT

The paper studies three classes of Frobenius manifolds: Quantum Cohomology (topological sigma-models), unfolding spaces of singularities (K. Saito's theory, Landau-Ginzburg models), and the recent Barannikov-Kontsevich construction starting with the Dolbeault complex of a Calabi-Yau manifold and conjecturally producing the B--side of the Mirror Conjecture in arbitrary dimension. Each known construction provides the relevant Frobenius manifold with an extra structure which can be thought of as a version of ``non-linear cohomology''. The comparison of thesestructures sheds some light on the general Mirror Problem: establishing isomorphisms between Frobenius manifolds of different classes. Another theme is the study of tensor products of Frobenius manifolds, corresponding respectively to the Künneth formula in Quantum Cohomology, direct sum of singularities in Saito's theory, and presumably, the tensor product of the differential Gerstenhaber-Batalin-Vilkovisky algebras. We extend the initial Gepner's construction of mirrors to the context of Frobenius manifolds and formulate the relevant mathematical conjecture.

研究の動機と目的

• Frobenius多様体の3つの異なる構成法—量子コhomology、Saitoの特異点理論、およびBarannikov–KontsevichのdGBV代数構成—を比較すること。
• 異なる幾何的または物理的枠組みから生じるFrobenius多様体の間の同型の存在を、特にミラー対称性の文脈で調査すること。
• これらの構成法に共通する追加構造—非線形コホロジー、テンソル積の性質など—を特定・分析すること。
• Gepnerのミラー構成をFrobenius多様体の文脈に拡張し、任意次元におけるミラー対称性の$B$-モデルに関する数学的予想を提示すること。
• dGBVに基づくFrobenius多様体に対して、厳密なポテンシャル公式を提示し、Frobenius多様体の公理と整合することを検証すること。

提案手法

• Frobenius多様体の公理的枠組みを用い、平坦計量$g$、対称テンソル$A$、ポテンシャル$ abla^2\text{Phi}$を定義し、結合則およびポテンシャル性の条件を満たす。
• Calabi–Yau多様体のDolbeault複体から出発し、ゲージ同値類の下でのMaurer–Cartan方程式の解を用いて、Barannikov–Kontsevichの構成を適用し、形式的Frobenius多様体を生成する。
• dGBV代数構造を用い、演算子$ abla$、$ abla^*$、$ abla^2$が、マスター方程式$ abla^2\text{Gamma} = 0$および$ abla^2\text{Gamma}^2 = -2\nabla\text{Gamma}$を満たすようにする。
• Chern–Simons型ポテンシャル$\Phi = \int \left(\frac{1}{6}\Gamma^3 - \frac{1}{2}\delta B \Delta B\right)$を導出する。ここで$\Gamma$は正規化された接続形式であり、$\Delta$、$\delta$は微分作用素である。
• 超可換微積分、導分作用素のLeibniz則、および$X$、$\delta$、$\Delta$、$\nabla$間の重ね合わせ関係を用いて、$X^3\Phi = A(X,X,X)$が成り立つことを検証する。
• マスター方程式および$K$-加群構造の性質を用いて、ポテンシャル導出における余分な項を打ち消し、Frobenius多様体の公理と整合することを保証する。

実験結果

リサーチクエスチョン

• RQ1 量子コhomology、Saitoの特異点理論、およびBarannikov–KontsevichのdGBV代数構成という3つのFrobenius多様体の構成法は、それぞれの背後にある幾何的・代数的構造においてどのように比較できるか？
• RQ2 異なる方法で構成されたFrobenius多様体の間で、特にミラー対称性の文脈において、同型を確立できるか？
• RQ3 Frobenius多様体の枠組みにおいて、任意の種数の相関関数と重力的後代（gravitational descendants）の微分幾何的意味は何か？
• RQ4 dGBV代数構成をどのように一般化すれば、完全なFrobenius多様体構造が得られ、その構造の明示的ポテンシャルは何か？
• RQ5 Euler場はdGBVに基づく構成において果たす役割は何か？また、それが消えるか、非自明な平坦構造に還元される条件は何か？

主な発見

• Chern–Simons型ポテンシャル$\Phi = \int \left(\frac{1}{6}\Gamma^3 - \frac{1}{2}\delta B \Delta B\right)$が、すべての平坦ベクトル場$X$に対して$A(X,X,X) = X^3\Phi$を満たすことが証明され、Frobenius多様体のポテンシャル性が確認された。
• 構成により、平坦和成分を含まないEuler場$E$を持つFrobenius多様体が得られ、これが量子コhomologyと同型であるならば、対応する多様体は torsionを除いて$c_1(V) = 0$を満たす必要がある。
• dGBV代数構成は、Maurer–Cartan方程式の解の空間のモジュライ空間に、形式的Frobenius多様体構造を生成する。ポテンシャルは超可換微積分とマスター方程式を用いて導出された。
• 証明は、$\delta$、$\Delta$、導分作用素$X$を含む一連の恒等式に依拠しており、符号の取り扱いや超可換関係を注意深く処理することで、ポテンシャル導出における余計な項を打ち消す。
• Frobenius多様体のテンソル積は、量子コhomologyにおけるKünneth公式、Saitoにおける特異点の直和、dGBV代数のテンソル積を用いて調べられ、統一的な枠組みの可能性を示唆する。
• 本稿は、Gepnerのミラー構成をFrobenius多様体に拡張する数学的予想を提示し、任意次元におけるミラー対称性の$B$-モデル（dGBVに基づく）と$A$-モデル（量子コhomology）を結びつける。