[논문 리뷰] Remarks on curve classes on rationally connected varieties

Claire Voisin|arXiv (Cornell University)|2012. 01. 05.

Algebraic Geometry and Number Theory참고 문헌 21인용 수 8

한 줄 요약

이 논문은 유리연결 복소 프로젝티브 다양체에서 차수 $2n-2$의 정수 허지 클래스의 소멸을 조사하며, 유한체 위의 표면에서 차수 2 테이트 클래스에 대한 테이트 추측이 성립할 경우, 정수 허지 추측의 실패를 측정하는 군 $Z^{2n-2}(X)$가 모든 복소수 위의 유리연결 다양체에서 소멸함을 보인다. 이 증명은 변형 불변성, $l$-adic 코homology, 그리고 쇼엔의 정리에 의한 유한체로의 환원을 활용한다.

ABSTRACT

We study for rationally connected varieties $X$ the group of degree 2 integral homology classes on $X$ modulo those which are algebraic. We show that the Tate conjecture for divisor classes on surfaces defined over finite fields implies that this group is trivial for any rationally connected variety.

연구 동기 및 목표

• 정수 허지 추측의 실패를 측정하는 군 $Z^{2n-2}(X)$가 복소수 위의 유리연결 복소 프로젝티브 다양체에서 소멸하는지 조사하는 것.
• 복소수 위에서 $Z^{2n-2}(X)$의 소멸이 유한체 위의 표면에서 차수 2 테이트 클래스에 대한 테이트 추측과 어떻게 연결되는지 밝히는 것.
• 복소수 위의 유리연결 다양체에서 정수 허지 클래스의 소멸 문제를 변형 불변성과 환원 기법을 통해 수체수 및 유한체 위의 문제로 환원하는 것.

제안 방법

• 복소수 위의 유리연결 다양체의 가닥에 대해 $Z^{2n-2}(X)$가 국소적으로 변형 불변임을 증명함으로써, 문제를 수체수 위에 정의된 다양체로 환원한다.
• 아르틴 비교 동형사상(비교 정리)을 사용하여 복소수 위의 싱귤러 코hom로와 수체수 위의 $l$-adic 코homology를 연결함으로써, $Z^{2n-2}(X) \otimes \mathbb{Z}_l$를 에테ール 버전인 $Z^{2n-2}_{\text{et}}(X)_l$로 식별한다.
• 소수에 대한 환원을 적용하여 수체수 위의 다양체의 코homology를 유한체 위의 다양체의 코homology와 연결함으로써 문제를 양의 특성으로 이행한다.
• 쇼엔의 정리(모든 정수 테이트 클래스가 테이트 추측이 성립하는 표면에서의 푸시포워드를 통해 유도됨)를 활용함.
• 유리연결 다양체의 경우 $H^{2n-2}(X,\mathbb{Q})$ 위의 호지 구조가 자명하므로 $Z^{2n-2}(X) = H^{2n-2}(X,\mathbb{Z}) / H^{2n-2}(X,\mathbb{Z})_{\text{alg}}$로 단순화됨을 이용한다.
• 레프셰츠 정리의 $(1,1)$-클래스에 대한 결과와 하드 레프셰츠 정리를 적용하여 문제를 표면 위의 차수 2 클래스의 대수성으로 환원한다.

실험 결과

연구 질문

• RQ1 모든 매끄러운 복소수 위의 유리연결 복소 프로젝티브 다양체 $X$의 차원이 $n$일 때, 군 $Z^{2n-2}(X)$는 소멸하는가?
• RQ2 복소수 위에서 $Z^{2n-2}(X)$의 소멸은 유한체 위의 매끄러운 프로젝티브 표면에서 차수 2 테이트 클래스에 대한 테이트 추측으로 환원될 수 있는가?
• RQ3 수체수 위의 유리연결 다양체의 $l$-adic 코homology는 복소수 위의 정수 허지 클래스를 어느 정도 반영하는가?

주요 결과

• 테이트 추측이 유한체 위의 매끄러운 프로젝티브 표면에서 차수 2 테이트 클래스에 대해 성립할 경우, 임의의 매끄러운 복소수 위의 유리연결 다양체 $X$에 대해 군 $Z^{2n-2}(X)$는 소멸한다.
• $Z^{2n-2}(X)$는 복소수 위의 유리연결 가닥에 대해 국소적으로 변형 불변이므로, 한 원소에서의 소멸은 이웃한 모든 원소에서의 소멸을 암시한다.
• 복소수 위의 유리연결 다양체 $X$에 대해 아르틴 비교 정리에 의해 $Z^{2n-2}(X)$는 $\mathbb{Z}_l$와의 텐서곱을 거쳐 $Z^{2n-2}_{\text{et}}(X)_l$과 동형이 된다.
• 수체수 위에 정의된 $X$에 대해 $Z^{2n-2}_{\text{et}}(X)_l$의 소멸은 소수에 대한 환원 $X_p$에 대해 $Z^{2n-2}_{\text{et}}(X_p)_l$의 소멸을 암시한다.
• 쇼엔의 정리에 따르면, 테이트 추측이 표면에서 성립할 경우, 유한체 위의 다양체에서의 모든 정수 테이트 클래스는 표면에서의 차수 2 테이트 클래스의 푸시포워드로 나타난다.
• 결과적으로, 표면에 대한 테이트 추측이 성립할 조건 하에, 복소수 위의 유리연결 다양체에서 정수 허지 추측은 차수 $2n-2$에서 성립한다.