[논문 리뷰] On the paramodularity of typical abelian surfaces (and reduction of G-covariant bilinear forms)

Armand Brumer, Ariel Pacetti외 4명|arXiv (Cornell University)|2018. 05. 28.

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

한 줄 요약

이 논문은 Q 위의 일반적인 아벨 곡면에 대해 알려진 유일한 파라모듈라리티 사례를 확립한다—구체적으로, 도수 277인 종수 2 곡선의 리만 곡면에 대해, 그 L-함수와 무게 2, 수준 277인 비-그리츠켄코 리프트 시에겔 파라모듈라 형식의 L-함수가 정확히 일치함을 엄밀히 검증함으로써 이루어진다. 확장된 팔링스–세르 방법을 사용하여, 시에겔 모듈라 형식을 모듈라 곡선으로의 전문화함으로써 헤케 고유값을 계산하고, 2진 모듈로 및 유한한 소수 집합에서의 갈루아 표현 동치를 증명함으로써, 이 경우의 모듈라리티 검증을 완료하고, 이를 무한한 수의 변형으로까지 확장한다.

ABSTRACT

Generalizing the method of Faltings-Serre, we rigorously verify that certain abelian surfaces without extra endomorphisms are paramodular. To compute the required Hecke eigenvalues, we develop a method of specialization of Siegel paramodular forms to modular curves. In the appendix, Serre proves a result extending his work on the reduction of G-invariant bilinear forms modulo primes to the case of G-covariant forms.

연구 동기 및 목표

• 최소 끝함수를 가진 Q 위의 일반적인 아벨 곡면(End(A) = Z)에 대해 파라모듈라리티 추측을 증명한다. 특히 도수 277에 대해.
• 모듈라 곡선으로의 전문화를 통해 시에겔 파라모듈라 형식의 헤케 고유값을 계산하는 방법을 개발한다.
• 팔링스–세르 방법을 확장하여, 아벨 곡면의 2진 타이트 모듈러 표현과 시에겔 모듈라 형식에 부착된 갈루아 표현 간의 동치성을 검증한다.
• 도수 353과 587인 두 개의 추가 이소지니 클래스에 대해 파라모듈라리티를 확립하고, 이 곡면의 무한한 수의 이차 변형도 파라모듈라리티임을 보인다.

제안 방법

• 확장된 팔링스–세르 방법을 적용하여 아벨 곡면과 시에겔 파라모듈라 형식에 부착된 2진 갈루아 표현을 비교한다.
• 2진 모듈로에서의 갈루아 동치를 검증하기 위해 아벨 곡면의 2-torsion 체의 잔여 이미지를 계산하고, 시에겔 형식의 헤케 고유값의 2진 환원과 일치시킨다.
• 유리 함수를 사용한 그리츠켄코 리프트를 활용하여, 시에겔 파라모듈라 형식을 모듈라 곡선으로 전문화함으로써 효율적으로 헤케 고유값을 계산한다.
• GSp4(F2) ≃ S6의 군론적 및 갈루아 이론적 분석을 통해 가능한 갈루아 이미지를 분류하고, 잘못된 후보를 제거한다.
• 유한하고 효과적으로 계산 가능한 소수 집합(예: N = 277일 때 p ≤ 43)에 대해 프로베니우스의 추적을 계산하여 표현 동치를 확인한다.
• 세르의 보조정리에 따라 G-관측 비선형 형식의 감소를 보장하기 위해, π에 대한 모듈로 π 환원의 반순환화에서 호환 가능한 잔여 형식의 존재를 확보한다.

실험 결과

연구 질문

• RQ1 도수 277인 Q 위의 종수 2 곡선 y² + (x³ + x² + x + 1)y = −x² − x의 리만 곡면 A가 파라모듈라리티 추측을 만족하는가?
• RQ2 모듈라 곡선으로의 전문화를 통해 시에겔 파라모듈라 형식의 헤케 고유값을 효과적으로 계산할 수 있는가?
• RQ3 일반적인 아벨 곡면의 2진 갈루아 표현은 동일한 수준과 무게를 가진 비-그리츠켄코 리프트 시에겔 모듈라 형식의 표현과 동형인가?
• RQ4 팔링스–세르 방법을 확장하여, 추가 끝함수가 없는 아벨 곡면의 모듈라리티를 증명할 수 있는가?
• RQ5 도수 277인 아벨 곡면의 무한한 수의 이차 변형도 파라모듈라리티인가?

주요 결과

• Q 위의 종수 2 곡선 y² + (x³ + x² + x + 1)y = −x² − x의 리만 곡면 A의 L-함수는 무게 2, 수준 277인 유일한 비-그리츠켄코 리프트 시에겔 파라모듈라 형식의 스피너 L-함수와 정확히 일치한다.
• A와 시에겔 형식의 2진 갈루아 표현은 서로 동형이며 절대적으로 기약적이며, GSp4(F2) ≃ S6 내부에서 S5(b)와 동형이다.
• 도수 277의 경우, 모든 소수 p ≤ 43에 대해 프로베니우스의 추적 값이 일치하여 갈루아 표현 동치가 확인된다.
• 이 방법은 도수 353과 587인 두 개의 추가 이소지니 클래스에 대해서도 성공적으로 파라모듈라리티를 검증하였으며, 각각 소수 41과 43 이하에서 추적 값 일치를 확인하였다.
• 논문은 도수 277 곡면의 무한한 수의 이차 변형에 대해 파라모듈라리티를 확립하였으며, 이는 변형에 따른 L-함수의 국소적 호환성에 기반한다.
• 세르의 보조정리에서는 G-관측 비선형 형식의 감소를 일반화하여, K-벡터 공간 위의 ε-관측 비퇴화 이차형식이 모듈로 π 환원의 반순환화 위로도 비퇴화 ε-관측 이차형식으로 내림려고 함을 증명한다.