매끄러운 사상

틀:위키데이터 속성 추적 대수기하학에서 매끄러운 스킴(틀:Llang)은 국소적으로 아핀 공간과 같이 보이는 체 위의 스킴이며, 매끄러운 사상(-寫像, 틀:Llang)은 각 올이 매끄러운 스킴을 이루는 스킴 사상이다.

비분기 사상(非分岐寫像, 틀:Llang)은 분기화가 일어나지 않는 스킴 사상이며, 미분기하학의 몰입에 해당한다. (대수기하학의 열린 몰입과 닫힌 몰입은 이름과 달리 미분기하학의 매장에 해당한다.) 에탈 사상(étale寫像, 틀:Llang)은 스킴 사이의 국소 동형 사상이다. 즉, 미분기하학의 국소 미분동형사상이나, 위상수학의 국소 위상동형사상에 대응되는 개념이다.

정의

형식적으로 매끄러운 사상/형식적으로 비분기 사상/형식적으로 에탈 사상은 특정 오른쪽 올림 성질을 만족시키는 스킴 사상이다. 형식적으로 매끄러운/비분기/에탈 사상 조건에 국소 유한 표시 조건을 추가한다면 매끄러운 사상/비분기 사상/에탈 사상 개념을 얻는다.

형식적으로 매끄러운 · 비분기 · 에탈 사상

임의의 가환환 $R$ 및 멱영 아이디얼 $𝔫\subseteq R$에 대하여, 그 몫 준동형

$(/𝔫):R\to R/𝔫$

에 대응하는 아핀 스킴 사상

$(/𝔫{)}^{*}:\mathrm{Spec}(R/𝔫)\to \mathrm{Spec}R$

을 생각할 수 있으며, 이는 항상 닫힌 몰입이다. 직관적으로, $𝔫$이 멱영 아이디얼이므로 $\mathrm{Spec}R$는 $\mathrm{Spec}(R/𝔫)$을 "무한소"만큼 "연장"시킨 것이다. 즉, 이러한 닫힌 몰입은 닫힌집합의 "무한히 작은 근방"으로의 포함 사상으로 해석할 수 있다.

스킴 사상 $f:X\to S$에 대하여,

• 만약 멱영 아이디얼로부터 유도되는 닫힌 몰입에 대하여 오른쪽 올림 성질이 성립한다면, $f$를 형식적으로 매끄러운 사상(틀:Llang, 틀:Llang)이라고 한다.틀:Rp 즉, $(/𝔫{)}^{*}:{\mathrm{hom}}_{\mathrm{Sch}/S}(\mathrm{Spec}R,X)\to {\mathrm{hom}}_{\mathrm{Sch}/S}(\mathrm{Spec}(R/𝔫),X)$가 전사 함수이다.
• 만약 멱영 아이디얼로부터 유도되는 닫힌 몰입에 대하여 모든 오른쪽 올림이 (만약 존재한다면) 유일하다면, $f$를 형식적으로 비분기 사상(틀:Llang, 틀:Llang)이라고 한다.틀:Rp 즉, $(/𝔫{)}^{*}:{\mathrm{hom}}_{\mathrm{Sch}/S}(\mathrm{Spec}R,X)\to {\mathrm{hom}}_{\mathrm{Sch}/S}(\mathrm{Spec}(R/𝔫),X)$가 단사 함수이다.
• 만약 멱영 아이디얼로부터 유도되는 닫힌 몰입에 대하여 오른쪽 유일 올림 성질이 성립한다면, $f$를 형식적으로 에탈 사상(틀:Llang, 틀:Llang)이라고 한다.틀:Rp 즉, $(/𝔫{)}^{*}:{\mathrm{hom}}_{\mathrm{Sch}/S}(\mathrm{Spec}R,X)\to {\mathrm{hom}}_{\mathrm{Sch}/S}(\mathrm{Spec}(R/𝔫),X)$가 전단사 함수이다.

  $\begin{array}{ccc}\mathrm{Spec}(R/𝔫)& \to & X\\ \downarrow & \mathrm{\exists }\nearrow & \downarrow \\ \mathrm{Spec}R& \to & S\end{array}$

이 조건들은 직관적으로 다음과 같이 해석할 수 있다.

• 형식적으로 매끄럽다는 것은 사상 $\mathrm{Spec}(R/𝔫)\to X$를 그 무한소 근방 $\mathrm{Spec}R$로 무한소만큼 확장할 때, "특이점"에 걸려 확장이 불가능한 경우가 없다는 것이다.
• 형식적으로 비분기라는 것은 사상 $\mathrm{Spec}(R/𝔫)\to X$를 그 무한소 근방 $\mathrm{Spec}R$로 무한소만큼 확장할 때, "분기점" 때문에 두 개 이상의 가능한 확장이 존재하는 경우가 없다는 것이다.
• 형식적으로 에탈이라는 것은 형식적으로 매끄러우며 비분기인 것과 같으므로, "특이점"과 "분기점"이 없어 그 무한소 근방으로의 확장이 항상 유일한 것이다.

매끄러운 사상

국소 유한 표시 사상 $f:X\to S$에 대하여, 다음 조건들이 서로 동치이며, 이를 만족시키는 국소 유한 표시 사상을 매끄러운 사상(틀:Llang, 틀:Llang)이라고 한다.

• $f$는 형식적으로 매끄러운 사상이다.틀:Rp
• $f$는 평탄 사상이며, 모든 $x\in X$ 및 $s=f(x)$에 대하여 올 $f^{-1}(f(x))$은 국소환의 잉여류체 $\kappa (s)={𝒪}_{S,s}/𝔪({𝒪}_{S,s})$ 위의 매끄러운 스킴이다.틀:Rp
• $f$는 평탄 사상이며, 모든 $x\in X$ 및 $s=f(x)$에 대하여 올 $f^{-1}(s)\to \kappa (s)$에 대하여 그 완비화 $f^{-1}(s){\times }_{\kappa (s)}\overline{\kappa }(s)$는 정칙 스킴이다.틀:Rp
• $f$는 평탄 사상이며, 켈러 미분층 ${\mathrm{\Omega }}_{X/S}$는 국소 자유 가군층이며, 그 차원은 $f:X\to S$의 상대 차원과 같다.
• 모든 $x\in X$에 대하여, $f{|}_U=\tilde{f}\circ c$가 되는 열린 근방 $U\ni x$ 및 자연수 $n$ 및 사상 $\tilde{f}:U\to {𝔸}_S^n$가 존재한다. ($c:{𝔸}_S^n\to S$는 아핀 공간의 표준적 사상이다.)
• 임의의 $x\in X$에 대하여, 다음 조건을 만족시키는 아핀 열린 근방 $x\in \mathrm{Spec}R\subseteq X$ 및 $f(\mathrm{Spec}R)\subseteq \mathrm{Spec}S\subseteq Y$가 존재한다.
  • 가환환 준동형 $S\to R$은 어떤 표준 매끄러운 대수와 동형이다.

가환환 $S$가 주어졌을 때, 그 위의 유한 표시 대수

$\frac{S[x_1,\dots ,x_n]}{(f_1,\dots ,f_k)}(n,k\in \mathbb{N},k\le n,f_1,\dots ,f_k\in R[x_1,\dots ,x_n])$

가 다음 조건을 만족시킨다면, 이를 표준 매끄러운 대수(틀:Llang)라고 한다.

다항식 $\det (\partial f_i/\partial x_j{)}_{i,j=1,\dots ,k}\in S[x_1,\dots ,x_n]$은 $S[x_1,\dots ,x_n]/(f_1,\dots ,f_k)$ 속의 가역원이다.

비분기 사상

국소 유한 표시 사상 $f:X\to S$에 대하여, 다음 조건들이 서로 동치이며, 이를 만족시키는 국소 유한 표시 사상을 비분기 사상(틀:Llang, 틀:Llang)이라고 한다.틀:Rp

• $f$는 형식적으로 비분기 사상이다.틀:Rp
• ${\mathrm{\Omega }}_{X/S}=\underset{\_}{0}$이다. 여기서 ${\mathrm{\Omega }}_{X/S}$는 켈러 미분층이며, $\underset{\_}{0}$은 영가군의 상수층이다.
• 대각 사상 ${\mathrm{\Delta }}_f:X\to X{\times }_{S}X$은 열린 몰입이다.

스킴 사상 $f:X\to S$가 $x\in X$에서 비분기이다는 것은 $x$의 어떤 열린 근방 $U\ni x$에 대하여 $f{|}_U$가 비분기 사상이라는 것이다.

에탈 사상

국소 유한 표시 사상 $f:X\to S$에 대하여, 다음 조건들이 서로 동치이며, 이를 만족시키는 국소 유한 표시 사상을 에탈 사상(틀:Llang, 틀:Llang)이라고 한다.

• $f$는 형식적으로 에탈 사상이다.틀:Rp
• $f$는 평탄 사상이며 비분기 사상이다.
• $f$는 매끄러운 사상이며 비분기 사상이다.
• $f$는 매끄러운 사상이며 상대 차원(틀:Llang)이 0이다.
• 모든 점 $x\in X$에서, 다음 조건을 만족시키는 아핀 열린 근방 $x\in \mathrm{Spec}R\subseteq X$ 및 $f(\mathrm{Spec}R)\subseteq \mathrm{Spec}S\subseteq Y$ 및 가 존재한다.
  • 준동형 $S\to R$는 어떤 표준 에탈 대수와 동형이다.

위 정의에서, 가환환 $S$ 위의 표준 에탈 대수(틀:Llang)는 다음과 같은 꼴의 단위 결합 가환 대수이다.

${(S[x]/(f))}_g$

여기서

• $f\in S[x]$는 일계수 다항식이며, $g\in S[x]$는 임의의 다항식이다.
• $f$의 도함수 $\mathrm{d}f/\mathrm{d}x$는 $(S[x]/(f){)}_g$에서 가역원이다. 여기서 $(\cdots {)}_g$는 국소화이고, $(f)$는 $f$로 생성되는 아이디얼이다.

스킴 사상 $f:X\to S$가 $x\in X$에서 에탈이다는 것은 $x$의 어떤 열린 근방 $U\ni x$에 대하여 $f{|}_U$가 에탈 사상이라는 것이다.

성질

함의 관계

다음과 같은 함의 관계가 성립한다.

국소 유한 표시 사상	⊃	국소 유한 표시 평탄 사상	⊃	매끄러운 사상
∪				∪
비분기 사상	⊃			에탈 사상
∪				∪
국소 유한 표시 닫힌 몰입	⊃	스킴 동형	⊂	열린 몰입

다음과 같은 함의 관계가 성립한다.

축소 스킴 ⊋ 정규 스킴 ⊋ 정칙 스킴 ⊋ 체 위의 매끄러운 스킴

즉, 임의의 체 $K$에 대하여 모든 매끄러운 $K$-스킴은 정칙 스킴이다. 특히, 완전체 $K$ 위의 $K$-스킴 $X$에 대하여, 다음 두 조건이 서로 동치이다.

• $X\to \mathrm{Spec}K$는 매끄러운 사상이다.
• 정칙 스킴이며, $X\to \mathrm{Spec}K$는 국소 유한형 사상이다.

닫힘

$𝔓$가 매끄러운 사상 · 비분기 사상 · 에탈 사상 · 형식적으로 매끄러운 사상 · 형식적으로 비분기 사상 · 형식적으로 에탈 사상 조건 가운데 하나라고 하자. 그렇다면, 다음이 성립한다.

• (합성에 대한 닫힘) $X\stackrel{f}{\to }Y\stackrel{g}{\to }Z$에 대하여, 만약 $f$와 $g$가 $𝔓$-사상이라면 $g\circ f$ 역시 $𝔓$-사상이다.
• (밑 변환에 대하여 안정) $X\stackrel{f}{\to }Y\leftarrow Y^{\prime }$ 에 대하여, 만약 $f$가 $𝔓$-사상이라면 밑 변환 $f^{\prime }:X{\times }_Y{Y}^{\prime }\to Y^{\prime }$ 역시 $𝔓$-사상이다.

$𝔓$가 매끄러운 사상 · 비분기 사상 · 에탈 사상 가운데 하나라고 하자. 그렇다면, 다음이 성립한다.

• (fpqc 위상에서의 내림) $X\stackrel{f}{\to }Y\stackrel{g}{\leftarrow }{Y}^{\prime }$에 대하여, 만약 밑 변환 $f^{\prime }:X{\times }_Y{Y}^{\prime }\to Y^{\prime }$가 $𝔓$-사상이며, $g$가 fpqc 사상이라면 $f$ 역시 $𝔓$-사상이다.

여기서 fpqc 사상은 평탄 사상이며, 전사 함수이며, 공역 속의 임의의 콤팩트 열린집합에 대하여 이를 상으로 하는 정의역의 콤팩트 열린집합이 존재하는 스킴 사상이다.

예

매끄러움의 실패

대수적으로 닫힌 체 $K$가 주어졌을 때, $K[a]$-대수의 포함 준동형

$f:K[a]\hookrightarrow K[x,y,a]/(xy-a)$

을 생각하자. 그렇다면 이는 아핀 스킴의 사상

$\mathrm{Spec}K[x,y,a]/(xy-a)\twoheadrightarrow {𝔸}_K^1$

을 정의하며, 이는 기하학적으로 아핀 평면 원뿔 곡선들의 족을 정의한다. 이는 유한형 사상이며 평탄 사상이지만, 매끄러운 사상이 아니다. 구체적으로, $K[a]$-대수 $K[z,a]/(a^2)$의 멱영 아이디얼 $(a)\subset K[z,a]/(a^2)$를 생각하자. 이 경우,

$g:K[x,y,a]/(xy-a)\to K[z,a]/(a^2,a)\cong K[z]$

$g:x\mapsto z$

$g:y\mapsto 0$

는 $K[a]$-대수의 준동형을 이룬다. 하지만, 임의의 $K[a]$-대수의 준동형

$h:K[x,y,a]/(xy-a)\to K[z,a]/(a^2)$

에 대하여,

$q:K[z,a]/(a^2)\twoheadrightarrow K[z]/(a)$

와 합성하였을 때 $q\circ h=g$가 될 수 없다. 기하학적으로, 이는 $a=0$일 때의 올 $xy=0$은 특이올을 이루기 때문이다.

더 단순한 예로, $K\hookrightarrow K[x,y]/(xy)$를 생각하자. 이 경우, $K$-대수의 준동형

$g:K[x,y]/(xy)\to K[z]/(z^2)$

$g:x\mapsto z$

$g:y\mapsto z$

이 존재한다. 그러나 몫 준동형

$q:K[z]/(z^3)\twoheadrightarrow K[x]/(z^2)$

에 대하여, $g=q\circ h$가 되는 준동형

$h:K[x,y]/(xy)\to K[z]/(z^3)$

은 존재할 수 없다. 따라서 아핀 대수 곡선 $\mathrm{Spec}K[x,y]/(xy)$는 원점에서 특이점을 가져 매끄러운 곡선이 아니다.

비분기성의 실패

표수가 2가 아닌 대수적으로 닫힌 체 $K$ 위에,

$f:K[x]\hookrightarrow K[x,y]/(y^2-x)\cong K[y]$

를 생각하자. 그렇다면 이는 아핀 스킴의 사상

${𝔸}_K^1\twoheadrightarrow {𝔸}_K^1$

을 정의한다. 이는 유한형 사상이지만, 비분기 사상이 아니다. 구체적으로, $K[x,z]/(x^2,z^2-x)$의 멱영 아이디얼 $(z)\subset K[x]/(x^2,z^2-x)$을 생각하자. 그렇다면, $K[x]$-대수의 준동형

$g_{\pm }:K[x,y]/(x^2,y^2-x)\to K[x]/(x^2,z^2-x)$

$g_{\pm }:y\mapsto \pm z$

을 정의할 수 있다. 이는 몫

$q:K[x,z]/(x^2,z^2-x)\twoheadrightarrow K[x,z]/(x^2,z^2-x,z)\cong K$

과 합성하면

$q\circ g_{\pm }:K[x,y]/(x^2,y^2-x)\to K$

$q\circ g_{\pm }:x,y\mapsto 0$

이 되므로, 서로 같아진다. 즉, 기하학적으로, 원점 $\mathrm{Spec}K\to {𝔸}_K^1$을 그 무한소 근방 $\mathrm{Spec}K[x]/(x^2,z^2-x)$으로 연장하는 방법이 유일하지 않으므로, 비분기 사상이 될 수 없다.

체 위의 에탈 스킴

체 $K$ 위의 스킴 $X\to \mathrm{Spec}K$에 대하여, 다음 조건들이 서로 동치이다.

• $X\to \mathrm{Spec}K$는 비분기 사상이다.
• $X\to \mathrm{Spec}K$는 에탈 사상이다.
• $X\cong \underset{i\in I}{⨆}\mathrm{Spec}{K}_i$이며, $K_i/K$는 유한 분해 가능 확대이다.

체 $K$ 위의 에탈 스킴들의 범주는 절대 갈루아 군 $\mathrm{Gal}(K^{\mathrm{sep}}/K)$의 작용을 갖춘 집합들의 범주 $\mathrm{Gal}(K^{\mathrm{sep}}/K)\text{-Set}$와 동치이다. 구체적으로, 에탈 스킴 $X$에 대응하는 집합은 다음과 같다.

$X\mapsto {\mathrm{hom}}_{\mathrm{Sch}/\mathrm{Spec}K}(\mathrm{Spec}{K}^{\mathrm{sep}},X)$

여기서 $K^{\mathrm{sep}}$은 $K$의 분해 가능 폐포이다.

역사

알렉산더 그로텐디크가 《대수기하학 원론》 4권에서 도입하였다.

외부 링크

• 틀:Eom
• 틀:Eom
• 틀:Nlab
• 틀:Nlab
• 틀:Nlab
• 틀:Nlab
• 틀:Nlab
• 틀:Nlab
• 틀:Nlab
• 틀:Nlab
• 틀:웹 인용
• 틀:웹 인용

같이 보기

• 에탈 코호몰로지
• 특이점 (대수기하학)
• 자리스키 접공간
• 분기화
• 정칙 스킴