Rota--Baxter operators on vertex algebras in integrated $\lambda$-bracket formalism and their associated 2-cocycles

技术摘要：积分 $\lambda$-括号形式下顶点代数上的 Rota–Baxter 算子及其相关的 2-上循环

问题陈述
本文探讨了将 Rota–Baxter 算子从其在结合代数和李理论中已确立的背景推广到顶点代数语境的问题。尽管 Xu 等人（例如 Bai、Guo、Liu 和 Wang）之前的工作已经探索了顶点算子代数上的 Rota–Baxter 算子，并常将其与修正的 Yang–Baxter 方程及 dendriform 结构联系起来，但本文专门研究了这些算子的上同调含义。核心问题在于确定顶点代数上的 Rota–Baxter 算子是否会产生一个变形，从而在顶点代数上同调中生成一个非平凡元素，这类似于经典结果中结合代数上的 Rota–Baxter 算子产生 Hochschild 2-上循环的情形。

方法论
作者采用了 Bakalov 和 Kac 开发的积分 $\lambda$-括号形式。该方法用积分括号 $I_{a,b}(\lambda) = \int_0^\lambda d\sigma [a_\sigma b]$ 取代了标准的顶点算子 $Y(a, z)$，该括号满足与李共形代数平行的公理（半线性、斜对称性和 Jacobi 恒等式）。

方法论分为三个主要阶段：

1. 定义与构造：将权重为 $\lambda$ 的 Rota–Baxter 算子 $P: V \to V$ 定义为与平移算子 $\partial$ 交换的线性映射，并满足恒等式：
   $$I_{Pa, Pb}(\mu) = P\left( I_{Pa, b}(\mu) + I_{a, Pb}(\mu) + \lambda I_{a, b}(\mu) \right).$$
   利用该算子，构造一个新的“变形”积分 $\lambda$-括号：
   $$I^\star_{a,b}(\mu) := I_{a, Pb}(\mu) + I_{Pa, b}(\mu) + \lambda I_{a, b}(\mu).$$
2. 结构验证：本文严格验证了三元组 $(V, \partial, I^\star)$ 满足非单位顶点代数的公理（半线性、斜对称性和 Jacobi 恒等式）。此外，证明了 $P$ 作为从变形代数 $(V, I^\star)$ 到原始代数 $(V, I)$ 的同态的作用。
3. 上同调分析：将变形括号与原始括号之差定义为 $\Phi_{a,b}(\mu) = I^\star_{a,b}(\mu) - I_{a,b}(\mu)$，并将其作为 2-上链进行分析。作者利用顶点代数上同调复形（基于手征算子范畴框架）来检验 $\Phi$ 是否满足 2-上循环条件（$\delta \Phi = 0$），随后研究了 $\Phi$ 成为 2-上边界的条件。

主要贡献与结果

• 顶点代数的变形：本文确立了顶点代数 $V$ 上的任意 Rota–Baxter 算子 $P$（与 $\partial$ 交换）都会诱导出一个新的非单位顶点代数结构 $(V, I^\star)$。这将结合代数中变形积 $x \star_R y$ 的经典构造推广到了顶点代数设定中。
• 上循环的生成：主要结果是证明了差值 $\Phi = I^\star - I$ 是变形代数 $(V, I^\star)$ 的顶点代数上同调中（系数在 $P$-扭曲模中）的一个2-上循环。这提供了 Rota–Baxter 算子与 Hochschild 2-上循环之间经典关系的直接顶点代数类比。
• 平凡性条件：本文刻画了该 2-上循环何时是平凡的（即上边界）。它证明了如果 $P$ 是满足特定二次条件的单位算子的标量倍数（$P = \kappa \cdot \text{id}$），这些条件与权重 $\lambda$ 及元素的奇偶性相关，那么 $\Phi$ 就是一个上边界。
• 非标量算子的非平凡性：至关重要的是，本文表明对于非标量 Rota–Baxter 算子（例如格顶点代数或海森堡顶点代数上的投影），所得的 2-上循环 $\Phi$ 代表一个非平凡的上同调类。这意味着此类算子生成了真正的障碍，使得变形无法通过上边界等价于原始结构。

意义
本文架起了顶点代数理论中两个不同发展领域之间的桥梁：Rota–Baxter 算子的代数理论与顶点代数的上同调理论。通过利用积分 $\lambda$-括号形式，作者提供了一个简洁且概念化的框架，以证明 Rota–Baxter 算子不仅仅是代数变形，也是非平凡上同调不变量的来源。

其意义在于将 Rota–Baxter 算子与 Hochschild 上同调之间的经典对应关系推广到了顶点代数语境。结果证实，非标量 Rota–Baxter 算子会产生真正的 2-上循环，从而丰富了人们对共形场论及相关代数结构中变形的理解。这项工作并未提出新的物理应用或实验方案，而是巩固了将算子变形与顶点代数严格公理框架内的上同调类联系起来的理论基础。