[論文レビュー] The Local Product Theorem for bihamiltonian structures

Francisco-Javier Turiel|arXiv (Cornell University)|Jul 12, 2011

Homotopy and Cohomology in Algebraic Topology参考文献 20被引用数 3

ひとこと要約

本稿は、実解析的または正則な双ハミルトニアン構造に対して、局所的な積分解法則を確立する。特に対称的因子の特性多項式に関する条件が満たされるとき、正則点の周囲で、これはクローンカー成分とシンプレクティック成分に分解される。この結果は、$C^\infty$（滑らか）なカテゴリーでは成り立たないことが反例によって示され、双ハミルトニアン構造の幾何学的理論における長年の問題が解決された。

ABSTRACT

In this work one proves that, around each point of a dense open set (regular points), a real analytic or holomorphic bihamiltonian structure decomposes into a product of a Kronecker bihamiltonian structure and a symplectic one if a necessary condition on the characteristic polynomial of the symplectic factor holds. Moreover we give an example of bihamiltonian structure for showing that this result does not extend to the $C^\infty$-category. Thus a classical problem on the geometric theory of bihamiltonian structures is solved at almost every point.

研究の動機と目的

• 双ハミルトニアン構造が局所的にクローンカー成分とシンプレクティック成分に分解可能かどうかという古典的問題を解決すること。
• 実解析的および正則なカテゴリーにおける、このような分解の必要十分条件を同定すること。
• 分解が $C^\infty$ カテゴリーで成り立たないことを示し、解析性の必要性を強調すること。
• ベロネーゼ・ウェブの概念を一般化してベロネーゼ・フラッグを導入し、双ハミルトニアン構造の解析に重要な道具とする。

提案手法

• 双ハミルトニアン系から導かれる商構造として、ベロネーゼ・フラッグの概念を導入する。
• ニエンハイウイス・ねじれ項と分布の不変性性質を用いて、弱いベロネーゼ・フラッグを定義する。
• 複素化技術を用いて、実解析的問題を正則な問題に還元する。
• 微分系とテンソル場の延長を用いて、双ハミルトニアン作用素の構造を分析する。
• $(1,1)$-テンソル場のスペクトル射影を用いて、接バンドルの不変部分バンドルへの分解を構成する。
• シンプレクティック形式および閉じた2形式を用いて、補完的座標における成分の独立性を検証し、積構造の保証を図る。

実験結果

リサーチクエスチョン

• RQ1 どのような条件下で、双ハミルトニアン構造が局所的にクローンカー成分とシンプレクティック成分に分解可能か？
• RQ2 $C^\infty$ カテゴリーにおいても、局所的な積分解が成り立つか。あるいは、解析的／正則な仮定が不可欠か？
• RQ3 ベロネーゼ・ウェブ理論を、双ハミルトニアン幾何における高余次元のファイブレーションに一般化可能か？
• RQ4 シンプレクティック因子の特性多項式は、双ハミルトニアン系の局所構造にどのような制約を課えるか？
• RQ5 微分系およびテンソル場の延長は、局所的分解の存在を示すために果たす役割は何か？

主な発見

• 実解析的または正則な双ハミルトニアン構造は、正則点の近傍で、シンプレクティック因子の特性多項式に関する条件が満たされれば、クローンカー成分とシンプレクティック成分の積に局所的に分解可能である。
• 分解は、ベロネーゼ・フラッグの局所的構造に基づき、それらがベロネーゼ・ウェブと相性の良い2つのシンプレクティック形式に分解可能であることが示された。
• $C^\infty$ カテゴリーでは、この結果は成り立たない。反例が構成され、解析性の必要性が裏付けられた。
• 実解析的ケースでは、複素化を用いて問題を正則な問題に変換し、微分系の解が保証される。
• 特定の偏微分方程式系（Lewy型の系を含む可能性あり）の解の存在は、間接的に示され、解析的カテゴリーに依存している。
• $(1,1)$-テンソル場のスペクトル射影による接バンドルの不変部分バンドルへの分解が、双ハミルトニアン系の積構造を保証する。