[논문 리뷰] The pro-étale topology for schemes

Bhargav Bhatt, Peter Scholze|arXiv (Cornell University)|2013. 09. 04.

Algebraic Geometry and Number Theory참고 문헌 9인용 수 74

한 줄 요약

이 논문은 스킴에 대한 프로-에테일 위상구조를 도입한다. 이는 새로운 그로텐디크 위상이며, 구조적 Qℓ-층의 유도 범주를 정의하는 것을 단순화하고 Qℓ-호모토피 유형을 직접 구성할 수 있도록 한다. 프로-에테일 사이트에서 Qℓ-모듈러의 층을 정의함으로써, 저자들은 라이스 및 구조적 층이 자연스럽게 기술되는 기하학적으로 직관적인 프레임워크를 구축한다. 또한 모든 라이스 Qℓ-층을 비정규 스킴에서도 포괄하는 프로-에테일 기본군을 정의한다.

ABSTRACT

We give a new definition of the derived category of constructible $\ell$-adic sheaves on a scheme, which is as simple as the geometric intuition behind them. Moreover, we define a refined fundamental group of schemes, which is large enough to see all lisse $\ell$-adic sheaves, even on non-normal schemes. To accomplish these tasks, we define and study the pro-étale topology, which is a Grothendieck topology on schemes that is closely related to the étale topology, and yet better suited for infinite constructions typically encountered in $\ell$-adic cohomology. An essential foundational result is that this site is locally contractible in a well-defined sense.

연구 동기 및 목표

• 스킴에서 구조적 Qℓ-층의 유도 범주를 기하학적으로 직관적인 방식으로 정의하는 것.
• 모든 라이스 Qℓ-층을 비정규 스킴에서도 포괄하는 기본군을 정의하는 것.
• 프로-에테일 사이트에서 유도 전역 단면을 통해 직접적이고 계산 가능한 Qℓ-호모토피 유형을 구성하는 것.
• 역한계 구조를 잘 다루는 위상구조로 대체함으로써 ℓ-아디크 코hom로지의 기술적 장벽을 제거하는 것.

제안 방법

• 약한 에테일 X-스킴으로 구성된 fpqc 커버를 갖는 Xproét로 프로-에테일 사이트를 도입한다.
• Xproét에서 라이스 및 구조적 Qℓ-층을 국소적으로 자유이고 유한 차원의 분할층으로 정의한다.
• 프로-에테일 토포스를 사용하여 Db_c(X, Qℓ)를 구조적 코호몰로지가 있는 유계 복합체의 전순서 삼항 범주로 정의한다.
• 프로-에테일 토포스가 국소적으로 수축 가능함을 입증함으로써 좋은 호모토피 성질을 확보한다.
• Qℓ-호모토피 유형을 RΓ(Xproét, Qℓ)로 정의하며, 이는 가환 미분 등급 Qℓ-대수이다.
• 프로-에테일 기본군 πproét₁(X, x)을 라이스 Qℓ-층의 범주에서의 섬세한 함수의 자동형사상 군으로 정의한다.

실험 결과

연구 질문

• RQ1 역한계 없이 단일 사이트에서 직접적으로 유도 범주 Db_c(X, Qℓ)를 정의할 수 있는가?
• RQ2 프로-에테일 위상구조는 Qℓ-호모토피 유형을 기하학적으로 자연스럽게 구성할 수 있는가?
• RQ3 모든 라이스 Qℓ-층을 비정규 스킴에서도 분류할 수 있는 기본군을 정의할 수 있는가?
• RQ4 프로-에테일 토포스는 호모토피 구조를 지원할 수 있도록 국소적으로 수축 가능한가?

주요 결과

• 프로-에테일 사이트 Xproét는 국소적으로 수축 가능하므로 좋은 호모토피 행동을 보이며, Qℓ-호모토피 유형이 RΓ(Xproét, Qℓ)로 구성될 수 있다.
• 유도 범주 Db_c(X, Qℓ)는 Db_c(X, Z/ℓ^nZ)의 극한과 Qℓ를 텐서곱한 것과 동치이지만, 이제는 Xproét에서 직접 정의된다.
• 프로-에테일 기본군 πproét₁(X, x)는 X가 정규가 아니어도 모든 라이스 Qℓ-층을 분류할 수 있을 정도로 충분히 크다.
• 기하학적으로 단일지점인 스킴에 대해서는 πproét₁(X, x) ≃ πét₁(X, x)임을 보여주며, 고전적 에테일 기본군과의 호환성을 입증한다.
• πproét₁(X, x)의 연속적인 유한 차원 Qℓ-표현의 범주는 라이스 Qℓ-층의 범주를 복원한다.
• 비정규 스킴에서 비아벨 단일화의 문제를 해결함으로써 프로-에테일 위상구조는 기술적 장벽을 제거한다. 이는 7.4.9번 예제에서 아벨 단일화가 실패하는 것으로 확인된다.