形式辛群胚的无穷小形变

给定泊松流形 $(M, \pi_0)$ 上的形式辛群胚 $G$，我们定义了一个新对象，即 $G$ 的无穷小形变，它可以被视为配备有泊松双向量场 $\pi_0$ 的无穷小形变 $\pi_0 + \epsilon \pi_1$ 的流形 $M$ 上的形式辛群胚。$G$ 的形变的源映射和靶映射是 $G$ 的源映射和靶映射的形变。对于具有相同形式辛群胚 $G$ 的任意一对自然星积 $(\ast, \tilde\ast)$，我们将其与 $G$ 的一个无穷小形变相关联。我们称之为对 $(\ast, \tilde\ast)$ 的形变群胚。我们给出了凯勒-泊松流形上具有变量分离的一对星积的形变群胚的源映射和靶映射的显式公式。最后，我们给出了计算具有变量分离的星积的形式贝雷兹变换对数分量的主符号的算法。该算法基于某个形变群胚。