에탈 기본군

틀:위키데이터 속성 추적 대수기하학에서 에탈 기본군(étale基本群, 틀:Llang)은 대수다양체와 스킴에 대하여 정의되는 기본군이다.

정의

에탈 기본군은 대수적 위상수학과 갈루아 이론 사이의 다음과 같은 대응성으로부터 출발하며, 이 둘을 대수기하학적으로 일반화하여 공통적으로 다룬다.

대수적 위상수학	갈루아 이론	대수기하학
피복 공간 $\pi :Y\twoheadrightarrow X$	분해 가능 확대 $Y/X$	유한 에탈 사상 $\pi :Y\to X$
범피복 공간	분해 가능 폐포	유한 에탈 사상들의 범주 $\mathrm{f}\mathrm{i}\mathrm{n}\acute{\mathrm{E}}\mathrm{t}/X$
기본군	절대 갈루아 군	에탈 기본군

연결 스킴 $X$ 의 기하점(틀:Llang) $x\in X$는 $x$에서의 줄기 ${𝒪}_{X,x}$의 잉여류체를 포함하는 분해 가능 폐포 $K$이다. 즉, 다음과 같은 사상

${𝒪}_{X,x}\twoheadrightarrow {𝒪}_{X,x}/𝔪({𝒪}_{X,x})\hookrightarrow K$

를 합성하여, 사상 $x:\mathrm{Spec}(K)\to X$를 정의할 수 있다. 이는 $X$ 속의, $K$ 값의 좌표를 갖는 점으로 여긴다.

$X$를 공역으로 하는 유한 에탈 사상들의 범주를 $\mathrm{f}\mathrm{i}\mathrm{n}\acute{\mathrm{E}}\mathrm{t}/X$라고 쓰자. (에탈 코호몰로지와 달리, 여기에 그로텐디크 위상을 정의할 필요가 없다.) 그렇다면, 스킴 사상 $Y\to X$ 및 $X$의 기하점 $x:\mathrm{Spec}K\to X$이 주어졌을 때, 기하올(틀:Llang) $Y{\times }_X\mathrm{Spec}K$을 스킴의 범주의 올곱으로 정의할 수 있으며, 에탈 사상의 정의에 따라서 이는 어떤 자연수 $n$에 대하여 $(\mathrm{Spec}K{)}^{\bigsqcup n}$와 동형이다.

따라서, 밑점이 주어졌을 때, 다음과 같은 요네다 매장을 생각하자.

$\mathrm{f}\mathrm{i}\mathrm{n}\acute{\mathrm{E}}\mathrm{t}/X\to \mathrm{Set}$

$Y\mapsto |Y{\times }_{X}x|={\mathrm{hom}}_{\mathrm{f}\mathrm{i}\mathrm{n}\acute{\mathrm{E}}\mathrm{t}/X}(x,Y)$

이는 기하학적으로 $\pi :Y\to X$를 그 원상 “${\pi }^{-1}(x)$”에 대응시킨다. 이들 집합들은 사상에 따라 사영계(틀:Llang)를 이룬다. 따라서 다음과 같은 역극한을 취할 수 있으며, 이를 $X$의 밑점 $x$에서의 에탈 기본군이라고 한다.

${\pi }_{1,\acute{\mathrm{e}}\mathrm{t}}(X,x)=\underset{i}{\underleftarrow{\lim }}{\mathrm{Aut}}_X(X_i)$

이는 유한군의 역극한이므로, 사유한군을 이룬다. 또한, 이 요네다 함자에 의하여 다음과 같은 범주의 동치가 존재한다.

$\mathrm{f}\mathrm{i}\mathrm{n}\acute{\mathrm{E}}\mathrm{t}/X\simeq {\pi }_1(X,x)\text{-Set}$

여기서, 범주 $G\text{-Set}$는 $G$의 작용을 갖는 집합들의 범주이다.

예

체의 에탈 기본군

체 $K$가 주어졌을 때, $\mathrm{Spec}K$의 밑점 $x$는 $K$의 분해 가능 폐포 $K^{\mathrm{sep}}\subset \overline{K}$과 대응한다. (모든 분해 가능 폐포들은 서로 동형이지만, 표준적으로 동형이지 못하다.) 이 경우, 밑점 $K^{\mathrm{sep}}$에서의 에탈 기본군은 $K$의 절대 갈루아 군과 동형이다.

${\pi }_{1,\acute{\mathrm{e}}\mathrm{t}}(\mathrm{Spec}K,K^{\mathrm{sep}})\cong \mathrm{Gal}(K^{\mathrm{sep}}/K)$

복소 대수다양체의 에탈 기본군

복소 유한형 스킴 $X\to \mathrm{Spec}ℂ$의 에탈 기본군은 그 복소해석공간 $X^{\mathrm{an}}$의 (대수적 위상수학적) 기본군의 사유한 완비이다.

${\pi }_{1,\acute{\mathrm{e}}\mathrm{t}}(X,x)\cong {\hat{\pi }}_1(X^{\mathrm{an}},x^{\mathrm{an}})$

역사

알렉산더 그로텐디크가 《마리 숲 대수 기하학 세미나》(틀:Llang, SGA) 1권에서 정의하였다.

참고 문헌

• 틀:인용
• 틀:인용

같이 보기

• 에탈 코호몰로지

외부 링크

• 틀:웹 인용