[논문 리뷰] On the arithmetic fundamental groups

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

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

한 줄 요약

이 논문은 준갈로아 닫힘 커버를 이용하여 산술 스킴에 대한 준갈로아(que) 기본군을 도입하며, 에탈 기본군을 일반화한다. 에탈 기본군이 준갈로아 기본군의 정규부분군임을 증명함으로써, 에탈 군에 대한 사전 추정치를 제공하고, 몫군을 통해 위상수학적 불변량을 드러낸다.

ABSTRACT

In this paper we will define a qc fundamental group for an arithmetic scheme by quasi-galois closed covers. Then we will give a computation for such a group and will prove that the etale fundamental group of an arithmetic scheme is a normal subgroup in our qc fundamental group, which make up the main theorem of the paper. Hence, our group gives us a prior estimate of the etale fundamental group. The quotient group reflects the topological properties of the scheme.

연구 동기 및 목표

• 산술 스킴에 대해 준갈로아 닫힘 커버를 이용하여 새로운 기본군을 정의한다.
• 직접 계산하기 어려운 에탈 기본군에 대한 사전 추정치를 제공한다.
• 준갈로아 기본군과 에탈 기본군의 몫을 통해 산술 스킴의 위상수학적 성질을 드러낸다.
• 일반화된 유니버설 커버를 통한 갈로아 확장의 기하 모델을 산술 스킴로 일반화한다.

제안 방법

• 산술 스킴의 준갈로아 닫힘 커버에 대한 역극한을 통해 qc 기본군을 정의한다.
• 각각의 qc 및 에탈 기본군에 대한 유니버설 커버로 기하 모델 $X_\Omega$ 및 $X_{\Omega_{\text{et}}}$를 사용한다.
• 함수체의 갈로와 군과 커버의 자기동형군 사이의 동형사상을 수립한다.
• 정수적 다양체의 범주에서 직접 및 역극한을 활용하여 유니버설 커버를 구성한다.
• 체의 포함관계 $k(X_{\Omega_{\text{et}}}}) \subset k(X_\Omega)$를 통해 에탈 기본군이 준갈로아 기본군에 정규부분군으로 매립됨을 보인다.
• 커버의 부분순서 집합에서의 방향성과 동치성을 활용하여 두 군의 역극한 간의 관계를 규명한다.

실험 결과

연구 질문

• RQ1 에탈 기본군을 일반화하고 위상정보를 포착하는 산술 스킴에 대한 기본군을 어떻게 정의할 수 있는가?
• RQ2 에탈 기본군과 준갈로아 닫힘 커버로부터 구성된 새로운 qc 기본군 사이의 관계는 무엇인가?
• RQ3 준갈로아 기본군과 에탈 기본군의 몫군은 스킴의 위상적 구조를 어떤 방식으로 반영하는가?
• RQ4 어떤 조건에서 몫군이 자명해지며, 이는 유한 분지 커버에 대해 어떤 의미를 갖는가?
• RQ5 qc 기본군은 에탈 기본군에 대한 사전 추정치로 기능할 수 있는가?

주요 결과

• 에탈 기본군 $\pi_1^{\text{et}}(X;s)$는 준갈로아 기본군 $\pi_1^{\text{qc}}(X;\Omega)$의 정규부분군이다.
• 몫군 $\pi_1^{\text{qc}}(X;\Omega)/\pi_1^{\text{et}}(X;s)$는 산술 스킴 $X$의 위상수학적 성질을 반영한다.
• 산술 스킴에 유한 분지 커버가 존재하지 않음과 동시에 몫군이 자명함은 동치이다.
• qc 기본군은 함수체의 대수적 폐쇄인 $\Omega$에 대해 $\text{Gal}(\Omega/k(X))$와 동형이다.
• 에탈 기본군은 $\Omega_{\text{et}}$가 $k(X)$의 최대 무분지 확장임을 고려할 때 $\text{Gal}(\Omega_{\text{et}}/k(X))$와 동형이다.
• 직접극한을 통한 유니버설 커버 $X_\Omega$ 및 $X_{\Omega_{\text{et}}}$의 구성은 자기동형군의 역극한과 호환됨을 보장한다.