[論文レビュー] Poisson structures of divisor-type

Ralph L. Klaasse|arXiv (Cornell University)|Nov 10, 2018

Homotopy and Cohomology in Algebraic Topology参考文献 50被引用数 7

ひとこと要約

本稿は、除数的タイプのポアソン構造——その退化が除数イデアルによって支配されるポアソン構造（対数的、$b^k$-、楕円的、散乱ポアソン構造を含む）——を統一的に扱うフレームワークを提示する。除数イデアルを保存する微分のアーベルトロイドをほぼ単射的に構成することで、著者たちはポアソン構造を非退化的にシンプレクティック・アーベルトロイドに持ち上げ、シンプレクティック幾何学の道具を用いることを可能にする。主な貢献は、シンプレクティック foliation の特異的軌道に沿った退化のデータを捉える、除数に基づく残留写像と不変量の体系的理論である。

ABSTRACT

Poisson structures of divisor-type are those whose degeneracy can be captured by a divisor ideal, which is a locally principal ideal sheaf with nowhere-dense quotient support. This is a large class of Poisson structures which includes all generically-nondegenerate Poisson structures, such as log-, $b^k$-, elliptic, elliptic-log, and scattering Poisson structures. Divisor ideals are used to define almost-injective Lie algebroids of derivations preserving them, to which these Poisson structures can be lifted, often nondegenerately so. The resulting symplectic Lie algebroids can be studied using tools from symplectic geometry. In this paper we develop an effective framework for the study of Poisson structures of divisor-type (also called almost-regular Poisson structures) and their Lie algebroids. We provide lifting criteria for such Poisson structures, develop the language of divisors on smooth manifolds, and discuss residue maps to extract information from Lie algebroid forms along their degeneraci loci.

研究の動機と目的

• 除数イデアルによって支配される退化を示すポアソン構造を体系的に研究するフレームワークを構築すること。これは、滑らかな多様体へのカルティエ除数の一般化である。
• ハミルトニアンベクトル場が射影的加群をなすものとして、除数的タイプのポアソン構造を特徴づけること。これにより、ほぼ正則ポアソン構造の概念と関連づける。
• ポアソン構造を非退化的に持ち上げる除数的タイプのアーベルトロイドを構成し、シンプレクティック幾何学的解析を可能にする。
• 退化軌道に沿った残留写像 $\mathrm{Res}_Z(\omega^k)$ を定義し、アーベルトロイド形式から幾何的・位相的不変量を抽出する。
• 既知の一般に非退化なポアソン構造のクラス（対数的、$b^k$-、楕円的、散乱ポアソン構造など）を、単一の除数論的枠組みで統一・一般化する。

提案手法

• 本稿は、滑らかな多様体上の除数を、ラインバンドル $L$ とその滑らかな切断 $s$ のペア $(L, s)$ として定義する。ここで $s$ の零点集合は局所的に密集しないものとし、局所的に主イデアル層 $I_s$ を生成する。
• 部分パフィアン $\bigwedge^{m+1}\tilde{\nu}$ が消えること、およびライン部分バンドル $K \subseteq \bigwedge^{2m}TX$ に対して $(K, \bigwedge^m\tilde{\nu})$ が除数をなすことにより、$m$-除数的タイプのポアソン構造を定義する。これにより除数イデアル $I_\pi$ が得られる。
• 除数イデアルを保存する微分のアーベルトロイドとして、ほぼ単射的な除数的タイプのアーベルトロイドを構成する。これはポアソンテンソルの退化構造に適合したものである。
• シンプレクティック形式 $\omega$ のアーベルトロイド上での残留写像 $\mathrm{Res}_Z(\omega^k)$ を導入し、特に $b^k$-および楕円的ポアソン構造の状況において、退化軌道 $Z = Z(I_\pi)$ 沿いのコhomologicalおよび幾何的データを抽出する。
• アーベルトロイドの残留写像とモジュラー・ポアソン残留写像の双対性を確立し、$\mathrm{Res}_{Z}(\omega^n) = \alpha \wedge \beta^{n-1}$ および $\mathrm{Res}_{n-1,\mathrm{mod}}(\pi) = v \wedge \pi_Z^{n-1}$ が成り立ち、純粋スピン形式によって双対化されることを示す。
• このフレームワークを用いてポアソンコホモロジーを計算し、シンプレクティック群多様体を同定し、位相的障害を確立する。摂動技法を用いて退化軌道の正則性を達成する。

実験結果

リサーチクエスチョン

• RQ1 対数的、$b^k$-、楕円的構造など、制御された退化を示すポアソン構造を、一つの幾何的枠組みで統一することは可能か？
• RQ2 除数イデアルは、一般に正則なポアソン構造とその関連アーベルトロイドを特徴づける上で果たす役割は何か？
• RQ3 シンプレクティックアーベルトロイド上の残留写像は、シンプレクティック foliation およびポアソン構造のモジュラークラスにどのような情報を符号化するか？
• RQ4 シンプレクティックアーベルトロイドの残留写像は、ポアソンテンソルのモジュラー残留写像とどのように関係するか？
• RQ5 摂動によって、ポアソン構造の退化軌道をシンプレクティックファイブレーションにできるか？その条件は何か？

主な発見

• 除数的タイプのポアソン構造は、アンドロリダキス–ザンボンの意味でのほぼ正則ポアソン構造と同値であり、ハミルトニアンベクトル場モジュールが射影的であることによって特徴づけられる。
• 除数的タイプのポアソン構造の退化軌道 $Z(I_\pi)$ は、どこでも密集しない閉部分集合であり、その構造は偶数ランク $2m$ で一般に正則である。
• $b^k$-ポアソン構造では、残留写像 $\mathrm{Res}_Z(\omega^n)$ は $\alpha \wedge \beta^{n-1}$ で与えられ、ここで $\alpha$ と $\beta$ は退化軌道上に内在する微分形式である。
• モジュラー・ポアソン残留写像 $\mathrm{Res}_{n-1,\mathrm{mod}}(\pi)$ とアーベルトロイド残留写像 $\mathrm{Res}_Z(\omega^n)$ は、純粋スピン形式表現を通じて双対であり、シンプレクティックおよびポアソン不変量を結びつける。
• コオリエンテッド零点楕円的ポアソン構造の退化軌道 $D$ は、摂動後に $T^2$ に沿ってシンプレクティックファイブレーションをなす。小変形により構造を正則化できる。
• このフレームワークにより、非正則なポアソン構造（例：対数的、$b^k$-ポアソン）を正則なものに摂動でき、退化軌道がシンプレクティック・マッピング・トーラスとなることが保証される。