Advances in Mathematics ( IF 1.7 ) Pub Date : 2021-06-09 , DOI: 10.1016/j.aim.2021.107792 Camille Laurent-Gengoux , Mathieu Stiénon , Ping Xu
We prove that to every inclusion of Lie algebroids over the same base manifold M corresponds a Kapranov dg-manifold structure on , which is canonical up to isomorphism. As a consequence, carries a canonical algebra structure whose unary bracket is the Chevalley–Eilenberg differential corresponding to the Bott representation of A on and whose binary bracket is a cocycle representative of the Atiyah class of the Lie pair . To this end, we construct explicit isomorphisms of -coalgebras , which we elect to call Poincaré–Birkhoff–Witt maps. These maps admit a recursive characterization that allows for explicit computations. They generalize both the classical symmetrization map of Lie theory and (the inverse of) the complete symbol map for differential operators. Finally, we prove that the Kapranov dg-manifold is linearizable if and only if the Atiyah class of the Lie pair vanishes.
中文翻译:
Poincaré-Birkhoff-Witt 同构和 Kapranov dg-流形
我们证明,对于每一个包含 相同基流形M 上的李代数对应于上的 Kapranov dg-流形结构,这对于同构来说是规范的。作为结果, 携带规范 一元括号是 Chevalley-Eilenberg 微分的代数结构 对应于的博特表示甲上 其二元括号是李对的 Atiyah 类的共环代表 . 为此,我们构造了显式的同构-代数 ,我们选择将其称为 Poincaré-Birkhoff-Witt 映射。这些映射允许递归表征,允许显式计算。他们概括了经典的对称化映射Lie 理论和(的逆)微分算子的完整符号映射。最后,我们证明 Kapranov dg-流形 可线性化当且仅当 Lie 对的 Atiyah 类 消失。