[논문 리뷰] Gerbes and abelian motives

J. S. Milne|ArXiv.org|2003. 01. 26.

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

한 줄 요약

이 논문은 유한체와 대수적 폐쇄체 위의 아벨 모티브의 모티브적 및 허위모티브적 카테고리 사이의 불변형의 게르베에 대한 조건 없는 준동형을, 명시적인 코homological 자료를 사용하고 갈루아 코hom올로지에 의해 이러한 준동형을 분류함으로써 구축한다. 이는 오랫동안 문헌에서 애매하게 여겨졌던 fpqc 코homology와 갈루아 코hom올로지의 역한계 사이의 혼동을 해결하며, CM 아벨 다양체에 대한 호지 추측을 가정할 경우 이 준동형이 기대되는 감소 함수자로 된다는 것을 증명한다.

ABSTRACT

Assuming the Hodge conjecture for abelian varieties of CM-type, one obtains a good category of abelian motives over the algebraic closure of a finite field and a reduction functor to it from the category of CM-motives. Consequentely, one obtains a morphism of gerbes of fibre functors with certain properties. We prove unconditionally that there exists a morphism of gerbes with these properties, and we classify them.

연구 동기 및 목표

• 유한체 위의 아벨 모티브의 카테고리와 ℚ의 대수적 폐쇄체 위의 CM-모티브의 카테고리 사이의 게르베 준동형을, 호지 추측에 의존하지 않고 조건 없이 구축한다.
• 아델리카 및 국소 자료에 대해 자연스러운 호환 조건을 만족하는 모든 그러한 게르베 준동형을 분류한다.
• fpqc 코homology와 갈루아 코호몰로지의 역한계 사이의 오랫동안 지속된 혼동, 특히 lim¹ 항목에 관해 해결한다.
• 모티브적 탄나키안 카테고리의 맥락에서 게르베, 군oids, 및 섬유 함수자 간의 관계를 명확히 한다.
• 유리수 무게를 가진 쇤마 다양체의 경우 랑글랜즈–라포르트 추측을 위한 기초를 제공한다, 퀼라스모티브 군oids를 사용하여.

제안 방법

• 수체와 CM-체에 따라 인덱스가 매겨진 갈루아 코호몰로지 군의 역한계를 사용하여 전역 코호몰로지 불변량을 구축한다.
• 연속적 및 아델리카 코호몰로지 이론을 세르와 위엘-넘버 토르스에 관련된 프로토리에 적용한다.
• H¹(ℚ, S/P)에서 기본 코호몰로지 클래스를 구축하고, 이를 유한 및 무한 자리에서의 국소 클래스와 식별한다.
• 호모모르피즘 ρ: P → S에 의해 유도되는 (P, S)-게르베를 H²(ℚ, P → S) ≅ H¹(ℚ, S/P)를 통해 분류한다.
• 모든 자리에서 호환 조건을 만족하는 국소 절단의 체계 (w^p, w_p, w_∞)와 게르베 준동형 간의 동치를 확립한다.
• 가짜모티브적 군oids와 퀄라스모티브 군oids를 사용하여 전역 준동형을 모티브의 탄나키안 카테고리와 연결한다.

실험 결과

연구 질문

• RQ1 𝔽_p^al 위의 아벨 모티브의 모티브적 카테고리와 ℚ^al 위의 CM-모티브의 카테고리 사이에 호지 추측에 의존하지 않는 조건 없는 게르베 준동형이 존재하는가?
• RQ2 아델리카 및 국소 자료와 기대되는 호환 조건을 만족하는 모든 그러한 게르베 준동형을 어떻게 분류할 수 있는가?
• RQ3 H¹(ℚ, S/P)의 기본 클래스와 유한 및 무한 자리에서의 국소 클래스 사이의 정확한 관계는 무엇인가?
• RQ4 이전 문헌에서 어떤 이유로 lim¹ 항목을 잘못 0으로 간주했는지, 그리고 이를 어떻게 수정할 수 있는가?
• RQ5 유도된 게르베 준동형은 어느 정도 잘 정의되어 있으며, 랑글랜즈–라포르트 추측과 어떻게 관련되어 있는가?

주요 결과

• 조건 없이 명시적인 게르베 준동형 P → S(밴드 ρ: P → S)가 구축되었으며, CM 아벨 다양체에 대한 호지 추측을 가정할 경우 이는 감소 함수자 R∨로 된다.
• 그러한 게르베 준동형의 집합은 H¹(ℚ, S/P)에 의해 분류되며, 코호몰로지 계산에서 특정 lim¹ 항목의 소멸을 통해 전역 해의 존재가 증명된다.
• 준동형이 모든 자리에서 호환 조건을 만족하는 국소 절단의 체계 (w^p, w_p, w_∞)와 동치임을 보였으며, H¹(ℚ, S/P)의 원소는 H¹(𝔸_f^p, S/P)로 사라진다.
• 논문은 15년 동안 지속된 문헌의 혼동을 해결하였으며, fpqc 코호몰로지와 역한계를 구분하고 lim¹ 항목을 간과할 수 없음을 보였다.
• 논문은 랑글랜즈–라포르트 추측을 위한 잘 정의된 체계 (P, μ, w^p, w_p, w_∞)를 제공하며, 이는 유리수 무게를 가진 쇤마 다양체의 경우 기초가 된다.
• 모듈로 w에 대한 동역학적 사이클의 감소와 교차 수의 유리수성에 대한 가정 하에, 논문은 양의 특성에서의 아벨 다양체에 대해 타이트 추측과 호지 표준 추측이 성립함을 보였다.