[논문 리뷰] Duality for local fields and sheaves on the category of fields

Takashi Suzuki|arXiv (Cornell University)|2013. 10. 18.

Algebraic Geometry and Number Theory참고 문헌 23인용 수 4

한 줄 요약

이 논문은 완전한 잔여체를 가진 국소체에 대한 이중성에 대해, 그로텐디크 위상이 부여된 체의 범주 위의 층을 이용하여 재해석하며, 고전적 갈루아 코hom로의 환원을 통해 공식화와 증명을 단순화한다. 주요 기여는 대수적 군 간의 확장을 올바르게 포착하는 사이트 이론적 프레임워크를 제공함으로써, 완전한 체 위의 유리 점 에테일 사이트를 통한 코호몰로지 군의 기하학적 해석을 가능하게 한다.

ABSTRACT

Duality for complete discrete valuation fields with perfect residue field with coefficients in (possibly p-torsion) finite flat group schemes was obtained by Begueri, Bester and Kato. In this paper, we give another formulation and proof of this result. We use the category of fields and a Grothendieck topology on it. This simplifies the formulation and proof and reduces the duality to classical results on Galois cohomology. A key point is that the resulting site correctly captures extension groups between algebraic groups.

연구 동기 및 목표

• 완전한 잔여체를 가진 완비离산 평가 체에 대한 이중성 정리를, 체의 범주 위의 층 이론을 사용하여 재공식화하고 재증명한다.
• 체와 그 확장에 기반한 그로텐디크 사이트를 도입함으로써 코호몰로지 군의 기하적 구조를 단순화한다.
• 대수적 군 간의 확장 군이 라이얼 에테일 사이트 위의 층 코호몰로지에 의해 올바르게 포착됨을 확립한다.
• 적절한 사이트 이론적 기초를 구축함으로써 이중성 동형사상이 고전적 갈루아 코호몰로지 결과로 환원됨을 보인다.
• 아벨 다양체의 특수 섬유에 대한 그로텐디크의 추측과 같은 더 깊은 산술 문제에 적용 가능한 프레임워크를 제공한다.

제안 방법

• 유리 k-대수(기본적으로 완전한 체)의 범주 위에 에테일 위상을 부여한 유리 점 에테일 사이트를 정의한다.
• 잔여체 k의 체 확장 k'에 대해 K(k')에 대한 K 위의 에테일 대수를 고려함으로써 국소체 K 위의 상대 에테일 사이트를 구성한다.
• 완비화된 텐서곱을 이용해 사이트 위에 O_K와 K의 링 층을 정의하며, K(k')는 잔여체를 k'로 확장한 후 K의 완비화이다.
• 결과로 얻어진 사이트가 갈루아 코호몰로지를 정확히 포착하고, 대수적 군 간의 확장 군을 층 코호몰로지를 통해 정확히 계산함을 확립한다.
• 맥 랭의 분해의 당김이 사이트 위에서 약한 계단성을 띠며, 코호몰로지 계산을 위한 스펙트럴 시퀀스 적용이 가능함을 증명한다.
• 그로텐디크 스펙트럴 시퀀스를 적용하여 기저 사이트의 코호몰로지와 상대 사이트의 코호몰로지를 연결하고, 퇴적 결과를 통해 이중성을 증명한다.

실험 결과

연구 질문

• RQ1 완전한 잔여체를 가진 국소체에 대한 이중성은 스킴이 아닌 체의 범주 위의 층을 이용해 재해석할 수 있는가?
• RQ2 체의 범주 위에 정의된 그로텐디크 위상은 어떻게 대수적 군 간의 확장 군을 포착하는가?
• RQ3 이 새로운 사이트 이론적 환경에서 고전적 갈루아 코호몰로지 결과가 얼마나 널리 적용되어 이중성 정리를 증명할 수 있는가?
• RQ4 유리 점 에테일 사이트는 유한 평탄 군 스킴 계수를 가진 국소체의 코호몰로지 구조를 정확히 모델링하는가?
• RQ5 이 프레임워크는 아벨 다양체의 특수 섬유에 대한 그로텐디크의 추측과 같은 산술 문제에 적용 가능한가?

주요 결과

• 체의 범주 위의 유리 점 에테일 사이트는 갈루아 코호몰로지를 정확히 계산하고, 대수적 군 간의 확장 군을 포착한다.
• 국소체 위의 상대 에테일 사이트의 코호몰로지는 고전적 갈루아 코호몰로지와 동형이며, 이중성 진술을 단순화한다.
• 맥 랭의 분해의 당김이 사이트 위에서 약한 계단성을 띠며, 스펙트럴 시퀀스를 이용한 코호몰로지 퇴적 증명이 가능하다.
• 유한 평탄 군 스킴 계수를 가진 이중성 동형사상은 사이트 이론적 구성에 의해 고전적 갈루아 코호몰로지 결과로 환원된다.
• 사이트 이론적 프레임워크는 이중성을 수반하는 쌍대성으로 해석할 수 있으며, 쌍대성의 기하학적 해석을 제공한다.
• 이 구성은 아우르의 추측에 대해 그로텐디크의 추측과 호환되며, 저자가 후속 연구에서 이를 입증하였다.