[논문 리뷰] On the Albanese map for smooth quasi-projective varieties

M. Spieß, Tamás Szamuely|ArXiv.org|2000. 09. 01.

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

한 줄 요약

이 논문은 매끄러운 콪프act화가 있는 매끄러운 준사영 다양체에 대해 Roitman의 정리에서 아르바네제 사상으로 일반화하며, 0차 대수적 싱귤러 호모로지에서 일반화된 아르바네제 다양체로 가는 사상이 소수 p가 아닌 torsion 부분군에서 동형사상임을 증명한다. 이는 유한체 위에서 Kato-Saito의 결과를 확장하며, Voevodsky의 카테고리에서의 모티브 호모토피 이론과 코homology 이중성에 기반하여 싱귤러 코homology와 에탈 코homology 군의 비교를 통해 동형사상을 확립한다.

ABSTRACT

Let k be an algebraically closed field and X a smooth projective k-variety. A famous theorem of A. A. Roitman states that the canonical map from the degree zero part of the Chow group of zero cycles on X to the group of k-points of its Albanese variety induces an isomorphism on torsion prime to the characteristic of k. In the present paper we prove a generalisation to quasi-projective varieties admitting a smooth compactification. As was first observed by Ramachandran, for such a generalisation one should replace the Chow group of zero cycles by Suslin's 0-th algebraic singular homology group and the Albanese variety by the generalised Albanese of Serre. The method of proof is new even in the projective case and makes the motivic nature of the Albanese transparent. We also prove that the generalised Albanese map is an isomorphism if k is the algebraic closure of a finite field.

연구 동기 및 목표

• 매끄러운 콱프act화가 있는 준사영 다양체로, 적절한 다양체에서 아르바네제 사상에 대한 Roitman의 정리를 확장한다.
• 일반화된 아르바네제 다양체를 사용하여 비적절한 경우에서 아르바네제 사상의 torsion 부분군에서의 전단사성을 확립한다.
• 유한체 위에서 Kato-Saito의 결과를 준사영 설정으로 일반화하여, 아르바네제 사상이 유한 코어랭크를 갖는 torsion 군에서 동형임을 증명한다.
• Voevodsky의 효과적 모티브 복합체의 삼각형 카테고리와 이중성 정리들을 사용하여 개념적 증명을 제공한다.

제안 방법

• 아르바네제 사상의 정의역으로서, 적절한 경우의 $CH_0(X)^0$을 일반화한 Suslin의 대수적 싱귤러 호모로지 군 $h_0(X)^0$을 사용한다.
• 일반화된 아르바네제 다양체를 Voevodsky의 카테고리 $DM^{eff}_{-}(k)$의 대상으로 해석하며, 그 기능성과 호모토피 불변성을 활용한다.
• Suslin과 Voevodsky의 기본 동형사상 $h^1(X, ζ/nζ) \cong H^1_{ét}(X, ζ/nζ)$을 적용하여 싱귤러 코hom로지와 에탈 코호몰로지 간의 관계를 설정한다.
• 일반화된 아르바네제와 피카르 다양체 간의 이중성을 이용하여 대상 군의 구조를 확립한다.
• 타인적으로 분해된 클래스 체계 이론과 갈루아 코인바리언트를 사용하여, 유한체 위에서 아르바네제 군의 구조를 분석한다.
• 초평면 절단의 논증을 통해 문제를 곡선으로 감소시키며, 곡선 아르바네제 사상에 대한 기존 결과를 활용하여 일반 사례를 유도한다.

실험 결과

연구 질문

• RQ1 매끄러운 콱프act화가 있는 매끄러운 준사영 다양체 $X$에 대해, $h_0(X)^0$에서 $Alb_X(k)$로 가는 아르바네제 사상이 소수 p가 아닌 torsion 부분군에서 동형임이 성립하는가?
• RQ2 양의 특성수를 갖는 대수적으로 닫힌 체 위에서 Kato-Saito의 아르바네제 사상에 대한 전단사성 결과를 비적절한 경우로 확장할 수 있는가?
• RQ3 유한체 위의 다양체에 대해, 타인적으로 분해된 클래스 체계 이론의 상호법칙과 일반화된 아르바네제 사상은 호환되는가?
• RQ4 아르바네제 사상은 Voevodsky의 효과적 모티브 복합체의 삼각형 카테고리에서의 사상으로 해석될 수 있는가?

주요 결과

• 매끄러운 콱프act화가 있는 대수적으로 닫힌 체 $k$ 위의 매끄러운 준사영 다양체 $X$에 대해, 아르바네제 사상 $alb_X: h_0(X)^0 \to Alb_X(k)$ 는 소수 p가 아닌 torsion 부분군에서 동형사상이다.
• 양의 특성수를 갖는 대수적으로 닫힌 체(유한체의 대수적 폐쇄) 위에서, 사상 $alb_X$ 는 유한 코어랭크를 갖는 torsion 군에서 동형사상이다.
• 증명은 아르바네제 사상을 Voevodsky의 카테고리 $DM^{eff}_{-}(k)$의 사상으로 식별함으로써, 모티브 이중성과 코homological 비교 정리의 적용을 가능하게 한다.
• 핵심 기술적 단계는 $h^1(X, ζ/nζ)$ 와 $H^1_{ét}(X, ζ/nζ)$ 간의 동형사상으로, 이는 코호몰로지 정보를 아르바네제 군으로 이전하는 데 기여한다.
• 결과는 Roitman의 정리를 준사영 설정으로 일반화하며, Kato-Saito의 결과를 적절하지 않은 경우를 초월하여 확장한다.
• 부산물로, 자연스러운 사상 $h_0(X_{ε}) \to h_0(X)$ 는 $ reciprocity $ 시퀀스에서 유도된 군 $T$ 와 동형인 유한한 핵을 갖는다. 이는 호모로지 군의 구조적 성질을 확인한다.