[논문 리뷰] On the Bloch-Kato conjecture for GSp(4)

David Loeffler, Sarah Livia Zerbes|arXiv (Cornell University)|2020. 03. 12.

Advanced Algebra and Geometry참고 문헌 19인용 수 15

한 줄 요약

이 논문은 종수 2 시엘라 모듈라 형식의 스피너 갈루아 표현에 부착된 올리버 시스템에 대한 명시적 상호법칙을 증명하며, 올리버 시스템 클래스와 p-진 스피너 L함수의 비임계값 사이의 연결 고리를 설정한다. 핵심 결과는 p-진 L값에 대한 표현으로 캐논ical 올리버 시스템 클래스의 블로흐–카토 로그를 계산하는 것으로, 이는 약간의 무게 조건과 p에서 비분할, 클링겐-일반적인 조건 하에, 해석적 순수도 0에서의 이와이사와 주요 추측과 블로흐–카토 추측의 포함관계를 함의한다.

ABSTRACT

We prove an explicit reciprocity law for the Euler system attached to the spin motive of a genus 2 Siegel modular form. As consequences, we obtain one inclusion of the Iwasawa Main Conjecture for such motives, and the Bloch--Kato conjecture in analytic rank 0 for their critical twists.

연구 동기 및 목표

• 종수 2 시엘라 모듈라 형식의 스피너 갈루아 표현에 대한 올리버 시스템과 그 p-진 L함수의 임계값 및 비임계값 사이의 명시적 상호법칙을 수립하기 위해.
• 약간의 무게 및 수준 조건 하에, 이러한 형식의 스피너 모티브에 대한 이와이사 주요 추측의 포함관계를 증명하기 위해.
• 올리버 시스템이 0이 아닐 경우를 가정하여, 해석적 순수도 0에서 임계 변형의 블로흐–카토 추측을 검증하기 위해.
• GSp(4) 시무라 다양체와 EKOR 분할의 맥락에서, 조정자(regulators)를 다룰 수 있도록 p-진 코hom로지와 일관된 코hom로지를 확장하기 위해.
• 모든 수준에 대해 유효한 p-진 조정자 공식을 제공하기 위해, r1−r2≥3 조건을 가정하여 더 넓은 산술적 응용을 가능하게 하기 위해.

제안 방법

• 유한다항식 코hom로지와 강한 심토믹 코hom로지를 활용하여 올리버 시스템 클래스와 코hom로지적 조정자 간의 관계를 설정한다.
• 시엘라 삼중다양체의 정수 모델 위에서 코hom로지적 강하와 딜로지아 원리의 연속적 적용을 통해, 일관된 코hom로지에서의 쌍형성(pairing)으로 조정자 계산을 축소한다.
• 고차 히다 이론의 p-진 보간 기법을 적용하여, 스피너 L함수의 임계값을 보간하는 p-진 L함수를 구성한다.
• 변형 이론과 히다 가닥을 활용하여 비임계 p-진 L값과 올리버 시스템 클래스의 블로흐–카토 로그 간의 관계를 규명한다.
• GAGA 원리와 비교 정리를 적용하여 경계 성분의 강한 코hom로지와 베티 코hom로지, 자동형 표현 간의 관계를 설정한다.
• EKOR 분할 이론과 토로이드적 컴팩티피케이션을 활용하여, 곱셈-일반성 지역과 그 경계 성분의 코hom로지를 분석한다.

실험 결과

연구 질문

• RQ1 GSp(4)에 대한 캐논ical 올리버 시스템 클래스 z[Π,q,r]can(χ)의 블로흐–카토 로그는 어떻게 p-진 L값으로 표현될 수 있는가?
• RQ2 종수 2 시엘라 모듈라 형식의 스피너 모티브에 대해 올리버 시스템과 p-진 L함수 사이의 정확한 관계는 무엇인가?
• RQ3 올리버 시스템의 0이 아닌 성질이 임계 변형의 해석적 순수도 0에서의 블로흐–카토 추측에 어느 정도 영향을 미치는가?
• RQ4 GSp(4) 시무라 다양체의 맥락에서, 일관된 코hom로지와 강한 심토믹 코hom로지를 통해 올리버 시스템 클래스의 조정자를 계산할 수 있는가?
• RQ5 곱셈-일반성 지역과 그 경계 성분의 코호몰로지 군은 전반적인 조정자 계산에 어떻게 기여하는가?

주요 결과

• 기저 νdR의 선택에 따라 변하는 비영인 상수를 제외하고, 캐논ical 올리버 시스템 클래스 z[Π,q,r]can(χ)의 블로흐–카토 로그는 p-진 스피너 L함수의 비임계값과 일치함을 보였다.
• Π가 p에서 비분할이고 클링겐-일반적이며, r1−r2≥3인 조건 하에 명시적 상호법칙이 성립함을 증명하였다.
• 일관된 코호몰로지에서의 조정자 계산을 통해, 올리버 시스템 클래스가 해석적 순수도 0에서 블로흐–카토 세일머 그룹으로 비자명하게 사상됨을 유도할 수 있었다.
• 상호법칙의 결과로서, 스피너 갈루아 표현에 대한 이와이사 주요 추측의 포함관계가 확립되었다.
• 올리버 시스템이 0이 아닐 경우를 가정하면, 모든 임계 변형의 블로흐–카토 추측이 해석적 순수도 0에서 증명되었다.
• r1−r2≥3의 약간의 무게 조건 하에, 모든 수준에 대해 유효한 p-진 조정자 공식이 도출되었으며, 이는 이전 결과를 더 넓은 자동형 형식의 범주로 확장한다.