Eisenstein classes and generating series of modular symbols in $\mathrm{SL}_N$

기술 요약: $SL_N$에서의 아이젠슈타인 클래스 및 모듈러 심볼의 생성 급수

1. 문제 정의
본 논문은 잘 확립된 쿠들라-밀슨슨(Kudla-Millson) 리프트가 직교 군(orthogonal groups)에 대해 보여주는 것과 유사하게, $SL_N(\mathbb{R})$에 연관된 대칭 공간을 위한 기하학적 세타 리프트(geometric theta lift)를 구축하는 문제를 다룬다. 핵심 문제는 국소 대칭 공간 $S_\Gamma = \Gamma \backslash SL_N(\mathbb{R})/SO(N)$의 호몰로지와 무게 $N$인 모듈러 형식의 공간 사이의 관계를 규명하는 것이다. 구체적으로, 저자는 특정 최대 파라볼릭 부분군(maximal parabolic subgroups)과 관련된 "특별 사이클(special cycles)"(모듈러 심볼)의 푸리에 계수가 되는 리프트를 정의하고자 하며, 이 리프트의 상수항을 정준적인 아이젠슈타인 클래스(canonical Eisenstein class)로 특징짓고자 한다.

2. 방법론
이 구축은 톰 클래스(Thom classes)와 그 트랜스그레션(transgressions)을 나타내는 미분 형식을 생성하기 위해 마타이-퀼런(Mathai-Quillen) 형식론에 의존한다.

• 기하학적 설정: 저자는 대칭 공간 $X \cong GL_N(\mathbb{R})^+/SO(N)$와 그 부분 공간 $S \cong SL_N(\mathbb{R})/SO(N)$를 고려한다. 벡터 공간 $V = \mathbb{Q}^N \oplus \mathbb{Q}^N$는 부호 $(N, N)$을 갖는 이차 형식 $Q$를 가진다. 군 $GL_N(\mathbb{Q})$는 표현 $\rho$를 통해 $V$에 작용하며, $X$를 직교 대칭 공간 $D$로 임베딩한다.
• 특별 사이클: $Q(v) > 0$인 벡터 $v \in V$에 대하여, 저자는 코디멘션 $N-1$을 갖는 부분 다양체 $S_v \subset S$를 정의한다. 이들은 더 작은 대칭 공간 $GL_{N-1}(\mathbb{R})^+/SO(N-1)$의 임베딩의 상이다. 호몰로지 클래스 $Z[v]$는 격자의 판별 군(discriminant group) 위에서 테스트 함수 $\chi$를 사용하여 형성된 $Z_n(\chi)$의 몫(quotient)으로 정의된다.
• 세타 커널 구축:
  • 마타이-퀼런 형식론을 사용하여, $\phi \in \Omega^N(X) \otimes S(V_\mathbb{R})$인 닫힌 $GL_N(\mathbb{R})^+$-불변 형식을 구성한다. 이 형식은 $X \hookrightarrow D$ 임베딩을 통한 쿠들라-밀슨슨 형식의 풀백(pullback)이다.
  • 세타 급수 $\Theta_{\phi, \chi}(z, \tau)$를 바이 $\text{Weil}$ 표현(Weil representation)에 의해 뒤틀린(twisted) 격자에 대한 합으로서 정의한다.
  • 형식 $\phi$는 파이버링 $X \cong S \times \mathbb{R}_{>0}$에 따라 분해된다. 파이버 $\mathbb{R}_{>0}$를 따라 있는 성분을 적분하여 $S_\Gamma$ 상의 형식 $E_{\phi, \chi}(z_1, \tau)$를 생성한다. 이 적분은 오일러 클래스의 트랜스그레션을 의미한다.
• 푸리에 전개: 결과적인 급수의 푸리에 계수는 푸아송 합산(Poisson summation)과 마타이-퀼리언 형식의 부분 푸리에 변환에 대한 명시적 공식을 사용하여 계산된다.

3. 주요 기여 및 결과

• 아이젠슈타인 클래스 리프트 (정리 1.1): 본 논문은 리프트 $E_{\phi, \chi}: H^{N-1}(S_\Gamma; \mathbb{Z}) \to M_N(\Gamma')$ (여기서 $M_N$은 무게 $N$인 모듈러 형식을 의미함)를 정의한다. 이 리프트는 호몰로지 사이클에 대한 세타 커널의 적분으로 주어진다.

  • 푸리에 전개는 다음과 같이 나타난다:
    $$\int_Z E_{\phi, \chi}(z_1, \tau) = \int_Z z(\chi) + (-1)^{\frac{N(N-1)}{2}} \sum_{n=1}^\infty (Z, Z_n(\chi)) q^n$$
  • 여기서 $(Z, Z_n(\chi))$는 사이클 $Z$와 특별 사이클 $Z_n(\chi)$ 사이의 교차 쌍(intersection pairing)이다.
  • 상수항 $z(\chi)$는 토러스 번들의 오일러 클래스를 트랜스그레스하여 얻은 정준적 아이젠슈타인 클래스로 식별되며, 이는 베르제롱-샤롤와-가르시아(Bergeron-Charollois-Garcia)의 구축과 일치한다.

• 커널 및 상의 특징 (정리 1.2): 본 논문은 리프트의 커널이 특별 사이클 $Z_n(\chi)$의 스팬(span)에 직교하는 호몰로지 클래스들로 구성됨을 확립한다. 반대로, (큐스프 폼으로부터의) 수반 리프트(adjoint lift)의 상은 이러한 특별 사이클들의 스팬 내에 포함된다.

• 모듈러 심볼에 대한 평가 (정리 1.3 & 1.4):

  • 리프트는 스플릿 토러스(split tori)와 연관된 모듈러 심볼 $Z_Q$ 상에서 평가된다(고전적 모듈러 심볼의 일반화). 결과는 무게 1인 아이젠슈타인 급수와 테스트 함수 $\chi$의 이산 푸리에 변환의 곱으로 표현된다.
  • 완전 실수체(totally real fields)에 부착된 사이클(컴팩트 토러스) 상에서 평가될 때, 리프트는 힐베르트-아이젠슈타인 급수의 대각 제한(diagonal restriction)을 산출한다.

• $N=2$의 경우 (섹션 5):

  • 모듈러 곡선 $Y_0(p)$에 대하여, 특별 사이클 $Z_n(\chi)$는 표준 모듈러 심볼의 헤케 이동(Hecke translate) $T_n\{0, \infty\}$로 식별된다.
  • 리프트는 아이젠슈타인 급수와 $L$-함수가 $s=1$에서 0이 아닌 뉴폼(newforms)들에 의해 생성되는 무게 2 모듈러 폼의 부분 공간으로 사상됨을 보인다.
  • 이는 힐베르트-아이젠슈타인 급수의 대각 제한이 교차 수(intersection numbers)의 생성 급수라는 다르몽-포지-본크(Darmon-Pozzi-Vonk)의 결과를 회복하고 정교화한다.

4. 의의 및 주장
본 논문은 직교 설정에서 $SL_N$ 설정으로 쿠들라-밀슨슨 세타 대응을 확장한다고 주장한다. 주요 의의는 다음과 같다:

1. 통합: 세타 리프트의 푸리에 계수가 최대 파라볼릭 부분군과 연관된 모듈러 심볼의 포앵카레 쌍대(Poincaré duals)와 명시적으로 일치함을 보여줌으로써 통합된 프레임워크를 제공한다.
2. 정준적 클래스: 리프트의 상수항을 오일러 클래스로부터 유도된 특정 코호몰로지 클래스(아이젠슈타인 클래스)로 구축함으로써, 미분 기하학(마타이-퀼리언)과 산술 기하학을 연결한다.
3. 랭크 2에서의 전사성: $N=2$인 경우, 리프트가 아이젠슈타인 급수와 특정 고유 형식들에 의해 생성되는 모듈러 폼 전체 공간을 포착함을 입증함으로써, 모듈러 곡선의 호몰로지 내에서 모듈러 심볼의 스팬을 특징짓는다.

저자는 구축된 미분 형식이 베르제롱-샤롤와-가르시아의 것과는 다르지만, 완전 실수체에 부착된 사이클에 대한 주기(periods)가 일치한다는 점을 언급하며, 이는 두 리프트가 동등함을 강력하게 시사한다. 이 연구는 특별 사이클 및 모듈러 심볼에 관한 기존의 결과들을 고차원 군(higher-rank groups)으로 일반화하는 역할을 한다.