[論文レビュー] Theta correspondence and the Borisov-Gunnells relations

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

Advanced Algebra and Geometry被引用数 0

ひとこと要約

この論文は、モジュラ曲線の第一相同 H1から重み2のモジュラ形式への幾何学的シータリフトを構築し、Borisov–Gunnellsの関係とLiの結果に結びつけ、エisenstein系列の関係を導出する。

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)上のholomorphicな重み2のモジュラ形式への幾何学的シータリフトを動機づける。
• リフトの下でモジュラ記号、モジュラキャップ、非退化サイクルがエ Eisenstein 型オブジェクトへどのように写るかを説明する。
• シータリフトされた像を、重み2のエ Eisenstein 形式の既知の包含集合と関係（Borisov–Gunnells, Li）と関連づける。
• 境界/回 cycleデータを用いてシータ対応によるエ Eisenstein 関係を導く枠組みを提供する。

提案手法

• シータリフト𝒢: 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 の同位性の記述と連分数分解を用いて、双曲回転をキャップと非退化記号の組み合わせとして表現する。
• 区間の周期の具体的な公式として、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 シータリフトがH1(Y1(N); Z)からM2(Γ1(N))へ作用する際、H1のモジュラキャップとモジュラ記号の分解とどのように相互作用するのか。
• RQ2 幾何学的サイクルから、重み2のエ Eisenstein 形式の既知の包含集合（ランク0のニュー forms、重み1のエ Eisenstein 系列の積、対角的なHilbert-Eisenstein制約）をリフトによって生成できるか。
• RQ3 双曲サイクルの境界から生じる重み2のシリーズ間のエ Eisenstein 関係は何か、Borisov–GunnellsとLiの結果とどう関連するか。
• RQ4 n階の一般化シータ対応を用いた高階設定への拡張、すなわち(n−1)次の同相から重み-nのモジュラ形式への一般化は可能か。

主な発見

• シータリフトを実装し、その像が重み2のエ Eisenstein 形式の空間H^(2) ⊕ S^(new)_{2,rk=0}(Γ1(N))と関連する積の空間を含むことを示す。
• 系論1.1は、Im(𝒢)がG^(2)_q (q ≠ 0 mod N)およびH^(2)_{p,0}で生成される部分空間を含み、Borisov–GunnellsとLiの記述と一致する（Nが素数のとき等しい）。
• 定理1.2は、双曲サイクルのシータ像が対角的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 (mod N) を満たすとき、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)}というエ Eisenstein 関係を確立する。

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$