Cohomology of Jacobi forms

技术摘要：雅可比形式（Jacobi Forms）的上同调

问题陈述
本文研究了非交换结构在流形上的连续上同调计算问题，特别是在顶点算子代数（VOA）的背景下。由于黎曼曲面上全纯向量场的经典上同调通常是平凡的，作者试图为由 VOA 生成的 Jacobi $n$ 点函数空间开发一种上同调理论。这些函数包含一个椭圆变量，通过元素 $J \in V_1$ 来追踪“电荷”，并满足被称为 Zhu 约化公式（Zhu reduction formulas）的泛函方程。核心问题在于构建一个上同调复形，使这些约化公式充当微分算子（coboundary operators），从而定义一种“约化上同调”（reduction cohomology），用以编码 VOA 的非交换结构，并产生准模形式（quasi-modular forms）的泛函方程。

方法论
作者构建了一个上同调复形 $(C^\bullet(W), \delta^\bullet)$，其中：

1. 上同调链空间 ($C^n(W)$)： 定义为与 $V$-模 $W$ 相关的 Jacobi $n$ 点函数 $Z^J_W(x_n; B)$ 的空间，其中 $x_n$ 代表向量元组和环面 $T$ 上的局部坐标，$B = (\tau, z)$ 代表模参数和椭圆参数。
2. 微分算子 ($\delta_n$)： 显式地使用 Zhu 型约化公式（特别是 Bringmann-Krauel-Tuite 为 Jacobi 形式建立的公式）进行定义。算子 $\delta_n$ 通过涉及亚纯系数函数 $f_{k,m}$ 以及将方括号模 $v_{n+1}[m]_\beta$ 插入到输入第 $k$ 个槽位的方式，将一个 $n$ 点函数映射为一个 $(n+1)$ 点函数。
3. 链条件： 施加条件 $\delta_{n+1} \circ \delta_n = 0$，这转化为 $n$ 点函数必须满足的一组泛函微分方程（类似于 Knizhnik-Zamolodchikov 方程）。
4. 分析情形： 针对四种特定场景推导了微分算子的显式形式：
   • 一般情形。
   • 最简情形。
   • 移位 Virasoro 情形（涉及一个移位的 Virasoro 元）。
   • 顶点算子超代数/轨道（orbifold）情形。

主要贡献与结果
本文通过两个主要定理刻画了所得的上同调群 $H^n_J(W)$：

1. KZ 特征化 (Theorem 4.1)：
   第 $n$ 阶约化上同调 $H^n_J(W)$ 作为复向量空间，同构于特定方程的非零解的解析延拓空间：
   $$\sum_{k=0}^n \sum_{m \ge 0} f_{k,m}(x_n; B) T_k(v_{n+1}[m]_\beta) Z^J_W(x_n; B) = 0$$
   该方程被识别为 Knizhnik-Zamolodchikov (KZ) 方程 的 Jacobi 形式类比。其解可以表示为通过约化公式递归生成的变形 Weierstrass 函数的级数。

2. Bott-Segal 型定理 (Lemma 4.6)：
   本文证明了由约化公式生成的 Jacobi $n$ 点函数在环面上的 VOA 丛的 $g$-自同构变形截面空间上充当 $n$ 点联络。因此，约化上同调同构于这些变形截面空间的上同调：
   $$H^n_J(W) \cong \text{Conn}_n / G_{n-1}$$
   这一结果为代数约化公式提供了几何解释，将其与联络理论联系起来，类似于 Bott、Segal 和 Wagemann 关于全纯向量场的研究结果。

此外，论文指出对于轨道情形，上同调包含可以表示为矩阵行列式的函数，其矩阵项为变形椭圆函数。

意义与主张
作者将这项工作定位为对复杂流形上由非交换结构产生的全纯对象之上同调进行完整描述的基础性步骤。其意义在于：

• 统一性： 同时编码 VOA 的非交换结构、产生准模形式的泛函方程，并提供通过 VOA 丛上的联络进行的几何解释。
• 泛化性： 同时在所有 $n \ge 0$ 的 $n$ 点函数层面进行操作，并引入了额外的 Jacobi（椭圆）变量，这使其区别于以往关于分级限制顶点代数（如 Huang 的工作）的一阶和二阶上同调的研究。
• 适用性： 该理论被呈现为可推广至更高亏格的黎曼曲面，并适用于可积模型和变形理论的研究。

论文明确指出未生成或分析任何数据集，结果纯粹是基于现有 VOA 公理和约化公式的理论推导。