스킴
스킴
Locally affine한 locally ringed space로서의 scheme 정의
이 글은 현재 수정 중입니다. 아래 본문은 2026-08-13 시점의 판본이라 틀린 서술이 남아 있을 수 있고, 이 글을 가리키는 다른 글의 참조가 어긋나 있을 수 있습니다.
스킴의 정의
이제 우리는 scheme이 무엇인지를 정의할 수 있다.
정의 1 Locally ringed space \((X, \mathcal{O}_X)\)가 scheme스킴이라는 것은 임의의 \(x\in X\)가 주어질 때마다, \(x\)의 열린근방 \(U\)가 존재하여 \((U, \mathcal{O}_X\vert_U)\)가 affine scheme이도록 할 수 있는 것이다. Scheme들 사이의 morphism과 isomorphism의 개념은 locally ringed space로서의 그것들로 정의된다.
Scheme \(X\)의 임의의 점 \(x\in X\)가 주어졌다 하고, \(x\)의 affine open neighborhood \(U\)를 택하자. 그럼 정의에 의해 적절한 ring \(A\)가 존재하여 locally ringed space로서 \((U, \mathcal{O}_X\vert_U)\cong (\Spec A, \mathcal{O}_{\Spec A})\)이다. 특히 위의 isomorphism을 통해 \(x\in U\)에 대응되는 \(\Spec A\)의 점을 \(\mathfrak{p}_x\)라 하면,
\[\mathcal{O}_{X,x}=\varinjlim_{V\ni x} \mathcal{O}_X(V)=\varinjlim_{U\supseteq V\ni x} \mathcal{O}_X(V)=\mathcal{O}_{U, x}\cong \mathcal{O}_{\Spec A, \mathfrak{p}_x}\tag{$\ast$}\]임을 안다.
일반적으로 affine scheme \((\Spec A, \mathcal{O}_{\Spec A})\)를
을 통해 항상 affine scheme이 된다.
보조정리 2 Affine scheme \(\Spec A\)와 \(f\in A\)에 대하여, \(D(f)\)는 위의 isomorphism (\(\ast\ast\))를 통해 항상 affine scheme이 된다.
증명
우리는 §스펙트럼, ⁋명제 9의 셋째 결과로부터 위상공간 사이의 injective continuous map \(\Spec\epsilon: \Spec A_f \rightarrow \Spec A\)가 homeomorphism \(D(f)\cong \Spec A_f\)를 주는 것을 알고 있지만, 위의 isomorphism을 정당화하기 위해서는 이를 scheme morphism으로서 정당화해야 한다.
우선 ring homomorphism \(\epsilon: A \rightarrow A_f\)는 scheme morphism
\[(\Spec \epsilon, (\Spec\epsilon)^\sharp): (\Spec A_f, \mathcal{O}_{\Spec A_f}) \rightarrow (\Spec A, \mathcal{O}_{\Spec A})\]을 유도하며, 이 때 \(D(f)\)와 \(\Spec A_f\) 사이의 homeomorphism은, canonical inclusion \(\iota: D(f)\hookrightarrow \Spec A\)를 생각하면, 다음의 decomposition
으로부터 나온다. 여기서 \(\Spec\epsilon\)의 공역을 그 image \(D(f)\)로 제한하여 얻어지는 homeomorphism \(\Spec A_f\cong D(f)\)를 \(\Spec\epsilon\vert^{D(f)}\)로 적기로 한다. 일반적으로 함수 \(g\)의 공역을 그 image를 포함하는 부분집합 \(W\)로 제한하여 얻어지는 함수를 \(g\vert^W\)로 적을 것이다. 이제 위의 isomorphism (\(\ast\ast\))이 scheme들 사이의 isomorphism이기 위해서는 이에 대응되는 \(\Sh(D(f); \cRing)\)에서의 morphism \((\Spec\epsilon\vert^{D(f)})^\sharp\)을 정의해야 한다. 그럼 [위상수학] §층, ⁋예시 12에 의하여
\[(\Spec\epsilon\vert^{D(f)})^\sharp: \mathcal{O}_{D(f)} \rightarrow (\Spec\epsilon\vert^{D(f)})_\ast \mathcal{O}_{\Spec A_f}\]를 정의하는 것은
\[(\Spec\epsilon\vert^{D(f)})^{\sharp}: \iota^{-1}\mathcal{O}_{\Spec A} \rightarrow (\Spec\epsilon\vert^{D(f)})_\ast \mathcal{O}_{\Spec A_f}\]를 정의하는 것과 완전히 같고, 다시 [위상수학] §층, ⁋보조정리 11에 의하여
\[\begin{aligned}\Hom_{\Sh(D(f); \cRing)}(\iota^{-1}\mathcal{O}_{\Spec A}, (\Spec\epsilon\vert^{D(f)})_\ast\mathcal{O}_{\Spec A_f})&\cong \Hom_{\Sh(\Spec A; \cRing)}(\mathcal{O}_{\Spec A}, \iota_\ast(\Spec\epsilon\vert^{D(f)})_\ast \mathcal{O}_{\Spec A_f})\\&\cong \Hom_{\Sh(\Spec A; \cRing)}(\mathcal{O}_{\Spec A}, (\iota\circ\Spec\epsilon\vert^{D(f)})_\ast \mathcal{O}_{\Spec A_f})\\&=\Hom_{\Sh(\Spec A; \cRing)}(\mathcal{O}_{\Spec A}, (\Spec\epsilon)_\ast \mathcal{O}_{\Spec A_f})\end{aligned}\]이므로 \((\Spec\epsilon)^\sharp:\mathcal{O}_{\Spec A} \rightarrow (\Spec \epsilon)_\ast \mathcal{O}_{\Spec A_f}\)를 통해 \((\Spec\epsilon\vert^{D(f)})^\sharp\)을 정의할 수 있다.
이제 이것이 isomorphism임을 보인다. 임의의 \(g\in A\)에 대하여 \(D(fg)\subseteq D(f)\)이고 \(D(f)\)의 임의의 열린집합은 이러한 \(D(fg)\)들의 합집합이므로, \(D(fg)\)들은 \(D(f)\)의 base를 이룬다. 한편 \(\epsilon(f)\)는 \(A_f\)의 unit이므로
\[(\Spec\epsilon)^{-1}(D(fg))=D(\epsilon(fg))=D(\epsilon(g))\qquad\text{in $\Spec A_f$}\]이고, 따라서 \(D(fg)\)에서의 \((\Spec\epsilon\vert^{D(f)})^\sharp\)은 §아핀스킴, ⁋명제 9의 구성에 의하여 \(A \rightarrow A_f\)를 extend하는 canonical homomorphism
\[A_{fg} \rightarrow (A_f)_{\epsilon(g)}\]이 된다. 그런데 \(A_{fg}\)와 \((A_f)_{\epsilon(g)}\) 모두에서 \(f\)와 \(g\)의 image는 unit이므로, [가환대수학] §국소화, ⁋명제 6의 보편성을 양쪽에 적용하면 \(A\rightarrow A_{fg}\)가 \((A_f)_{\epsilon(g)}\)를 지나 유일하게 분해되고, 이렇게 얻어진 사상과 위의 canonical homomorphism의 두 합성은 각각 \(A\rightarrow A_{fg}\)와 \(A \rightarrow (A_f)_{\epsilon(g)}\)를 extend하므로 같은 유일성에 의하여 항등사상이다. 즉 \((\Spec\epsilon\vert^{D(f)})^\sharp\)은 base의 모든 열린집합에서 isomorphism이고, stalk은 base에 속하는 열린근방들에 대한 direct limit으로 계산되므로 모든 stalk에서 isomorphism이다. 따라서 [위상수학] §층, ⁋명제 4에 의하여 \((\Spec\epsilon\vert^{D(f)})^\sharp\)은 sheaf isomorphism이다.
특히 scheme을 정의에 의해 affine scheme들로 덮을 수 있고, 이들은 principal open set으로 이루어진 base를 가지므로 임의의 scheme은 affine open subset들로 이루어진 base를 갖는다.
다음 보조정리는 비슷한 논증을 통해 scheme의 임의의 열린집합은 항상 scheme이라는 것을 보여준다.
보조정리 3 Scheme \((X, \mathcal{O}_X)\)의 임의의 열린집합 \(U\)가 주어졌다 하자. 그럼 \((U, \mathcal{O}_X\vert_U)\)도 scheme이다.
증명
열린집합 \(U\)의 임의의 점 \(x\)가 주어졌다 하자. 우선 \(X\)는 scheme이므로, \(x\)의 적당한 (\(X\)에서의) 열린근방 \(V\)와 ring \(A\)가 존재하여 \((V, \mathcal{O}_X\vert_V)\cong(\Spec A, \mathcal{O}_{\Spec A})\)이도록 할 수 있다. 또, \(U\)가 열린집합이므로 \(U\cap V\)는 \(V\)의 열린집합이다. 이제 §스펙트럼, ⁋보조정리 11에 의하여 다음의 식
\[U\cap V=\bigcup_{i\in I} D(f_i)\qquad\text{in $\Spec A$}\]을 만족하는 \(f_i\in A\)들이 존재하며, 따라서 어떠한 \(i\)에 대해 \(x\in D(f_i)\)이다. 이제 \((D(f_i), \mathcal{O}_X\vert_{D(f_i)})\)는 affine scheme이고 \(x\in D(f_i)\subseteq U\cap V\subseteq U\)이므로 원하는 결과를 얻는다.
정의 4 Scheme \((X, \mathcal{O}_X)\)의 임의의 열린집합 \(U\)에 대하여, scheme \((U, \mathcal{O}_X\vert_U)\)를 \(X\)의 open subscheme열린 부분스킴이라 부른다.
스킴 위에 정의된 대수적인 함수들
§아핀스킴, §§\(\Spec A\) 위에 정의된 대수적인 함수들에서 우리는 임의의 점 \(\mathfrak{p}\)에서 함수 \(f\in A\)의 함숫값을 \(A/\mathfrak{p}\)에서의 \(f\)의 image로 생각하기로 했었다. 이를 일반적인 scheme \((X, \mathcal{O}_X)\)에 바로 적용하는 것은 조금 까다로운데, 위의 과정이 \((X, \mathcal{O}_X)\)에서는 명확하지 않을 뿐더러, 예를 들어 \(x\in X\)의 affine open neighborhood를 사용하여 위의 논의를 반복한다 하여도 이것이 affine open neighborhood의 선택에 의존하지 않는다는 것이 보이지 않기 때문이다.
이를 해결하기 위해 우리는 조금 머리를 써서 다음을 정의한다.
정의 5 Scheme \((X, \mathcal{O}_X)\)의 임의의 점 \(x\in X\)와 local ring \((\mathcal{O}_{X, x}, \mathfrak{m}_x)\)를 생각하자. 그럼 \(X\)의 \(x\)에서의 residue field잉여류체는 \(\mathcal{O}_{X,x}/\mathfrak{m}_x\)로 정의되며, 이를 \(\kappa(x)\)로 적는다. 점 \(x\)를 포함하는 열린집합 \(U\) 위에서 정의된 함수 \(f\in \mathcal{O}_X(U)\)에 대하여, \(f\)의 점 \(x\)에서의 함숫값은 \(f\)의 \(\kappa(x)\)에서의 image로 정의한다.
Scheme \(X\)의 임의의 점 \(x\in X\)와 \(x\)의 affine open neighborhood \((U, \mathcal{O}_X\vert_U)\cong(\Spec A, \mathcal{O}_{\Spec A})\)를 택하자. 이 때, \(x\in U\)에 대응되는 \(\Spec A\)의 점을 \(\mathfrak{p}_x\)라 적는다면, 앞선 isomorphism (\(\ast\))에서 우리는 \(\mathcal{O}_{X,x}\cong \mathcal{O}_{\Spec A, \mathfrak{p}_x}\)임을 확인하였고, 그럼 §아핀스킴, ⁋보조정리 8로부터 우리는 isomorphism
\[\mathcal{O}_{X,x}\cong \mathcal{O}_{\Spec A, \mathfrak{p}_x}\cong A_{\mathfrak{p}_x}\]를 얻으며 특히 이 isomorphism은 local ring \(A_{\mathfrak{p}_x}\)의 maximal ideal \(\mathfrak{p}_xA_{\mathfrak{p}_x}\)과 \(\mathfrak{m}_x\)를 대응시킨다. 따라서 [가환대수학] §국소화, ⁋정의 10의 정의를 생각하면
\[\kappa(x)=\mathcal{O}_{X,x}/\mathfrak{m}_x\cong A_{\mathfrak{p}_x}/\mathfrak{p}_xA_{\mathfrak{p}_x}=\kappa(\mathfrak{p}_x)\]를 얻는다. 한편 localization과 quotient는 commute하므로 ([가환대수학] §국소화의 성질들, ⁋명제 2) 우리는
\[\kappa(x)\cong A_{\mathfrak{p}_x}/\mathfrak{p}_xA_{\mathfrak{p}_x}\cong \Frac(A/\mathfrak{p}_x)\]를 얻으며, 따라서 정의 5가 affine scheme에서의 함숫값의 개념을 잘 일반화한다는 것을 안다. 그럼 이 표현에서, 임의의 \(f\in \mathcal{O}_X(X)\)에 대하여
\[X_f=\{x\in X\mid\text{$f_x\neq 0$ in $\kappa(x)$}\}=\{x\in X\mid f_x\not\in \mathfrak{m}_x\}\]으로 정의하자. 그럼 임의의 \(x\in X\)에 대하여, \(x\)를 포함하는 affine open neighborhood \(U\cong\Spec A\)를 택하고 이 isomorphism에서 \(f\vert_U\)에 대응하는 원소를 \(a\in A\)라 하자. 그럼 위의 논의로부터 각각의 \(\mathfrak{p}\in \Spec A\)에서 \(f\)의 함숫값은 \(\kappa(\mathfrak{p})\)에서의 \(a\)의 image이므로 \(U\cap X_f=D(a)\)이며, 따라서 §스펙트럼, ⁋보조정리 11로부터 \(X_f\)는 \(X\)의 열린집합임을 안다.
한편 점 \(x\in X\)에서 함수 \(f\)는 함숫값 뿐이 아니라, germ을 사용해도 살펴볼 수 있다. 다음을 정의하자.
정의 6 Scheme \((X, \mathcal{O}_X)\)와 \(f\in \mathcal{O}_X(X)\)에 대하여, \(f\)의 support지지집합는 다음 식
\[\supp(f)=\{x\in X\mid f_x\neq 0\text{ in $\mathcal{O}_{X,x}$}\}\]으로 주어진다. 여기에서 \(f_x\)는 \(f\)의 \(x\)에서의 stalk을 의미한다.
그럼 만일 \(x\in X\)에서의 \(f\)의 stalk이 \(0\)이라면, \(x\)의 적당한 열린근방 \(U=\Spec A\)를 택하여 \(f\)가 \(U\) 위에서 항등적으로 \(0\)이도록 할 수 있으므로 \(\supp(f)\)는 \(X\)의 닫힌집합임을 안다. 한편, 만일 \(\mathcal{O}_{X,x}\)에서 \(f_x=0\)이라면 \(f_x\)가 \(\kappa(x)\)에서 \(0\)인 것은 자명하므로 다음 포함관계
\[X\setminus \supp(f)\subseteq X\setminus X_f\iff X_f\subseteq \supp(f)\]가 성립한다.
스킴의 예시들
앞으로 편의상 scheme의 structure sheaf를 생략하여 \((X, \mathcal{O}_X)\) 대신 간단히 \(X\)로만 표기하고, scheme morphism도 \((\varphi, \varphi^\sharp)\) 대신 \(\varphi\)로만 표기하기로 한다.
예시 7 우리는 [대수다양체] §아핀다양체, ⁋정의 1에서 (classical) affine \(n\)-space를
\[\mathbb{A}_{\mathbb{K},\mathrm{classical}}^n=\{(x_1,\ldots, x_n)\mid x_i\in \mathbb{K}\}=\MaxSpec \mathbb{K}[\x_1,\ldots, \x_n]\]으로 정의했었다. 이를 일반화하여 우리는 앞으로 \(\mathbb{K}\) 위에서 정의된 affine \(n\)-space를
\[\mathbb{A}_\mathbb{K}^n=\Spec \mathbb{K}[\x_1,\ldots, \x_n]\]으로 정의할 것이다. 더 일반적으로, field \(\mathbb{K}\)를 임의의 ring \(A\)로 바꾸면 \(A\) 위에서 정의된 affine \(n\)-space
\[\mathbb{A}_A^n=\Spec A[\x_1,\ldots, \x_n]\]를 얻는다.
Maximal spectrum \(\MaxSpec A\)에서 \(\Spec A\)로 넘어가는 것은 대수학을 쉽게 해 주기도 하지만, 기하학적으로도 의미가 있다. 즉, 이제 \(\mathbb{A}^n\)의 점들은, 전통적인 의미에서의 \(n\)-공간 \(\mathbb{A}_{\mathbb{K},\mathrm{classical}}^n\)에서의 점들만이 아니라, 이 공간의 irreducible closed set들도 각각 하나의 점으로 대표한다.
앞서 우리는 affine scheme의 열린집합이 affine scheme이 될 필요가 없다는 것을 언급했는데, 다음 예시가 이를 보여준다.
예시 8 Affine plane \(\mathbb{A}_\mathbb{K}^2=\Spec \mathbb{K}[\x_1,\x_2]\)를 생각하자. 그럼
\[\{(0,0)\}=Z(\x_1)\cap Z(\x_2)\]이므로 \(\{(0,0)\}\)은 닫힌집합이고, 따라서
\[U=\mathbb{A}_\mathbb{K}^2\setminus\{0\}=D(\x_1)\cup D(\x_2)\]는 열린집합이다. 한편, \(D(\x_1)\)과 \(D(\x_2)\) 위에서 정의된 함수는
\[\mathcal{O}_{\mathbb{A}_\mathbb{K}^2}(D(\x_1))\cong \mathbb{K}[\x_1,\x_2]_{\x_1}=\mathbb{K}[\x_1,\x_2, \x_1^{-1}],\qquad \mathcal{O}_{\mathbb{A}_\mathbb{K}^2}(D(\x_2))\cong \mathbb{K}[\x_1,\x_2]_{\x_2}=\mathbb{K}[\x_1,\x_2, \x_2^{-1}]\]의 꼴이다. 이제 \(D(\x_1)\cup D(\x_2)\) 위의 함수는 이들을 붙여서 만들 수 있는 함수들이며, 이러한 함수들은 교집합 \(D(\x_1)\cap D(\x_2)=D(\x_1\x_2)\)으로 제한했을 때 같은 함수여야 한다. 이제
\[\mathcal{O}_{\mathbb{A}_\mathbb{K}^2}(D(\x_1\x_2))=\mathbb{K}[\x_1,\x_2]_{\x_1\x_2}\]에서 \(\mathcal{O}_{\mathbb{A}_\mathbb{K}^2}(D(\x_1))\)의 원소들과 \(\mathcal{O}_{\mathbb{A}_\mathbb{K}^2}(D(\x_2))\)의 원소들을 비교해보면 이러한 함수들은 오직 다항함수 뿐이라는 것을 안다. 즉
\[\mathcal{O}_{\mathbb{A}_\mathbb{K}^2}(U)=\mathbb{K}[\x_1,\x_2]\]이다. 만일 \((U, \mathcal{O}_{\mathbb{A}_\mathbb{K}^2}\vert_U)\)가 affine이었다면, \(U\)는 global section에 \(\Spec\)을 취해 얻어진 \(\Spec \mathbb{K}[\x_1,\x_2]\)와 isomorphic해야 할 것이지만, \(U\)에서 prime ideal \((\x_1,\x_2)\)에 해당하는 점을 생각해보면
\[Z(\x_1,\x_2)=Z(\x_1)\cap Z(\x_2)=\emptyset\qquad\text{ in $U$}\]이므로 이는 불가능하다.
정의에 의해 scheme은 affine scheme들을 붙여서 만드는 것이며, 위의 예시에서도 \(U\)에서의 section을 계산하기 위해 이를 \(D(\x_1)\)과 \(D(\x_2)\)를 붙인 것으로 이해했다. 더 많은 예시들을 살펴보기 전에 다음 보조정리를 먼저 살펴보는 것이 다양한 예시들을 다루는 데 도움이 될 것이다.
보조정리 9 Index set \(I\)를 고정하고, 다음의 데이터들이 주어졌다 하자.
- Scheme들 \(X_i\),
- \(X_i\)들의 open subscheme들 \(X_{ij}\),
- 각각의 \(i,j\in I\)에 대하여, isomorphism들 \(\varphi_{ij}:X_{ij} \rightarrow X_{ji}\)
여기에서 \(X_{ii}=X_i\)이고 \(\varphi_{ii}=\id_{X_i}\)인 것으로 정의하며, 임의의 \(i,j,k\in I\)에 대하여 포함관계 \(\varphi_{ij}(X_{ij}\cap X_{ik})\subseteq X_{ji}\cap X_{jk}\)가 성립하는 것을 데이터의 일부로 가정한다. 그럼 만일 이들 데이터가 cocycle condition
\[\varphi_{ik}\vert_{X_{ij}\cap X_{ik}}=\varphi_{jk}\vert_{X_{ji}\cap X_{jk}}\circ \varphi_{ij}\vert_{X_{ij}\cap X_{ik}}\qquad\text{for all $i,j,k\in I$}\]을 만족한다면, scheme \(X\)와 \(X\)를 덮는 open subscheme들 \(U_i\), 그리고 isomorphism들 \(\sigma_i: X_i \rightarrow U_i\)가 존재하여 각각의 \(i,j\)에 대하여
\[\sigma_i(X_{ij})=U_i\cap U_j,\qquad \sigma_j\circ\varphi_{ij}=\sigma_i\quad\text{on $X_{ij}$}\]이 성립한다. 뿐만 아니라 이러한 \((X, (\sigma_i)_{i\in I})\)는 유일하다. 즉, 만일 \((X', (\sigma_i')_{i\in I})\)도 같은 조건을 만족한다면 모든 \(i\)에 대하여 \(\chi\circ \sigma_i=\sigma_i'\)을 만족하는 유일한 isomorphism \(\chi: X\rightarrow X'\)이 존재한다.
증명
우선 cocycle condition의 우변의 합성이 정의되기 위해서는 \(\varphi_{ij}(X_{ij}\cap X_{ik})\subseteq X_{ji}\cap X_{jk}\)가 성립해야 하며, 이는 주어진 데이터의 일부로 이해한다. 이제 \(k=i\)인 경우의 cocycle condition은 \(X_{ii}=X_i\)와 \(\varphi_{ii}=\id_{X_i}\)로부터
\[\id_{X_{ij}}=\varphi_{ji}\circ\varphi_{ij}\]를 주므로 \(\varphi_{ji}=\varphi_{ij}^{-1}\)이고, 따라서 위의 포함관계를 \((i,j,k)\)와 \((j,i,k)\)에 각각 적용하면
\[\varphi_{ij}(X_{ij}\cap X_{ik})=X_{ji}\cap X_{jk}\]를 얻는다.
이제 집합 \(\coprod_{i\in I} X_i\) 위에, \(x\in X_i\)와 \(y\in X_j\)에 대하여
\[x\sim y\iff \text{$x\in X_{ij}$ and $\varphi_{ij}(x)=y$}\]으로 관계 \(\sim\)을 정의하자. 그럼 \(X_{ii}=X_i\)와 \(\varphi_{ii}=\id_{X_i}\)로부터 \(\sim\)은 reflexive이고, \(\varphi_{ji}=\varphi_{ij}^{-1}\)로부터 symmetric이다. Transitivity를 보이기 위해 \(x\in X_i\)와 \(y=\varphi_{ij}(x)\), 그리고 \(z=\varphi_{jk}(y)\)가 주어졌다 하자. 그럼 \(y\in X_{ji}\cap X_{jk}\)이므로 위의 등식에 의하여 \(x\in X_{ij}\cap X_{ik}\)이고, cocycle condition으로부터
\[z=\varphi_{jk}(\varphi_{ij}(x))=\varphi_{ik}(x)\]이므로 \(x\sim z\)이다. 즉 \(\sim\)은 동치관계이다.
이제 집합 \(X=\coprod_{i\in I}X_i\big/{\sim}\)과 canonical map \(\sigma_i: X_i \rightarrow X\)를 생각하고, \(X\) 위에 \(\sigma_i\)들에 의한 final topology를 주자. ([위상수학] §Initial topology와 final topology, ⁋정의 4) 그럼 [위상수학] §Initial topology와 final topology, ⁋명제 5에 의하여 \(U\subseteq X\)가 열린집합인 것은 모든 \(i\)에 대하여 \(\sigma_i^{-1}(U)\)가 \(X_i\)의 열린집합인 것과 동치이며, 이는 곧 \(\coprod_{i\in I} X_i\)의 quotient space 위상이다. ([위상수학] §몫공간, ⁋정의 3)
우선 각각의 \(\sigma_i\)는 injective인데, 이는 \(x,x'\in X_i\)에 대하여 \(x\sim x'\)인 것이 \(\varphi_{ii}(x)=x'\), 즉 \(x=x'\)인 것과 동치이기 때문이다. 이제 \(U_i=\sigma_i(X_i)\)라 하자. 그럼 임의의 \(y\in X_j\)에 대하여 \(\sigma_j(y)\in U_i\)인 것은 \(y\)와 동치인 \(X_i\)의 원소가 존재하는 것, 즉 \(y\in X_{ji}\)인 것과 동치이므로
\[\sigma_j^{-1}(U_i)=X_{ji}\]이고, 따라서 \(U_i\)는 \(X\)의 열린집합이다. 같은 계산으로 \(X_i\)의 임의의 열린집합 \(V\)에 대하여
\[\sigma_j^{-1}(\sigma_i(V))=\varphi_{ij}(V\cap X_{ij})\]이며 이는 \(X_{ji}\)의, 따라서 \(X_j\)의 열린집합이므로 \(\sigma_i\)는 열린함수이다. 이상에서 \(\sigma_i\)는 \(X_i\)에서 열린집합 \(U_i\)로의 homeomorphism이며, 위의 계산으로부터
\[\sigma_i(X_{ij})=U_i\cap U_j,\qquad \sigma_j\circ\varphi_{ij}=\sigma_i\quad\text{on $X_{ij}$}\]또한 성립한다.
이제 \(X\) 위에 structure sheaf를 정의한다. 각각의 \(\sigma_i\)가 homeomorphism이므로 pushforward \((\sigma_i)_\ast\mathcal{O}_{X_i}\)는 \(U_i\) 위의 sheaf이다. ([위상수학] §층, ⁋예시 9) 한편 \(\varphi_{ij}\)가 scheme으로서의 isomorphism이므로, 임의의 열린집합 \(W\subseteq U_i\cap U_j\)에 대하여 \(\varphi_{ij}^\sharp\)는 isomorphism
\[\mathcal{O}_{X_j}(\sigma_j^{-1}(W)) \rightarrow \mathcal{O}_{X_i}(\sigma_i^{-1}(W))\]을 주며, 그 역함수를 \(\theta_{ij}(W)\)라 적으면 우리는 \(U_i\cap U_j\) 위의 sheaf isomorphism
\[\theta_{ij}: ((\sigma_i)_\ast\mathcal{O}_{X_i})\vert_{U_i\cap U_j} \rightarrow ((\sigma_j)_\ast\mathcal{O}_{X_j})\vert_{U_i\cap U_j}\]를 얻는다. 그럼 cocycle condition은 sheaf 성분까지 포함한 scheme morphism들의 등식이므로, 이는 정확히 \(U_i\cap U_j\cap U_k\) 위에서 \(\theta_{jk}\circ\theta_{ij}=\theta_{ik}\)가 성립한다는 것이며, 특히 \(\theta_{ii}=\id\)이고 \(\theta_{ji}=\theta_{ij}^{-1}\)이다. 이제 임의의 열린집합 \(U\subseteq X\)에 대하여
\[\mathcal{O}_X(U)=\left\{(s_i)_{i\in I}\in \prod_{i\in I}\mathcal{O}_{X_i}(\sigma_i^{-1}(U))\middle\vert \theta_{ij}\left(s_i\vert_{\sigma_i^{-1}(U\cap U_j)}\right)=s_j\vert_{\sigma_j^{-1}(U\cap U_i)}\quad\text{for all $i,j$}\right\}\]으로 정의하고, restriction map은 성분별로 정의하자. 그럼 \(\mathcal{O}_X\)는 sheaf가 되는데, 이는 [위상수학] §층, ⁋정의 1의 두 조건을 성분별로 확인하면 된다. 즉 identity axiom은 각각의 \((\sigma_i)_\ast \mathcal{O}_{X_i}\)가 sheaf이므로 자명하고, gluability axiom의 경우 주어진 section들을 성분별로 붙여 얻어지는 \((s_i)\)가 위의 조건을 만족한다는 것은 이 조건이 주어진 open covering의 각 원소 위에서 성립하고 \(\theta_{ij}\)가 restriction과 가환하기 때문에 다시 identity axiom으로부터 얻어진다.
만일 \(U\subseteq U_i\)라면 임의의 \(k\)에 대하여 \(\sigma_k^{-1}(U)\subseteq \sigma_k^{-1}(U_i)=X_{ki}\)이므로, 위의 조건은 \(s_k=\theta_{ik}(s_i\vert_{\sigma_i^{-1}(U\cap U_k)})\)로 다시 쓸 수 있다. 즉 \((s_k)_{k\in I}\)는 \(s_i\)에 의해 완전히 결정되며, 거꾸로 임의의 \(s_i\in \mathcal{O}_{X_i}(\sigma_i^{-1}(U))\)에 대하여 이 식으로 정의된 \((s_k)_{k\in I}\)가 위의 조건을 만족한다는 것은 \(\theta_{kl}\circ\theta_{ik}=\theta_{il}\)로부터 얻어진다. 따라서 projection \((s_k)_{k\in I}\mapsto s_i\)는 sheaf isomorphism
\[\mathcal{O}_X\vert_{U_i}\cong (\sigma_i)_\ast\mathcal{O}_{X_i}\]를 정의하고, 이를 homeomorphism \(\sigma_i\)와 함께 생각하면 locally ringed space로서 \((X_i,\mathcal{O}_{X_i})\cong (U_i, \mathcal{O}_X\vert_{U_i})\)이다. 특히 임의의 \(x\in X_i\)에 대하여 \(\mathcal{O}_{X, \sigma_i(x)}\cong \mathcal{O}_{X_i,x}\)는 local ring이므로 \((X,\mathcal{O}_X)\)는 locally ringed space이며, \(X_i\)가 scheme이므로 \(x\)의 affine open neighborhood \(V\subseteq X_i\)를 택하면 \(\sigma_i(V)\)는 \(\sigma_i(x)\)의 affine open neighborhood가 된다. \(U_i\)들이 \(X\)를 덮으므로 이로부터 \((X,\mathcal{O}_X)\)가 정의 1의 의미에서 scheme임을 안다. 또, \(U_i\)는 \(X\)의 open subscheme이고 (보조정리 3) 위의 isomorphism을 \(U_i\cap U_j=\sigma_i(X_{ij})\)로 제한하면 \(U_i\cap U_j\cong X_{ij}\)를 얻는다.
마지막으로 유일성을 보인다. Scheme \(X'\)와 \(X'\)를 덮는 open subscheme들 \(U_i'\), 그리고 isomorphism들 \(\psi_i: X_i \rightarrow U_i'\)이 주장의 두 조건, 즉 \(\psi_i(X_{ij})=U_i'\cap U_j'\)과 \(X_{ij}\) 위에서의 \(\psi_j\circ\varphi_{ij}=\psi_i\)를 만족한다 하자. 그럼 모든 \(i\)에 대해 \(\chi\circ \sigma_i=\psi_i\)를 만족하는 유일한 isomorphism \(\chi:X \rightarrow X'\)가 존재한다는 것을 보여야 한다.
우선 집합 사이의 함수로서 \(\chi\)는 \(\chi(\sigma_i(x))=\psi_i(x)\)로 정의되며, 이것이 잘 정의되는 것은 \(x\in X_{ij}\)일 때마다 \(\psi_j(\varphi_{ij}(x))=\psi_i(x)\)이기 때문이다. 각각의 restriction \(\chi\vert_{U_i}=\psi_i\circ \sigma_i^{-1}\)이 연속이고 \(U_i\)들이 \(X\)의 open covering이므로 [위상수학] §준층, ⁋보조정리 1에 의하여 \(\chi\)는 연속함수이다. 또 \(X'=\bigcup U_i'\)이므로 \(\chi\)는 surjective이며, 만일 \(\chi(\sigma_i(x))=\chi(\sigma_j(y))\)라면
\[\psi_i(x)=\psi_j(y)\in U_i'\cap U_j'=\psi_i(X_{ij})=\psi_j(X_{ji})\]이므로 \(x\in X_{ij}\)와 \(y\in X_{ji}\)이고, 이제 \(\psi_j(\varphi_{ij}(x))=\psi_i(x)=\psi_j(y)\)와 \(\psi_j\)의 injectivity로부터 \(\varphi_{ij}(x)=y\), 즉 \(\sigma_i(x)=\sigma_j(y)\)를 얻는다. 따라서 \(\chi\)는 bijective이고, 각각의 \(\chi\vert_{U_i}\)가 열린집합 \(U_i'\)로의 homeomorphism이므로 \(\chi\)는 homeomorphism이다.
한편 \(\psi_i\)들의 sheaf 성분 \(\psi_i^\sharp\)은 isomorphism \(\mathcal{O}_{X'}\vert_{U_i'} \rightarrow (\chi\vert_{U_i})_\ast (\mathcal{O}_X\vert_{U_i})\)을 주며, 조건 \(\psi_j\circ\varphi_{ij}=\psi_i\)가 scheme morphism으로서 성립하므로 이들은 \(U_i'\cap U_j'\) 위에서 서로 일치한다. 따라서 [위상수학] §층, ⁋정의 1의 두 조건에 의하여 이들은 유일한 morphism \(\chi^\sharp: \mathcal{O}_{X'} \rightarrow \chi_\ast\mathcal{O}_X\)로 붙으며, 이는 stalk에서 모두 isomorphism이므로 sheaf isomorphism이다. ([위상수학] §층, ⁋명제 4) 즉 \(\chi=(\chi,\chi^\sharp)\)는 scheme들 사이의 isomorphism이다. 마지막으로 조건 \(\chi\circ \sigma_i=\psi_i\)는 \(\chi\)의 \(U_i\)로의 restriction을 위상공간 사이의 함수로서도, sheaf morphism으로서도 결정하고 \(U_i\)들이 \(X\)를 덮으므로, identity axiom에 의하여 이러한 \(\chi\)는 유일하다.
즉 우리는 scheme들을 열린집합을 따라 붙여 새로운 scheme을 만들 수 있다. 이를 통해 다음 예시를 보자.
예시 10 두 개의 affine line \(X_0=\mathbb{A}_\mathbb{K}^1=\Spec \mathbb{K}[\x_0]\), \(X_1=\mathbb{A}_\mathbb{K}^1=\Spec \mathbb{K}[\x_1]\), 그리고 이들의 열린집합
\[U_0=X_0\setminus \{(\x_0)\}=D(\x_0),\quad U_1=X_1\setminus \{(\x_1)\}=D(\x_1)\]이 주어졌다 하자. 그럼 정의에 의하여
\[\mathcal{O}_{X_0}(U_0)\cong \mathbb{K}[\x_0]_{\x_0}=\mathbb{K}[\x_0,1/\x_0]\]이고 비슷하게 \(\mathcal{O}_{X_1}(U_1)\cong \mathbb{K}[\x_1,1/\x_1]\)가 성립한다. 이번 예시에서 우리는 \(X_0\)과 \(X_1\)을 붙이는 두 가지 다른 방법을 구체적으로 살펴본다.
우선 isomorphism \(\varphi:(U_0, \mathcal{O}_{X_0}\vert_{U_0})\rightarrow (U_1, \mathcal{O}_{X_1}\vert_{U_1})\)이 \(\x_0\)와 \(\x_1\)를 identify하는 isomorphism \(\mathbb{K}[\x_0,1/\x_0]\rightarrow \mathbb{K}[\x_1,1/\x_1]\)로부터 온 경우를 생각하자. 그럼 위상공간으로서 \(X=X_0\cup_\varphi X_1\)는 line with double origin이고, structure sheaf는 임의의 열린집합 \(U\subseteq X\)에 대해 다음 식
\[\mathcal{O}_X(U)=\mathcal{O}_{X_0}(U\cap X_0)\times_{\mathcal{O}_{X_0}(U\cap U_0)\cong \mathcal{O}_{X_1}(U\cap U_1)} \mathcal{O}_{X_1}(U\cap X_1)\]으로 정의된다. 특히 global section들은
\[\Gamma(X, \mathcal{O}_X)=\mathcal{O}_{X_0}(X_0)\times_{\mathcal{O}_{X_0}(U_0)\cong \mathcal{O}_{X_1}(U_1)} \mathcal{O}_{X_1}(X_1)=\mathbb{K}[\x_0]\times_{\mathbb{K}[\x_0,1/\x_0]\cong \mathbb{K}[\x_1,1/\x_1]}\mathbb{K}[\x_1]\cong \mathbb{K}[\x_0]\]이다.
한편, 이번에는 isomorphism \(\varphi\)가 \(\x_0\)와 \(1/\x_1\)를 identify하는 isomorphism \(\mathbb{K}[\x_0,1/\x_0]\rightarrow \mathbb{K}[\x_1,1/\x_1]\)로부터 온 경우를 생각하자. 그럼 특히 \(U_0\)의 closed point \((\x_0-\alpha)\)는 \(X_1\)의 closed point \((\x_1-1/\alpha)\)에 대응될 것이며, \(U_1\)의 closed point \((\x_1-\beta)\)는 \(U_0\)의 closed point \((\x_0-1/\beta)\)에 대응된다. 즉 이로부터 얻어지는 공간은 projective space \(\mathbb{P}^1\)이 될 것이다.
이 경우의 global section들을 생각하면,
\[\Gamma(\mathbb{P}^1, \mathcal{O}_{\mathbb{P}^1})=\mathbb{K}[\x_0]\times_{\mathbb{K}[\x_0,1/\x_0]\cong \mathbb{K}[\x_1,1/\x_1]} \mathbb{K}[\x_1]\cong \mathbb{K}\]뿐이다. 마지막 isomorphism은, 일상적인 언어로 표현하자면, \(\mathbb{K}[\x_0]\)의 원소들 가운데, \(\x_0\)를 \(1/\x_1\)로 바꾸었을 때 여전히 \(\mathbb{K}[\x_1]\)의 원소가 되는 것들은 오직 상수함수 뿐이라는 것을 의미한다.
위의 예시 10의 마지막 계산은 \(\mathbb{P}^1\)이 affine scheme이 아님을 보여준다. 만일 \(\mathbb{P}^1\)이 affine scheme이었다면 이는 반드시 \(\Spec \mathbb{K}\)가 되어야 하는데, \(\Spec \mathbb{K}\)는 한 점으로만 이루어진 scheme이기 때문이다.
참고문헌
[Har] R. Hartshorne, Algebraic geometry. Graduate texts in mathematics. Springer, 1977.
[Vak] R. Vakil, The rising sea: Foundation of algebraic geometry. Available online.
댓글남기기