[論文レビュー] Generalized complex structures and Lie brackets

Marius Crainic|ArXiv.org|Dec 5, 2004

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

ひとこと要約

この論文は、一般化された複素構造を定義する複雑で、見かけ上解けない方程式が、リー代数準束および群コホロジーの観点から見ると著しく単純化されることを明らかにする。基礎となるポアソン構造のシンプレクティック群コホロジーから『ヒッチン群コホロジー』を構成することで、著者らは一般化された複素構造が群コホロジー上の非退化な一般化された複素構造に対応することを示し、幾何的意味を明確にするとともに、一般化された複素幾何学における新しい構成を可能にする、グローバルで可積分な枠組みを提供する。

ABSTRACT

We look at generalized complex structures from the point of view of Poisson and Dirac geometry and we remark that the puzzling equations underlying the notion of generalized complex structure have miraculously simple meaning when passing to Lie algebroids/groupoids.

研究の動機と目的

• 一般化された複素構造の定義方程式の幾何的意味を明確にすること。
• これらの構造がリー群コホロジーを通じて自然にグローバルに統合可能であることを示すこと。
• 多様体上の一般化された複素構造と、それらに付随するシンプレクティック群コホロジー上の非退化な一般化された複素構造との間の対応関係を確立すること。
• このグローバルな設定において、一般化された正則写像や削減を理解するための枠組みを提供すること。
• 群コホロジー統合の観点から、ポアソン幾何学、ディラック幾何学、シンプレクティック幾何学との関係を探ること。

提案手法

• 論文は、一般化された複素構造の基礎となるポアソン2次形式に関連するシンプレクティック群コホロジーを、グローバルな対象として用いる。
• 『ヒッチン群コホロジー』—基底上に2次形式を備えた、乗法的な一般化された複素構造を持つリー群コホロジー—の概念を導入する。
• 著者らは、一般化された複素構造の定義方程式 (C1)–(C3) が、群コホロジー上に乗法的な2次形式と群コホロジー構造とに整合するほぼ複素構造の存在と同値であることを証明する。
• 特に、群コホロジー上の乗法的微分形式の理論、特に形式が乗法的で群コホロジー構造と整合することを条件として用いる。
• 構成は、コーエント括弧と一般化された複素構造が群コホロジーのレベルに自然に持ち上がり、可積分性が保たれることに依拠している。
• 主要な技術的道具は、一般化された複素構造を形式 $\mathcal{J} = \begin{pmatrix} a & \pi^\sharp \\ \sigma_\sharp & -a^* \end{pmatrix}$ のようなバンドル写像として特定することであり、これが群コホロジー上の一般化された複素構造に対応することが示された。

実験結果

リサーチクエスチョン

• RQ1 一般化された複素構造の複雑な定義方程式を、より単純で幾何的な解釈で与える方法は何か？
• RQ2 一般化された複素構造の背後にあるグローバルかつ可積分な対象は何か？
• RQ3 一般化された正則写像や削減の概念は、群コホロジー作用の観点から理解できるか？
• RQ4 一般化された複素構造のゲージ同値性と群コホロジー設定におけるモリタ同値性の関係は何か？
• RQ5 ヒッチン群コホロジーの構成は、ポアソンシグマ模型および一般化された複素幾何学とどのように関係するか？

主な発見

• 一般化された複素構造の定義方程式は、基礎となるポアソン構造のシンプレクティック群コホロジー上に乗法的な一般化された複素構造の存在と同値である。
• 多様体 $M$ 上の一般化された複素構造と、『ヒッチン群コホロジー』—基底上に2次形式を備えた乗法的な一般化された複素構造を持つリー群コホロジー—との間には1対1対応がある。ここで、$\omega + J^*\omega = t^*\sigma - s^*\sigma$ を満たす。
• ヒッチン群コホロジーの同値類群は、群コホロジー上の一般化された複素構造から引き継がれる複素リー群である。
• この構成により、一般化された複素構造のグローバル統合が可能となり、元の定義方程式の局所的複雑さが解消される。
• 一般化された複素構造のゲージ変換は、群コホロジー構造のゲージ変換に対応し、それらの結果として得られる群コホロジーはモリタ同値である。
• 一般化された複素構造のヒッチン群コホロジーは自己モリタ同値であり、この構成はプレシンプレクティック群コホロジーを介してディラック構造へ一般化可能である。