[논문 리뷰] Arithmetic homology and an integral version of Katos conjecture

Thomas Geisser|ArXiv.org|2007. 04. 10.

Geometry and complex manifolds인용 수 7

한 줄 요약

이 논문은 유한체 위에서 정수 계수의 보렐-무어 호몰로지 이론인 산술 호몰로지와 정수 계수 케이토 호몰로지의 버전을 도입한다. 블로흐의 사이클 복합체에 위에일-에탈 포멀리즘을 적용하여, 고차 체인 군, 산술 호몰로지, 정수 계수 케이토 호몰로지를 연결하는 장점 정렬 시퀀스를 수립하며, 이는 곡선에 대해 정수 계수 케이토 추측이 성립하고, 유한체 위의 스킴에서 유리수 및 토판 사이클을 이해하는 데 기반을 제공한다.

ABSTRACT

We define an integral Borel-Moore homology theory over finite fields, called arithmetic homology, and an integral version of Kato homology. Both types of groups are expected to be finitely generated, and sit in a long exact sequence with higher Chow groups of zero-cycles.

연구 동기 및 목표

• 정수 계수의 보렐-무어 호몰로지 이론(산술 호몰로지)을 정의하여 악성인 에탈 고차 체인 군의 대체로 사용한다.
• 고차 체인 군과 산술 호몰로지 사이의 차이를 측정하는 정수 계수 케이토 호몰로지의 버전을 구성한다.
• 유한체 위의 스무스, 닫힘, 연결된 스킴에 대해 케이토 추측의 정수 계수 버전을 제안하고 조사한다.
• 기본 추측 하에 고차 체인 군, 산술 호몰로지, 정수 계수 케이토 호몰로지를 연결하는 장점 정렬 시퀀스를 수립한다.
• 도수 0 및 곡선에 대해 정수 계수 케이토 추측을 증명하고, 낮은 차수에서 장점 정렬 시퀀스가 조건 없이 성립함을 확인한다.

제안 방법

• 산술 호몰로지는 $ G $ 가 $ \bar{X} = X \times_{\mathbb{F}_q} \bar{\mathbb{F}}_q $ 에 작용하는 위에일 군일 때, 복합체 $ R\tilde{\tau}_G R\tilde{\tau}(\bar{X}_{\text{et}}, \mathbb{Z}^c(0))[1] $ 의 코homology로 정의된다.
• 구성은 블로흐의 사이클 복합체 $ \mathbb{Z}^c(0) $ 에 위에일-에탈 포멀리즘을 적용하여, 유한 생성으로 기대되는 군 $ H_i^c(X_{\text{ar}}, \mathbb{Z}) $ 를 도출한다.
• 정수 계수 케이토 호몰로지 $ H_i^K(X, \mathbb{Z}) $ 는 잔여체의 밀놀 K-군을 $ \bar{\mathbb{F}}_q $ 와 텐서곱한 복합체의 호몰로지로 정의되며, 프로베니우스 코인variants를 포함한다.
• 장점 정렬 시퀀스는 베일린슨-리히텐바움 추측과 에탈 코homology 및 위에일-에탈 코homology의 국소화 시퀀스의 구조에서 유도된다.
• 산술 호몰로지의 사영 및 호모토피 배ndl 포뮬러는 국소화와 호모토피 공식을 통해 수립된다.
• 추측적 장점 정렬 시퀀스는 도수 $ i \leq 1 $ 에서 조건 없이 성립하며, 곡선에 대해 정수 계수 케이토 추측이 검증된다.

실험 결과

연구 질문

• RQ1 정수 계수의 보렐-무어 호몰로지 이론이 존재하는가? 이는 악성인 에탈 고차 체인 군의 대체로 기능해야 한다.
• RQ2 고차 체인 군과 산술 호몰로지 사이의 차이를 측정할 수 있는 정수 계수 케이토 호몰로지의 버전을 정의할 수 있는가?
• RQ3 스킴 $ X $ 가 $ \mathbb{F}_q $ 위에 있을 때, $ CH_0(X,i) $, $ H_{i+1}^c(X_{\text{ar}}, \mathbb{Z}) $, $ H_{i+1}^K(X, \mathbb{Z}) $ 를 연결하는 장점 정렬 시퀀스가 존재하는가?
• RQ4 정수 계수 케이토 추측은 스무스, 닫힘, 연결된 스킴에 대해 성립하는가? 특히 $ H_0^K(X, \mathbb{Z}) \cong \mathbb{Z} $ 이고 $ i > 0 $ 에 대해 $ H_i^K(X, \mathbb{Z}) = 0 $ 인가?
• RQ5 낮은 차수에서 장점 정렬 시퀀스가 조건 없이 성립하는가? 그리고 곡선에 대해 추측이 검증되는가?

주요 결과

• 모든 스무스, 닫힘, 연결된 스킴에 대해 도수 0에서 정수 계수 케이토 추측이 성립하며, $ H_0^K(X, \mathbb{Z}) \cong \mathbb{Z} $ 이다.
• 스무스이고 닫힌 곡선 $ C $ 에 대해 추측이 성립하며, 장점 정렬 시퀀스는 $ 0 \to (k(C) \otimes_{\mathbb{F}_q} \bar{\mathbb{F}}_q)^\times_G \to \bigoplus_{x \in C_{(0)}} \mathbb{Z} \to \mathbb{Z} \to 0 $ 으로 단순화된다.
• 도수 $ i \leq 1 $ 에서 $ CH_0(X,i) $, $ H_{i+1}^c(X_{\text{ar}}, \mathbb{Z}) $, $ H_{i+1}^K(X, \mathbb{Z}) $ 를 연결하는 장점 정렬 시퀀스는 조건 없이 성립한다.
• 베일린슨-리히텐바움 추측과 특이점 해소를 가정할 때, 세 문장의 동치가 증명된다: 유리수 체인 군의 소멸, 정수 계수 케이토 추측, 장점 정렬 시퀀스의 존재.
• 스무스하고 닫힌 스킴 $ X $ 에 대해 $ i = 1,2 $ 일 때 정수 계수 케이토 호몰로지 군 $ H_i^K(X, \mathbb{Z}) $ 는 $ CH_0(X,i)_{\mathbb{Q}} $ 와 동형임을 보였다.
• 산술 호몰로지의 사영 배ndl 및 호모토피 포뮬러가 수립되었으며, 표준적인 모티빅 성질과의 호환성을 보였다.