[论文解读] Theta correspondence and the Borisov-Gunnells relations

Romain Branchereau|arXiv (Cornell University)|Feb 1, 2026

Advanced Algebra and Geometry被引用 0

一句话总结

本论文构建了一个几何性 theta 升变，将模曲线的一阶同调映射到权重为 2 的模形式，与 Borisov–Gunnells 关系及 Li 的结果相关联，并导出 Eisenstein 系列关系。

ABSTRACT

We consider a geometric theta correspondence from the first homology of a modular curve, to modular forms of weight $2$. Using Stevens' description of the homology, we find that this map sends modular symbols to product of weight one Eisenstein series, modular caps to weight $2$ Eisenstein series, and hyperbolic cycles to diagonal restrictions of Hilbert-Eisenstein series. We use it to revisit work of Borisov and Gunnells, and explain its connection to a theorem of Li. In particular, we give a geometric proof of certain relations between Eisenstein series.

研究动机与目标

• 推动一个从 H1(Y1(N); Z) 到 Γ1(N) 的权重为 2 的全纯模形式的几何 theta 升变。
• 描述模符号、模盖与非奇异循环在升变下如何映射到 Eisenstein 式对象。
• 将 theta 升变后的像与权重为 2 的 Eisenstein 形式的已知覆盖集与关系（Borisov–Gunnells、Li）联系起来。
• 提供一个利用边界/循环数据通过 theta 对应关系推导 Eisenstein 关系的框架。

提出的方法

• 定义 theta 升变 𝒢: H1(Y1(N); Z) → M2(Γ1(N))，通过一个微分形式 𝒢(z, τ) ∈ Ω1(Y1(N)) ⊗ C∞(H)。
• 在同调中计算傅里叶展开 [𝒢] = −(1/2iπ) d log(g0,1) − ∑ PD(Tn{0,∞}) q^n。
• 证明模盖映射到权重 2 的 Eisenstein 系列，模符号映射到权重 1 的 Eisenstein 系列的积。
• 使用 Stevens 的同源描述和连分数分解，将双曲循环表示为盖子和统一符号的线性组合。
• 给出周期的显式公式：对一个 cusp cap C_r 的周期为 H(2)_{d,−c}^{(2)}(τ)，对非奇异符号的周期为 −G_d^{(1)}(τ) G_c^{(1)}(τ)。
• 通过在双曲三角形的边界循环与模盖上评估升变，得到 Eisenstein 系列之间的关系。

Figure 1: We represent $\mathbb{H}$ in the Poincaré disc model. The polygon $\pazocal{P}$ is closed in the Borel-Serre compactification. The circles around the cusps are the horocycles at infinity containing the modular caps. The theta lift sends the modular symbols on each side to a product of two

实验结果

研究问题

• RQ1 theta 升变从 H1(Y1(N); Z) 到 M2(Γ1(N)) 如何与 H1 的模块化盖子与模符号部分的分解相互作用？
• RQ2 升变是否能够从几何循环生成权重为 2 的 Eisenstein 形式的已知覆盖集（无秩置零的新形式、权重 1 的 Eisenstein 形式的积、对角 Hilbert-Eisenstein 限制）？
• RQ3 来自双曲循环边界的权重为 2 的 Eisenstein 关系有哪些，它们与 Borisov–Gunnells 与 Li 的结果有何关系？
• RQ4 这些结果是否可推广到更高阶情形，即通过广义 theta 对应从(n−1)-th 同调到权重为 n 的模形式？

主要发现

• 实现了一个 theta 升变，其像包含权重为 2 的 Eisenstein 形式及相关积的子空间 H^(2) ⊕ S^(new)_{2,rk=0}(Γ1(N))。
• 推论 1.1.1 表明 Im(𝒢) 包含由 G^(2)_q (q ≠ 0 mod N) 和 H^(2)_{p,0} 组成的子空间，与 Borisov–Gunnells 与 Li 的描述一致（当 N 为素数时相等）。
• 定理 1.2 指出双曲循环的 theta 影像是对角 Hilbert-Eisenstein 形式 E_{1,𝔣}^{(1)}(τ, τ)；这将双曲循环与 Hilbert-Eisenstein 限制联系起来。
• 定理 1.3 计算周期：模盖映射到权重 2 的 Eisenstein 系列，非奇异符号映射到权重 1 的 Eisenstein 系列的乘积，边界分解按此表达 Z_γ。
• 定理 1.4 给出超曲线 γ 的 𝒢(Z_γ) 的显式展开，以 H^{(2)} 与 G^{(1)}G^{(1)} 的乘积为系数，系数由连分数据决定。
• 定理 1.5 在 a,b,c 互素且 a+b+c ≡ 0 (模 N) 时，给出 Eisenstein 关系 G_a^{(1)}G_b^{(1)} + G_b^{(1)}G_c^{(1)} + G_c^{(1)}G_a^{(1)} = G_a^{(2)} + G_b^{(2)} + G_c^{(2)}。

Figure 2: The hyperbolic triangle closes in the Borel–Serre compactification. Its vertices $r_{1},r_{2},r_{3}$ are cusps connected by unimodular sides and completed by modular caps. Each side is mapped to a product of two weight $1$ Eisenstein series, while each modular cap is mapped to a weight $2$