[论文解读] A geometric proof of Conn's linearization theorem for analytic Poisson structures

Nguyen Tien Zung|ArXiv.org|Jul 27, 2002

Advanced Topics in Algebra参考文献 5被引用 4

一句话总结

本文通过构造周期积分得到卡西米尔函数，展示辛叶层等价性，并利用紧致群作用下的群平均法与莫泽路径法，给出了一个避免快速收敛法的解析泊松结构在半单李代数线性部分对应的点附近的康线性化定理的几何证明。作者通过构造 $\frak{g}$-不变泊松结构，并利用辛映射得到线性坐标系，完成了证明。

ABSTRACT

We give a geometric proof of Conn's linearization theorem for analytic Poisson structures, without using the fast convergence method.

研究动机与目标

• 为康原始的快速收敛法证明解析泊松结构的线性化定理提供一种几何替代方法。
• 阐明分析方法所掩盖的底层几何结构，特别是辛叶层与卡西米尔函数的作用。
• 通过群平均法构造 $\frak{g}$-不变结构，实现具有半单线性部分的泊松结构的局部解析线性化。
• 证明哈密顿 $\frak{g}$-作用的辛映射可给出泊松结构的线性坐标系。
• 通过复共轭与平均形式的实解析性，将几何方法从全纯情形推广到实解析情形。

提出的方法

• 通过在正则辛叶中的2-闭链上对辛形式进行周期积分，构造泊松结构 $\Pi$ 的 $m$ 个卡西米尔函数 $F_1, \dots, F_m$。
• 利用每片叶上辛形式的上同调类与线性化结构 $\tilde{\rho}_1^i$ 一致的事实，确保卡西米尔函数在单值变换下定义良好。
• 通过雷布稳定性与形式等价性，将线性模型中的闭链上拉，证明非线性泊松结构 $\tilde{\rho}$ 的辛叶层与线性模型 $\tilde{\rho}_1$ 的辛叶层解析微分同胚。
• 利用哈尔测度与余伴从作用，对与半单李代数 $\frak{g}$ 关联的紧致群 $G$ 进行平均，构造 $G$-不变的辛形式 $\tilde{\rho}_1$。
• 定义莫泽路径 $\tilde{\rho}_s = (1-s)\tilde{\rho} + s\tilde{\rho}_1$，连接 $\tilde{\rho}_0 = \tilde{\rho}$ 与 $\tilde{\rho}_1$，并构造满足 $i_{X_s}\tilde{\rho}_s = \tilde{\beta}$ 的时变向量场 $X_s$，其中 $\tilde{\beta}$ 由辛形式的李导数导出。
• 利用显式公式 $\tilde{\beta} = \int_G \int_0^1 i_{X(g)} \text{exp}(tX(g))^* \tilde{\rho} \, dt \, d\mu $ 确保流的解析性，并通过时间1映射实现 $\frak{g}$-不变性。

实验结果

研究问题

• RQ1 康的解析泊松结构线性化定理能否在不依赖快速收敛法的前提下得到证明？
• RQ2 在存在单值性和奇点的情况下，卡西米尔函数能否通过周期积分实现几何构造？
• RQ3 非线性解析泊松结构的辛叶层在多大程度上与它的线性化结构相似？
• RQ4 莫泽路径法能否被推广至具有群对称性的奇异叶层，以实现线性化？
• RQ5 紧致群 $G$ 及其作用在构造 $\frak{g}$-不变泊松结构中起到何种作用？

主要发现

• 本文证明，任何在某点具有半单线性部分的解析泊松结构，均可通过几何构造实现局部解析线性化，无需快速收敛法，从而确认了康定理。
• 卡西米尔函数 $F_1, \dots, F_m$ 作为2-闭链上周期积分的对称函数被构造出来，尽管存在单值性，它们仍在辛叶上下降为定义良好的解析函数。
• 由于雷布稳定性和形式等价性，非线性泊松结构 $\tilde{\rho}$ 的辛叶层与线性模型 $\tilde{\rho}_1$ 的辛叶层解析微分同胚。
• 莫泽路径法产生一个时间1的解析微分同胚，将 $\tilde{\rho}$ 变换为 $\frak{g}$-不变泊松结构 $\tilde{\rho}_1$，其通过群平均构造出全局定义的解析向量场。
• 哈密顿 $\frak{g}$-作用的等变辛映射的分量提供了局部解析坐标系，在此坐标系下 $\tilde{\rho}$ 变为线性形式。
• 通过复共轭确保平均形式与辛映射分量的实解析性，该方法可推广至实解析情形。