[논문 리뷰] A reformulation of the Siegel series and intersection numbers

Sungmun Cho, Takuya Yamauchi|arXiv (Cornell University)|2018. 05. 04.

Advanced Algebra and Geometry참고 문헌 23인용 수 5

한 줄 요약

이 논문은 고립된 이차 격자에 대한 Gross-Keating 불변량을 기반으로 하는 귀납적 공식을 사용하여 Siegel 급수의 개념적 재구성(재정의)을 제시하며, Siegel 급수와 정수 계수의 오р토곤럴 Shimura 다양체의 특수 섬유 위의 국소적 교차 곱셈의 깊은 구조적 동치성을 확립한다. 핵심 결과는 $\mathbb{F}_p$ 위에서의 모듈라 대응의 교차 수가 $p > 2$ 에 대해 독립적으로 차수 4, 무게 2의 Siegel-Eisenstein 급수의 푸리에 계수와 연결된 새로운 항등식을 제시하는 것으로, 이는 Siegel 급수를 통해 국소적 교차 곱셈과의 명시적 연결을 제공한다.

ABSTRACT

In this paper, we will explain a conceptual reformulation and inductive formula of the Siegel series. Using this, we will explain that both sides of the local intersection multiplicities of [GK93] and the Siegel series have the same inherent structures, beyond matching values. As an application, we will prove a new identity between the intersection number of two modular correspondences over Fp and the sum of the Fourier coefficients of the Siegel-Eisenstein series for Sp_4 of weight 2, which is independent of p (> 2). In addition, we will explain a description of the local intersection multiplicities of the special cycles over F_p on the supersingular locus of the `special fiber' of the Shimura varieties for GSpin(n; 2), n<=3 in terms of the Siegel series directly.

연구 동기 및 목표

• Gross-Keating 불변량을 기반으로 하는 귀납적 공식을 사용하여 Siegel 급수의 개념적 재구성 제공.
• 수치적 일치를 넘어서, Siegel 급수와 국소적 교차 곱셈 사이의 구조적 동치성 확립.
• 무게 2, 차수 4의 Siegel-Eisenstein 급수의 푸리에 계수와 $\mathbb{F}_p$ 상에서의 모듈라 대응의 교차 수 사이의 새로운 항등식 증명.
• $GSpin(n,2)$-Shimura 다양체의 특수 섬유 위의 국소적 교차 곱셈을 $n \leq 3$ 에 대해 직접적으로 Siegel 급수의 언어로 기술함.

제안 방법

• 비가역 이차 격자의 Gross-Keating 불변량을 기반으로 한 Siegel 급수에 대한 귀납적 공식 유도.
• Gross-Keating 불변량을 사용하여 국소 밀도와 원시 국소 밀도를 재구성하여 Siegel 급수의 구조와 일치시킴.
• Siegel 급수의 귀납적 구조와 [GK93]에서 유도된 국소 교차 곱셈의 귀납적 공식을 비교하여 동일한 재귀 패턴을 확인함.
• Kudla의 프로그램과 [KRY06]의 결과를 활용하여 특수 섬유 위의 국소 교차 곱셈을 격자 불변량을 통해 Siegel 급수와 연결함.
• 재구성된 Siegel 급수를 활용하여 $\mathbb{F}_p$ 상의 교차 수를 일반적이고 초순수한 지역으로 환원함.
• 준표준 승화를 사용하여 $\mathbb{C}$ 와 $\overline{\mathbb{F}}_p$ 상의 교차 수를 비교함으로써, $p$-독립 항등식의 구축을 가능하게 함.

실험 결과

연구 질문

• RQ1 Siegel 급수와 국소적 교차 곱셈은 수치적 우연을 넘어서 구조적 동형성의 기반을 공유하는가?
• RQ2 무게 2, 차수 4의 Siegel-Eisenstein 급수의 푸리에 계수에 대해, $\mathbb{F}_p$ 상에서의 모듈라 대응의 교차 수가 $p$-독립 함수로 표현될 수 있는가?
• RQ3 무게 2, 차수 4의 Siegel-Eisenstein 급수의 푸리에 계수에 대해, $\mathbb{F}_p$ 상에서의 모듈라 대응의 교차 수가 $p$-독립 함수로 표현될 수 있는가?
• RQ4 Gross-Keating 불변량의 귀납적 구조를 반영하는, Siegel 급수의 통일된 재구성은 가능한가?
• RQ5 Kudla의 프로그램 맥락에서, Siegel-Eisenstein 급수의 도함수의 푸리에 계수와 산술적 교차 곱셈 수 사이의 정확한 관계는 무엇인가?

주요 결과

• 논문은 $p > 2$ 에 대해 $\mathbb{F}_p$ 상에서 두 모듈라 대응의 교차 수가 무게 2, 차수 4의 Siegel-Eisenstein 급수의 푸리에 계수의 합과 일치함을 증명한다.
• 국소적 교차 곱셈 $e(\mathcal{Z}(T)_{\overline{\mathbb{F}}_p}, x)$ 는 $-\frac{1}{p-1} \cdot \mathcal{F}'_M(\frac{1}{p})$ 로 주어지며, 여기서 $\mathcal{F}'_M$ 은 질량 2의 비가역 격자 $M$ 과 관련된 Siegel 급수의 도함수이다.
• For $n=3$, 교차 수는 $e(0,a_1,a_2) = \alpha_p(0,a_1,a_2)$ 와 일치하며, [GK93]에서의 국소적 교차 곱셈과 일致한다.
• For $n=1$ 과 $n=2$ 에서는 각각 교차 수 $e(a_0,a_1)$ 와 $e(a_0)$ 가 $\alpha_p(0,a_0,a_1)$ 과 $\alpha_p(0,0,a_0)$ 와 같음을 보여, 귀납적 구조와의 일致를 확인한다.
• 논문은 $\mathbb{F}_p[x,y]/(\psi_{m_1}, \psi_{m_2})$ 의 차원이 그 복소수 대응과 일치함을 증명하여, 교차 수 계산의 $p$-독립성을 검증한다.
• 부록 A의 교차 수 표는 $2 \leq m_1 \leq m_2 \leq 9$, $m_1 m_2$ 가 제곱수가 아니며 $p < 50$ 인 경우에 대해 $\dim_{\mathbb{F}_p} \mathbb{F}_p[x,y]/(\psi_{m_1}, \psi_{m_2}) = \dim_{\mathbb{C}} \mathbb{C}[x,y]/(\psi_{m_1}, \psi_{m_2})$ 를 확인하며, 주요 항등식을 지지한다.