Critical CoHAs, vertex coalgebras and Deformed Drinfeld coproducts

这是一份关于论文《临界 CoHA、顶点余代数与变形的 Drinfeld 余积》（Critical CoHAs, Vertex Coalgebras and Deformed Drinfeld Coproducts）的详细技术总结。

1. 研究背景与问题 (Problem)

背景：

• Cohomological Hall Algebras (CoHA): 由 Kontsevich 和 Soibelman 提出，基于带势（Potential）的拟图（Quiver）的模空间上同调构建的代数结构。它们在枚举几何和表示论中扮演核心角色。
• 顶点代数结构： Joyce 在 2018 年利用模空间的几何结构，在同调群上构建了顶点代数结构，并在对偶的上同调上构建了顶点余代数结构。然而，现有的工作主要集中在 $W=0$（无势）的情况或 K-理论设置中。
• 缺口： 大多数枚举几何关注的是临界上同调（Critical Cohomology，即消失周期上同调，Vanishing Cycles Cohomology）或 Borel-Moore 同调。此前缺乏在带势拟图的临界 CoHA 上定义顶点余代数结构的系统理论。
• 核心问题： 如何为带势拟图的临界 CoHA 构建顶点余代数结构？该结构是否与已知的量子群（如 Yangian）上的 Drinfeld 余积相容？如何统一处理局部化余积（Localised Coproducts）与顶点余积？

2. 方法论 (Methodology)

作者采用了几何与代数相结合的方法，主要步骤如下：

1. 几何构造：

   • 利用拟图表示的模栈 $M_Q$ 上的几何结构：直和映射（Direct sum）、$\mathbb{G}_m$ 作用（Scaling automorphisms）以及由势 $W$ 诱导的消失周期函子（Vanishing cycles functor）。
   • 定义了一个关键的完美复形（Perfect Complex）$\text{Ext}$，它是模栈上切复形的拉回，用于编码表示之间的扩张信息。

2. 代数构建（Joyce-Liu 顶点余积）：

   • 通过直和映射的拉回（Pullback）和 $\mathbb{G}_m$ 作用的拉回，结合 Joyce-Borcherds 双特征标（Joyce-Borcherds bicharacter）$\Psi(\text{Ext}, -z)$，构造了一个依赖于复平面参数 $z$ 的余积映射 $\Delta(z)$。
   • 该映射定义为：$\Delta(z)(\alpha) = \Psi(\text{Ext}, -z) \cdot \text{act}^*_1 (\text{'}^* \alpha)$。

3. 辫子范畴与双代数结构：

   • 证明 CoHA 与上述顶点余积在由“自洽环”（Tautological Ring）生成的辫子模范畴中构成顶点双代数（Vertex Bialgebra）。
   • 引入谱 R-矩阵（Spectral R-matrix）$R(z)$ 作为辫子结构，满足六角关系（Hexagon relations）。

4. 玻色化（Bosonisation）：

   • 应用顶点代数版本的 Majid-Radford 玻色化 技术。将 CoHA 与自洽环（Cartan 部分）进行半直积扩展，构造扩展的 CoHA（Extended CoHA），使其包含 Cartan 子代数部分。

5. 比较与同构：

   • 将构造的顶点余积与 Davison 定义的局部化余积（Localised Coproduct）进行比较，证明两者通过 $\text{act}^*$ 映射等价。
   • 在 ADE 型拟图（Dynkin quivers）的情况下，将扩展的 CoHA 与 Yangian $Y_\hbar(\mathfrak{g})$ 的正半部分及 Borel 部分进行同构比较。

3. 主要贡献与结果 (Key Contributions & Results)

A. 临界 CoHA 上的顶点余代数结构 (Theorem A)

• 对于任意带势 $W$ 的拟图 $Q$，在满足 $T$-等变 Künneth 公式的前提下，临界 CoHA $A^T_{Q,W}$ 上定义了一个非局部顶点余代数（Nonlocal Vertex Coalgebra）。
• 该结构是辫子余交换（Braided Cocommutative）的，即满足 $\Delta(z) = \sigma \cdot S(z) \Delta(-z) \text{act}^*$，其中 $S(z)$ 涉及 R-矩阵。

B. 顶点双代数与兼容性 (Theorem C)

• 证明了 CoHA 的乘法（Kontsevich-Soibelman 积）与 Joyce-Liu 顶点余积是兼容的。
• 在适当的符号扭曲（Sign twist）下，$A^T_{Q,W}$ 构成了一个顶点双代数，其结构位于由自洽环 $H^*(M_Q)_{\text{taut}}$ 生成的辫子模范畴中。
• 乘法与余积的兼容性公式为：$\Delta(b \cdot b', z) = \Delta(b, z) \cdot R(z) \Delta(b', z)$，其中 $R(z)$ 是谱 R-矩阵。

C. 局部化余积与顶点余积的等价性 (Theorem B)

• 建立了 Davison 的局部化余积 $\Delta_{\text{loc}}$ 与 Joyce-Liu 顶点余积 $\Delta(z)$ 之间的精确联系。
• 证明了 $\text{act}^*_1 \circ \Delta_{\text{loc}} = \Delta(z)$。这表明顶点余积本质上是通过将局部化余积中的分母（欧拉类）展开为 $z^{-1}$ 的洛朗级数并引入平移作用得到的。

D. 玻色化与扩展 CoHA (Theorem D & Corollary E)

• 利用顶点 Majid-Radford 玻色化，构造了扩展的 CoHA $A^{\text{ext}}_{Q,W} = A_{Q,W} \rtimes H^*(M_Q)_{\text{taut}}$。
• 该扩展代数自然地携带了一个顶点双代数结构，其中包含了 Cartan 部分（对应于自洽环）。

E. 恢复 Drinfeld 余积 (Theorem F)

• 核心结果： 对于 ADE 型拟图，扩展的 CoHA 与 Yangian $Y_\hbar(\mathfrak{g})_{\geq 0}$ 作为顶点双代数是同构的。
• 该同构将 Yangian 上的 Drinfeld 变形余积 $\Delta_{\text{Dr}}(z)$ 精确地映射为扩展的 Joyce-Liu 顶点余积 $\Delta_{\text{ext}}(z)$。
• 这为 Drinfeld 余积提供了一个全新的几何解释，即它源于临界 CoHA 的顶点结构。

F. 无势对称拟图的新证明 (Theorem G & H)

• 当 $W=0$ 且拟图对称时，证明了 CoHA 的对偶是通用手性包络（Universal Chiral Envelope）$U_{\text{ch}}(P_Q)$。
• 这给出了 CoHA 积分性定理（Cohomological Integrality Theorem）的一个新证明（基于 Milnor-Moore 型定理）。
• 证明了该结构与 Dotsenko-Mozgovoy 在 [DM25] 中定义的顶点代数结构是同构的，从而给出了显式的生成元与关系计算。

4. 意义与影响 (Significance)

1. 统一几何与量子群理论： 该工作成功地将 CoHA 的几何构造与量子群（特别是 Yangian）的代数结构（Drinfeld 余积）统一起来。它表明 Drinfeld 余积并非人为构造，而是临界模空间几何结构的自然产物。
2. 填补理论空白： 首次系统地构建了带势拟图临界 CoHA 上的顶点余代数结构，填补了 Joyce 原始工作（主要针对 $W=0$）与枚举几何（关注临界上同调）之间的空白。
3. 新视角的玻色化： 将 Majid-Radford 玻色化推广到顶点代数范畴，为处理包含 Cartan 部分的扩展代数提供了通用框架。
4. 物理启示： 论文在引言中讨论了该结构与 3d/4d 拓扑量子场论（TQFT）中线算符（Line Operators）范畴的联系。顶点余积对应于线算符在复平面上的碰撞（Meromorphic tensor structure），为理解 BPS 态和 Yangian 对称性的物理起源提供了数学基础。
5. 计算工具： 提供了计算 Drinfeld 余积的显式公式（通过球面元素 Spherical Elements），并建立了与局部化余积的转换关系，为后续研究更一般的拟图（如仿射型）和 Maulik-Okounkov Yangian 奠定了基础。

总结

这篇论文通过引入顶点余代数结构，深刻揭示了带势拟图临界 CoHA 的代数本质。它不仅证明了 CoHA 是顶点双代数，还通过玻色化技术建立了其与 Yangian 的精确同构，从而在几何表示论与量子群理论之间架起了一座坚实的桥梁。这一成果为理解量子群余积的几何起源提供了强有力的新证据。