[论文解读] Remarks on formal deformations and Batalin-Vilkovisky algebras

Vadim Schechtman|ArXiv.org|Feb 2, 1998

Advanced Topics in Algebra参考文献 2被引用 20

一句话总结

本文在卡拉比-丘流形的 canonical bundle 上的可积联络与多向量场代数上的巴塔林-维尔科维斯基（BV）结构之间建立了典范双射。它推广了已知的 $\Lambda^{\bullet}\mathcal{T}_X$ 上的 BV 结构，表明无需 canonical bundle 的平凡化，仅需一个可积联络即可。关键结果是 $\mathcal{O}_X$ 上的右 $\Delta_X$-模结构与 $\u039b^{\bullet}\mathcal{T}_X$ 上的 BV 结构之间的一一对应，该对应关系可进一步推广至李代数胚与对称代数上的 Schouten 李括号的一般框架。

ABSTRACT

This note consists of two parts. Part I is an exposition of (a part of) the V.Drinfeld's letter, [D]. The sheaf of algebras of polyvector fields on a Calabi-Yau manifold, equipped with the Schouten bracket, admits a structure of a Batalin-Vilkovisky algebra. This fact was probably first noticed by Z.Ran, [R]. Part II is devoted to some generalizations of this remark.

研究动机与目标

• 将卡拉比-丘流形上多向量场代数 $\Lambda^{\bullet}\mathcal{T}_X$ 的已知巴塔林-维尔科维斯基（BV）代数结构推广，超越 canonical bundle 平坦化的经典情形。
• 表明 BV 结构并非源于 canonical bundle $\mathcal{K}_X$ 的平凡化，而是源于 $\mathcal{K}_X$ 上的可积联络，这是一种更弱且更一般的条件。
• 在 $\mathcal{K}_X$ 上的可积联络集合与 $\Lambda^{\bullet}\mathcal{T}_X$ 上的 BV 结构集合之间建立典范且函子性的双射，推广了先前的结果。
• 将此双射关系扩展至更广泛的代数框架，涉及右 $\mathcal{D}_X$-模、李代数胚以及对称代数上的 Schouten 括号。

提出的方法

• 本文使用分次向量空间与 Gerstenhaber 代数的形式语言，定义了 $\Lambda^{\bullet}\mathcal{T}_X$ 上的 Schouten 括号，这是 BV 结构的核心。
• 引入了 'CY A-结构' 的概念，即 $\mathcal{O}_X$ 上的右 $\mathcal{D}_X$-模结构，其在 $\mathcal{T}_X$ 上诱导出相容作用，并满足类莱布尼茨恒等式。
• 关键技术工具是通过满足 $\nabla^r(a\tau) = a\nabla^r(\tau) - \tau(a)$ 的映射 $\nabla^r: \mathcal{T}_X \to \mathcal{O}_X$ 构造 $\Lambda^{\bullet}\mathcal{T}_X$ 上的次数为 1 的微分，该构造推广了联络诱导的导子。
• 本文构造了一个左伴随函子 $S: \text{Gerst}^{[-1,0]} \to \text{Gerst}$，将每个李代数胚 $({\mathcal{A}}^{-1}, {\mathcal{A}}^0)$ 映射为其 Schouten 代数 $S({\mathcal{A}}) = \Lambda^{\bullet}_{{\mathcal{A}}^0}({\mathcal{A}}^{-1})$，并配备唯一的 Schouten 括号。
• 证明了 $S({\mathcal{A}})$ 上的 BV 结构与满足莱布尼茨法则（4.20）的映射 $\nabla^r: \mathcal{A}^{-1} \to \mathcal{A}^0$ 之间存在典范双射，从而将基于联络的构造推广至任意李代数胚。
• 该证明依赖于：BV 微分的存在性与唯一性仅由莱布尼茨恒等式（4.13）决定，而该恒等式在对应关系下被保持，从而允许将定理 4.3 推广至任意 $\mathcal{D}_X$-模结构。

实验结果

研究问题

• RQ1 卡拉比-丘流形上多向量场代数的巴塔林-维尔科维斯基结构是否可在不假设 canonical bundle 平坦化的前提下构造？
• RQ2 是否存在 canonical bundle $\mathcal{K}_X$ 上的可积联络与 $\Lambda^{\bullet}\mathcal{T}_X$ 上的 BV 结构之间的典范对应？
• RQ3 $\Lambda^{\bullet}\mathcal{T}_X$ 上的 BV 结构是否源于 $\mathcal{O}_X$ 上的右 $\mathcal{D}_X$-模结构？若是，其精确代数条件为何？
• RQ4 该联络与 BV 结构之间的对应关系是否可超越卡拉比-丘情形进行推广？其与 $\mathcal{T}_X$ 上李代数胚结构的关系如何？
• RQ5 Schouten 括号在实现 $\Lambda^{\bullet}\mathcal{T}_X$ 上的 BV 微分中起何作用？它如何由联络诱导？

主要发现

• 卡拉比-丘流形 $X$ 的 canonical bundle $\mathcal{K}_X$ 上的可积联络集合与多向量场代数 $\Lambda^{\bullet}\mathcal{T}_X$ 上的巴塔林-维尔科维斯基（BV）结构集合之间存在典范双射。
• $\Lambda^{\bullet}\mathcal{T}_X$ 上的 BV 结构由 $\mathcal{O}_X$ 上的右 $\mathcal{D}_X$-模结构诱导，该结构等价于 $\mathcal{K}_X$ 上的可积联络，从而推广了 canonical bundle 平坦化的经典情形。
• 该对应关系通过满足莱布尼茨法则 $\nabla^r(a\tau) = a\nabla^r(\tau) - \tau(a)$ 的映射 $\nabla^r: \mathcal{T}_X \to \mathcal{O}_X$ 建立，该映射在 $\Lambda^{\bullet}\mathcal{T}_X$ 上生成了 BV 微分。
• 本文构造了一个左伴随函子 $S$，其为截断函子 $t: \text{Gerst} \to \text{Gerst}^{[-1,0]}$ 的左伴随，将每个 $\mathcal{O}_X$ 上的李代数胚映射为其 Schouten 代数 $S(\mathcal{A}) = \Lambda^{\bullet}_{\mathcal{O}_X}(\mathcal{A}^{-1})$，并配备唯一的 Schouten 括号。
• $S(\mathcal{A})$ 上的 BV 结构与满足莱布尼茨法则（4.20）的映射 $\nabla^r: \mathcal{A}^{-1} \to \mathcal{A}^0$ 之间存在一一对应，从而将基于联络的构造推广至任意李代数胚。
• 关键技术洞见是：BV 微分的存在性与唯一性仅依赖于莱布尼茨恒等式（4.13），而该恒等式在对应关系下被保持，从而允许将定理 4.3 推广至任意 $\mathcal{D}_X$-模结构。