Theta correspondence and the Borisov-Gunnells relations

기술 요약: 세타 대응성과 보리소프-거넬스 관계식 (Theta Correspondence and the Boris-Gunnells Relations)

문제 제기
본 논문은 모듈러 곡선 $Y_1(N)$의 제1 호몰로지(first homology)로부터 무게 2의 정칙 모듈러 형식 공간 $M_2(\Gamma_1(N))$으로 가는 기하학적 세타 대응을 조사한다. 주요 목적은 호몰로지 군의 특정 생성원들, 즉 모듈러 심볼(modular symbols), 모듈러 캡(modular caps), 그리고 쌍곡형 사이클(hyperbolic cycles)에 대해 이 대응을 명시적으로 평가하여, 모듈러 형식의 스팬 집합(spanning sets)에 관한 기존 결과들을 복구하고 설명하는 것이다. 구체적으로, 저자는 무게 1 아이젠슈타인 급수의 곱을 사용하여 랭크 0의 뉴폼(newforms)과 아이젠슈타인 급수 공간을 기술한 보리소프(Borisov)와 거넬스(Gunnells)의 연구와, 힐베르트-아이젠슈타인 급수의 대각 제한(diagonal restrictions)을 사용하여 유사한 공간을 기술한 리(Li)의 연구 사이의 관계를 명확히 하고자 한다. 부차적인 목표는 이 기하학적 프레임워크를 활용하여 아이젠슈타인 급수들 사이의 선형 관계를 유도하는 것이다.

방법론
방법론은 모듈러 형식의 무게 2 값을 갖는 폐쇄 미분 형식(closed differential form) $E(z, \tau)$를 모듈러 곡선 위에 구성하는 것에 의존한다. 이 구성은 마타이-퀼런(Mathai-Quillen) 형식론과 바일 표현(Weil representation)을 활용하여 베르제로-샤롤루아-가르시아(Bergeron-Charollois-Garcia)와 쿠들라-밀슨(Kudla-Millson)의 아이디어를 결합한다.

1. 기하학적 설정: 저자는 모듈러 곡선의 보렐-세르 컴팩티피케이션(Borel-Serre compactification) $Y_1(N)^{BS}$를 고려한다. 호몰로지 $H_1(Y_1(N); \mathbb{C})$는 스티븐스(Stevens)를 따라 닫힌 모듈러 캡 $C(C)$의 공간과 차수가 0인 모듈러 심볼 $MS_0(\mathbb{C})$의 직합으로 분해된다.
2. 세타 리프트(Theta Lift): 사상 $E: H_1(Y_1(N); \mathbb{C}) \to M_2(\Gamma_1(N))$는 1-사이클들에 대해 미분 형식 $E(z, \tau)$를 적분함으로써 정의된다. 이 형식은 $2 \times 2$ 행렬 공간 내의 격자 코셋(lattice coset) $L_{1,0}$에 연관된 세타 급수의 푸시포워드(pushforward)를 통해 구성된다.
3. 명시적 평가:
   • 모듈러 캡: 첨점(cusp) $r$에서의 닫힌 모듈러 캡 $C_r$에 대한 적분은 경계에서의 형식의 상수항을 분석함으로써 계산된다.
   • 모듈러 심볼: 유니모듈러 심볼(unimodular symbol)에 대한 적분은 푸아송 합산(Poisson summation)과 세타 급수의 측지선(geodesic)으로의 제한을 사용하여 계산된다.
   • 쌍곡형 사이클: 스티븐스의 연속 분수 알고리즘을 사용하여, 쌍곡형 사이클 $Z_\gamma$를 모듈러 캡과 유니모듈러 심볼의 선형 결합으로 분해한다. 그 후 적분을 항별로 평가한다.
4. 스펙트럼 분석: 세타 리프트의 상(image)은 코호몰로지의 스펙트럼 분해를 사용하여 분석되며, 이는 리프트와 $s=1$에서 $L$-값이 0이 아닌 뉴폼 및 아이젠슈타인 급수 사이의 관계를 연결한다.

주요 기여 및 결과

• 호몰로지 생성원에 대한 평가 (정리 1.4):

  • 첨점 $r = \gamma \infty$에서의 닫힌 모듈러 캡 $C_r$에 대한 세타 리프트의 적분은 무게 2 아이젠슈타인 급수 $H^{(2)}_{d, -c}(\tau)$를 산출한다.
  • 유니모듈러 심볼 $M = \gamma\{0, \infty\}$에 대한 적분은 두 무게 1 아이젠슈타인 급수의 곱, 즉 $-G^{(1)}_d(\tau)G^{(1)}_c(\tau)$를 산출한다.

• 스팬 집합과 리의 결과 (정리 1.2, 1.3, 및 3.15):

  • 세타 리프트의 상 $\text{Im}(E)$은 무게 2 아이젠슈타인 급수 $H^{(2)}$에 의해 생성되는 부분 공간과 랭크 0의 뉴폼 공간($S^{new}_{2, rk=0}$)을 포함한다. $N$이 소수일 때, 이 포함 관계는 등호가 성립한다.
  • 쌍곡형 사이클 $Z_\gamma$에 대한 리프트를 평가함으로써, 저자는 리(Li)의 결과를 복구한다: 즉, $S^{new}_{2, rk=0}$는 힐베르트-아이젠슈타인 급수 $E^{(1)}_{1, f_\gamma}(\tau, \tau)$의 대각 제한들에 의해 생성된다.
  • 본 논문은 $\text{Im}(E)$가 무게 2 아이젠슈타인 급수와 무게 1 아이젠슈타인 급수의 곱($H^{(1,1)}$)의 스팬에 포함됨을 입증하며, 이를 통해 보리소프와 거넬스가 기술한 스팬 집합에 대한 기하학적 설명을 제공한다.

• 아이젠슈타인 급수 사이의 관계 (정리 1.6 및 4.10):

  • 경계가 세 개의 유니모듈러 심볼과 세 개의 모듈러 캡으로 구성된 보렐-세르 컴팩티피케이션 내의 쌍곡형 삼각형 $T$를 고려함으로써, 저자는 경계가 호몰로지적으로 0($\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$에 대해 0이 아닌 정수이다. 이는 이전에 보리소프와 거넬스에 의해 확립된 관계들에 대한 기하학적 증명을 제공한다.

의의
본 논문은 두 가지 서로 다른 모듈러 형식 공간의 기술을 연결하는 통합된 기하학적 프레임워크를 제공한다는 점에서 의의를 갖는다:

1. 본 논문은 보리소프-거넬스 관계식(무게 1 아이젠슈타인 급수의 곱)과 리의 결과(힐베르트-아이젠슈타인 급수의 대각 제한)를 단일한 기하학적 세타 리프트를 서로 다른 호몰로지 생성원 위에서 평가하는 것으로부터 자연스럽게 도출되는 결과임을 설명한다.
2. 본 논문은 아이젠슈타인 급수의 특정 선형 관계를 순수하게 해석적인 조작이 아닌, 모듈러 곡의 위상과 세타 리프트의 성질로부터 직접 유도된 기하학적 증명을 제공한다.
3. 본 논문은 보렐-세르 컴팩티피케이션과 모듈러 캡의 역할을 명확히 하여, 경계 항(캡)이 아이젠슈타인 급수에 대응하고 내부 항(심볼)이 더 낮은 무게의 급수의 곱에 대응함을 보여준다.

저자는 관련 문헌(특히 [BG01] 및 [Li17])과 스팬 집합에 관한 결과는 유사하지만, 기여점은 세타 대응을 통한 유도와 푸리에 계수 및 적분의 명시적인 기하학적 해석에 있다고 밝히고 있다.