[論文レビュー] On the Frobenius Manifolds for Cusp Singularities

Yuuki Shiraishi, Atsushi Takahashi|arXiv (Cornell University)|Aug 1, 2013

Algebraic Geometry and Number Theory参考文献 4被引用数 3

ひとこと要約

本論文は、cusp特異点 $f_A$ とその標準的原始形式 $\zeta_A$ から構成されるFrobenius多様体と、高々3つの軌道点を持つ軌道的射影直線 $\mathbb{P}^1_A$ のGromov–Witten理論から生じるFrobenius多様体の間の鏡像同型を確立する。同型は、平坦座標の明示的構成とFrobenius構造の公理の検証により証明され、周期積分とルート系データを用いた交差形式の計算を含む。主な結果は、すべての三つ組 $A = (a_1,a_2,a_3)$ に対して完全な古典的鏡像双対性が成立すること、すなわち $\chi_A < 0$、$\chi_A = 0$、$\chi_A > 0$ の場合を含む。交差形式が拡張アフィンヘッケ群 $\widehat{W}_A$ に関連するDubrovin–ZhangのFrobenius多様体のそれと一致することが示され、すべてのケースで鏡像対応が確認される。

ABSTRACT

We show that the Frobenius manifold associated to the pair of a cusp singularity and it's canonical primitive form is isomorphic to the one constructed from the Gromov--Witten theory for an orbifold projective line with at most three orbifold points. We also calculate the intersection form of the Frobenius manifold.

研究の動機と目的

• cusp特異点 $f_A$ とその標準的原始形式 $\zeta_A$ からなるFrobenius多様体と、高々3つの軌道点を持つ $\mathbb{P}^1_A$ のGromov–Witten理論から生じるFrobenius多様体の間の鏡像同型を確立すること。
• cusp特異点 $f_A$ と標準的原始形式 $\zeta_A$ に関連するFrobenius多様体の交差形式を、周期積分とルート系データを用いて計算すること。
• 正の整数の三つ組 $A = (a_1,a_2,a_3)$ 全体にわたる古典的鏡像双対性の対応を拡張すること、$\chi_A < 0$、$\chi_A = 0$、$\chi_A > 0$ の場合を含む。
• 変形空間上のFrobenius構造が、Frobenius多様体の公理（平坦座標、単位ベクトル場とオイラーベクトル場の存在、ポテンシャル関数の正しい形）を満たすことを証明すること。

提案手法

• 最小指数条件と混合Hodge構造を用いて、cusp特異点 $f_A$ の標準的原始形式 $\zeta_A$ を構成し、$\zeta_A|_{s=0} = [s^{-1} \mu_A dx_1 \wedge dx_2 \wedge dx_3]$ を満たす。
• $(f_A, \zeta_A)$ のペアから、変形空間上のFrobenius構造（平坦接続、計量 $\eta$、ポテンシャル $F_{f_A,\zeta_A}$）を標準的構成により導出する。
• 単位ベクトル場とオイラーベクトル場の確認、計量 $\eta$ の非退化性、ポテンシャルの同次性および準同次性の検証により、Frobenius構造がFrobenius多様体の公理を満たすことを検証する。
• 特異点の消失サイクル上での正則2形式 $\tilde{\zeta}_A$ の周期積分を用いて交差形式 $I(f_A,\zeta_A)$ を計算し、ホモロジー類をCoxeter–Dynkin図 $T_A$ の単純根 $\alpha_i$ と特定し、公式 $I(f_A,\zeta_A)(dx_i, dx_j) = -\frac{1}{(2\pi\sqrt{-1})^2} \langle \alpha_i, \alpha_j^\vee \rangle$ を適用する。
• Frobenius構造が交差形式と与えられた $e$ および $E$ によって一意に定まることを用いて、交差形式が拡張アフィンヘッケ群 $\widehat{W}_A$ の商空間 $\widehat{\mathfrak{h}}_A / \widehat{W}_A$ 上に構成されたDubrovin–Zhangの交差形式と一致することを示す。
• 両者が同一の公理を満たし、同一の交差形式を持つことから、Frobenius多様体の再構成定理を用いて、Frobenius多様体 $M(f_A,\zeta_A)$ と $M_{\widehat{W}_A}$ の間の同型を証明する。

実験結果

リサーチクエスチョン

• RQ1 cusp特異点 $f_A$ とその標準的原始形式 $\zeta_A$ に関連するFrobenius多様体は、高々3つの軌道点を持つ $\mathbb{P}^1_A$ のGromov–Witten理論から生じるFrobenius多様体と同型であるか？
• RQ2 Frobenius多様体 $M(f_A,\zeta_A)$ 上の交差形式 $I(f_A,\zeta_A)$ の明示的形は何か？また、Coxeter–Dynkin図 $T_A$ のルート系とどのように関係するか？
• RQ3 与えられた単位ベクトル場とオイラーベクトル場のもとで、$f_A$ の変形空間上のFrobenius構造は、交差形式のみから再構成可能か？
• RQ4 $\chi_A < 0$、$\chi_A = 0$、$\chi_A > 0$ の場合を含め、$f_A$ と $\mathbb{P}^1_A$ 間の古典的鏡像双対性は、すべての三つ組 $A = (a_1,a_2,a_3)$ に対して成立するか？
• RQ5 周期積分 $\tilde{\zeta}_A$ として定義される平坦座標 $x_i$ と $x_{\mu_A}$ は、ルート系および拡張アフィンヘッケ群 $\widehat{W}_A$ とどのように関係するか？

主な発見

• cusp特異点 $f_A$ とその標準的原始形式 $\zeta_A$ に関連するFrobenius多様体 $M(f_A,\zeta_A)$ は、高々3つの軌道点を持つ $\mathbb{P}^1_A$ のGromov–Witten理論から生じるFrobenius多様体と同型であり、すべての三つ組 $A = (a_1,a_2,a_3)$ に対して完全な古典的鏡像双対性が確立される。
• 交差形式 $I(f_A,\zeta_A)$ は明示的に $I(f_A,\zeta_A)(dx_i, dx_j) = -\frac{1}{(2\pi\sqrt{-1})^2} \langle \alpha_i, \alpha_j^\vee \rangle$、$I(f_A,\zeta_A)(dx_{\mu_A}, dx_i) = 0$、$I(f_A,\zeta_A)(dx_{\mu_A}, dx_{\mu_A}) = \frac{1}{(2\pi\sqrt{-1})^2} \chi_A$ と計算され、Dubrovin–Zhangの $M_{\widehat{W}_A}$ 上の交差形式と一致する。
• 平坦座標 $x_i$ と $x_{\mu_A}$ は、$x_i = \frac{1}{(2\pi\sqrt{-1})^2} \int_{\gamma_i(s,s^{\mu_A})} \tilde{\zeta}_A$ および $x_{\mu_A} = \frac{1}{2\pi\sqrt{-1}} \log s^{\mu_A}$ として周期積分として定義され、必要なFrobenius多様体の公理を満たす。
• Frobeniusポテンシャル $F_{f_A,\zeta_A}$ は、$E F_{f_A,\zeta_A}|_{t_1=0} = 2F_{f_A,\zeta_A}|_{t_1=0}$ を満たし、$t_1, \dots, t_{3,a_3-1}, e^{t_{\mu_A}}$ の多項式であり、項 $t_{1,1} t_{2,1} t_{3,1} e^{t_{\mu_A}}$ の係数が1である。
• Frobenius積 $\circ$ の極限 $t_1 = t_{1,1} = \cdots = t_{3,a_3-1} = e^{t_{\mu_A}} = 0$ において、$\mathbb{C}[x_1,x_2,x_3]/(x_1x_2,x_2x_3,x_3x_1, a_1x_1^{a_1} - a_2x_2^{a_2}, a_2x_2^{a_2} - a_3x_3^{a_3})$ に同型な $\mathbb{C}$-代数が得られ、特異点におけるFrobenius代数構造が確認される。
• Frobenius多様体 $M(f_A,\zeta_A)$ の構造は、交差形式、単位ベクトル場 $e = \partial / \partial t_1$、オイラーベクトル場 $E$ によって一意に定まることが再構成定理により示され、Dubrovin–ZhangのFrobenius多様体 $M_{\widehat{W}_A}$ との同型が確認される。