[論文レビュー] The modular class of a twisted Poisson structure

Yvette Kosmann–Schwarzbach, Camille Laurent-Gengoux|ArXiv.org|May 30, 2005

Homotopy and Cohomology in Algebraic Topology参考文献 16被引用数 23

ひとこと要約

この論文は、bivector field と背景3形式の両方の寄与を組み合わせた新しい代表元を導入することで、Poisson多様体におけるモジュラークラスの概念を、Lie代数ダルブロイド上のねじれPoisson構造へと拡張する。主な結果は、ねじれPoisson Lie代数ダルブロイドに対してwell-definedかつコホロロジー的不変なモジュラークラスが得られることであり、これは標準Poissonの場合に半分の余接Lie代数ダルブロイドのクラスに還元され、特定のLie群におけるねじれPoisson構造では消える。

ABSTRACT

We study the geometric and algebraic properties of the twisted Poisson structures on Lie algebroids, leading to a definition of their modular class and to an explicit determination of a representative of the modular class, in particular in the case of a twisted Poisson manifold.

研究の動機と目的

• Poisson多様体のモジュラークラスを、Lie代数ダルブロイド上のねじれPoisson構造へ一般化すること。
• bivector field と背景3形式の観点から、モジュラークラスの代表元を明示的に定義すること。
• ねじれ設定下でも、モジュラークラスがコホモロジー的不変であることを確立すること。
• 既知の結果（例：Evens, Lu, and Weinstein (2001) が定義した余接Lie代数ダルブロイドのモジュラークラス）との整合性を検証すること。
• 非三角的かつ非結合的構造（例：Lie代数や擬似Lie双代数ダルブロイド）におけるモジュラークラスの新しい現象を探索すること。

提案手法

• Lie代数ダルブロイド上にねじれPoisson構造を、(π, ψ) として定義する。ここで π はbivector、ψ は閉じた3形式であり、ねじれジャコビ恒等式 [π, π] = 2(∧³π♯)ψ を満たす。
• 2つのベクトル場を構成する：π と体積形式 λ に関連するハミルトニアンベクトル場の発散から得られる Xπ,λ と、π と ψ の縮約から得られる Yπ,ψ。
• Zπ,λ,ψ = Xπ,λ + Yπ,ψ をモジュラーベクトル場とし、これはLie代数ダルブロイドコホモロジーにおいて閉じていることを示す。
• 多ベクトルに作用するGerstenhaber代数構造を用い、生成作用素の差を用いてモジュラークラスを特徴付ける、平方零作用素を定義する。
• Lie代数とLie双代数ダルブロイドにこの構成を適用し、特定のLie群におけるねじれPoisson構造に対して、モジュラークラスが消えることを示す。
• ねじれPoisson多様体のモジュラークラスが、Evens, Lu, and Weinstein (2001) が定義した余接Lie代数ダルブロイドのモジュラークラスの半分に還元されることを検証する。

実験結果

リサーチクエスチョン

• RQ1 Poisson多様体のモジュラークラスを、ねじれPoisson構造の状況へどのように一般化できるか。
• RQ2 ねじれPoisson設定下でのモジュラークラスの明示的代表元は何か？ そして、bivector と3形式の背景にどのように依存するか。
• RQ3 非自明な3形式曲率が存在する状況下でも、モジュラークラスはwell-definedかつコホモロジー的不変のままであるか。
• RQ4 ねじれPoisson Lie代数ダルブロイドのモジュラークラスは、標準Poissonの場合の余接バンドルのそれとどのように関係するか。
• RQ5 非自明なねじれr行列を有するLie代数などの具体的な例におけるモジュラークラスは何か。

主な発見

• ねじれPoisson Lie代数ダルブロイドのモジュラークラスは、well-definedであり、体積形式や密度の選び方に依存せず、Lie代数ダルブロイドコホモロジーにおけるコホモロジー類をなす。
• モジュラーベクトル場は、Zπ,λ,ψ = Xπ,λ + Yπ,ψ で与えられ、ここで Xπ,λ はハミルトニアンベクトル場の発散から、Yπ,ψ は3形式 ψ からの縮約から得られる。
• 三角的r行列と自明なψを有する𝔰𝔩(2,ℝ) に対して、モジュラークラスは非自明であり、2X₊ に等しい。これは、背景3形式が存在しない場合でもクラスが消えないことを示している。
• 非自明なψを有するℝ²上のアフィンLie代数に対して、モジュラークラスは2(e₂₂ − e₁₁) に等しく、非三角的状況における非自明なクラスを示している。
• ねじれPoisson Lie代数ダルブロイドのモジュラークラスは、標準Poissonの場合に余接Lie代数ダルブロイドのモジュラークラスの半分に還元され、先行研究との整合性が確認された。
• ŠeveraとWeinsteinが導入したねじれPoisson構造を持つLie群に対して、モジュラークラスは消える。これは、これらの空間に特有の幾何的性質があることを示している。