[논문 리뷰] 0-cycles on singular schemes and class field theory

Amalendu Krishna|arXiv (Cornell University)|2015. 02. 05.

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

한 줄 요약

이 논문은 유한체 위의 프로젝티브 스킴에 대한 0-사이클의 초등군과 그 정규화된 국소의 아벨화된 기본군 사이의 상호성 동형사상(Reciprocity isomorphism)을 확립하며, 고립된 특이점을 가진 특이 스킴로 고전적 환류 이론을 확장한다. 핵심 결과는 $\theta^0_X: A_0(X) \xrightarrow{\sim} \pi^{{\rm ab}}_1(X_{\rm reg})^0$ 인 동형사상으로, 이는 블로흐-퀴렌 공식을 유도하고, 특성에 대한 가정 없이 케르츠-사이토의 표면에 대한 결과들을 단순한 증명을 제공한다.

ABSTRACT

We show that the Chow group of 0-cycles on a singular projective scheme $X$ over a finite field describes the abelian extensions of its function field which are unramified over the regular locus of $X$. As a consequence, we obtain the Bloch-Quillen formula for the Chow group of 0-cycles on such schemes. We deduce simple proofs of results of Kerz-Saito for a class of surfaces without any assumption on ${ m char}(k)$.

연구 동기 및 목표

• 유한체 위의 매끄러운 프로젝티브 스킴에서 기하학적 환류 이론을 특이 프로젝티브 스킴으로 일반화하는 것.
• 정규화된 국소에서 분해되지 않은 함수체의 아벨 확장을 0-사이클의 초등군을 통해 묘사하는 것.
• 고립된 특이점을 가진 특이 스킴에 대해 0-사이클의 블로흐-퀴렌 공식을 수립하는 것.
• 모듈러스가 있는 0-사이클에 대한 케르츠-사이토의 결과를 표면에 대해 특성에 관계없이 더 단순한 새로운 증명을 제공하는 것.
• 상호성 사상 구성에 있어 균일 차원 1에서의 정규성 조건이 필수적인 이유를 명확히 하는 것.

제안 방법

• 정규 열린 부분집합에 대한 환류 이론을 이용해 $\theta_X: {\rm CH}_0(X) \to \pi^{{\rm ab}}_1(X_{\rm reg})$ 인 상호성 사상을 구성한다.
• 차원에 대한 귀납법과 레프셰츠 유형 정리들을 이용해 고립된 특이점을 가진 스킴에 대해 $\theta^0_X: A_0(X) \to \pi^{{\rm ab}}_1(X_{\rm reg})^0$ 가 동형사상임을 증명한다.
• 카토-사이토의 일반화된 아이델 클래스 군을 사용해 정규 열린 부분집합 $U \subset X$ 에 대해 $\pi^{{\rm ab}}_1(U)$ 를 모티브 코hom로 연결한다.
• 베르티니 유형 정리를 적용해 일반적인 초평면 절단을 통해 일반적인 경우를 표면으로 줄이는 방법을 사용한다.
• $H^d(X, \mathcal{K}^M_d,X)$ 와 $H^d(X, \mathcal{K}_d,X)$ 사이의 동형사상을 수립하고, 이를 도수 사상과 연결한다.
• 자라이크시-나가타 정리를 사용해 여부가 차원 $\geq 2$ 인 열린 부분집합의 기본군이 서로 동형임을 보여주며, 이를 귀납적 감소에 활용한다.

실험 결과

연구 질문

• RQ1 0-사이클과 아벨화된 기본군 사이의 상호성 동형사상은 매끄럽지 않은 프로젝티브 스킴로 확장될 수 있는가?
• RQ2 사상 $\theta^0_X: A_0(X) \to \pi^{{\rm ab}}_1(X_{\rm reg})^0$ 가 존재하기 위해 필요한 충분한 조건은 무엇인가?
• RQ3 고립된 특이점을 가진 특이 스킴에 대해 0-사이클의 블로흐-퀴렌 공식이 성립하는가?
• RQ4 케르츠-사이토의 표면에 대한 0-사이클 모듈러스 결과는 특성 제한 없이 더 단순하게 재증명될 수 있는가?
• RQ5 왜 상호성 사상 구성에 있어 균일 차원 1에서의 정규성 조건이 필수적인가?

주요 결과

• $X$ 가 고립된 특이점만을 가지며, 균일 차원 1에서 정규일 경우, 사상 $\theta^0_X: A_0(X) \to \pi^{{\rm ab}}_1(X_{\rm reg})^0$ 는 유한군 간의 동형사상이다.
• 이러한 스킴에 대해 블로흐-퀴렌 공식이 성립한다: ${\rm CH}_0(X) \xrightarrow{\sim} H^d(X, \mathcal{K}^M_d,X) \xrightarrow{\sim} H^d(X, \mathcal{K}_d,X)$.
• 보조정리 1.3은 $\overline{X}_{\rm reg}$ 가 단순연결일 경우 ${\rm CH}_0(X) \cong \mathbb{Z}$ 라고 보여준다.
• 이러한 스킴에 대해 알바네제 사상 $AJ_X: A_0(X) \to {\rm Alb}_X(k)$ 는 전사이다.
• 정리 1.5(케르츠-사이토)의 증명이 특성에 관계없이 단순화되고 일반화되었으며, $\text{char}(k) \neq 2$ 라는 조건이 필요하지 않다.
• 균일 차원 1에서의 정규성 조건은 필수적이다; 반례를 통해 이 조건이 없으면 상호성 사상이 실패함을 보여준다.