[논문 리뷰] On the étale fundamental groups of arithmetic schemes, revised

Feng-Wen An|arXiv (Cornell University)|2009. 10. 26.

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

한 줄 요약

이 논문은 정수론적 스킴의 에탈 기본군과 그 최대 형식적으로 무분기 확장의 갈로아 군 사이의 천연 동형사상 수립을 통해, 형식적으로 무분기 확장이 산술적으로 무분기임을 증명하고, 이는 대수적 수론에서의 표준적 개념과 일치함을 보여준다. 핵심 결과는 산술적 다양체의 에탈 기본군이 그 최대 산술적으로 무분기 확장의 갈로아 군과 자연스럽게 동형임을 보여주는 것이다.

ABSTRACT

In this paper we will give a computation of the étale fundamental group of an integral arithmetic scheme. For such a scheme, we will prove that the étale fundamental group is naturally isomorphic to the Galois group of the maximal formally unramified extension over the function field. It consists of the main theorem of the paper. Here, formally unramified will be proved to be arithmetically unramified which is defined in an evident manner and coincides with that in algebraic number theory. Hence, formally unramified has an arithmetic sense. At the same time, such a computation coincides with the known result for a normal noetherian scheme.

연구 동기 및 목표

• 정수론적 스킴, 즉 $\mathrm{Spec}(\mathbb{Z})$ 위에서 유한형이며, 정수적이고 $\mathrm{Spec}(\mathbb{Z})$ 위로 전성인 스킴에 대해 그 에탈 기본군을 계산하는 것.
• 이러한 스킴의 함수체의 최대 형식적으로 무분기 확장이 산술적으로 무분기임을 보여, 이를 산술적 해석으로 부여하는 것.
• 산술적 다양체의 에탈 기본군이 그 최대 산술적으로 무분기 확장의 갈로아 군과 자연스럽게 동형임을 보이는 것.
• 형식적으로 무분기 확장의 개념을 고전적 대수적 수론의 개념과 조율하여, 이 맥락에서 서로 일치함을 보이는 것.
• 기존의 정규 노에테르 스킴에 대한 결과를 확장하여, 산술기하학적으로 의미 있는 계산 가능한 에탈 기본군의 기술을 제공하는 것.

제안 방법

• 고정된 $k(X)$의 대수적 폐쇄 $\Omega$ 위에서, 유한 에탈 갈로와 코버의 함수체의 직접극한으로서 최대 형식적으로 무분기 확장 $k(X;\Omega)^{\text{un}}$를 정의한다.
• 유한 에탈 갈로와 코버의 집합 $[X;\Omega]_{\text{et}}$가 $X_\alpha \leq X_\beta$일 때 $X_\beta$가 $X_\alpha$ 위의 갈로와 코버인 순서에 대해 유도된 체계를 이룸을 보인다.
• 자기동형사상 군들의 반대극한 $\varprojlim_{Y \in [X;\Omega]_{\text{et}}} \mathrm{Aut}(Y/X)$가 에탈 기본군 $\pi_1^{\text{et}}(X,s)$와 동형임을 증명한다.
• 산술적으로 무분기 코버의 집합 $[X;\Omega]_{\text{qc}}$가 $[X;\Omega]_{\text{et}}$에 대해 코프리미티브임을 보여, 동일한 군을 계산하기 위해 $[X;\Omega]_{\text{qc}}$ 위에서의 반대극한을 사용할 수 있음을 보인다.
• 모든 산술적으로 무분기 확장이 유한 에탈 갈로와 확장에 포함됨을 이용하여, $[X;\Omega]_{\text{qc}}$를 $[X;\Omega]_{\text{et}}$에 코프리미티브 부분가족을 통해 통합한다.
• 결론적으로, 코프리미티브 유도된 체계 위에서의 반대극한의 동형성에 의해 $\pi_1^{\text{et}}(X,s) \cong \mathrm{Gal}(k(X;\Omega)^{\text{un}}/k(X))$임을 도출한다.

실험 결과

연구 질문

• RQ1 산술 스킴의 함수체에 대한 최대 형식적으로 무분기 확장은 산술적으로 의미가 있으며, 대수적 수론에서의 고전적 무분기 확장 개념과 일치하는가?
• RQ2 산술 스킴의 에탈 기본군은 그 함수체의 특정 확장의 갈로아 군으로 계산될 수 있는가?
• RQ3 산술적 다양체의 에탈 기본군은 함수체에만 의존하며, 이는 비라시얼 불변량인가?
• RQ4 유한 에탈 갈로와 코버 집합과 산술적으로 무분기 코버 집합 위에서의 자기동형사상 군들의 반대극한이 서로 동형인가?
• RQ5 $\mathbb{Q}(t_1, \dots, t_n)$의 최대 산술적으로 무분기 확장이 자명함을 고려할 때, $\mathrm{Spec}(\mathbb{Z}[t_1, \dots, t_n])$의 에탈 기본군이 자명한가?

주요 결과

• 산술 스킴 $X$의 에탈 기본군 $\pi_1^{\text{et}}(X,s)$는 그 함수체 $k(X)$ 위에서의 최대 형식적으로 무분기 확장에 대한 갈로아 군 $\mathrm{Gal}(k(X;\Omega)^{\text{un}}/k(X))$와 자연스럽게 동형이다.
• 최대 형식적으로 무분기 확장 $k(X;\Omega)^{\text{un}}$는 최대 산술적으로 무분기 확장 $k(X)^{\text{au}}$와 동일하므로, 이를 산술적 의미로 부여할 수 있다.
• 이 맥락에서 형식적으로 무분기 확장의 개념은 특히 딜레인드 도메인과 이산 비율환의 맥락에서 대수적 수론의 고전적 무분기 확장 개념과 일치한다.
• $[X;\Omega]_{\text{et}}$는 산술적으로 무분기 코버의 집합 $[X;\Omega]_{\text{qc}}$에 대해 코프리미티브이므로, $[X;\Omega]_{\text{et}}$ 위에서의 반대극한과 $[X;\Omega]_{\text{qc}}$ 위에서의 반대극한이 동일한 군을 계산함을 보장한다.
• 결과적으로, $\pi_1^{\text{et}}(\mathrm{Spec}(\mathbb{Z}[t_1, \dots, t_n])) \cong \{0\}$이다. 왜냐하면 $\mathbb{Q}(t_1, \dots, t_n)$의 최대 산술적으로 무분기 확장이 자명하기 때문이다.
• 산술적 다양체의 에탈 기본군은 비라시얼 불변량이다: 두 산술적 다양체가 동일한 함수체를 가진다면, 그들의 에탈 기본군은 서로 동형이다.