Fedosov 变形量子化代数上模的上同构构造

在辛流形$M$任意点的某个邻域$U$中，我们构造了一种 Fedosov 型星积$\ast_L$，使得对于给定极化$\mathcal{D}\subset TM$的任意叶$\wp$，代数$C^\infty (\wp \cap U)[[h]]$具有变形代数$(C^\infty (U)[[h]], \ast_L)$上左模的自然结构。在关于$M$的某些附加假设下，$\ast_L$成为一种所谓的变量分离星积。