[论文解读] BFV-complex and higher homotopy structures

Florian Schaetz|ArXiv.org|Nov 29, 2006

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

一句话总结

本文建立了在泊松流形中余共形子流形相关联的 BFV复形与强同伦李代数丛之间的 $L_{\infty}$ quasi-isomorphism，表明二者控制相同的形式形变问题。关键的是，它证明了 BFV复形捕捉到了强同伦李代数丛所无法捕捉的非形式形变障碍，从而建立了作为图实现的余共形子流形与 BFV复形的归一化 Maurer-Cartan 元素之间的一一对应关系。

ABSTRACT

We present a connection between the BFV-complex (abbreviation for Batalin-Fradkin-Vilkovisky complex) and the so-called strong homotopy Lie algebroid associated to a coisotropic submanifold of a Poisson manifold. We prove that the latter structure can be derived from the BFV-complex by means of homotopy transfer along contractions. Consequently the BFV-complex and the strong homotopy Lie algebroid structure are $L_{\infty}$ quasi-isomorphic and control the same formal deformation problem. However there is a gap between the non-formal information encoded in the BFV-complex and in the strong homotopy Lie algebroid respectively. We prove that there is a one-to-one correspondence between coisotropic submanifolds given by graphs of sections and equivalence classes of normalized Maurer-Cartan elemens of the BFV-complex. This does not hold if one uses the strong homotopy Lie algebroid instead.

研究动机与目标

• 澄清在泊松几何中余共形子流形背景下，BFV复形与强同伦李代数丛之间的代数关系。
• 证明 BFV复形编码了强同伦李代数丛所无法捕捉的非形式形变障碍。
• 建立作为截面图实现的余共形子流形与 BFV复形的归一化 Maurer-Cartan 元素之间的一一对应关系。
• 表明强同伦李代数丛通过沿收缩数据的同伦传递，与 BFV复形存在 $L_{\infty}$ quasi-isomorphism。

提出的方法

• 通过规范/规范-动量丛的全局构造以及泊松二阶张量场到导出括号结构的提升，构建 BFV复形。
• 应用同伦传递定理，沿收缩数据从 BFV复形推导出强同伦李代数丛结构。
• 使用导出括号形式化定义 BFV括号，确保其与微分及带格的李代数结构相容。
• 本文采用 $L_{\infty}$-代数技术，包括微分格李代数结构的传递与同伦传递公式中标记树的应用。
• 一个关键技术步骤是通过标记树中叶节点数的归纳法，证明诱导的结构映射满足 $L_{\infty}$-关系。
• 通过归一化 MC-元素上的规范作用的显式计算，建立了余共形截面与 Maurer-Cartan 元素之间的联系。

实验结果

研究问题

• RQ1 是否存在 BFV复形与余共形子流形相关的强同伦李代数丛之间的精确代数等价性？
• RQ2 强同伦李代数丛能否捕捉余共形子流形的非形式形变障碍？
• RQ3 是否存在作为图实现的余共形子流形与 BFV复形的归一化 Maurer-Cartan 元素之间的一一对应关系？
• RQ4 在编码形变几何障碍方面，BFV复形与强同伦李代数丛相比有何差异？

主要发现

• BFV复形与强同伦李代数丛是 $L_{\infty}$ quasi-isomorphic，意味着它们控制相同的正式形变问题。
• BFV复形捕捉到了强同伦李代数丛所无法捕捉的非形式形变障碍，如定理 6 所示。
• 存在作为截面图实现的余共形子流形与 BFV复形的归一化 Maurer-Cartan 元素等价类之间的一一对应关系。
• 强同伦李代数丛无法支持此类对应关系，表明其在编码非形式几何方面存在根本性缺陷。
• 第 5.3 小节中的例子确认了 BFV复形重现了文献 [Z] 中推导出的已知余共形子流形判定准则，验证了其几何保真性。
• 同伦传递过程成功地从 BFV复形恢复了强同伦李代数丛结构，确认了二者在同伦意义下的结构等价性。