Theta correspondence and the Borisov-Gunnells relations

技术摘要：Theta 对应与 Borisov-Gunnells 关系

问题陈述
本文研究了从模曲线 $Y_1(N)$ 的第一同调群到二阶全纯模形式空间 $M_2(\Gamma_1(N))$ 的几何 Theta 对应。主要目标是在同调群的具体生成元——即模符号（modular symbols）、模帽（modular caps）和双曲循环（hyperbolic cycles）——上显式地评估该对应关系，以恢复并解释关于模形式生成集的已知结果。具体而言，作者试图阐明 Borisov 与 Gunnells 的工作（他们利用权数为 1 的 Eisenstein 级数的乘积来描述秩为 0 的新形式空间和 Eisenstein 级数）与 Li 的工作（他使用 Hilbert-Eisenstein 级数的对角限制来描述类似的空间）之间的关系。次要目标是利用这一几何框架推导出 Eisenstein 级数之间的线性关系。

方法论
该方法依赖于在模曲线上构造一个取值为二阶模形式的闭微分形式 $E(z, \tau)$。这一构造结合了 Bergeron-Charollois-Garcia 与 Kudla-Millson 的思想，利用了 Mathai-Quillen 形式论和 Weil 表示。

1. 几何设置： 作者考虑了模曲线 $Y_1(N)$ 的 Borel-Serre 紧化 $Y_1(N)^{BS}$。根据 Stevens 的理论，同调群 $H_1(Y_1(N); \mathbb{C})$ 分解为闭模帽空间 $C(C)$ 和 0 度模符号空间 $MS_0(\mathbb{C})$ 的直和。
2. Theta 提升： 映射 $E: H_1(Y_1(N); \mathbb{C}) \to M_2(\Gamma_1(N))$ 通过在 1-循环上对微分形式 $E(z, \tau)$ 进行积分来定义。该形式是通过与 $2 \times 2$ 矩阵空间中的格点陪集 $L_{1,0}$ 相关联的 Theta 级数推导而来的。
3. 显式评估：
   • 模帽： 通过分析该形式在边界处的常数项来计算在尖点 $r$ 处的闭模帽 $C_r$ 上的积分。
   • 模符号： 利用 Poisson 求和公式以及 Theta 级数在测地线上的限制来计算在 unimodular 符号上的积分。
   • 双曲循环： 利用 Stevens 的连分数算法，将双曲循环 $Z_\gamma$ 分解为模帽和 unimodular 符号的线性组合。随后进行逐项积分评估。
4. 谱分析： 通过对上同调的谱分解来分析 Theta 提升的像，从而将提升与 $L$-函数在 $s=1$ 处非零的新形式及 Eisenstein 级数联系起来。

核心贡献与结果

• 在同调生成元上的评估（定理 1.4）：

  • 在闭模帽 $C_r$（其中 $r = \gamma \infty$）上的 Theta 提升积分产生了一个二阶 Eisenstein 级数 $H^{(2)}_{d, -c}(\tau)$。
  • 在 unimodular 符号 $M = \gamma\{0, \infty\}$ 上的积分产生两个一阶 Eisenstein 级数的乘积，具体为 $-G^{(1)}_d(\tau)G^{(1)}_c(\tau)$。

• 生成集与 Li 的结果（定理 1.2, 1.3, 及 3.15）：

  • Theta 提升的像 $\text{Im}(E)$ 包含由二阶 Eisenstein 级数 $H^{(2)}$ 张成的子空间，以及秩为 0 的新形式空间 $S^{new}_{2, rk=0}$。当 $N$ 为素数时，此包含关系为等号。
  • 通过在双曲循环 $Z_\gamma$ 上评估提升，作者恢复了 Li 的结果：即空间 $S^{new}_{2, rk=0}$ 由 Hilbert-Eisenstein 级数 $E^{(1)}_{1, f_\gamma}(\tau, \tau)$ 的对角限制所张成。
  • 本文确立了 $\text{Im}(E)$ 包含在二阶 Eisenstein 级数与一阶 Eisenstein 级数乘积（$H^{(1,1)}$）的张成空间内，从而为 Borisov 和 Gunnells 所描述的生成集提供了几何解释。

• Eisenstein 级数之间的关系（定理 1.6 与 4.10）：

  • 通过考虑 Borel-Serre 紧化中的一个双曲三角形 $T$，其边界由三个 unimodular 符号和三个模帽组成，作者利用了边界在同调意义下为零（$\partial T = 0$）这一事实。
  • 这导出了如下关系：
    $$G^{(1)}_a G^{(1)}_b + G^{(1)}_b G^{(1)}_c + G^{(1)}_c G^{(1)}_a = G^{(2)}_a + G^{(2)}_b + G^{(2)}_c$$
    其中整数 $a, b, c$ 满足 $a+b+c \equiv 0 \pmod N$ 且模 $N$ 非零。这为之前由 Borisov 和 Gunnells 建立的关系提供了几何证明。

意义
本文声称其意义在于提供了一个统一的几何框架，将两种不同的模形式空间描述联系起来：

1. 它将 Borisov-Gunnells 关系（一阶 Eisenstein 级数的乘积）与 Li 的结果（Hilbert-Eisenstein 级数的对角限制）解释为在同一个几何 Theta 提升上对不同同调生成元进行求值的自然结果。
2. 它为一阶与二阶 Eisenstein 级数之间的特定线性关系提供了几何证明，这些关系直接源于模曲线的拓扑结构和 Theta 提升的性质，而非纯粹的解析操作。
3. 它阐明了 Borel-Serre 紧化和模帽在模符号理论中的作用，展示了边界项（caps）如何对应于 Eisenstein 级数，而内部项（symbols）如何对应于较低阶级的乘积。

作者指出，尽管关于生成集的结果与现有文献（特别是 [BG01] 和 [Li17]）相似，但其贡献在于通过 Theta 对应进行的推导，以及对傅里叶系数和积分的显式几何解释。