[논문 리뷰] The symmetric power and étale realisation functors commute

Arnav Tripathy|arXiv (Cornell University)|2015. 02. 04.

Homotopy and Cohomology in Algebraic Topology참고 문헌 6인용 수 3

한 줄 요약

이 논문은 분리 가능하게 닫힌 체 위의 정규, 노에테르, 기하학적으로 연결된 대수적 공간에 대해 대칭 거듭제곱과 에테ール 실현 함자(functor)가 약한 동치까지 교환된다는 것을 증명한다. 핵심 결과는 대칭 거듭제곱의 에테ール 호모토피 유형과 에테ール 호모토피 유형의 대칭 거듭제곱 사이의 약한 동치이며, 이는 에테ール 호모토피에 대한 효과적인 도르드-톰 정리와 대칭 거듭제곱 안정화 사상에 의한 에테ール 호모토피 군의 안정화를 이끈다.

ABSTRACT

We show that under mild hypotheses on a proper algebraic space $X$, the functors of taking its symmetric powers and its étale realisation commute up to weak equivalence. We conclude an effective version of the Dold-Thom theorem for the étale site and discuss the stabilisation results for the natural morphisms of étale homotopy groups $π_k \mathrm{Sym}^n X o π_k \mathrm{Sym}^{n+1} X$ in the context of the Weil conjectures.

연구 동기 및 목표

• 대수기하학에서 대칭 거듭제곱과 에테ール 호모토피 유형 간의 비교를 수립하기 위해.
• 적당한 가정 하에 대칭 거듭제곱의 에테ール 호모토피 유형에서 에테ール 호모토피 유형의 대칭 거듭제곱으로 가는 자연스러운 사상이 약한 동치임을 증명하기 위해.
• 에테ール 호모토피 유형을 사용하여 대칭 거듭제곱을 통해 효과적인 도르드-톰 정리를 유도하기 위해.
• 자연스러운 포함 사상 $\operatorname{Sym}^n X \to \operatorname{Sym}^{n+1}X$ 에 의한 에테ール 호모토피 군의 안정화를 분석하기 위해.
• 기하학적 호모토피 기반을 대칭 거듭제곱을 통해 제공하여, 위상수학에서의 고전적 도르드-톰 정리와 유사하게 하기 위해.

제안 방법

• 에테ール 호모토피 이론을 사용하여 대수적 공간에 대해 프로-호모토피 유형을 부여하기 위해 아르틴과 마즈르의 이론을 활용.
• 코homological 서술에서 정수 및 토르션 에테ール 호모토피를 연결하기 위해 보편 계수 정리를 적용.
• 실수 아핀 공간의 대칭 거듭제곱의 연결성 분석을 위해 보렐-무어 호모토피와 장점 정렬 시퀀스를 활용.
• 단순체 위에서의 대칭 곱의 분할을 사용한 차원에 대한 귀납적 추론을 통해 낮은 차수의 호모토피를 제어.
• 연결성과 안정화를 분석하기 위해 코프라이어 시퀀스 $\operatorname{Sym}^{n-1}X \to \operatorname{Sym}^n X \to \text{cone}$ 를 활용.
• 세포 분해와 $\mathbb{R}^k$ 위의 대칭 거듭제곱 구성에 의해 구체적인 경우인 구면으로의 환원.

실험 결과

연구 질문

• RQ1 분리 가능하게 닫힌 체 위의 정규, 노에테르, 기하학적으로 연결된 대수적 공간에 대해, 대칭 거듭제곱 함자와 에테ール 실현 함자가 약한 동치까지 교환되는가?
• RQ2 대칭 거듭제곱을 사용하여 에테ール 호모토피 유형에 대해 효과적인 도르드-톰 정리를 구성할 수 있는가?
• RQ3 자연스러운 안정화 사상 $\operatorname{Sym}^n X \to \operatorname{Sym}^{n+1}X$ 가 에테ール 호모토피 군에 대해 얼마나 많은 동치를 유도하는가?
• RQ4 에테ール 설정에서 포함 사상 $\operatorname{Sym}^{n-1}X \to \operatorname{Sym}^n X$ 의 코프라이어의 연결성은 어떠한가?
• RQ5 대수기하학에서 대칭 거듭제곱의 호모토피 안정화가 위상수학에서의 도르드-톰 정리와 어떻게 유사한가?

주요 결과

• 분리 가능하게 닫힌 체 위의 정규, 노에테르, 기하학적으로 연결된 대수적 공간에 대해, 자연스러운 사상 $\operatorname{Sym}^n(X_{\text{ét}}) \to (\operatorname{Sym}^n X)_{\text{ét}}$ 는 프로-호모토피 유형 사이의 약한 동치이다.
• 무한 대칭 거듭제곱 $\operatorname{Sym}^\infty X$ 는 에테ール 호모토피 군을 실현한다: $\pi_n^{\text{ét}} \operatorname{Sym}^\infty X \simeq \widetilde{H}_n(X_{\text{ét}}, \mathbb{Z})$.
• 안정화 사상 $\alpha_n: \operatorname{Sym}^n X \to \operatorname{Sym}^{n+1} X$ 는 $k < n$ 에서 $\pi_k^{\text{ét}}$ 에 대해 동치를 유도하고, $k = n$ 에서는 전사 사상이다.
• 포함 사상 $\operatorname{Sym}^{n-1}S^k \to \operatorname{Sym}^n S^k$ 의 코프라이어는 $S^{nk-1}/S_n$ 이며, 이는 $(n-1)$-연결되어 있어 호모토피 군의 안정화를 암시한다.
• 에테ール 호모토피 군의 $\operatorname{Sym}^n \mathbb{R}^k$ 에 대한 보렐-무어 호모토피 군은 차수 $n$ 이하에서 영이 되며, 분할과 쿤네트 유형 분해를 사용한 귀납적 증명으로 증명된다.
• 안정화 결과는 구면의 대칭 거듭제곱에 대해 성립하며, 세포의 대칭 곱을 따라 붙이는 방식으로 일반적인 대수적 공간으로 확장된다.