[논문 리뷰] Derivatives of Eisenstein series and arithmetic geometry

Stephen S. Kudla|ArXiv.org|2003. 04. 16.

Advanced Algebra and Geometry참고 문헌 17인용 수 18

한 줄 요약

이 논문은 서명 (n,2)인 시무라 다양체 위의 차원 2 사이클의 산술 생성함수와 시겔 아이zen슈타인 급수의 도함수 사이의 추측적 관계를 제안한다. 이는 n=2인 경우에 알려진 결과를 일반화한 것이다. 유도된 교차 이론과 특수 함수를 이용하여, 서명 (1,1) 또는 (0,2)인 비특이 T에 대해 항등식을 확립하였고, p-진 균일화와 특수 함수를 통한 방법으로 특정 케이스를 증명하였다. 현재는 랭크 1인 특이 T에 대한 작업이 진행 중이다.

ABSTRACT

We describe connections between the Fourier coefficients of derivatives of Eisenstein series and invariants from the arithmetic geometry of the Shimura varieties $M$ associated to rational quadratic forms $(V,Q)$ of signature $(n,2)$. In the case $n=1$, we define generating series $\hatϕ_1(τ)$ for 1-cycles (resp. $\hatϕ_2(τ)$ for 0-cycles) on the arithmetic surface $\Cal M$ associated to a Shimura curve over $\Bbb Q$. These series are related to the second term in the Laurent expansion of an Eisenstein series of weight $\frac32$ and genus 1 (resp. genus 2) at the Siegel--Weil point, and these relations can be seen as examples of an `arithmetic' Siegel--Weil formula. Some partial results and conjectures for higher dimensional cases are also discussed.

연구 동기 및 목표

• 서명 (2,2)인 경우에서의 산술 사이클 생성함수 이론을 서명 (n,2)인 고차원 시무라 다양체로 확장한다.
• 차원 2 사이클의 생성함수와 무게 32인 시겔 아이젠슈타인 급수의 s=0에서의 도함수 사이의 추측적 항등식을 확립한다.
• 산술 초월 코호몰로지 군에서 사이클 클래스를 통해 아이젠슈타인 급수의 도함수 이론을 고차원 산술 기하학으로 일반화한다.
• 정규, 비정규, 비특이 서명 (1,1) 또는 (0,2)인 경우를 포함한 Sym₂(ℤ) 내의 다양한 대칭 행렬 T에 대해 추측적 항등식을 검증한다.
• 현재 방법이 제한되는 p=2의 경우로 확장하고, 랭크 1인 특이 T에 대한 증명을 라포포르 및 양과의 공동 연구를 통해 완성한다.

제안 방법

• 수직 사이클 $ Z(t_1) $ 및 $ Z(t_2) $의 기저층의 유도된 텐서곱의 오일러-포이아르체 프로파일 $ \text{Zh}(T,v) $ 를 정의하며, 이는 $ \text{CH}^2(\tilde{M}) \otimes \mathbb{R} $ 에 값이 있다.
• 비특이 T가 서명 (1,1) 또는 (0,2)인 경우, Hermitian 도메인 D 위에서 그린 함수의 *-곱의 적분으로 $ \Lambda(\mathbf{x}) $ 를 정의하며, O(2)에 대해 불변이다.
• 정의된 $ \Lambda(\mathbf{x}a) $ 가 직교 변환에 대해 불변임을 이용하여, $ \Gamma $-궤도 위의 $ \mathbf{x} \in L^2 $ 쌍(여기서 $ Q(\mathbf{x}) = T $)에 대한 합으로 $ \text{Zh}(T,v) $ 를 구성한다.
• 정규 케이스(p∤2D(B))에서는 키타오카의 국소 표현 밀도 $ \alpha_p(S,T) $ 공식을 사용하고, 비정규 케이스에서는 양의 일반화된 공식을 적용한다.
• p-진 균일화 설정에서, p-분할군 간 이소지니의 변형 이론에 기반해 $ \chi(Z(T), \mathcal{O}_{Z(t_1)} \otimes^L \mathcal{O}_{Z(t_2)}) $ 를 계산한다.
• 시무라 이론을 활용하여 $ \Lambda(\mathbf{x}) $ 를 행렬 변수에 대한 콘플루언트 하이퍼기하급수의 s=0에서의 도함수와 연결하며, 정리 3의 불변성 조건을 이용한다.

실험 결과

연구 질문

• RQ1 서명 (n,2)인 시무라 다양체 위의 차원 2 산술 사이클의 생성함수 $ \hat{\phi}_2(\tau) $ 는 무게 32인 시겔 아이젠슈타인 급수의 s=0에서의 도함수와 일치하는가?
• RQ2 산술 높이 쌍대성 $ \text{Zh}(T,v) $ 는 수직군 O(2) 작용에 대해 어떻게 행동하며, 이는 정의의 잘 정의됨을 보장하는가?
• RQ3 아이젠슈타인 급수의 도함수의 푸리에 계수와 산술 교차 수 $ \chi(Z(T), \mathcal{O}_{Z(t_1)} \otimes^L \mathcal{O}_{Z(t_2)}) $ 사이의 정확한 관계는 무엇인가?
• RQ4 비정규 케이스에서 p≠2의 제약 조건을 어떻게 제거할 수 있으며, 키타오카 및 양의 결과를 p=2로 확장할 수 있는가?
• RQ5 추측적 항등식은 랭크 1인 특이 T로까지 확장될 수 있는가? 이 경우 p-분할군 간 이소지니의 변형 이론은 어떤 역할을 하는가?

주요 결과

• 비특이 T가 서명 (1,1) 또는 (0,2)인 경우, 추측적 항등식 $ \mathcal{E}'_2(\tau,0;D(B)) \overset{?}{=} \hat{\phi}_2(\tau) $ 가 성립하며, $ \text{Zh}(T,v) $ 는 아이젠슈타인 급수의 푸리에 계수와 일치한다.
• p \nmid 2D(B) 인 정규 T에 대해, 푸리에 계수 $ \mathcal{E}'_{2,T}(\tau,0;D(B)) $ 는 키타오카의 국소 표현 밀도 공식을 통해 계산된다.
• 비정규 T에 대해 p ≠ 2인 경우, 오일러-포이아르체 특성수 $ \chi(Z(T), \mathcal{O}_{Z(t_1)} \otimes^L \mathcal{O}_{Z(t_2)}) $ 는 p-진 균일화를 통해 계산되며, \cite{krinvent} 의 결과에 의존한다.
• 서명 (0,2)의 경우, 시무라 이론을 통해 $ \Lambda(\mathbf{x}) $ 를 행렬 변수에 대한 콘플루언트 하이퍼기하급수의 s=0에서의 도함수와 연결함으로써 증명된다.
• O(2)에 대해 $ \Lambda(\mathbf{x} \cdot k) = \Lambda(\mathbf{x}) $ 라는 불변성은 $ \text{Zh}(T,v) $ 가 $ v = a^t a $ 를 만족하는 $ a $ 의 선택에 독립적임을 보장하는 데 핵심적이다.
• 랭크 1인 특이 T에 대한 추측의 검증은 현재 라포포르 및 양과의 공동 연구를 통해 거의 완료되었으며, 높이 2이자 차원 1인 $ \overline{\mathbb{F}}_p $ 위의 p-분할군 간 이소지니의 변형 이론을 활용하였다.