[論文レビュー] $F$-manifolds and integrable systems of hydrodynamic type

Paolo Lorenzoni, Marco Pedroni+1 more|arXiv (Cornell University)|May 25, 2009

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

ひとこと要約

この論文は、Frobenius多様体の一般化として、適合接続を備えたF多様体を導入し、流体型可積分系のための枠組みを確立する。流れが結合的積を介して定義される場合、Haantjesテンソルが消えることを証明し、可積分性を保証する曲率条件を導出する。これはDubrovinの主階層を非平坦な設定に一般化する。

ABSTRACT

We investigate the role of Hertling-Manin condition on the structure constants of an associative commutative algebra in the theory of integrable systems of hydrodynamic type. In such a framework we introduce the notion of F-manifold with compatible connection generalizing a structure introduced by Manin.

研究の動機と目的

• 適合接続を備えたF多様体を導入することで、Frobenius多様体理論を非平坦幾何に一般化すること。
• 平坦でない場合にも適用可能な、流体型可積分階層の体系的構成を確立すること。
• 非平坦な設定における可換な流れの存在を保証する曲率条件を同定すること。
• 曲率制約を通じて、F多様体の代数的構造と半ハミルトン性の関係を明らかにすること。
• 分散なしKP階層を主要な例として、既知の計量と構造を回復することで、構成法を実証すること。

提案手法

• Hertling-Manin条件 (2) を満たす接空間上の結合的・可換的積によってF多様体を定義する。
• ( abla_X c)(Y,Z) = ( abla_Y c)(X,Z) を満たす適合接続∇を導入し、これがF多様体条件を意味することを示す。
• ∇が平坦の場合、平坦ベクトル場を用いて一次的な流れを構成し、再帰的に高次流れを生成する。
• 非平坦接続の場合、可換な流れを保証するための条件 c^i_jm ∇_k X^m = c^i_k m ∇_j X^m を導出する。
• 流れの整合性系の解の存在を保証するための曲率制約 R^k_lmi c^n_pk + R^k_lip c^n_mk + R^k_lpm c^n_ik = 0 を導出する。
• 複素λ平面における留数計算を用いて、関数λ(p)から計量と構造定数を定義し、標準座標を導出する。

実験結果

リサーチクエスチョン

• RQ1 可積分流体系理論は、平坦なFrobenius多様体を超えてどのように拡張可能か？
• RQ2 接続および曲率にどのような条件を課すことで、非平坦なF多様体における可換な流れの存在が保証されるか？
• RQ3 適合接続を備えたF多様体において、半ハミルトン性と曲率条件の関係は何か？
• RQ4 適合接続を用いることで、主階層の構成を非平坦幾何に一般化可能か？
• RQ5 標準座標と留数計算は、F多様体上の計量および構造定数の構成において、どのように機能するか？

主な発見

• 積cがHertling-Manin条件を満たす場合、任意のベクトル場Xに対して(1,1)テンソルV_XのHaantjesテンソルが消える。
• u^i_t = (V_X)^i_j u^j_x の形をした2つの流れの可換性は、対応するベクトル場XとYの単純な条件に等しい。
• 流れの整合性系の解の存在に必要な曲率条件は R^k_lmi c^n_pk + R^k_lip c^n_mk + R^k_lpm c^n_ik = 0 である。
• 標準座標において、構造定数は c(∂/∂r^i, ∂/∂r^j, ∂/∂r^k) = δ_ij δ_ik ∂_i A^0 を満たし、標準的構造が確認される。
• 計量 g(∂/∂r^i, ∂/∂r^j) = ∑_i res_{p=v^i} (∂λ/∂r^i ∂λ/∂r^j dp/λ_p) はEgorovであり、積と適合する。これはDubrovinの構成を一般化する。
• 曲率テンソルは R^{ij}_{ij} = 1/(2πi) ∫_C w^i(λ) w^j(λ) dλ の二次的展開をもち、接続と適合することを示す。