에탈 기본군은 대수기하학에서 사용되는 개념으로, 위상수학의 기본군(π₁)과 유사하지만, 스킴의 에탈(étale) 위양(covering) 구조를 통해 정의되는 완전(프로피니트) 군이다. 일반적으로 $ \pi_1^{\text{ét}}(X, \bar{x}) $ 로 표기하며, 기저점 $\bar{x}$ (보통은 스킴의 기하학적 점)에 대한 에탈 기본군을 가리킨다.
정의
주어진 스킴 $X$와 그 위에 선택된 기하학적 점 $\bar{x} : \operatorname{Spec}(\Omega) \to X$ ($\Omega$는 대수적으로 닫힌 필드) 에 대해, 에탈 기본군은 다음과 같이 정의한다.
$$ \pi_1^{\text{ét}}(X,\bar{x}) ;:=; \operatorname{Aut}\bigl(F_{\bar{x}}\bigr), $$
여기서
$F_{\bar{x}} : \mathbf{Et}_X \to \mathbf{Sets}$는 에탈 토포스 $\mathbf{Et}X$ ($X$ 위의 모든 유한 에탈 위양들의 범주) 에서 $\bar{x}$에 대한 섬광(fiber) 함수이며,
$\operatorname{Aut}(F{\bar{x}})$는 이 함수의 자기동형군(자연 변환의 군)이다.
이 정의는 위상공간의 기본군을 대수적으로 재현한 것이며, $\pi_1^{\text{ét}}(X,\bar{x})$는 프로피니트 군(즉, 유한 군들의 역극한)이다.
역사적 배경
- Grothendieck(1960‑1970) 은 스키마와 에탈 위양을 이용해 위상학적 개념을 대수기하학으로 일반화하려는 일환으로 에탈 기본군을 도입하였다.
- 그의 S'eminaire de Géométrie Algébrique (SGA 1) 에서 처음 체계적으로 정의하고, 가환다양체 및 정규 체의 경우 고전적인 가환군과의 관계를 제시하였다.
- 이후 M. Artin, J.-P. Serre, A. Grothendieck 등은 이 이론을 확대하여 가휘(고차원) 스킴, 스키마형식, 그리고 아벨 제곱판(abelianized) 기본군인 $\pi_1^{\text{ét}}(X)^{\text{ab}}$와 베르베르(ℓ‑adic) 코호몰로지와의 연계를 연구하였다.
주요 성질
| 성질 | 설명 |
|---|---|
| 프로피니트 군 | $\pi_1^{\text{ét}}(X,\bar{x})$는 유한군들의 역극한으로, 모든 유한 에탈 위양은 이 군의 유한 차폐(quotient)와 일대일 대응한다. |
| 베이스 포인트 의존성 | 다른 기하학적 점 $\bar{x}'$ 에 대해 $\pi_1^{\text{ét}}(X,\bar{x}')$와 $\pi_1^{\text{ét}}(X,\bar{x})$는 군 동형사상으로 서로 연결되지만, 군 자체는 기하학적 점에 의존한다(위상학적 기본군과 유사). |
| 기본군과의 관계 | $X$가 복소수 위의 정상, 연결된 대수다양체이면, 위상학적 기본군 $\pi_1^{\text{top}}(X(\mathbb{C}),x)$의 프로피니트 완비와 동형이다: $\widehat{\pi_1^{\text{top}}} \simeq \pi_1^{\text{ét}}(X,\bar{x})$. |
| 가환화 | 아벨화 $\pi_1^{\text{ét}}(X,\bar{x})^{\text{ab}}$는 대수적 Picard 군(또는 알레그라오스)과 직접적인 연결고리를 가진다; 특히 정규 스키마의 경우 클래스필드 이론과 연계된다. |
| 펑크톤(펄스) 정리 | 유한 에탈 커버는 $\pi_1^{\text{ét}}(X,\bar{x})$의 유한 차폐와 일대일 대응한다(기본군‑커버 대응의 대수적 버전). |
| 자연성 | 연속 사상 $f : X \to Y$에 대해, $\bar{x}$를 $X$의 점이라 하면, $f$는 군 준동형 $f_* : \pi_1^{\text{ét}}(X,\bar{x}) \to \pi_1^{\text{ét}}(Y,f(\bar{x}))$을 유도한다. |
대표적인 예시
-
스펙트럼 of a separably closed field
$\operatorname{Spec}(k^{\text{sep}})$의 에탈 기본군은 자명군이다. -
$\operatorname{Spec}(\mathbb{F}_q)$ (유한체)
$\pi_1^{\text{ét}}(\operatorname{Spec}(\mathbb{F}_q)) \cong \widehat{\mathbb{Z}}$ 로, Frobenius 자동자$ \mathrm{Frob}_q$가 생성한다. -
정규 연결 대수다양체 $X/\mathbb{C}$
위상학적 기본군 $\pi_1^{\text{top}}(X(\mathbb{C}))$의 프로피니트 완비와 동형이다. -
곡선 $C$ (정규, 완비, 차원 1) 위의 에탈 기본군
$\pi_1^{\text{ét}}(C,\bar{x})$는 고전적인 곡선의 Galois 그룹이라 불리며, 아바노스(Abelian)화는 Jacobian $J(C)$에 해당한다. -
정규 체 $K$에 대한 스펙트럼
$\pi_1^{\text{ét}}(\operatorname{Spec} K)$는 절대 갈루아 군 $\operatorname{Gal}(K^{\text{sep}}/K)$와 동형이다.
관련 개념
- 에탈 위양(Étale covering): 위상학적 층과 유사하지만, 대수적 구조를 보존하는 평탄하고 무차원적인 사상.
- 프로피니트 군: 유한 군들의 역극한으로, 토포로지에서 완비(complete) 군을 형성한다.
- 가환화(Abelianization): 군을 아벨군으로 만드는 과정; $\pi_1^{\text{ét}}(X)^{\text{ab}}$는 대수적 클래스필드 이론과 연결.
- 베르베르(cohomology)와 ℓ‑adic 표현: $\pi_1^{\text{ét}}(X)$는 ℓ‑adic 코호몰로지에서 나타나는 대표적인 Galois 표현을 제공한다.
참고 문헌
- SGA 1 – Revêtements étales et groupe fondamental, Alexandre Grothendieck, Michel Raynaud (1971).
- J. S. Milne, Étale Cohomology, Princeton University Press, 1980.
- M. Artin, Grothendieck Topologies, Harvard University (1962).
- R. Hartshorne, Algebraic Geometry, Springer GTM 52, Chap. II § 9 (기초적 소개).
- A. Grothendieck, Le groupe de Brauer III, Dix Exposés sur la Cohomologie des Schémas, North-Holland, 1968.
이 문서는 에탈 기본군에 관한 일반적인 개념과 핵심 성질을 위키백과 스타일로 정리한 것으로, 최신 연구 동향이나 세부 기술적 사항은 별도의 전문 서적·논문을 참고하시기 바랍니다.