[論文レビュー] Primitive Forms for Affine Cusp Polynomials

Yoshihisa Ishibashi, Yuuki Shiraishi+1 more|arXiv (Cornell University)|Nov 6, 2012

Algebraic Geometry and Number Theory参考文献 7被引用数 11

ひとこと要約

本稿では、χ_A > 0 を満たす型 A = (a₁,a₂,a₃) のアフィンカスプ多項式の普遍変形の原始形式を明示的に決定し、得られるフォロビウス多様体が、高々3つのオルビフォールド点を持つオルビフォールド射影直線のグロモフ＝ミラー理論から得られる多様体と同型であることを証明する。主な貢献は、原始形式 ζ_A = [s_μA^{−1} dx₁∧dx₂∧dx₃] の明示的構成と、平坦座標、オイラーベクトル場、ミラー対称性を有するポテンシャル関数を含むフォロビウス構造の公理の検証である。

ABSTRACT

We determine a primitive form for a universal unfolding of an affine cusp polynomial. Moreover, we prove that the resulting Frobenius manifold is isomorphic to the one constructed from the Gromov-Witten theory for an orbifold projective line with at most three orbifold points.

研究の動機と目的

• χ_A > 0 を満たすアフィンカスプ多項式 f_A の普遍変形の原始形式を明示的に構成すること。
• 得られる構造がランク μ_A で次元1のフォロビウス多様体の公理（平坦座標、オイラーベクトル場、単位ベクトル場）を満たすことを検証すること。
• このフォロビウス多様体と、高々3つのオルビフォールド点を持つオルビフォールド射影直線のグロモフ＝ミラー理論から得られる多様体との同型を確立すること。
• 平坦座標と、定理3.1の[9]における公理（オイラー・ベクトル場と単位ベクトル場）を満たすポテンシャル関数を明示すること。

提案手法

• χ_A = 1/a₁ + 1/a₂ + 1/a₃ - 1 > 0 を満たすアフィンカスプ多項式 f_A(x) = x₁^{a₁} + x₂^{a₂} + x₃^{a₃} - q^{-1}x₁x₂x₃ を定義する。
• M = C^{μ_A−1} × (C\{0}) 上での普遍変形 FA(x;s,s_μA) を構成し、単項式の摂動とヤコビアン・イデアルに結合するパラメータ s_μA を含む。
• 原始形式を、ホロモーフィック体積形式の相対コホロロジー類である ζ_A = [s_μA^{−1} dx₁∧dx₂∧dx₃] ∈ H^{(0)}_{FA} として特定する。
• OM同型 (1.3) を用いて、Frobenius構造を変形空間 M に持ち上げ、積 ◦、単位 e、オイラー・ベクトル場 E を定義する。
• 平坦座標 t₁, t_{i,j}, t_μA を導出し、e = ∂/∂t₁ かつ E が指定された重み付き斉次性を満たすようにする。
• 2次形式 η(δ,δ') = K^{(0)}_{FA}(u∇_δ ζ_A, u∇_δ' ζ_A) が非退化であり、必要なペアリング条件を満たすことを検証する。

実験結果

リサーチクエスチョン

• RQ1 χ_A > 0 を満たすアフィンカスプ多項式 f_A の普遍変形に対して原始形式が存在するか。存在するならば、その明示的形は何か？
• RQ2 (f_A, ζ_A) から得られるフォロビウス多様体が、ランク μ_A で次元1のフォロビウス多様体の公理（オイラー・ベクトル場と単位ベクトル場を含む）を満たすか？
• RQ3 フォロビウスポテンシャル F_{f_A,ζ_A} は、ミラー対称性条件 EF|_{t₁=0} = 2F|_{t₁=0} を満たすか？
• RQ4 部分多様体 {t₁ = e^{t_μA} = 0} へのポテンシャルの制限が、3つの独立な項 G(1), G(2), G(3) に分解されるか？
• RQ5 t₁ = t_{i,j} = e^{t_μA} = 0 におけるフォロビウス代数の極限が、環 C[x₁,x₂,x₃]/(x₁x₂,x₂x₃,x₃x₁, a₁x₁^{a₁} - a₂x₂^{a₂}, a₂x₂^{a₂} - a₃x₃^{a₃}) と同型であるか？

主な発見

• 原始形式は、ホロモーフィック体積形式の相対コホロロジー類として明示的に ζ_A = [s_μA^{−1} dx₁∧dx₂∧dx₃] ∈ H^{(0)}_{FA} と与えられる。
• (f_A, ζ_A) から得られるフォロビウス多様体は、高々3つのオルビフォールド点を持つオルビフォールドP¹のグロモフ＝ミラー理論から得られる多様体と同型である。
• 平坦座標 t₁, t_{i,j}, t_μA が存在し、単位ベクトル場 e = ∂/∂t₁ かつオイラー・ベクトル場 E がそれぞれの座標に対して重み (1, (a_i - j)/a_i, χ_A) を持つ。
• 2次形式 η は、η(∂/∂t₁, ∂/∂t_μA) = 1 かつ η(∂/∂t_{i,j₁}, ∂/∂t_{i,j₂}) = 1/a_i （j₁ + j₂ = a_i のとき）、それ以外は0 を満たす。
• フォロビウスポテンシャル F_{f_A,ζ_A} は EF|_{t₁=0} = 2F|_{t₁=0} を満たし、{t₁ = e^{t_μA} = 0} への制限は F = G(1) + G(2) + G(3) と分解され、G(i) ∈ C[t_{i,1}, ..., t_{i,a_i−1}] である。
• 極限 t₁ = t_{i,j} = e^{t_μA} = 0 において、フォロビウス代数は C[x₁,x₂,x₃]/(x₁x₂,x₂x₃,x₃x₁, a₁x₁^{a₁} - a₂x₂^{a₂}, a₂x₂^{a₂} - a₃x₃^{a₃}) と同型となり、∂/∂t_{i,1} は x_i に写像される。