[论文解读] Symplectic realizations of bihamiltonian structures

Andriy Panasyuk|ArXiv.org|Jan 24, 2000

Homotopy and Cohomology in Algebraic Topology参考文献 14被引用 5

一句话总结

该论文证明了通过实李群的实形式对复半单李群的余伴随轨道上的全纯辛双哈密顿结构进行约化，可得到完备的退化双哈密顿结构。利用CR-几何与完备性准则，证明了约化后的结构满足Bolsinov-Brailov条件，并将首次积分识别为全 holomorphic Casimirs 的实部与虚部，形成CR-拉格朗日子叶结构。

ABSTRACT

A method of constructing a class of bihamiltonian structures is presented. Elements of this class are generalizations of the so-called bihamiltonian structures of general position on odd-dimensional manifolds. The method consists in a simultaneous reduction of both the real and imaginary parts of a complex symplectic form. Necessary and sufficient conditions of getting a bihamiltonian structure from the mentioned class are obtained. The second part of the paper is devoted to a series of examples of such a reduction related to semisimple Lie algebras.

研究动机与目标

• 建立全纯辛双哈密顿结构约化生成完备退化双哈密顿系统的条件。
• 证明通过实形式对复半单李代数的一般余伴随轨道上的全纯辛结构进行约化，可得到完备的双哈密顿结构。
• 刻画约化系统首次积分的性质，并证明其源于原始结构的全纯Casimirs。
• 通过CR-几何准则证明约化系统满足Bolsinov-Brailov完备性条件。

提出的方法

• 论文应用了一个完备性准则（定理4），该准则基于双向量场束中秩的常数性来判断约化双哈密顿结构的完备性。
• 通过与实形式 $ G_0 \subset G $ 相关的实叶层对原始全纯对 $ c, \tilde{c} $ 进行约化，构造出约化后的泊松对 $ c'_{\nu}, \bar{c}'_{\nu} $。
• 利用Gelfand-Zakharevich定理分析复化切丛中双向量对的结构。
• 应用论证平移法，通过分析对 $ c', \tilde{c}' $ 计算约化系统的Casimirs，该对与 $ c', \bar{c}' $ 共享相同的Casimirs。
• 利用 $ G_0 $-轨道在 $ \mathfrak{g}^* $ 上的CR-几何性质，特别是CR-一般性，确保满足完备性所需的秩常数性条件。
• 证明约化系统首次积分即为原始结构中全纯Casimirs的实部与虚部，且通过约化映射被提升。

实验结果

研究问题

• RQ1 在何种条件下，全纯辛双哈密顿结构的约化可产生完备的退化双哈密顿结构？
• RQ2 约化系统首次积分与原始结构全纯Casimirs之间有何关系？
• RQ3 实叶层的CR-一般性在确保完备性所需秩常数性方面起到何种作用？
• RQ4 论证平移法能否被调整以适用于全纯泊松结构实约化情境下的Casimirs计算？
• RQ5 约化双哈密顿结构的最小实现是否等价于一个CR-拉格朗很多子叶？

主要发现

• 通过实形式 $ G_0 \subset G $ 对复半单李代数的一般余伴随轨道上的全纯辛双哈密顿结构进行约化，可得到满足Bolsinov-Brailov条件的完备退化双哈密顿结构。
• 约化系统首次积分恰好为原始结构中全纯Casimirs的实部与虚部，如命题7.2所示。
• 对所有 $ \lambda \in \mathbb{C}^2 \setminus \{0\} $，有 $ \mathop{\rm rank}\nolimits c'_{\lambda}(z') = \mathop{\rm rank}\nolimits c'(z') $，确认了完备性所需的秩常数性。
• 首次积分的 $ G_0 $-不变性已确立，确保其在商空间 $ U' = U/G_0 $ 上定义良好。
• 全纯Casimirs实部与虚部的共同水平集在约化空间上形成CR-拉格朗很多子叶。
• 通过推论6证明了约化结构的最小实现是最小的，确认了不存在冗余结构。