[논문 리뷰] On the etale fundamental groups of arithmetic schemes

Feng-Wen An|ArXiv.org|2009. 10. 01.

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

한 줄 요약

이 논문은 산술 스킴 $X$ 의 에테일 기본군 $\pi_1^{ ext{ét}}(X,s)$ 과 그 함수체 $k(X)$ 의 최대 무분할 확장 $k(X)^{ ext{un}}$ 의 갈루아군 사이에 표준적 동형사상이 존재함을 증명한다. 즉, $\pi_1^{ ext{ét}}(X,s) \cong \mathrm{Gal}(k(X)^{ ext{un}}/k(X))$ 를 확립한다. 이 결과는 준갈루아 닫힘 커버의 방향성 있는 체계를 구성하고, 유한 에테일 갈루아 커버의 범주에서 그가 코final임을 보여줌으로써 도출되며, 이는 에테일 기본군이 무분할 확장의 갈루아군으로서 실현됨을 의미한다.

ABSTRACT

In this paper we will give the computation of the etale fundamental group of an arithmetic scheme.

연구 동기 및 목표

• 산술 스킴의 에테일 기본군을 계산함으로써 스킴의 산술적·기하학적 정보를 압축적으로 기록하는 것을 목적으로 한다.
• 산술 스킴의 기하학적 커버와 그 함수체의 무분할 갈루아 확장 사이에 정확한 대응 관계를 설정하는 것.
• 유한 에테일 갈루아 커버의 범주에서 코final이 되는 준갈루아 닫힘 커버의 방향성 있는 체계를 구성하는 데서 발생하는 과제를 해결하는 것.
• 에테일 기본군이 함수체 $k(X)$ 의 최대 무분할 확장의 갈루아군과 동형임을 보이는 것.

제안 방법

• 함수체 $k(X)$ 의 대수적 폐쇄체 $\Omega$ 를 값으로 사용하여, $\Omega^{un}$ 내의 기약 아핀 커버링을 이용해 스킴 $X$ 위에 대한 준갈루아 닫힘 커버의 방향성 있는 집합 $X_{qc}[\Omega]$ 를 구성한다.
• 집합 $X_{qc}[\Omega]$ 는 유한, 에테일, 갈루아, 그리고 준갈루아 닫힘인 산술 다양체 $X_\alpha^{un}$ 으로 구성되며, 방향성 있는 집합 $I$ 에 따라 인덱싱된다.
• 모든 유한 에테일 갈루아 커버가 더 큰 준갈루아 닫힘 커버에 포함될 수 있음을 보여, $X_{qc}[\Omega]$ 가 $X_{et}[\Omega]$ — 고정된 기하학적 점 $s$ 를 가진 유한 에테일 갈루아 커버의 방향성 있는 집합 — 에 대해 코final임을 증명한다.
• 자동사상군들의 반대극한 $\varprojlim_{Z \in X_{qc}[\Omega]} \mathrm{Aut}(Z/X)$ 이 $\pi_1^{\text{ét}}(X,s)$ 를 표현하며, 코final성 덕분에 이 극한이 $X_{et}[\Omega]$ 에 대한 반대극한과 동일시됨을 이용한다.
• 함수체의 직접극한 $k(X_\infty^{un}) = \varinjlim_{\alpha \in I} k(X_\alpha^{un}) = k(X)^{\text{un}}$ 이고, $\mathrm{Gal}(k(X_\infty^{un})/k(X)) \cong \varprojlim_{\alpha \in I} \mathrm{Gal}(k(X_\alpha^{un})/k(X))$ 라는 관계를 확립하여 갈루아군과 기본군을 연결한다.
• 최종적으로, 등식 $\pi_1^{\text{ét}}(X,s) \cong \mathrm{Gal}(k(X)^{\text{un}}/k(X))$ 를 통해 주요 정리를 증명한다.

실험 결과

연구 질문

• RQ1 산술 스킴의 에테일 기본군은 그 함수체의 갈루아 이론적 자료로 어떻게 계산될 수 있는가?
• RQ2 준갈루아 닫힘 커버는 어떻게 에테일 기본군을 갈루아군으로 실현하는가?
• RQ3 준갈루아 닫힘 커버의 방향성 있는 체계는 산술 스킴 위의 유한 에테일 갈루아 커버의 범주에서 코final인가?
• RQ4 함수체 $k(X)$ 의 최대 무분할 확장은 $X$ 위의 준갈루아 닫힘 커버들의 함수체의 직접극한으로 실현될 수 있는가?
• RQ5 에테일 기본군 $\pi_1^{\text{ét}}(X,s)$ 는 자연스럽게 $\mathrm{Gal}(k(X)^{\text{un}}/k(X))$ 와 일치하는가?

주요 결과

• 모든 산술 스킴 $X$ 와 기하학적 점 $s$ 에 대해, 에테일 기본군 $\pi_1^{\text{ét}}(X,s)$ 는 표준적 동형사상으로 갈루아군 $\mathrm{Gal}(k(X)^{\text{un}}/k(X))$ 와 동형임을 보였다.
• 함수체 $k(X)$ 의 최대 무분할 확장 $k(X)^{\text{un}}$ 은 방향성 있는 집합 $I$ 에 따라 인덱싱된 준갈루아 닫힘 커버 $X_\alpha^{un}$ 의 함수체의 직접극한으로 실현된다.
• $X_{qc}[\Omega]$ 는 고정된 기하학적 점을 가진 유한 에테일 갈루아 커버의 집합 $X_{et}[\Omega]$ 의 코final인 방향성 있는 부분집합을 이룬다.
• 자동사상군들의 반대극한이 $X_{qc}[\Omega]$ 에서 계산된 결과는 에테일 기본군을 나타내며, 이 극한은 $\mathrm{Gal}(k(X_\infty^{un})/k(X))$ 와 동형이며, 여기서 $k(X_\infty^{un}) = k(X)^{\text{un}}$ 이다.
• 이러한 구성은 에테일 기본군이 정확히 $k(X)$ 의 무분할 확장의 갈루아군을 캡처함을 확인하며, 기하학적 자료와 산술적 자료가 일치함을 보여준다.
• 증명는 $k(X_\infty^{un})$ 이 $k(X)$ 에 대해 갈루아이면서, $X_\infty^{un}/X$ 가 준갈루아 닫힘임을 이용하여 군론적 대응이 성립함을 보장한다.