[論文レビュー] On the modular classes of Poisson-Nijenhuis manifolds

Yvette Kosmann–Schwarzbach, Franco Magri|ArXiv.org|Nov 7, 2006

Homotopy and Cohomology in Algebraic Topology参考文献 4被引用数 9

ひとこと要約

本稿は、導来括弧形式およびポアソン構造とニエンヒュイズ構造の相性を活用することで、ポアソン＝ニエンヒュイズ（PN）多様体上のモジュラーベクトル場階層の双ハミルトニアン性について、より素朴な証明を提供する。主な結果として、モジュラーベクトル場 $X^{(k)}$ が、$ \mathrm{Tr}(N^k/k)$ のハミルトニアンベクトル場の半分の負であることが示され、ダミアンウとフェルナンデスによる以前の結果の再導出および簡略化がなされる。

ABSTRACT

We prove a property of the Poisson-Nijenhuis manifolds which yields new proofs of the bihamiltonian properties of the hierarchy of modular vector fields defined by Damianou and Fernandes.

研究の動機と目的

• ポアソン＝ニエンヒュイズ多様体上のモジュラーベクトル場階層の双ハミルトニアン性について、より素朴な証明を提供すること。
• モジュラーべクトル場とニエンヒュイズテンソルの累乗のトレースによって生成されるハミルトニアンベクトル場との関係を明確にすること。
• 導来括弧とコhomological相性に基づく一般枠組みを確立することで、PN-代数的群への結果の拡張を図ること。
• ダミアンウとフェルナンデスによるPN多様体の標準的双ハミルトニアン階層に関する以前の結果を統一的かつ簡略化すること。

提案手法

• ポアソンテンソル $P$ とニエンヒュイズテンソル $N$ の相性を分析するため、導来括弧構成 $[i_N, i_P]_d = [[i_N, d], i_P]$ を用いる。
• ニエンヒュイズテンソルのニエンヒュイズねじれのトレースと微分のトレースとの関係を示す重要な恒等式を導出：$\frac{1}{2}\mathrm{Tr}(C(P,N))\alpha = \frac{1}{2}\langle Pd\mathrm{Tr}N, \alpha \rangle + [i_N, i_P]_d \alpha$。
• コロナリー1.1（$i_P(d_N df) = -\frac{1}{2}H^P_{I_1}(f)$、$I_1 = \mathrm{Tr}N$）を適用し、モジュラーべクトル場と $I_1$ のハミルトニアンベクトル場との関係を確立する。
• $N^kP$ と $N^k$ に関連するリー代数的群の準同型の相対的モジュラー類を用いて、モジュラーべクトル場階層 $X^{(k)}$ を構成する。
• $P$、$N^kP$、${}^tN^k$ の準同型性を用い、異なるリー代数的群構造間でのモジュラー類を関連付ける。
• $N^{k-1}P$ と $N$ の相性を用いて、$X^{(k)} = -\frac{1}{2}H^P_{I_k}$（$I_k = \mathrm{Tr}(N^k/k)$）が成り立つことを検証する。

実験結果

リサーチクエスチョン

• RQ1 PN多様体上のモジュラーべクトル場階層の双ハミルトニアン構造を、より素朴な手法で再導出できるか？
• RQ2 モジュラーべクトル場 $X^{(k)}$ と $\mathrm{Tr}(N^k/k)$ によって生成されるハミルトニアンベクトル場との正確な関係は何か？
• RQ3 導来括弧形式は、ポアソン構造とニエンヒュイズ構造の相性分析をどのように簡略化するか？
• RQ4 同じ枠組みを用いて、モジュラーべクトル場階層をPN-代数的群に一貫的に拡張できるか？
• RQ5 リー代数的群準同型の相対的モジュラー類の文脈において、ニエンヒュイズテンソルのトレースのコホモロジー的意義は何か？

主な発見

• PN多様体のモジュラーべクトル場 $X^{(k)}$ は、$I_k = \mathrm{Tr}(N^k/k)$ に対して $-\frac{1}{2}H^P_{I_k}$ に等しく、ポアソン構造 $P$ に関するハミルトニアン性が示された。
• コロナリー1.1により、導来括弧 $[i_N, i_P]_d$ と $\mathrm{Tr}N$ のハミルトニアンベクトル場との直接的な関係が得られ、双ハミルトニアン性の証明が簡略化された。
• 定義が異なるにもかかわらず、$P$ と $N$ の内在的相性のため、階層 $X^{(k)}$ はダミアンウとフェルナンデスによる標準的双ハミルトニアン階層と一致する。
• ${}^tN^k$ のモジュラー類は $-Pd\mathrm{Tr}N^k = 2kX^{(k)}$ で表され、コホモロジー的枠組みの整合性が確認された。
• $Mod^{{}^tN^k} = -P Mod^{N^k}$ が成り立ち、${}^tN^{[k]}$ のモジュラー類の代表元は $2X^{(k)}$ である。これにより、反復準同型におけるコホモロジー的構造の整合性が検証された。
• 導来括弧とトレースの恒等式が代数的群への一般化に対して不変であるため、結果は自然にPN-代数的群へと拡張される。