[論文レビュー] Poisson geometry and Morita equivalence

Henrique Bursztyn, Alan Weinstein|ArXiv.org|Feb 22, 2004

Homotopy and Cohomology in Algebraic Topology参考文献 92被引用数 30

ひとこと要約

この論文は、シンプレクティック群ガロアと双モジュラーを用いて、ポアソン多様体の幾何的モラータ同値性理論を確立し、代数的モラータ理論を一般化する。2つのポアソン多様体がモラータ同値であるための必要十分条件は、それらの表現カテゴリ（シンプレクティック torsor とインターセプタースペースを介して定義される）が同値であることであることが示され、主な結果として、モラータ同値性がこれらのシンプレクティックカテゴリの同値性によって完全に決定されることを示している。

ABSTRACT

These notes discuss various aspect of the ``representation theory'' of Poisson manifolds, with focus on Morita equivalence and Picard groups. We give a brief introduction to Poisson geometry (including Dirac and twisted Poisson structures) and algebraic Morita theory before presenting the geometric Morita theory of Poisson manifolds. We also point out the connections with the theory of symplectic groupoids and hamiltonian actions.

研究の動機と目的

• 代数的モラータ同値性をポアソン幾何に拡張するため、幾何的双モジュラーとシンプレクティック群ガロア作用を定義する。
• 同値な表現カテゴリが常にモラータ同値性を意味しないという問題を解消するため、表現の精密化されたシンプレクティックカテゴリを導入する。
• ポアソン多様体のモラータ同値性とそれらのシンプレクティック表現カテゴリの同値性との間の対応を確立する。
• 葉空間の病理的性質を有する葉層理論の問題に対処するため、微分可能スタックを滑らかな幾何の枠組みとして提案する。
• ピカード群がポアソン幾何において表現カテゴリの自己同値の群として果たす役割を明確にする。

提案手法

• 二階反対称テンソル（bivector field）がヤコビ恒等式 $[\Pi, \Pi] = 0$ を満たすことでポアソン多様体を定義し、そのシンプレクティック葉を基本的な幾何的対象とする。
• シンプレクティック群ガロアを、ポアソン多様体の幾何的実現として導入し、群ガロアの乗法がポアソン構造を符号化する。
• $(P_1, P_2)$-双モジュラーを構成し、それらがシンプレクティック群ガロアと表現カテゴリの間の同値性を誘導する。
• ポアソン多様体 $P$ の表現カテゴリを、$P$-torsor がモラータ同値であるようなシンプレクティックカテゴリとして定義し、射はインターセプタースペース $\mathrm{Hom}(S_1, S_2) = \overline{S_2} *_{P} S_1$ で与える。
• コイゾトロピック還元とラグランジュ部分多様体を用いてシンプレクティックカテゴリにおける合成を定義し、$\mathrm{Hom}(S,S)$ がシンプレクティック群ガロア $\mathcal{G}(M)$ とシンプレクティック同型であることを検証する。
• インターセプタースペースの間のシンプレクティック同型を確立することで、モラータ双モジュラーがシンプレクティックカテゴリの同値性を誘導することを示し、モラータ同値性に関する主要定理を証明する。

実験結果

リサーチクエスチョン

• RQ1 2つのポアソン多様体がいつモラータ同値であるか、そしてその同値性をどのように幾何的に特徴づけられるか？
• RQ2 ポアソン多様体の表現カテゴリを、そのモラータ同値類を完全に決定する方法で定義できるか？
• RQ3 シンプレクティック群ガロアは、ポアソン多様体間のモラータ同値性を実現するために果たす役割は何か？
• RQ4 シンプレクティック実現のカテゴリが、非可換幾何におけるモジュールのカテゴリと同値になる条件は何か？
• RQ5 ゲージ変換やねじれ付きポアソン構造は、モラータ同値性およびピカード群の構造にどのように影響を与えるか？

主な発見

• 2つのポアソン多様体がモラータ同値であるための必要十分条件は、それらのシンプレクティック表現カテゴリがシンプレクティックカテゴリとして同値であることである。
• シンプレクティック実現 $S \to M$ に対応するシンプレクティック群ガロア $\mathcal{G}(M)$ は、表現カテゴリにおける自己準同型の空間 $\mathrm{Hom}(S,S)$ と同型である。
• 表現カテゴリにおける合成関係はラグランジュ部分多様体であり、コイゾトロピック還元と一点の場合の検証により確認された。
• 表現カテゴリにおける可逆な射は、シンプレクティック実現の同型に対応し、そのような同型はシンプレクティック写像のグラフの還元によって実現される。
• ポアソン多様体のピカード群は、その表現カテゴリの自己同値の群と同型であり、代数的ピカード群の概念を一般化している。
• 表現カテゴリの同値性は、2の係数を考慮しない限り、インターセプタースペースをシンプレクティック同型として保存しないことから、シンプレクティック構造における微妙な差異が生じることを示している。