[논문 리뷰] Etale realization on the A^1-homotopy theory of schemes

Daniel C. Isaksen|ArXiv.org|2001. 06. 19.

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

한 줄 요약

이 논문은 에테일 실현을 이용하여 스킴의 $Å^1$-homotopy 범주에서 pro-spaces의 homotopy 범주로의 함자를 수립한다. 이는 양의 특성수를 가진 체 위의 스킴에서 호모토피 이론적 방법을 적용할 수 있게 하며, 핵심 기여는 에테일 상위형의 하이퍼커버 강하를 증명하여 하이퍼커버 해상과의 일致성을 확보하고, 분석적 실현을 임의의 체로 확장하는 것이다.

ABSTRACT

We compare Friedlander's definition of the etale topological type for simplicial schemes to another definition involving realizations of pro-simplicial sets. This can be expressed as a notion of hypercover descent for etale homotopy. We use this result to construct a homotopy invariant functor from the category of simplicial presheaves on the etale site of schemes over S to the category of pro-spaces. After completing away from the characteristics of the residue fields of S, we get a functor from the Morel-Voevodsky A^1-homotopy category of schemes to the homotopy category of pro-spaces.

연구 동기 및 목표

• 특성 0에 국한되어 있던 분석적 실현을 양의 특성수를 가진 체 위의 스킴로 확장하기 위해.
• 에테일 사이트의 단순형 프레시브레브에서 pro-spaces로의 호모토피 불변 함수를 정의하고, $Å^1$-homotopy 이론과의 호환성을 확보하기 위해.
• 에테일 상위형에 대한 하이퍼커버 강하를 확립하여 하이퍼커버 해상에서의 일致성을 보장하기 위해.
• pro-space 값을 갖는 함수를 통해 $Å^1$-homotopy 이론의 계산 도구를 제공하기 위해.
• 미래의 안정화 및 등변 확장에 대한 기초 작업을 pro-space 호모토피 이론에서 마련하기 위해.

제안 방법

• 단순형 스킴에 대한 프리드란더의 정의를 일반화하여, 프로-단순형 집합을 이용해 스킴의 에테일 상위형을 정의한다.
• 에테일 사이트의 단순형 프레시브레브에서 pro-spaces로의 왼쪽 쿠일렌 함수를 구성하여 호모토피 불변성을 확보한다.
• 에테일 하이퍼커버 강하를 증명한다: 임의의 에테일 하이퍼커버 $U\to X$에 대해, $n\to \text{Et}U_n$의 단순형 프로-스페이스의 실현은 $\text{Et}X$와 약한 동치이다.
• 프로-스페이스 범주에서 하이퍼커버 해상과 그의 당김을 분석하기 위해 강한 커버와 cofinal 함수를 사용한다.
• $n$-단절된 실현을 도입하여 전체 실현을 근사하고, 차원 $n$ 이하의 호모토피 군을 분석한다.
• 프로-스페이스 설정에서 $\text{sk}_n$, $\text{cosk}_n$ 및 실현 함수 간의 수반 관계를 활용하여 단절된 실현과 전체 실현을 비교한다.

실험 결과

연구 질문

• RQ1 에테일 상위형을 이용하여 임의의 체 위에서 $Å^1$-homotopy 이론에서 pro-spaces로의 호모토피 불변 함수를 정의할 수 있는가?
• RQ2 단순형 스킴의 프리드란더 에테일 상위형은 관련된 단순형 프로-스페이스의 내부 실현과 약한 동치인가?
• RQ3 에테일 상위형은 하이퍼커버 강하를 만족하는가? 즉, 임의의 에테일 하이퍼커버 $U\to X$에 대해 $\text{Re}(n\mapsto \text{Et}U_n) \simeq \text{Et}X$ 인가?
• RQ4 $n$-단절된 실현은 프로-스페이스 설정에서 차원 $<n$ 이하의 호모토피 군에서 전체 실현을 호모토피 상수로 근사할 수 있는가?
• RQ5 이 구성은 안정 $Å^1$-homotopy 이론과 등변 프로-스페이스 호모토피 이론에 대해 어떤 기초적 함의를 지닌다?

주요 결과

• 에테일 상위형은 하이퍼커버 강하를 만족한다: 임의의 에테일 하이퍼커버 $U\to X$에 대해, 자연스러운 사상 $\text{Re}(n\mapsto \text{Et}U_n)\to \text{Et}X$ 는 프로-스페이스에서의 약한 동치이다.
• $n$-단절된 실현 $\text{Re}_nX$ 는 $X$ 가 프로-스페이스에서의 단순형 대상일 때, 모든 $i < n$ 에 대해 호모토피 프로-군 $\pi_i$ 에 대한 동형을 유도한다.
• 이 구성은 에테일 사이트의 단순형 프레시브레브에서 pro-spaces로의 왼쪽 쿠일렌 함수를 유도하며, 호모토피 범주에 잘 정의된 함수를 유도한다.
• 스킴 $S$ 의 잔여 특성수에서 멀어진 완비화 이후, 이 함수는 모레르-보에보드스키의 $Å^1$-homotopy 범주에서 pro-spaces의 호모토피 범주로의 호모토피 불변 함수로 올라간다.
• 실현 함수는 분석적 실현이 실패하는 양의 특성수에서의 $Å^1$-homotopy 이론에 대한 계산 도구를 제공한다.
• 결과들은 안정화 및 등변 확장으로의 길을 시사하지만, 프로-스펙트럼에 대한 기초 작업은 아직 완료되지 않았다.