[論文レビュー] A group action on Losev-Manin cohomological field theories

Sergey Shadrin, Dimitri Zvonkine|UvA-DARE (University of Amsterdam)|Sep 4, 2009

Homotopy and Cohomology in Algebraic Topology参考文献 17被引用数 7

ひとこと要約

本稿では、Losev-Maninのコhomological field theoriesを介して、可換性方程式の解に対する群作用を導入し、平坦接続と多成分KP τ関数の文脈において、ギヴェンタルの群作用の類似を確立する。主な貢献は、形式的冪級数および微分作用素を通じて、この作用がローゼフ＝ポリュビン分類と同値であることを示すことであり、ローレン卜級数およびシンプレクティック構造を用いた行列値解へのリー代数作用の明示的公式が得られる。

ABSTRACT

We discuss an analog of the Givental group action for the space of solutions of the commutativity equation. There are equivalent formulations in terms of cohomology classes on the Losev-Manin compactifications of genus 0 moduli spaces; in terms of linear algebra in the space of Laurent series; in terms of differential operators acting on Gromov-Witten potentials; and in terms of multi-component KP tau-functions. The last approach is equivalent to the Losev-Polyubin classification that was obtained via dressing transformations technique.

研究の動機と目的

• 可換性方程式の解に対するギヴェンタルの群作用の類似を、Losev-Maninのモジュライ空間の文脈で開発すること。
• Losev-Maninのコンパクト化上のコホモロジー類と可換性方程式の解との間の対応を確立すること。
• ローレンツ級数における線形代数、Gromov-Witten汎関数上の微分作用素、多成分KP τ関数という異なる定式化を、一つの枠組みに統合すること。
• ドレッシング変換および形式的行列級数を用いて、この作用をローゼフ＝ポリュビン分類に結びつけること。
• 形式的冪級数およびシンプレクティック幾何学に基づく明示的公式を通じて、リー代数作用が行列解へどのように作用するかを明確にすること。

提案手法

• 可換性方程式を $ dM \wedge dM = 0 $ として定式化し、$ M(t) $ を行列値関数とすることで、すべての偏導関数が可換することを保証する。
• Losev-Maninのコンパクト化 $ L_n $ 上のコホモロジー類を用いて解を表現し、これは genus 0 曲線に二つの特徴的な標識点を持つパラメータ空間を表す。
• 平坦接続のペンキル $ \nabla_z = d - \frac{1}{z} dM $ の枠組みを用い、$ M $ の幾何学と可積分系との関連を結ぶ。
• Gromov-Witten汎関数に作用する微分作用素を形式的行列 $ A(z) $ を通じて適用し、$ \Psi^\pm $-関数を用いて解を生成する。
• 形式的冪級数 $ r(z) = \sum r_\ell z^\ell $ を用いたリー代数作用を導入し、$ M_{a,b} $ および $ \Psi^\pm $ 上の無限小変換を定義する。
• 作用 $ r(z).M_{a,b} $ の明示的公式を導出し、符号の規約を除けばローゼフ＝ポリュビンの構成と同値であることを示す。

実験結果

リサーチクエスチョン

• RQ1 ギヴェンタルの群作用を、WDVV方程式ではなく可換性方程式の文脈に一般化する方法は何か？
• RQ2 Losev-Maninのモジュライ空間の観点から、可換性方程式の解の幾何学的・代数的構造はどのように特定されるか？
• RQ3 この文脈において、Gromov-Witten汎関数上の微分作用素は、多成分KP階層とどのように関係するか？
• RQ4 リー代数作用が $ M_{a,b} $ に与える作用は、$ \Psi^\pm $-関数を介したローゼフ＝ポリュビン分類とどのように対応するか？
• RQ5 ローレンツ級数およびループ空間上のシンプレクティック構造を用いて、この群作用を完全に特徴づけられるか？

主な発見

• 可換性方程式の解に対する群作用は、多成分KP階層の $ \tau $-関数を介して、ローゼフ＝ポリュビン分類と同値である。
• リー代数作用 $ (r_\ell z^\ell).M_{0,b} $ は、符号因子を除いて明示的に計算され、$ M_{0,b+\ell}r_\ell + \sum_{j=1}^{\ell} (-1)^{\ell-j-1} M_{0,j-1} r_\ell M_{\ell-j,b} + (-1)^{\ell-1} r_\ell M_{\ell,b} $ に等しい。
• 行列 $ M_{0,0} $ は $ A(-z)^t A(z) = \text{id} $ のとき対称的であり、変数変換により WDVV 解を構成可能である。
• $ r(z) $ による $ \Psi^+ $ 上の作用は [10] から導出され、これにより $ M_{a,b} $ 上の作用が計算され、可換性方程式と整合的であることが確認された。
• 行列 $ M_{a,b} $ の系は $ \Psi^+ $ と $ \Psi^- $ によって完全に決定され、$ M_{a,b} = \Psi_a^- \Psi_{b+1}^+ $ と表され、作用は可換性構造を保存する。
• この枠組みは、コホモロジー的場の理論、シンプレクティック幾何学、可積分系を統合し、群作用が元の代数的および幾何的制約を保存することを示している。