[论文解读] Normal forms of Poisson structures near a symplectic leaf

Olivier Brahic|ArXiv.org|Mar 8, 2004

Homotopy and Cohomology in Algebraic Topology被引用 5

一句话总结

该论文利用Vorobjev的几何数据形式化方法——Ehresmann联络、垂直双向量场和曲率形式——建立了辛叶附近泊松结构的规范形定理。在适度上同调条件（第一泊松上同调群平凡）下，证明了泊松结构局部等价于线性模型，从而实现半局部线性化，并将结构分解为水平与垂直泊松分量。

ABSTRACT

We show how one can handle the formalism developped by Yurii Vorobjev in order to give general results about the problems of linearisation and of normal form of a Poisson structure in the neighborhood of one of its symplectic leaves.

研究动机与目标

• 使用几何数据系统地分析辛叶邻域内的泊松结构。
• 解决具有非退化横截结构的紧致辛叶附近的泊松结构线性化问题。
• 建立泊松结构局部等价于线性模型的条件，特别是当垂直部分的第一泊松上同调群平凡时。
• 证明一个分解定理，将泊松结构分解为横截线性部分与垂直泊松分量。

提出的方法

• 采用Vorobjev的几何数据形式化方法：Ehresmann联络 $\Gamma$，垂直双向量场 $\mathcal{V}$，以及取值于 $C^\infty(E)$ 的非退化2-形式 $\mathcal{F}$。
• 将任意水平非退化的双向量场 $\Pi$ 表示为 $\Pi = \Pi_H + \mathcal{V}$，其中 $\Pi_H$ 为水平部分，$\mathcal{V}$ 为垂直部分。
• 通过四个方程施加泊松条件：$[\mathcal{V},\mathcal{V}] = 0$，$\mathcal{L}_{\text{hor}(X)}\mathcal{V} = 0$，$\partial_\Gamma \mathcal{F} = 0$，以及 $\text{Curv}_\Gamma(u,v) = \mathcal{V}^\sharp(d\mathcal{F}(u,v))$。
• 通过微分同胚将结构简化为线性模型，首先线性化垂直部分 $\mathcal{V}$，然后调整联络。
• 利用第一泊松上同调群 $H^1(\mathcal{V}_x^{(1)})$ 的平凡性，确保存在一个全局1-形式 $\phi$，通过该形式可修改联络以消除曲率。
• 当 $H^1(\mathcal{V}_x) = 0$ 且存在保持 $\mathcal{V}$ 的平坦联络时，应用分解定理，得到 $\Pi = \Pi_H + \mathcal{V}$，其中 $\Pi_H$ 与 $\mathcal{V}$ 均为泊松结构。

实验结果

研究问题

• RQ1 在何种条件下，泊松结构在辛叶附近局部等价于线性模型？
• RQ2 如何在辛叶邻域内将泊松结构分解为横截与垂直分量？
• RQ3 垂直线性化部分的第一泊松上同调群在规范形存在性中起何作用？
• RQ4 能否在保持泊松结构的前提下修改联络以消除曲率？在何种条件下可行？
• RQ5 泊松结构在何种情况下可分解为正则水平部分与垂直泊松分量？

主要发现

• 若某点处垂直双向量场 $\mathcal{V}$ 的芽可线性化，且 $H^1(\mathcal{V}_x^{(1)}) = 0$，则泊松结构局部等价于线性模型。
• 半局部线性化定理（定理2.3）表明，泊松结构等价于具有线性化几何数据 $(\Gamma^{(1)}, \mathcal{V}^{(1)}, \mathcal{F})$ 的结构。
• 若垂直线性部分 $\mathcal{V}_x^{(1)}$ 非退化且 $H^1(\mathcal{V}_x^{(1)}) = 0$，则结构为半局部非退化，且等价于某个 $\mathcal{F}'$ 的线性模型。
• 对于横截紧致的半单泊松结构，当 $\mathcal{V}_x^{(1)}$ 来自紧致半单李代数时，相同的线性化结果仍成立。
• 在 $H^1(\mathcal{V}_x) = 0$ 且存在保持 $\mathcal{V}$ 的平坦联络的条件下，泊松结构可分解为 $\Pi = \Pi_H + \mathcal{V}$，其中两部分均为泊松结构。
• 该分解通过一个微分同胚实现，该同胚在保持泊松条件的同时消除了联络的曲率，其关键在于存在一个全局1-形式 $\phi$，满足 $\Gamma = \Gamma^{(1)} + \mathcal{V}^\sharp(d\phi)^h$。