[論文レビュー] A geometric proof of Conn's linearization theorem for analytic Poisson structures

Nguyen Tien Zung|ArXiv.org|Jul 27, 2002

Advanced Topics in Algebra参考文献 5被引用数 4

ひとこと要約

本稿は、解析的ポアソン構造の線形化定理であるコンの定理について、収束が速い方法を避ける幾何的証明を提示する。周期積分を用いてカシミール関数を構成し、シンプレクティックファイブレーションの同値性を示し、コンパクト群作用を用いた群平均とモーザーの経路法を適用することで、$\frak{g}$-不変なポアソン構造を確立し、ハミルトニアン作用のモーメント写像により線形化座標系を導出する。

ABSTRACT

We give a geometric proof of Conn's linearization theorem for analytic Poisson structures, without using the fast convergence method.

研究の動機と目的

• 解析的ポアソン構造の線形化定理について、コンの元々の収束が速い証明の幾何的代替案を提供すること。
• 特にシンプレクティックファイブレーションとカシミール関数の役割を明らかにすることで、解析的手法に隠された幾何的構造を明確にすること。
• コンパクトな半単純リー代数に由来する $\frak{g}$-不変構造を群平均により構成することで、線形部が半単純なポアソン構造の局所的解析的線形化を確立すること。
• ハミルトニアン $\frak{g}$-作用のモーメント写像が、ポアソン構造の線形化座標系をもたらすことを示すこと。
• 複素共役と平均化された形式の実解析的性質を用いて、ホロモーフィックな場合からの幾何的アプローチを実解析的場合へ拡張すること。

提案手法

• 正則なシンプレクティック葉における2次元サイクルを用いたシンプレクティック形式の周期積分により、ポアソン構造 $\Pi$ に対する $m$ 個のカシミール関数 $F_1, \dots, F_m$ を構成する。
• 各葉におけるシンプレクティック形式のコhomology類が線形化された構造 $\tilde{\rho}_1^i$ のそれと一致することを用い、モノドロミーを除いてカシミール関数が適切に定義されることを示す。
• リーブ安定性と形式的同値性を用いて、線形モデルからのサイクルの上昇により、非線形構造 $\tilde{\rho}$ のシンプレクティックファイブレーションが $\tilde{\rho}_1$ のそれと解析的微分同相であることを示す。
• 半単純リー代数 $\frak{g}$ に付随するコンパクト群 $G$ における平均化を用いて、$G$-不変なシンプレクティック形式 $\tilde{\rho}_1$ を構成する。ハール測度と随伴作用を用いる。
• 初期値 $\tilde{\rho}_0 = \tilde{\rho}$ から $\tilde{\rho}_1$ へつなぐモーザー経路 $\tilde{\rho}_s = (1-s)\tilde{\rho} + s\tilde{\rho}_1$ を定義し、時間に依存するベクトル場 $X_s$ を $i_{X_s}\tilde{\rho}_s = \tilde{\beta}$ を満たすように構成する。ここで $\tilde{\beta}$ はシンプレクティック形式のリー微分から得られる。
• 明示的な式 $\tilde{\beta} = \int_G \int_0^1 i_{X(g)} \text{exp}(tX(g))^* \tilde{\rho} \, dt \, d\mu$ を用いて、フローの解析的性を保証し、時間1写像を適用して $\frak{g}$-不変性を達成する。

実験結果

リサーチクエスチョン

• RQ1 解析的ポアソン構造のコンの線形化定理は、収束が速い方法に依存せずに証明可能か？
• RQ2 モノドロミーと特異点が存在する状況下で、周期積分を用いたカシミール関数の幾何的構成はどのように可能か？
• RQ3 非線形な解析的ポアソン構造のシンプレクティックファイブレーションは、その線形化とどの程度類似しているか？
• RQ4 群の対称性を持つ特異的ファイブレーションに対して、モーザーの経路法を線形化に適応可能か？
• RQ5 コンパクト群 $G$ 及びその作用は、$\frak{g}$-不変なポアソン構造を構成する上で果たす役割は何か？

主な発見

• 本稿は、点における線形部が半単純な任意の解析的ポアソン構造が、収束が速い方法に依存しない幾何的構成により局所的に解析的に線形化可能であることを確立し、コンの定理を裏付ける。
• カシミール関数 $F_1, \dots, F_m$ は、2次元サイクルを回る周期積分の対称関数として構成され、モノドロミーを除いても、シンプレクティック葉上で適切に定義された解析関数として下降する。
• リーブ安定性と形式的同値性により、非線形ポアソン構造 $\tilde{\rho}$ のシンプレクティックファイブレーションは、線形モデル $\tilde{\rho}_1$ のそれと解析的微分同相である。
• モーザー経路法により、時間1の解析的微分同相が得られ、$\tilde{\rho}$ を $\frak{g}$-不変なポアソン構造 $\tilde{\rho}_1$ に変換する。これは、群平均によりグローバルに定義された解析的ベクトル場を構成することで達成される。
• ハミルトニアン $\frak{g}$-作用の等変モーメント写像の成分が、$\tilde{\rho}$ が線形化される局所的解析的座標系を提供する。
• 複素共役を用いることで、平均化された形式およびモーメント写像の成分の実解析的性を保証でき、この方法は実解析的場合へ拡張可能である。