[論文レビュー] Variation of Hodge structures, Frobenius manifolds and Gauge theory

Si Li|arXiv (Cornell University)|Mar 12, 2013

Black Holes and Theoretical Physics参考文献 18被引用数 3

ひとこと要約

本稿は、Calabi-Yau多様体上のKodaira-Spencerゲージ理論から導かれるBCOV理論における高次不変量の木レベル生成関数と、Barannikovによる半無限Hodge構造の変形（SIVH）構成との間の正確な同型を確立する。BCOV理論における種数0のポテンシャル関数がSIVHから生じるFrobenius構造と一致することを証明し、Feynman図の積分と再正規化されたプロパゲーターを用いて、種数0におけるミラー対称性を重力的後続不変量を含む形に一般化する。

ABSTRACT

We explain the homological relation between the Frobenius structure on the deformation space of Calabi-Yau manifold and the gauge theory of Kodaira-Spencer gravity. We show that the genus zero generating function of descendant invariants on Calabi-Yau manifolds from Barannikov's semi-infinite variation of Hodge structures is equivalent to the Kodaira-Spencer gauge theory at tree level.

研究の動機と目的

• Kodaira-Spencerゲージ理論（BCOV理論）とCalabi-Yauモジュライ空間上のFrobenius多様体構造との間の数学的ブリッジを確立すること。
• BCOV理論から得られる種数0の後続Gromov-Witten不変量の生成関数が、Barannikovの半無限Hodge構造の変形によって構成された前位相関数と一致することを示すこと。
• 重力的後続不変量と高次の不変量を含む形で、種数0におけるミラー対称性の先行結果を一般化すること。
• Feynman図展開と特異なプロパゲーターを用いて、Frobeniusポテンシャルの厳密な場の理論的解釈を提供すること。
• BCOVフレームワークにおける特定の微分作用素の核が、前位相関数によって定義されるラグランジュ部分多様体に対応することを示し、幾何学と量子場理論を結びつけること。

提案手法

• 半無限Hodge構造における平坦セクションの空間のシンプレクティック幾何、およびリザイドペアリングとGauss-Manin接続を備えた構造を用いる。
• Giventalのループ空間形式論を用いて、平坦セクションのシンプレクティックベクトル空間におけるラグランジュコーンを通じてFrobenius構造を解釈する。
• 重力的後続不変量を頂点演算子を用いて組み込むことで、Kodaira-Spencer作用素の変形としてBCOV理論の作用素 $ S^{BCOV} $ を構成する。
• プロパゲーター $ P = \frac{\bar{\partial}^* \partial}{\Delta} $ と作用素 $ S^{BCOV} $ を持つ、連結な木型Feynman図の和として、木レベルの分配関数 $ \mathbf{F}^{BCOV}_0 $ を定義する。
• ホモロジー的摂動補題を適用して射影写像のホモトピー逆写像を計算し、作用素 $ \eta $ の核をラグランジュ部分多様体と特定する。
• Weyl量子化を用いて古典的ラグランジュ部分多様体の非可換変形を定義し、Fock空間における量子イデアル層が、完全な量子BCOV理論を符号化することを示す。

実験結果

リサーチクエスチョン

• RQ1 BCOV理論における高次不変量の木レベル生成関数は、半無限Hodge構造の変形から得られるFrobeniusポテンシャルと同型であるか？
• RQ2 Kodaira-Spencerゲージ理論が木レベルで、Calabi-Yau多様体上のBモデルの前位相関数をどのように再現するか？
• RQ3 重力的後続不変量を含むFeynman図展開として、Frobenius多様体構造の正確な場の理論的実現は何か？
• RQ4 BCOV作用素によって定義される作用素 $ \eta $ の核は、平坦セクションのシンプレクティック空間におけるラグランジュ部分多様体とどのように関係するか？
• RQ5 高次のループ図を含む完全なBCOV理論は、ホモロジー的手法を用いて一貫して再正規化可能か？また、これにより量子前位相関数にどのような影響が生じるか？

主な発見

• BCOV理論の木レベル分配関数 $ \mathbf{F}^{BCOV}_0 $ は、Barannikovの半無限Hodge構造の変形によって構成された高次不変量の生成関数と同型である。
• Calabi-Yauモジュライ空間上のFrobenius多様体の種数0ポテンシャル関数は、制限 $ \mathbf{F}^{BCOV}_0|_{\operatorname{H}} $ として与えられ、前位相関数の幾何的起源を確認する。
• 作用素 $ \eta $ の核、すなわち $ \mu \mapsto \partial_\mu S^{BCOV} $ として定義されるもの、は $ \mu - \Pi \left( \sum_{k\geq 0} (\{S^{BCOV}, -\} G)^k \partial_\mu S^{BCOV} \right) $ によって生成され、平坦セクションのシンプレクティック空間におけるラグランジュ部分多様体を特徴付ける。
• 生成関数 $ \mathbf{F}^{BCOV}_0 $ は、プロパゲーター $ P = \frac{\bar{\partial}^* \partial}{\Delta} $ を持つ連結な木型図の和として明示的に計算され、Feynman図の解釈を裏付ける。
• 古典的ラグランジュ部分多様体 $ \mathcal{L}_X \subset \mathcal{H} $ はWeyl代数の変形によって量子化され、Fock空間における量子イデアル層が完全な量子BCOV理論を符号化する。
• BCOV理論における高次のループFeynman図の再正規化は、Costelloのホモロジー的摂動技法によって達成され、一貫した変形量子化手順により紫外発散が解消される。