[論文レビュー] Rigidity and Flexibility in Poisson Geometry

Rui Loja Fernandes, Marius Crainic|ArXiv.org|Mar 8, 2005

Homotopy and Cohomology in Algebraic Topology参考文献 24被引用数 14

ひとこと要約

この論文は、ポアソン幾何における剛性と柔軟性を調査し、シンプレクティック幾何の原則をポアソン多様体へと拡張する。相対ポアソンコホロロジーを用いて、シンプレクティック葉の安定性の十分条件を確立し、第二相対コホロロジー $H^2_/\pi(M,S) = 0$ がコンパクトなシンプレクティック葉の安定性を示すことを証明する。また、ジンツブルグ＝ルの相対コホロロジー枠組みを用いて、高次元の葉への一般化を予想する。

ABSTRACT

We discuss several rigidity and flexibility phenomena in the context of Poisson geometry.

研究の動機と目的

• シンプレクティック幾何からの剛性および柔軟性の現象をポアソン幾何へと拡張すること。
• ポアソン幾何におけるモーザー型の安定性定理の欠如に対処し、シンプレクティック葉の安定性条件を導入すること。
• ベルツェルソンの定理を用いて、Gromovのh原理を開多様体から葉多様体へ一般化すること。
• 特に固定点および高次元の葉を含め、シンプレクティック葉の安定性のコホロロジー的基準を提示すること。
• 積分可能性およびコンパクト性の条件下で、コンパクトなシンプレクティック葉の周囲におけるポアソン構造の線形化可能性を予想すること。

提案手法

• 相対ポアソンコホロロジー $H^\bullet_/\pi(M,S)$ を、複体 $(\mathfrak{X}^k(M,S), \delta)$ および $\delta\theta = [\theta, \pi]$ を用いて定義し、シンプレクティック葉の安定性を分析する。
• リー代数束コホロロジーを用いて、$H^\bullet_\pi(M,S)$ を制限された余接束 $T^*_S M$ のコホロロジーとして解釈する。
• h原理フレームワークを用いて、モース関数および横断的条件を用いて、Gromovの柔軟性結果を開な葉多様体へ一般化する。
• 安定なシンプレクティック葉の概念を導入する：葉 $S$ が安定であるとは、近傍のポアソン構造に対して、それに対応する葉が微分同相的であることを意味する。
• 固定点を同型体リー代数のコホロロジーを用いて分析し、$H^2(\mathfrak{g}_{x_0}) = 0$ が固定点の安定性を示すことを示す。
• 源が1連結でコンパクトなリー代数束への積分可能性を仮定することで、コンパクトなシンプレクティック葉の周囲におけるポアソン構造の線形化可能性を予想する。

実験結果

リサーチクエスチョン

• RQ1 Gromovの定理におけるシンプレクティック形式の柔軟性原理は、開な葉多様体上のポアソン構造へと拡張可能か？
• RQ2 ポアソン構造の小さな摂動に対して、シンプレクティック葉の安定性を保証するコホロロジー的条件は何か？
• RQ3 モーザーの安定性定理はポアソン幾何へ一般化可能か？ もしそうなら、どのように定式化すべきか？
• RQ4 相対ポアソンコホロロジーを用いて、高次元のシンプレクティック葉の安定性を特徴づけられるか？
• RQ5 どのような条件下で、コンパクトなシンプレクティック葉の周囲におけるポアソン構造は線形化可能か？

主な発見

• 論文は、固定点 $x_0$ がその同型体リー代数の第二チーサル＝アインベルグコホロロジー $H^2(\mathfrak{g}_{x_0}) = 0$ である場合に、安定であることを証明している。
• 葉 $S$ がポアソン構造の小さな摂動に対して安定であるための必要十分条件として、相対ポアソンコホロロジー $H^2_\pi(M,S)$ が消えることが示された。
• コンパクトなシンプレクティック葉に対しては、相対コホロロジー $H^\bullet_\pi(M,S)$ は有限次元であるが、一般に無限次元となる絶対ポアソンコホロロジーとは対照的である。
• 論文は、制限されたリー代数束 $T^*_S M$ がコンパクトで、源が1連結なリー代数束に積分可能であるならば、ポアソン構造は $S$ の周囲で線形化可能であると予想している。
• 固定点の安定性条件が最適であることが示されており、$H^2(\mathfrak{g}_{x_0})$ の消滅は安定性の必要十分条件である。
• 相対コホロロジーを用いたシンプレクティック葉の安定性の研究フレームワークを提供し、固定点の結果を高次元の葉へ自然に一般化した。