[논문 리뷰] Nonlift weight two paramodular eigenform constructions

Cris Poor, Jerry Shurman외 1명|arXiv (Cornell University)|2018. 05. 10.

Advanced Algebra and Geometry참고 문헌 12인용 수 3

한 줄 요약

이 논문은 Gritsenko 릿지에 의해 다루어지지 않은 모든 소수 수준 $N < 600$에 대해 비리프트 무게 두 파라모듈라 시겔 촘프 고유형을 Borcherds 곱과 유한 특성에서의 모듈라 형식을 사용하여 완성한다. 특히, 특성 $p$에서 수준 $2N$로의 추적 내림 기법을 통해 예외적 수준 $N = 461$과 $587^+$에서 비리프트 형식의 존재를 확인함으로써 이 경우들에 대해 파라모듈라 추측을 확인한다.

ABSTRACT

We complete the construction of the nonlift weight two cusp paramodular Hecke eigenforms for prime levels N&lt;600, which arise in conformance with the paramodular conjecture of Brumer and Kramer.

연구 동기 및 목표

• Gritsenko 릿지에 의해 다루어지지 않은 모든 소수 수준 $N < 600$에 대해 비리프트 무게 두 파라모듈라 Hecke 고유형의 구축을 완료하는 것.
• 특히 Borcherds 곱이 플러스 공간에 존재하지 않는 $N = 461$과 $587^+$와 같은 나머지 예외적 사례를 해결하는 것.
• 유한 특성에서 수준 $2N$로의 추적 내림 기법을 사용하여 이러한 수준에서 비리프트 고유형의 존재를 확립하는 것.
• 아벨 곡면, QM 아벨 사중체, 그리고 파라모듈라 형식 사이의 일대일 대응을 예측하는 파라모듈라 추측을 뒷받침하는 계산적 증거와 명시적 구축을 제공하는 것.

제안 방법

• 대부분의 예외적 수준에서, 테타 블록과 특이 촘프 형식을 사용하여 ${\mathcal{S}}_2({\rm K}(N))$에서 Borcherds 곱을 통해 비리프트 고유형을 구축한다.
• $N = 461$과 $587^+$에서는 플러스 공간에 Borcherds 곱이 존재하지 않기 때문에, 특성 $p$에서의 유한 특성에서의 수준 $2N$ 임베딩을 사용하여 ${\mathcal{S}}_2({\rm K}(2N))^{-,+}$에서 형식을 구축한다.
• Atkin–Lehner 고유형 ${\mathcal{S}}_2({\rm K}(2N))^{-,+}$의 부분적인 푸리에 계수 데이터를 특성 $p$에서의 연장 및 메우기 기법을 사용하여 확장한다.
• 특성 $p$에서의 올림 고유형에 대해 추적 내림 연산자 $\operatorname{TD}$를 적용하여 ${\mathcal{S}}_2({\rm K}(N))^{+}$에 있는 형식을 얻으며, 정수성과 특성 $p$의 구조를 유지한다.
• 푸리에 계수 수를 세어 특성 $p$에서 Gritsenko 릿지와의 선형 독립성을 검증한다 (각각 $N=461$에 대해 255개, $N=587$에 대해 271개).
• 특성 0에서 비리프트 형식의 존재를 유추하기 위해 $\operatorname{TD}((f^{-,+}_{2N})_p) = (\operatorname{TD}f^{-,+}_{2N})_p$라는 사실을 활용한다.

실험 결과

연구 질문

• RQ1 플러스 공간에 Borcherds 곱이 존재하지 않는 수준 $N = 461$에서 비리프트 파라모듈라 고유형이 존재하는가?
• RQ2 $N = 587^+$에서 직접적인 Borcherds 곱 구축이 불가능하더라도 비리프트 고유형의 존재를 확립할 수 있는가?
• RQ3 연장 및 메우기 기법을 사용한 푸리에 계수의 유한 특성 방법을 통해 추적 내림 고유형의 비리프트 성격을 검증할 수 있는가?
• RQ4 특성 $p$에서 계산된 푸리에 계수는 추적 내림 고유형이 Gritsenko 릿지와 선형 독립임을 충분히 구분할 수 있는가?
• RQ5 모든 소수 수준 $N < 600$에 대해 파라모듈라 추측이 완전히 확인되었는가?

주요 결과

• 논문은 Gritsenko 릿지에 의해 다루어지지 않은 모든 소수 수준 $N < 600$에 대해 비리프트 무게 두 파라모듈라 고유형의 구축을 완료하였으며, 이전까지 미해결이었던 사례들인 $N = 277, 349, 353, 389, 461, 523, 587^\pm$를 포함한다.
• $N = 461$의 경우, 특성 $p = 12347$에서 수준 $922$의 Atkin–Lehner 고유형을 추적 내림하여 ${\mathcal{S}}_2({\rm K}(461))^+$에서 비리프트 고유형의 존재를 확인하였으며, 특성 $p$에서의 255개 푸리에 계수를 사용하였다.
• $N = 587^+$의 경우, 수준 $1174$에서의 형식을 추적 내림하여 비리프트 고유형의 존재를 확립하였으며, Gritsenko 릿지와의 선형 독립성을 확인하기 위해 271개의 푸리에 계수를 사용하였다.
• 예외적 수준의 플러스 및 마이너스 공간의 차원은 완전히 결정되었다: $N \neq 587$에 대해 $\dim{\mathcal{S}}_2({\rm K}(N))^+ = \dim{\rm J}_{2,N}^{\rm cusp} + 1$ 이고 $\dim{\mathcal{S}}_2({\rm K}(N))^- = 0$, $N = 587$일 때는 $\dim{\mathcal{S}}_2({\rm K}(587))^- = 1$이다.
• 이 구축은 파라모듈라 추측이 모든 소수 수준 $N < 600$에서 성립하며, $L$-함수 매칭을 통해 $\mathcal{A}_N \cup \mathcal{B}_N \longleftrightarrow \mathcal{P}_N$의 일대일 대응이 실현됨을 확인한다.
• 결과적으로, 600 이하의 소수 수준에 대한 파라모듈라 추측의 마지막 미해결 사례들이 해결되었으며, [14]에서 시작된 프로그램과 Borcherds 곱을 통한 확장이 완성되었다.