[논문 리뷰] Algebraic cycles and crystalline cohomology

Amalendu Krishna, Jinhyun Park|arXiv (Cornell University)|2015. 04. 30.

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

한 줄 요약

이 논문은 특성 $p \neq 2$인 체 위의 매끄러운 다양체에서의 덧셈형 고차 콜레프 군이 프로-미분가환대수의 자리스키 층을 이룬다는 것을 증명한다. 이 층의 밀너 범위는 큰 드 라무-위트 복합체와 일치한다. $p > 2$인 경우, 이 층의 $p$-형식 부분의 자리스키 코homology는 크리스탈린 코homology를 계산하며, 블로크와 일루시에의 고전적 결과에 대해 현대적인 대수기하학적 사이클 이론적 해석을 제공한다.

ABSTRACT

We show that additive higher Chow groups on smooth varieties over a field of characteristic $p ot = 2$ induce a Zariski sheaf of pro-differential graded algebras, whose Milnor range is isomorphic to the Zariski sheaf of the big de Rham-Witt complexes of L. Hesselholt and I. Madsen. When $p > 2$, the Zariski hypercohomology of the $p$-typical part of the sheaves arising from additive higher Chow groups computes the crystalline cohomology of smooth varieties. This revisits the 1970s results of S. Bloch and L. Illusie on crystalline cohomology.

연구 동기 및 목표

• 양의 특성에서 덧셈형 고차 콜레프 군을 크리스탈린 코homology와 연결하기.
• 이 군들이 자리스키 층의 프로-미분가환대수의 구조를 이룬다는 것을 보여주기.
• 이 층의 $p$-형식 부분이 하이퍼코homology를 통해 크리스탈린 코homology를 계산한다는 것을 보여주기.
• 현대적 사이클 이론적 기법을 사용하여 블로크와 일루시에의 고전적 결과를 재해석하기.

제안 방법

• 특성 $p \neq 2$인 체 위의 매끄러운 다양체에서의 덧셈형 고차 콜레프 군으로부터 자리스키 층의 프로-미분가환대수를 구성하기.
• 이 층의 밀너 범위를 헤셀홀트와 매든의 큰 드 라무-위트 복합체의 자리스키 층과 식별하기.
• 이 층의 $p$-형식 부분에 초점을 맞춰 크리스탈린 코homology와의 연관성 파악하기.
• 자리스키 하이퍼코homology를 사용하여 층의 구조를 통해 크리스탈린 코homology 계산하기.
• 코homological 계산에서 극한과 수렴을 다룰 수 있도록 프로-미분가환대수 프레임워크 활용하기.
• 대수기하학적 사이클과 크리스탈린 코homology의 결과를 활용하여 고전적 구성과의 동형을 확립하기.

실험 결과

연구 질문

• RQ1 덧셈형 고차 콜레프 군은 양의 특성에서 드 라무-위트 복합체와 어떻게 관련이 있는가?
• RQ2 덧셈형 고차 콜레프 군에서 유도된 층의 $p$-형식 부분이 크리스탈린 코homology를 계산할 수 있는가?
• RQ3 덧셈형 고차 콜레프 군의 밀너 범위에 대한 층 이론적 실현이 큰 드 라무-위트 복합체와 일치하는가?
• RQ4 이 구성은 1970년대 블로크와 일루시에의 크리스탈린 코homology에 대한 고전적 결과를 복원하거나 재해석하는가?
• RQ5 프로-미분가환대수의 구조는 사이클과 코homology 이론을 연결하는 데 어떤 역할을 하는가?

주요 결과

• 특성 $p \neq 2$인 체 위의 매끄러운 다양체에서의 덧셈형 고차 콜레프 군은 프로-미분가환대수의 자리스키 층을 유도한다.
• 이 층의 밀너 범위는 헤셀홀트와 매든의 큰 드 라무-위트 복합체의 자리스키 층과 동형이다.
• $p > 2$인 경우, 이 층의 $p$-형식 부분의 자리스키 하이퍼코homology는 매끄러운 다양체의 크리스탈린 코homology를 계산한다.
• 이 구성은 크리스탈린 코homology에 대한 새로운 대수기하학적 사이클 이론적 해석을 제공한다.
• 이 결과는 블로크와 일루시에의 크리스탈린 코homology에 대한 고전적 정리에 대해 현대적인 재해석을 제공한다.
• 이 프레임워크는 프로-구조와 미분가환대수를 통해 고차 콜레프 사이클과 크리스탈린 코homology 사이의 다리를 놓는다.