[논문 리뷰] Cycles de codimension 2 et H^3 non ramifié pour les variétés sur les corps finis

Jean-Louis Colliot-Thélène, Bruno Kahn|arXiv (Cornell University)|2011. 04. 17.

Algebraic Geometry and Number Theory참고 문헌 47인용 수 3

한 줄 요약

이 논문은 유한체 위의 매끄럽고 사영적인 3차원다양체 $X$에 대해 비분할 코homology 군 $H^3_{ ext{nr}}(X, Ω^2)$을 조사하며, 그 군의 소멸—더불어 $X$에 대한 테이트 추측을 가정할 경우—제네릭 피브레이션의 제로 사이클에 대한 브라우어-만닝 유형의 국소-글로벌 원리가 성립함을 보여준다. 주요 기여는 제로 사이클의 산술과 높은 코homology 사이의 새로운 관계를 제시한 것으로, 30년 전의 기초적인 연구를 확장한다.

ABSTRACT

Let $X$ be a smooth projective variety over a finite field $\F$. We discuss the unramified cohomology group $H^3_ r(X,\Q/\Z(2))$. Several conjectures put together imply that this group is finite. For certain classes of threefolds, $H^3_ r(X,\Q/\Z(2))$ actually vanishes. It is an open question whether this holds true for arbitrary threefolds. For a threefold $X$ equipped with a fibration onto a curve $C$, the generic fibre of which is a smooth projective surface $V$ over the global field $\F(C)$, the vanishing of $H^3_ r(X,\Q/\Z(2))$ together with the Tate conjecture for divisors on $X$ implies a local-global principle of Brauer--Manin type for the Chow group of zero-cycles on $V$. This sheds a new light on work started thirty years ago. ----- Soit $X$ une variété projective et lisse sur un corps fini $\F$. On s'intéresse au groupe de cohomologie non ramifiée $H^3_ r(X,\Q/\Z(2))$. Un faisceau de conjectures implique que ce groupe est fini. Pour certaines classes de solides, on a $H^3_ r(X,\Q/\Z(2))=0$. Savoir si c'est le cas pour tout solide est un problème ouvert. Lorsqu'un solide $X$ est fibré au-dessus d'une courbe $C$, de fibre générique une surface projective et lisse $V$ sur le corps global $\F(C)$, la combinaison de $H^3_ r(X,\Q/\Z(2))=0$ et de la conjecture de Tate pour $X$ a pour conséquence un principe local-global de type Brauer--Manin pour le groupe de Chow des zéro-cycles de la fibre générique $V$. Ceci éclaire d'un jour nouveau des investigations commencées il y a trente ans.

연구 동기 및 목표

• 유한체 위의 매끄럽고 사영적인 3차원다양체 $X$에 대해 비분할 코homology 군 $H^3_{ ext{nr}}(X, \mathbb{Q}/\mathbb{Z}(2))$의 구조와 유한성을 이해하는 것.
• 모든 유한체 위의 3차원다양체에 대해 $H^3_{ ext{nr}}(X, \mathbb{Q}/\mathbb{Z}(2)) = 0$이 항상 성립하는지 조사하는 것.
• 이 코homology 군의 소멸과 양의 특성의 전역체 위의 표면에서 제로 사이클에 대한 국소-글로벌 원리 사이의 연결 고리를 설정하는 것.
• 비분할 코homology 군 $H^3_{ ext{nr}}(X, \mathbb{Q}/\mathbb{Z}(2))$의 추측적 소멸과 $X$에 대한 테이트 추측 사이의 연결 고리를 통해 산술 추측들을 통합하는 것.

제안 방법

• 비분할 코homology 이론과 모티브 코hom올로지 이론을 활용하여 사이클 사상과 에탈 코hom올로지에 의해 $H^3_{ ext{nr}}(X, \mathbb{Q}/\mathbb{Z}(2))$를 분석한다.
• 갈루아 코hom올로지에서의 내림내림 기법을 적용하여 유한체 위의 코hom올로지 불변량을 전역체 위의 것들과 연결한다.
• 모티브 복합체 이론과 $K$-이론을 활용하여 $H^3_{ ext{nr}}(X, \mathbb{Q}/\mathbb{Z}(2))$를 유리 동치에 대한 토르션 장애로 해석한다.
• 테이트 추측을 가진 $X$에 대해 $H^3_{ ext{nr}}(X, \mathbb{Q}/\mathbb{Z}(2))$의 소멸을 결합하여 제네릭 피버의 제로 사이클에 대한 산술적 결과를 도출한다.
• 브라우어-만닝 장애를 사용하여 제로 사이클에 대한 국소-글로벌 원리를 코hom올로지 용어로 변환한다.
• 표준 추측들(테이트, 빌리논, 바스) 하에서 $H^3_{ ext{nr}}(X, \mathbb{Q}/\mathbb{Z}(2))$의 추측적 유한성과 소멸 결과에 의존한다.

실험 결과

연구 질문

• RQ1 모든 매끄럽고 사영적인 3차원다양체 $X$에 대해 유한체 위에서 $H^3_{ ext{nr}}(X, \mathbb{Q}/\mathbb{Z}(2)) = 0$이 성립하는가?
• RQ2 테이트 추측이 $X$에 대해 성립할 때, $H^3_{ ext{nr}}(X, \mathbb{Q}/\mathbb{Z}(2)) = 0$이 성립하는 것이 제네릭 피버의 표면에서 제로 사이클에 대한 국소-글로벌 원리에 어떤 정확한 산술적 결과를 초래하는가?
• RQ3 어떻게 $H^3_{ ext{nr}}(X, \mathbb{Q}/\mathbb{Z}(2))$의 소멸이 양의 특성의 전역체 위의 표면에서 제로 사이클에 대한 브라우어-만닝 유형의 국소-글로벌 원리를 유도하는가?
• RQ4 비분할 코homology 군 $H^3_{ ext{nr}}(X, \mathbb{Q}/\mathbb{Z}(2))$의 추측적 유한성이 유한체 위의 3차원다양체에서 제로 사이클의 샤우 군을 얼마나 제약하는가?
• RQ5 비분할 코homology 군 $H^3_{ ext{nr}}(X, \mathbb{Q}/\mathbb{Z}(2))$의 추측적 소멸은 산술기하학의 다른 표준 추측들로부터 유도될 수 있는가?

주요 결과

• 유한체 위의 매끄럽고 사영적인 3차원다양체 $X$에 대해 비분할 코homology 군 $H^3_{ ext{nr}}(X, \mathbb{Q}/\mathbb{Z}(2))$는 유한하다고 추측되며, 특정 클래스의 3차원다양체에서는 식별적으로 0이 된다.
• 만약 $X$가 곡선 $C$ 위의 피브레이션이고 제네릭 피버가 $\mathbb{F}(C)$ 위의 매끄럽고 사영적인 표면 $V$일 경우, $H^3_{ ext{nr}}(X, \mathbb{Q}/\mathbb{Z}(2)) = 0$이면서 $X$에 대해 테이트 추측이 성립한다면, $V$의 제로 사이클 샤우 군에 대해 브라우어-만닝 유형의 국소-글로벌 원리가 성립한다.
• $H^3_{ ext{nr}}(X, \mathbb{Q}/\mathbb{Z}(2))$의 소멸은 테이트 추측 하에서 $V$에서 $l$에 대해 서로소인 차수의 제로 사이클에 대한 하스 원리에 대한 브라우어-만닝 장애가 유일한 장애임을 의미한다.
• 바스 추측과 테이트 추측을 함께 가정할 경우, 군 $H^3_{ ext{nr}}(X, \mathbb{Q}/\mathbb{Z}(2))$가 유한하다는 것이 증명된다.
• 논문은 비분할 코homology 군 $H^3_{ ext{nr}}(X, \mathbb{Q}/\mathbb{Z}(2))$가 모든 유한체 위의 3차원다양체에 대해 소멸된다고 가정할 경우, 양의 특성의 전역체 위의 표면에서 제로 사이클에 대한 강력한 국소-글로벌 원리가 유도됨을 확립한다.
• 결과적으로, 이 연구는 제로 사이클과 브라우어-만닝 장애에 대한 이전 연구를 통합하고 확장하는 새로운 코hom올로지 프레임워크를 제공한다.