[論文レビュー] BCOV theory via Givental group action on cohomological field theories

Sergey Shadrin|arXiv (Cornell University)|Oct 3, 2008

Nonlinear Waves and Solitons参考文献 25被引用数 11

ひとこと要約

この論文は、ホッジ場理論における複雑なグラフ理論的技法によって元々構成されたBCOV理論の完全な子理論的生成関数を、コhomological field theories (CohFTs) におけるGivental群作用の観点から再解釈する。著者らは、特定の量子化された群作用を基本生成関数に適用することで生成関数が得られることを示し、すべてのタウトロジカル関係（7項関係および1/12-公理を含む）が自動的に満たされることを示した。これにより、深い幾何的制約の検証が自明な事柄に帰着される。

ABSTRACT

In a previous paper (arXiv:0704.1001), Losev, me, and Shneiberg constructed a full descendant potential associated to an arbitrary cyclic Hodge dGBV algebra. This contruction extended the construction of Barannikov and Kontsevich of solution of the WDVV equation, based on the earlier paper of Bershadsky, Cecotti, Ooguri, and Vafa. In the present paper, we give an interpretation of this full descendant potential in terms of Givental group action on cohomological field theories. In particular, the fact that it satisfies all tautological equations becomes a trivial observation.

研究の動機と目的

• BCOV理論の完全な子理論的生成関数を、コhomological field theories (CohFTs) におけるGivental群作用の観点から再解釈すること。
• 7項関係や1/12-公理を含むタウトロジカル関係が、複雑なグラフ計算を経由せず、群作用から自明に導かれるということを示すこと。
• 曲線のモジュライ空間の幾何的制約とGiventalの量子化された群作用の代数的構造を統合すること。
• 元の公理の範囲を超えて、構成が成り立つために必要なより弱い必要条件を同定することで、フレームワークを一般化すること。
• ホッジ場理論における生成関数がすべて期待される関係を満たすという証明の概念的簡略化を提供すること。

提案手法

• コhomological field theories (CohFTs) におけるGivental群作用を用い、特に上三角部分群とその量子化に焦点を当てる。
• 演算子 $ G_{-}G_{+} $ の量子化作用を基本生成関数 $ Z^\bullet $ に適用し、$ \exp(-(G_{-}G_{+}z)\hat{\ })Z^\bullet \vert_{H_0} $ を通じて完全な子理論的生成関数を生成する。
• 相関関数のグラフ理論的表現とその寄与を用い、頂点と辺が量子状態と相互作用項を符号化する。
• $ (G_{-}G_{+})^2 = 0 $ であるという事実を用いて、辺の寄与を1種類のマーク付き辺型に簡略化し、複雑さを低減する。
• $ Q $ のコホモロジー $ H_0 $ への制限を適用することで、$ \psi $-類と $ Q $-exact 項を除去し、タウトロジカル関係を保存する。
• Giventalの作用がCohFTにおけるタウトロジカル方程式を保存すること、したがって子理論的生成関数に対しても同様の性質を継承することを根拠とする。

実験結果

リサーチクエスチョン

• RQ1 BCOV理論の完全な子理論的生成関数は、どのようにコhomological field theories (CohFTs) におけるGivental群作用を用いて再解釈できるか？
• RQ2 この新しい枠組みにおいて、7項関係や1/12-公理を含むタウトロジカル関係がなぜ成立するのか？
• RQ3 ホッジ場理論におけるこのようなGivental型の構成を定義するために必要な最小限の代数的構造は何か？
• RQ4 生成関数の整合性を示す複雑なグラフ理論的証明は、群論的議論によって置き換え可能か？
• RQ5 $ Q $ のコホモロジー $ H_0 $ への制限が、生成関数のタウトロジカル構造をどのように保存するのか？

主な発見

• BCOV理論の完全な子理論的生成関数は、$ H_0 $ に制限された基本生成関数 $ Z^\bullet $ に、量子化されたGivental群要素 $ \exp(-(G_{-}G_{+}z)\hat{\ }) $ を作用させることで生成される。
• 7項関係および1/12-公理は、Givental群作用の直接的結果であることが示され、それらの検証が自明になる。
• $ Q $-閉生成関数を $ H_0 $ に制限することで、$ Q $-exact 項がこの射影下で消えるため、有効なコhomological field theory が得られる。
• 頂点、$ [G_{-}G_{+}] $ でマークされた辺、$ \psi $-類の挿入で表される生成関数のグラフ的記述は、元のホッジ場理論の構成と完全に一致する。
• この方法は、元のホッジ代数的公理の範囲を超えて一般化可能である：$ A^2 = 0 $ かつ $ [Q, e^{-zA}] = zG_{-} $ を満たす奇数的対称作用素 $ A $ の存在が、構成に必要な唯一の条件となる。
• 証明により、Givental群作用がすべてのタウトロジカル方程式を保存することが示され、子理論的生成関数が自動的にこれらの関係を継承することが分かった。