[논문 리뷰] Fonctions zêta et $L$ de variétés et de motifs

Bruno Kahn|arXiv (Cornell University)|2015. 12. 31.

Algebraic Geometry and Number Theory인용 수 3

한 줄 요약

이 논문은 산술기하학과 대수기하학 전반에 걸쳐 리만 제타함수, 유한체 위의 스킴의 제타함수, 그리고 모티브로의 일반화를 중심으로 제타함수와 L-함수에 대한 역사적으로 잘 정비된 종합적 개요를 제공한다. 위ลม의 유한체 위 곡선에 대한 리만 가설 증명을 제시하고, 딜라이흐트, 헤케, 아르틴의 L-함수에 대한 기본 결과를 수립하며, 최종적으로 표준 추측과 테이트 추측을 제시하는 모티브 프레임워크를 도입한다.

ABSTRACT

Rédaction d'un cours de M2 donné à Jussieu au printemps 2013. This is the write-up of a Masters course given at Jussieu in Spring 2013.

연구 동기 및 목표

• 수론과 대수기하학 전반에 걸쳐 제타함수와 L-함수를 통합적이고 역사적으로 기반한 서술을 제공하는 것.
• 유한체 위의 곡선에 대한 제타함수에 대한 리만 가설의 증명을 위ลม이 어떻게 확립했는지 제시하는 것.
• 표준 추측과 테이트 추측의 제시를 포함하여, 모티브의 맥락에서 L-함수 이론을 발전시키는 것.
• 고전적 결과(예: 딜라이흐트의 정리)를 현대의 코homological 방법과 모티브적 구조와 연결하는 것.
• 산술기하학 분야의 고급 학도와 연구자들을 위한 교육적이고 연구 중심의 참고자료로 기능하는 것.

제안 방법

• 리만에서 위ลม, 그로텐디크에 이르기까지 제타함수와 L-함수의 역사적 발전을 교육적이고 발달적 접근 방식으로 추적하는 것.
• 유한체 위의 곡선에 대한 제타함수의 유리성과 함수방정식을 증명하기 위해 리만-로흐 정리와 코homological 기법을 적용하는 것.
• 에탈 코hom로지가 개발되기 이전에 Dwork의 p-진 방법을 사용하여 유한체 위의 제타함수의 유리성을 확립하는 것.
• 헤케 특성, 아르틴 표현, l-진 층을 통해 L-함수를 도입하고, 이를 갈루아 표현과 연결하는 것.
• 적당한 동치 관계와 대응을 통해 모티브의 범주를 개발하며, 강성과 무게 필터링을 강조하는 것.
• 그로텐디크의 여섯 가지 연산과 에탈 코호몰로지 기법을 적용하여 하스-바일 L-함수를 정의하고 그 기능방정식을 연구하는 것.

실험 결과

연구 질문

• RQ1 제타함수와 L-함수는 산술기하학과 대수기하학의 다양한 영역을 어떻게 통합하는가?
• RQ2 유한체 위의 곡선에 대한 제타함수에 대한 리만 가설의 의미는 무엇이며, 위ลม은 이를 어떻게 증명했는가?
• RQ3 헤케와 아르틴 L-함수는 딜라이흐트 L-함수를 어떻게 일반화하며, 그 해석적 성질은 무엇인가?
• RQ4 모티브는 다양한 기하학적 및 산술적 맥락에서 제타함수와 L-함수를 통합하는 데 어떤 역할을 하는가?
• RQ5 표준 추측과 테이트 추측은 대수기하학의 순환과 갈루아 표현의 구조에 대해 어떤 함의를 지닌다?

주요 결과

• 위ลม은 리만-로흐 정리와 추적 공식 기법을 사용하여, 유한체 위의 매끄럽고 사영적인 곡선에 대한 제타함수에 대한 리만 가설을 증명하였다.
• 정수환 위의 유한형 스킴의 제타함수는 유리함수이며, 함수방정식을 만족한다. 이는 F.K. 슈미트가 증명했고, 이후 위ลม에 의해 일반화되었다.
• Dwork의 p-진 방법은 에탈 코호몰로지의 출현 이전에, 유한체 위의 제타함수의 유리성을 보장하는 증명을 제공한다.
• 딜라이흐트, 헤케, 아르틴의 L-함수는 유리형 해석적 계속성을 가지며 함수방정식을 만족한다. 아르틴의 추측은 브라우어의 유도 기법을 통해 해결되었다.
• 모티브 이론은 L-함수의 보편적 프레임워크를 제공하며, 표준 추측과 테이트 추측은 대수기하학적 순환에 대한 깊이 있는 구조적 통찰을 제공한다.
• 글로벌 필드 위의 매끄럽고 사영적인 다양체의 완비 L-함수는, 에탈 코호몰로지와 무게 이론을 사용하여 세르가 체계적으로 기술한 바와 같이 함수방정식을 만족한다.