[논문 리뷰] On two higher Chow groups of schemes over a finite field

Satoshi Kondo, Seidai Yasuda|arXiv (Cornell University)|2013. 06. 07.

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

한 줄 요약

이 논문은 유한체 위의 분리된 유한형 스킴 $ X $ 에 대해 높은 차수의 초주기군 $ CH_{-1}(X,1) $ 과 $ CH_{-2}(X,3) $ 을 계산하며, $ X $ 가 본질적이지 않으면 이 군들이 0이 되고, $ X $ 가 본질적이라면 $ \mathrm{Spec}\,\mathcal{O}(X) $ 에 대응하는 군들과 동형임을 증명한다. 이 결과는 악타르의 정리의 일반화이며, 모티브릭 호모로지, 에테일 코hom로지, 그리고 블로크-카토-밀너 동형사상에 기반하며, 높은 코드림에서의 기술적 감소를 위해 파르신의 추측을 사용한다.

ABSTRACT

Given a separated scheme $X$ of finite type over a finite field, its higher Chow groups $CH_{-1}(X, 1)$ and $CH_{-2}(X, 3)$ are computed explicitly.

연구 동기 및 목표

• 유한체 위의 유한형 스킴 $ X $ 에 대해 높은 차수의 초주기군 $ CH_{-1}(X,1) $ 과 $ CH_{-2}(X,3) $ 을 계산하는 것.
• 부드럽고 본질적인 스킴에 대해 악타르의 $ CH_{-1}(X,1) $ 결과를 $ \mathbb{F}_q $ 위의 임의의 연결된 유한형 스킴으로 일반화하는 것.
• 적절한 조건 하에서 음수 차수에서의 보렐-무어 모티브릭 호모로지 군 $ H^\mathrm{BM}_i(X,\mathbb{Z}(j)) $ 의 0이 되는 결과를 확립하는 것.
• 모티브릭 보렐-무어 호모로지와 $ \mathbb{Z}_\ell $ 계수를 가진 에테일 보렐-무어 호모로지를 연결하여, 범위 $ i \leq -1 $, $ j \leq -1 $ 에서 동형임을 증명하는 것.

제안 방법

• 보블의 사이클 복합체 $ z_j(X,\bullet) $ 를 사용하여 보렐-무어 모티브릭 호모로지 군 $ H^\mathrm{BM}_i(X,\mathbb{Z}(j)) = H_{i-2j}(z_j(X,\bullet)) $ 를 정의한다.
• 로스트-보에보츠키를 통한 블로크-카토-밀너 동형사상(에테일 코hom로지와 $ \mathbb{Q}_\ell/\mathbb{Z}_\ell $ 계수를 가진 모티브릭 코hom로지 간의 관계를 설정한다).
• 호치셔드-세르 스펙트럴 시퀀스와 무게 분석을 적용하여 에테일 및 모티브릭 설정에서의 코hom로지적 0이 되는 성질을 분석한다.
• 차원에 대한 귀납법과 열린 부분스킴 위에서의 극한 추론을 사용하여, 파르신의 추측을 가정할 때 $ H^\mathrm{BM}_i(X,\mathbb{Z}(j)) $ 가 $ i \leq -2 $ 에서 0이 됨을 증명한다.
• 에테일 보렐-무어 호모로지를 컴act 지지 코호몰로지의 쌍대를 통해 정의한다: $ H^\mathrm{BM,et}_i(X,\mathbb{Z}_\ell(j)) = \mathrm{Hom}_{\mathbb{Q}_\ell/\mathbb{Z}_\ell}(H^{i+1}_{\mathrm{et},c}(X,\mathbb{Q}_\ell/\mathbb{Z}_\ell(-j)), \mathbb{Q}_\ell/\mathbb{Z}_\ell) $.
• 특히 $ j \geq 2 $ 에서는 기하학적 지레-레빈 정리들을 사용하여 모티브릭 코호몰로지와 에테일 코호몰로지를 연결한다.

실험 결과

연구 질문

• RQ1 유한체 위의 유한형 스킴 $ X $ 에 대해 높은 차수의 초주기군 $ CH_{-1}(X,1) $ 의 구조는 어떻게 되는가?
• RQ2 어떤 조건에서 $ CH_{-2}(X,3) $ 이 0이 되거나 $ \mathrm{Spec}\,\mathcal{O}(X) $ 의 군과 동형이 되는가?
• RQ3 유한체 위의 스킴에 대해 음수 차수에서의 보렐-무어 모티브릭 호모로지 군은 어떻게 행동하는가?
• RQ4 모티브릭 호모로지가 음수 차수에서 에테일 호모로지와 어느 정도 관련되어 있는가?
• RQ5 범위 $ i \leq -1 $, $ j \leq -1 $ 에서 모티브릭 호모로지와 에테일 호모로지 사이의 동형이 성립하는가?

주요 결과

• 유한체 $ \mathbb{F}_q $ 위의 연결된 유한형 스킴 $ X $ 에 대해, $ j = -1, -2 $ 에 대해 $ H^\mathrm{BM}_{-1}(X,\mathbb{Z}(j)) $ 는 $ X $ 가 본질적이라면 $ H^\mathrm{BM}_{-1}(\mathrm{Spec}\,\mathcal{O}(X),\mathbb{Z}(j)) $ 와 동형이며, 그렇지 않다면 0이 된다.
• 높은 차수의 초주기군 $ CH_{-1}(X,1) $ 과 $ CH_{-2}(X,3) $ 이 명시적으로 계산된다: $ X $ 가 본질적이지 않다면 0이 되며, $ X $ 가 본질적이고 $ j = -1 $ 이면 $ \mathbb{Z} $ 와 동형이며, $ j = -2 $ 이면 $ \mathrm{Pic}(X) $ 와 동형이다.
• 모든 $ j \leq -1 $ 에 대해 $ i \leq -2 $ 이면 보렐-무어 모티브릭 호모로지 군 $ H^\mathrm{BM}_i(X,\mathbb{Z}(j)) $ 는 파르신의 추측을 가정할 때 0이 된다.
• 에테일 보렐-무어 호모로지 군 $ H^\mathrm{BM,et}_i(X,\mathbb{Z}_\ell(j)) $ 는 $ i \leq -2 $ 에서 0이며, $ i = -1 $ 이면 $ X $ 가 본질적이라면 $ \mathrm{Spec}\,\mathcal{O}(X) $ 로의 푸시포워드가 동형이며, 그렇지 않으면 0이다.
• 범위 $ i \leq -1 $, $ j \leq -1 $ 에서는 $ H^\mathrm{BM}_i(X,\mathbb{Z}(j)) \otimes \mathbb{Z}_\ell \cong H^\mathrm{BM,et}_i(X,\mathbb{Z}_\ell(j)) $ 인 자연스러운 동형이 존재하며, 필요한 경우 파르신의 추측을 사용한다.
• 증명은 베르티니 유형 정리에 의존하지 않으며 악타르의 작업에 의존하지 않고, 대신 모티브릭 코호몰로지, 에테일 코호몰로지, 그리고 블로크-카토-밀너 동형사상에 기반한다.