[논문 리뷰] Artin-Mazur-Milne duality Theorem for fppf cohomology

Cyril Demarche, David Harari|arXiv (Cornell University)|2018. 04. 11.

Algebraic Geometry and Number Theory참고 문헌 10인용 수 1

한 줄 요약

이 논문은 유한체와 수체 정수환에서 곡선의 fppf 코homology에 대해 이중성 정리를 수립하며, 기존의 에탈 코hom로의 아르틴-버르디에르 이중성 정리를 fppf 코homology로 확장한다. 유한성 및 영성 결과를 증명하여 이 넓은 코homological 설정에서 이중성의 완전한 프레임워크를 제공한다.

ABSTRACT

We provide a complete proof of a duality theorem for the fppf cohomology of either a curve over a finite field or a ring of integers of a number field, which extends the classical Artin-Verdier Theorem in \'etale cohomology. We also prove some finiteness and vanishing statements.

연구 동기 및 목표

• 기존의 아르틴-버르디에르 이중성 정리를 에탈 코homology에서 fppf 코homology로 확장한다.
• 유한체와 수체 정수환 위의 대수기하 곡선에 적용 가능한 이중성 프레임워크를 수립한다.
• 이러한 설정에서 fppf 코homology 군에 대한 유한성 및 영성 정리를 증명한다.
• fppf 위상에서 이중성 동형사상에 대한 완전하고 엄밀한 증명을 제공한다.

제안 방법

• fppf 위상의 성질을 활용하여 에탈 코hom로의 기법을 fppf 위상으로 적응한다.
• 유한체와 정수환 위의 곡선의 구조를 이용해 코homological 행동을 분석한다.
• 특히 이중화 복합체와 그로텐디크의 국소 이중성 정리를 포함한 대수기하학의 이중성 정리를 적용한다.
• fppf 코homology 군의 유한성 결과를 활용하여 이중성 동형사상을 수립한다.
• 일부 차수에서 코homology의 영성 결과를 조합하여 이중성 쌍형을 검증한다.
• 에탈과 fppf 코homology 간의 비교를 통해 기존의 이중성 결과를 fppf 설정으로 이행한다.

실험 결과

연구 질문

• RQ1 어떻게 기하학적 곡선에 대해 유한체 위에서 아르틴-버르디에르 이중성 정리를 에탈에서 fppf 코homology로 확장할 수 있는가?
• RQ2 유한체와 수체 정수환 위의 곡선에 대한 fppf 코homology 군에 대해 어떤 유한성 성질이 성립하는가?
• RQ3 이러한 산술 설정에서 fppf 코homology에 적용 가능한 영성 정리는 무엇인가?
• RQ4 이러한 스킴에 대해 fppf 위상에서 이중성 동형사상의 정확한 형태는 무엇인가?

주요 결과

• 유한체와 수체 정수환 위의 곡선에 대한 fppf 코homology에 대해 완전한 이중성 동형사상이 수립된다.
• 모든 관련 차수에서 fppf 코homology 군에 대한 유한성 정리가 증명된다.
• 유한한 범위 외부의 차수에서 fppf 코homology에 대한 영성 결과가 도출된다.
• 이중성 정리는 기존의 아르틴-버르디에르 이중성 정리를 에탈에서 fppf 코homology로 확장하며, 이중성 쌍형의 구조를 유지한다.