[논문 리뷰] Paramodular Cusp Forms

Cris Poor, David S. Yuen|ArXiv.org|2009. 12. 01.

advanced mathematical theories참고 문헌 12인용 수 23

한 줄 요약

이 논문은 소수 $p < 600$에 대해 파라모듈라 군 $K(p)$에 대한 무게 2의 시겔 모듈라 촉성형을 분류하며, 비-그리츠넨코 헤크 성분형이 $bb{Q}$ 위의 교차수 $p$를 가진 아벨 다양체에 대응함을 보여준다. 이러한 결과들은 시겔 모듈라 형식과 산술기하학을 랑글랜드 철학과 요시다의 작업을 통해 연결하는 파라모듈라 추측을 지지한다.

ABSTRACT

We classify Siegel modular cusp forms of weight two for the paramodular group K(p) for primes p&lt; 600. We find that weight two Hecke eigenforms beyond the Gritsenko lifts correspond to certain abelian varieties defined over the rationals of conductor p. The arithmetic classification is in a companion article by A. Brumer and K. Kramer. The Paramodular Conjecture, supported by these computations and consistent with the Langlands philosophy and the work of H. Yoshida, is a partial extension to degree 2 of the Shimura-Taniyama Conjecture. These nonlift Hecke eigenforms share Euler factors with the corresponding abelian variety $A$ and satisfy congruences modulo \ell with Gritsenko lifts, whenever $A$ has rational \ell-torsion.

연구 동기 및 목표

• 소수 $p < 600$에 대해 파라모듈라 군 $K(p)$에 대한 무게 2의 시겔 촉성형을 분류하는 것.
• 비-그리츠넨코 헤크 성분형과 $bb{Q}$ 위의 교차수 $p$를 가진 아벨 다양체 사이의 대응관계를 확립하는 것.
• 파라모듈라 추측에 대한 계산적이고 산술적 증거를 제공하며, 시무라-타니야마 철학을 차수 2의 시겔 모듈라 형식으로 확장하는 것.
• 코셋 분해와 추적 공식을 통해 헤크 연산자가 시겔 모듈라 형식의 공간에 작용하는 방식을 분석하는 것.

제안 방법

• 파라모듈라 군 $K(p)$와 그가 무게 2의 시겔 모듈라 형식에 작용하는 방식을 이용한다.
• $\Gamma_0'(p)$와 $K(p)$의 코셋 분해를 활용하여 헤크 연산자의 추적 공식을 유도한다.
• 행렬 $J(p)$, $t\left(\begin{smallmatrix} \beta/p & 0 \\ 0 & 0 \end{smallmatrix}\right)$, $s_2$를 포함하는 이중 코셋의 합으로서 헤크 연산자 $\operatorname{Tr}$를 적용한다.
• 항등식 $\mu t\left(\begin{smallmatrix} \beta/p & 0 \\ 0 & \alpha \end{smallmatrix}\right) = t\left(\begin{smallmatrix} \alpha/p & 0 \\ 0 & \beta \end{smallmatrix}\right)\mu$를 사용하여 $F_p$와 $\mu$ 작용 하에서의 촉성형을 연결한다.
• 상삼각형 행렬 대표를 사용하고 모듈라 불변성을 활용하여 $\Gamma_0(p)$-코셋의 구조를 분석한다.
• Hecke 대수에서의 이중 코셋 작용을 명시적으로 계산하여 $F_p \operatorname{Tr} = \operatorname{Tr} \mu$임을 검증한다.

실험 결과

연구 질문

• RQ1 무게 2의 $K(p)$에 대한 비-그리츠넨코 헤크 성분형은 $bb{Q}$ 위의 교차수 $p$를 가진 아벨 다양체와 대응되는가?
• RQ2 이러한 비상승 형식의 오일러 인자들은 관련된 아벨 다양체의 인자들과 어떻게 관련되는가?
• RQ3 무게 2의 시겔 모듈라 형식의 공간에 작용하는 헤크 대수의 구조는 어떠한가?
• RQ4 Hecke 연산자의 추적 공식은 $F_p$와 $\mu$ 작용 하에서 어떻게 분해되는가?
• RQ5 아벨 다양체가 유리수 위의 $\ell$- torsion을 가질 경우, 이러한 형식들이 Gritsenko 상승과 $\ell$ 모듈로에서 어떤 정도의 합동을 만족하는가?

주요 결과

• 소수 $p < 600$에 대해 무게 2의 시겔 촉성형을 $K(p)$에 대해 분류한 결과, 비-그리츠넨코 헤크 성분형이 $bb{Q}$ 위의 교차수 $p$를 가진 아벨 다양체에 대응하는 것으로 나타났다.
• 이러한 비상승 형식은 관련된 아벨 다양체의 $L$-함수와 오일러 인자를 공유하며, 모듈라성 예측을 지지한다.
• 아벨 다양체가 유리수 위의 $\ell$- torsion을 가질 경우, 비상승 형식과 Gritsenko 상승 사이에 $\ell$ 모듈로에서의 합동이 관찰된다.
• 추적 공식 $\operatorname{Tr}$는 $J(p)$, $t\left(\begin{smallmatrix} \beta/p & 0 \\ 0 & 0 \end{smallmatrix}\right)$, $s_2$를 포함하는 이중 코셋의 합으로 표현되며, 코셋 분석을 통해 $F_p \operatorname{Tr} = \operatorname{Tr} \mu$임이 확인되었다.
• Hecke 연산자 $\operatorname{Tr}$는 $\Gamma_0(p)\left(J(p) + \sum_{\beta} t(\beta/p, 0, 0, 0) + \sum_{\alpha} s_2 t(0,0,0,\alpha)J(p) + \sum_{\alpha,\beta} s_2 t(\beta/p, 0, 0, \alpha)\right)$로 분해됨을 보여, Hecke 대수 내에서의 그 구조를 확인하였다.
• 계산을 통해 파라모듈라 군 $K(p)$가 촉성형의 공간에 작용할 때 세 개의 촉점, 즉 $I$, $E_1 = s_2^{-1}$, $F_p$로 표현되며, 추적 공식이 이러한 촉점의 구조를 유지함을 확인하였다.