[논문 리뷰] Theta correspondence and the Borisov-Gunnells relations

Romain Branchereau|arXiv (Cornell University)|2026. 02. 01.

Advanced Algebra and Geometry인용 수 0

한 줄 요약

이 논문은 모듈러 커브의 1차 동학에서 기하학적 시타 리프트를 가중치 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)에서 holomorphic modular forms of weight 2 on Γ1(N)으로의 기하학적 시타 리프트를 동기화한다.
• 리프트 하에서 모듈러 심볼, 모듈러 컵, unimodular 사이클이 Eisenstein-형 객체로 어떻게 매핑되는지 기술한다.
• 시타 리프트된 이미지를 가중치-2 Eisenstein 형식의 이미데이터에 대한 알려진 범위집합 및 관계(Borisov–Gunnells, Li)와 연결한다.
• 시타 대응을 사용하여 경계/순환 데이터로부터 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 를 Fourier 전개로 계산한다.
• 모듈러 컵은 가중치 2 Eisenstein 시리즈로 매핑되고 모듈러 심볼은 가중치-1 Eisenstein 시리즈의 곱으로 매핑됨을 보인다.
• Stevens의 동학 설명과 연속분수 분해를 사용하여 쌍곡선 사이클을 컵과 unimodular 기호들의 조합으로 표현한다.
• 기간의 명시적 공식을 도출한다: 궁극의 궁수 상의 C_r에 대한 기간은 τ의 H(2)_{d,−c}^{(2)}(τ)이고 unimodular 기호의 기간은 −G_d^{(1)}(τ) G_c^{(1)}(τ)이다.
• 가중치-2 Eisenstein 시리즈 간의 관계를 hyperbolic 삼각형의 경계 사이클 및 모듈러 컵에 대해 리프트를 평가하여 얻는다.

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))로의 시타 리프트가 modular-caps와 modular-symbols 부분으로의 분해와 어떻게 상호 작용하는가?
• RQ2 리프트가 기하학적 순환으로부터 가중치-2 Eisenstein 형식의 알려진 spanning 세트를 생성할 수 있는가(랭크-0 신규형, 가중치-1 Eisenstein 시리즈의 곱, 대각 Hilbert-Eisenstein 제한 등)?
• RQ3 Hyp**erbolic cycles의 경계로부터 어떤 Eisenstein-관계가 도출되며, 그것이 Borisov–Gunnells와 Li의 결과와 어떻게 관련되는가?
• RQ4 추가로 이 결과가 더 높은 차원의 설정으로 확장되어 (n−1)-st 동학에서 가중치-n 모듈러 형식으로의 일반화 시타 대응이 가능한가?

주요 결과

• 시타 리프트를 구현하여 그 이미지가 가중치-2 Eisenstein 형식 및 관련 곱의 공간 H^(2) ⊕ S^(new)_{2,rk=0}(Γ1(N))를 포함한다.
• Corollary 1.1.1은 Im(𝒢)가 G^(2)_q (q ≠ 0 mod N)와 H^(2)_{p,0}로 구성된 부분공간을 포함함을 보여주며 Borisov–Gunnells 및 Li의 설명과 일치한다( N이 소수일 때 동등).
• Theorem 1.2는 hyperbolic cycle의 시타 이미지를 대각 Hilbert-Eisenstein 형태 E_{1,𝔣}^{(1)}(τ, τ)로 식별하며, 이는 hyperbolic cycles를 Hilbert-Eisenstein 제한과 연결한다.
• Theorem 1.3은 기간을 계산한다: 모듈러 컵은 가중치-2 Eisenstein 시리즈로 매핑되고 unimodular 기호는 가중치-1 Eisenstein 시리즈의 곱으로 매핑되며 경계 분해는 Z_γ를 그에 따라 표현한다.
• Theorem 1.4는 hyperbolic γ에 대한 𝒢(Z_γ)의 명시적 전개를 H^{(2)}와 G^{(1)}G^{(1)}의 곱들로 계수는 연속분수 데이터로 결정된 형태로 제공한다.
• Theorem 1.5는 coprime a,b,c에 대해 a+b+c ≡ 0 (mod N)일 때 Eisenstein-relations 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$