[논문 리뷰] Bloch's Conjecture and Chow Motives

Morihiko Saito|ArXiv.org|2000. 02. 01.

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

한 줄 요약

이 논문은 p_g = 0인 매끄럽고 사영적인 표면에 대해 블로흐의 추측, 차원 코hom로지의 핵의 멱영성, 알바네제 사상의 단사성 간의 동치성을 확립한다. 이러한 조건 하에서 차원 코hom로지의 핵 이상수의 세제곱이 0임을 증명하며, 문헌의 분해, 호지 이론, 사이클 사상의 단사성 간의 연결고리로 무어의 분해와 빌린슨 유형의 추측을 통해 동치성을 도출한다.

ABSTRACT

Let X be a complex surface with no nontrivial 2-forms. Then we show that Bloch's conjecture is true (i.e. the Albanese map in this case is injective) if and only if any homologically trivial idempotent in the ring of correspondences vanishes. Furthermore the cube of the ideal of homologically trivial correspondences is zero if these equivalent conditions are satisfied (e.g. if X is not of general type).

연구 동기 및 목표

• 매끄럽고 사영적인 표면에 대한 블로흐의 추측과 차원 모티프의 구조 간의 관계를 조사한다.
• 차원군에서 코hom로지로의 사이클 사상의 핵이 멱영이 되는 조건을 규명한다.
• 세 가지 핵심 추측 조건 간의 동치성을 확립한다: (0.1) 코hom로지가 자명한 차원 아이디포텐트의 소멸, (0.2) 핵 이상수의 멱영성, (0.3) 알바네제 사상의 단사성.
• p_g = 0이면서 일반형이 아닌 표면에 대해 핵 이상수의 세제곱이 0임을 증명함으로써, 모티프 분해에 대한 이해를 발전시킨다.

제안 방법

• CH^2(X × X)_Q에서의 직교 아이디포텐트 π_i를 통한 무어의 차원 모티프 분해 구축을 사용한다.
• 호지 이론과 쿠엔트 분해를 적용하여 차원 대응을 코hom로지적 작용과 연결한다.
• 사이클 사상과 그 단사성을 이용하여 CH^2(X × X)_Q → H^4(X × X, Q)(2)의 핵을 분석한다.
• 빌린슨의 증명 기법의 변형을 통해 블로흐의 추측을 코hom로지 클래스가 자명한 아이디포텐트의 소멸로 환원한다.
• 유한 생성 체로의 기본 변화와 일반성 섹션 제약을 통해 유리 동치 문제를 복소 기하학 문제로 환원한다.
• 혼합 호지 모듈의 도입을 통한 유도 범주 기법을 적용하여 Ext^2 항의 소멸을 보이며, 멱영성에 대한 지원을 제공한다.

실험 결과

연구 질문

• RQ1 알바네제 사상의 단사성이 CH^2(X × X)_Q에서 사이클 사상의 핵 이상수의 멱영성(그리고 세제곱의 소멸)을 유도하는가?
• RQ2 p_g = 0인 표면에 대해, (0.1) 코hom로지가 자명한 차원 아이디포텐트의 소멸, (0.2) 핵 이상수의 멱영성, (0.3) 알바네제 사상의 단사성은 논리적으로 동치인가?
• RQ3 p_g = 0일 때, 블로흐의 추측을 특정 아이디포텐트의 소멸로 환원할 수 있는가?
• RQ4 p_g = 0이면서 비자명한 불규칙도를 가진 표면에 대해, CH^2(X × X)_Q에서 핵 이상수의 정확한 멱영 지수는 무엇인가?
• RQ5 H^1(X, Q) ≠ 0일 때, 핵 이상수의 제곱이 소멸하는가, 아니면 오직 세제곱이 소멸하는가?

주요 결과

• p_g = 0인 매끄럽고 사영적인 표면에 대해, 세 조건 (0.1), (0.2), (0.3)은 상호 동치이다.
• 알바네제 사상이 단사적이라면, CH^2(X × X)_Q에서 핵 이상수의 세제곱은 0이다.
• 불규칙도 q = dim H^1(X, Ω^1)가 0이 아닐 경우, 핵 이상수의 제곱은 소멸하지 않는다.
• p_g = 0이면서 일반형이 아닌 경우, 핵 이상수의 세제곱은 0이며, 이는 블로흐의 추측의 결과를 확인한다.
• 증명는 디바이저 케이스에서 사이클 사상의 단사성과 혼합 호지 모듈을 이용한 유도 범주적 증거에 의존한다.
• 결과적으로 블로흐의 추측은 코hom로지 클래스가 자명한 CH^2(X × X)_Q 내의 아이디포텐트의 소멸로 환원된다.