[논문 리뷰] A sheaf-theoretic reformulation of the Tate conjecture

Bruno Kahn|arXiv (Cornell University)|1998. 01. 06.

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

한 줄 요약

이 논문은 특성 p인 유한체 위의 매끄럽고 사영인 대상에 대해 강한 테이트 추측을 층 이론적 재구성으로 제안하며, 해세-바일 zeta 함수의 s=n에서의 극의 차수는 수치적 동치에 대한 여수 n인 대수적 사이클의 랭크와 일치함을 보여준다. 주요 기여는 이 추측이 양의 특성에서 깊이 있는 산술적·기하학적 추측들, 즉 약한 테이트 추측, 바일린슨의 필터링 추측, 유리수 베이스 추측, 그리고 zeta 함수의 영점에 관한 수스의 추측을 포함하여 광범위하게 암시한다는 것을 증명하는 것이다.

ABSTRACT

Let p be a prime number. We give a conjecture of a sheaf-theoretic nature which is equivalent to the strong form of the Tate conjecture for smooth, projective varieties X over F_p: for all n>0, the order of pole of the Hasse-Weil zeta function of X at s=n equals the rank of the group of algebraic cycles of codimension n modulo numerical equivalence. Our main result is that this conjecture implies other well-known conjectures in characteristic p, among which: - The (weak) Tate conjecture for smooth, projective varieties X over any finitely generated field of characteristic p: given a prime l different from p, the geometric cycle map from algebraic cycles over X to the Galois invariants of the l-adic cohomology of the geometric fibre of X, tensored by Q_l, is surjective. - For X as above, the algebraicity of the Kunneth components of the diagonal and the hard Lefschetz theorem for cycles modulo numerical equivalence. - For X as above, the existence of a filtration conjectured by Beilinson on the Chow groups of X. - The rational Bass conjecture: for any smooth variety X over F_p, the algebraic K-groups of X have finite rank. - The Bass-Tate conjecture: for F a field of characteristic p, of absolute transcendence degree d, the i-th Milnor K-group of F is torsion for i>d. - Soule's conjecture: given a quasi-projective variety over F_p, the order of the zero of its Hasse-Weil zeta function at an integer n is given by the alternating sum of the ranks of the weight n part of its algebraic K'-groups.

연구 동기 및 목표

• F_p 위의 다양체에 대해 강한 테이트 추측을 F_p 위의 층 이론적 프레임워크로 재구성하는 것.
• 유한체 위의 산술기하학에서 여러 핵심 추측들을 통합하고 암시하는 새로운 추측을 수립하는 것.
• 이 층 이론적 재구성으로 약한 테이트 추측, 바일린슨의 필터링 추측, 유리수 베이스 추측, 그리고 수스의 추측을 암시함을 보여주는 것.
• 양의 특성에서 zeta 함수, 대수적 사이클, 갈루아 코hom올로지 사이의 개념적 다리를 놓는 것.
• 여러 깊이 있는 추측들의 검증을 단일한 층 이론적 진술로 환원하는 통합된 프레임워크를 제공하는 것.

제안 방법

• F_p 위의 다양체에서의 구성 가능 층의 코homology를 포함하는 추측을 제안하고, 이를 해세-바일 zeta 함수의 극의 차수와 연결하는 것.
• l-진 코hom올로지와 갈루아 표현을 사용하여 대수적 사이클을 에탈 코hom올로지의 불변량과 연결하는 것.
• 층 이론의 맥락에서 쌍대성과 트레이스 구조를 적용하여 zeta 함수와 그 특수값을 분석하는 것.
• 무게 이론과 혼합 층 이론을 활용하여 기저 체 변경 하에서 코hom올로지 불변량의 행동을 통제하는 것.
• 모티브의 그로텐디크 군의 구조를 활용하여 K-이론과 사이클 클래스를 연결하는 것.
• 층 이론적 쌍대성의 맥락에서 네론 모델과 네론-테이트 높이 쌍대화 이론을 활용하는 것.

실험 결과

연구 질문

• RQ1 강한 테이트 추측은 해세-바일 zeta 함수의 극 차수를 포괄하는 층 이론적 언어로 재구성될 수 있는가?
• RQ2 이 층 이론적 재구성은 특성 p의 유한 생성 체 위의 매끄럽고 사영인 다양체에 대해 약한 테이트 추측을 암시하는가?
• RQ3 이 재구성은 양의 특성에서 바일린슨의 추측적 필터링을 증명으로 이끌 수 있는가?
• RQ4 이 층 이론적 추측은 F_p 위의 매끄러운 다양체에서 대수적 K-군의 유한 랭크를 암시하는 유리수 베이스 추측을 포함하는가?
• RQ5 수스의 추측 — zeta 함수의 정수 점에서의 영점 차수와 K'-군의 무게 n 부분의 랭크의 교대 합 사이의 관계 — 는 이 층 이론적 재구성과 동치인가?

주요 결과

• 제안된 층 이론적 추측은 임의의 유한 생성 체 위의 매끄럽고 사영인 다양체에 대해 약한 테이트 추측을 암시한다.
• 이 추측은 바일린슨이 추측한 카우프의 필터링이 존재함을 암시하여 대수적 사이클의 구조적 이해를 제공한다.
• 유리수 베이스 추측 — F_p 위의 매끄러운 다양체에서 대수적 K-군이 유한 랭크를 가진다는 것 — 은 층 이론적 재구성으로부터 유도된다.
• Bass-Tate 추측 — 특성 p이면서 추상 차수 d인 체의 밀놀 K-군에서의 토크션에 관한 것 — 은 i > d 인 경우에 암시된다.
• 수스의 추측 — 해세-바일 zeta 함수의 정수 n에서의 영점 차수와 K'-군의 무게 n 부분의 랭크의 교대 합 사이의 관계 — 은 새로운 추측의 결과이다.
• 층 이론적 프레임워크는 산술기하학에서 여러 깊이 있는 추측들을 단일한 일관된 진술로 환원하는 통합적 메커니즘을 제공한다.