Poisson上同调及其在形变理论中的应用

Poisson代数的研究源于Poisson几何，且传统的Poisson代数被认为是交换的。随着非交换几何的发展，非交换Poisson代数得到了广泛的研究。本项目主要研究非交换Poisson代数的上同调理论及其在形变理论中的应用。首先，我们通过构造Grothendieck谱序列，计算了几种重要代数类的各阶拟Poisson上同调群，并发现了这种拟Poisson上同调群在后面的Poisson上同调群的计算中有着重要作用。其次，我们从导出函子角度定义了Poisson上同调群，详细讨论了Poisson上同调群与Poisson代数三种形变理论的关系。再次，给出了一个涉及Poisson上同调群，拟Poisson上同调群与Lie代数上同调群的长正合列。最后，我们建立了形式形变与形变量子化的关系，并给出了形变量子化存在的一个必要条件。作为本项目的拓展问题，我们研究了更广泛的一种代数结构——Leibniz Pair. 引入了Leibniz Pair的泛包络代数，并证明了Leibniz Pair上同调群是一种Yoneda-Ext群。