[論文レビュー] Geometry and analytic theory of Frobenius manifolds

Boris Dubrovin|ArXiv.org|Jul 8, 1998

Advanced Algebra and Geometry参考文献 16被引用数 119

ひとこと要約

この論文は、WDVV結合性方程式の座標不変な定式化としてのFrobenius多様体の幾何学的・解析的基盤を確立する。Frobenius多様体がGromov-Witten理論、特異点論、可積分系という多様な数学的分野を統一することを示し、変形平坦接続とポテンシャル関数がWDVV方程式の解および可積分階層のtau関数を記述することを示している。

ABSTRACT

Main mathematical applications of Frobenius manifolds are in the theory of Gromov - Witten invariants, in singularity theory, in differential geometry of the orbit spaces of reflection groups and of their extensions, in the hamiltonian theory of integrable hierarchies. The theory of Frobenius manifolds establishes remarkable relationships between these, sometimes rather distant, mathematical theories.

研究の動機と目的

• Frobenius多様体を、座標不変な定式化としてのWDVV結合性方程式の幾何学的・解析的枠組みとして提供すること。
• Frobenius多様体と偏微分方程式の可積分階層（特にKdVおよびWhitham型階層）との関係を確立すること。
• Frobenius多様体の全 genus-zero パーティション関数が、可積分階層の解のtau関数であることを示すこと。
• G関数と行列値係数を導入することで、高 genus補正、特に genus one への理論の拡張。
• 変形平坦接続と振動的積分が変形平坦座標をもたらし、ポテンシャルの幾何的構成を可能にすること。

提案手法

• Frobenius多様体を、平坦計量、接空間上の単位元をもつ可換かつ結合的積、および特定の適合条件を満たすEulerベクトル場を備えた多様体として定義する。
• WDVV方程式を用いてポテンシャル関数 $ F(t) $ を特徴づけ、$ F $ の3階微分が各点におけるFrobenius代数の構造定数を定義することを示す。
• 変形平坦接続 $ \tilde{\nabla} $ を $ \tilde{\nabla}_u v = \nabla_u v + z\,u\cdot v $ で定義し、Eulerベクトル場と作用素 $ \mu $ を含む、有理型拡張を行う。
• 変形平坦座標 $ \tilde{t}_\alpha(t;z) $ を $ \tilde{\nabla} d\tilde{t}_\alpha = 0 $ の解として構成し、特異点論における振動的積分 $ \tilde{t}_c = \frac{1}{\sqrt{z}} \int_c e^{z f_s(x)} dx $ から導出する。
• G関数と行列 $ M_{\alpha\beta}(t,\dot{t}) = \partial_\alpha \partial_\beta \partial_\gamma F(t) \dot{t}^\gamma $ を用いて、genus $ g=1 $ のパーティション関数への補正を導出する。ここで $ \dot{t} = \partial_{T^{1,0}} t(T) $ である。
• ループ空間 $ \mathcal{L}(M) $ 上に、Poisson括弧 $ \{\cdot,\cdot\}_1 $ と $ \{\cdot,\cdot\}_2 $ が平坦なペンキルを形成する、バイハミルトニアン可積分階層を構成し、全パーティション関数が対称性制約下で解のtau関数であることを示す。

実験結果

リサーチクエスチョン

• RQ1 WDVV結合性方程式を座標不変で幾何学的な形でどのように定式化できるか？
• RQ2 変形平坦接続とその平坦セクション（変形平坦座標）がFrobenius多様体の構造において果たす役割は何か？
• RQ3 Frobenius多様体は、特にKdVおよびWhitham型階層のような偏微分方程式の可積分階層のモジュライ空間としてどのように機能するか？
• RQ4 G関数と曲率データの観点から、パーティション関数のgenus $ g=1 $ 補正の幾何学的・解析的構造は何か？
• RQ5 Virasoro代数は、Frobenius多様体のパーティション関数とモノドロミーデータの文脈でどのように現れるか？

主な発見

• WDVV方程式は、Frobenius多様体構造の存在と同値であり、ポテンシャル $ F(t) $ が $ \partial_\alpha \partial_\beta \partial_\gamma F = \langle \partial_\alpha \cdot \partial_\beta, \partial_\gamma \rangle $ を通じて構造定数 $ c_{\alpha\beta}^\gamma $ を符号化している。
• 局所的に変形平坦座標 $ \tilde{t}_\alpha(t;z) $ が存在し、振動的積分 $ \tilde{t}_c = \frac{1}{\sqrt{z}} \int_c e^{z f_s(x)} dx $ で与えられる。これは量子コホホロジー・ポテンシャルの幾何的実現を提供する。
• genus $ g=1 $ のパーティション関数への補正は、$ \mathcal{F}_1(T) = \left[ G(t) + \frac{1}{24} \log \det M_{\alpha\beta}(t,\dot{t}) \right]_{t=t(T), \dot{t}=\partial_{T^{1,0}} t(T)} $ で与えられ、$ G(t) $ はG関数、$ M_{\alpha\beta} $ は $ F $ の3階微分で定義される。
• 半単純Frobenius多様体において、$ g=1 $ の補正は中心荷重 $ c = 6\varepsilon^2(1-d)^{-2}[n - 4\operatorname{tr} \mu^2] $ をもつ非線形変形Virasoro代数によって支配され、ADEコクセター群の既知の結果と一致する。
• 全パーティション関数 $ Z(T;\varepsilon) = \exp \sum_{g=0}^\infty \varepsilon^{2g-2} \mathcal{F}_g(T) $ は、ループ空間 $ \mathcal{L}(M) $ 上のバイハミルトニアン可積分階層の解のtau関数である。ハミルトニアンは $ H_{\alpha,p} = \int \Omega_{\alpha,p;1,0}(t) dX $ で与えられる。
• genus one近似において、Frobenius多様体のモノドロミー・データから構成されたVirasoro代数の半分が、パーティション関数を消滅させる。これは[DZ3]で証明されている。